Conferences in DBLP
Christiane Frougny On-Line Addition in Real Base. [Citation Graph (0, 0)][DBLP ] Conf ] Klaus Meer Query Languages for Real Number Databases Based on Descriptive Complexity over R. [Citation Graph (0, 0)][DBLP ] Conf ] Xizhong Zheng , Klaus Weihrauch The Arithmetical Hierarchy of Real Numbers. [Citation Graph (0, 0)][DBLP ] Conf ] Giovanni Manzini Invited Lecture: The Burrows-Wheeler Transform: Theory and Practice. [Citation Graph (0, 0)][DBLP ] Conf ] Leszek Gasieniec , Alan Gibbons , Wojciech Rytter Efficiency of Fast Parallel Pattern Searching in Highly Compressed Texts. [Citation Graph (0, 0)][DBLP ] Conf ] Yann Loyer , Nicolas Spyratos , Daniel Stamate Computing and Comparing Semantics of Programs in Four-Valued Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Peter D. Mosses Foundations of Modular SOS. [Citation Graph (0, 0)][DBLP ] Conf ] Anca Muscholl , Doron Peled Message Sequence Graphs and Decision Problems on Mazurkiewicz Traces. [Citation Graph (0, 0)][DBLP ] Conf ] Arnaud Durand , Miki Hermann , Laurent Juban On the Complexity of Recognizing the Hilbert Basis of a Linear Diophantine System. [Citation Graph (0, 0)][DBLP ] Conf ] George Havas , Jean-Pierre Seifert The Complexity of the Extended GCD Problem. [Citation Graph (0, 0)][DBLP ] Conf ] Markus Lohrey Complexity Results for Confluence Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Luca Aceto , François Laroussinie Is Your Model Checker on Time? On the Complexity of Model Checking for Timed Modal Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Alexander Bolotov , Clare Dixon , Michael Fisher Clausal Resolution for CTL* . [Citation Graph (0, 0)][DBLP ] Conf ] Hardi Hungar Model Checking and Higher-Order Recursion. [Citation Graph (0, 0)][DBLP ] Conf ] Ján Manuch Multiparty Communication Complexity: Very Hard Functions. [Citation Graph (0, 0)][DBLP ] Conf ] Maurice Herlihy , Sergio Rajsbaum New Perspectives in Distributed Computing. [Citation Graph (0, 0)][DBLP ] Conf ] Grzegorz Grudzinski An Improved Disjunctive Strictness Analysis for Lazy Functional Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Søren B. Lassen , Andrew Moran Unique Fixed Point Induction for McCarthy's Amb. [Citation Graph (0, 0)][DBLP ] Conf ] Luciano Margara On Some Topological Properties of Linear Cellular Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Katsuhiko Nakamura Real-Time Language Recognition by One-Way and Two-Way Cellular Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Cyril Nicaud Average State Complexity of Operations on Unary Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Holger Petersen Fooling Rebound Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Detlef Sieling The Complexity of Minimizing FBDDs. [Citation Graph (0, 0)][DBLP ] Conf ] Philipp Woelfel Efficient Strongly Universal and Optimally Universal Hashing. [Citation Graph (0, 0)][DBLP ] Conf ] Wlodzimierz Glazek Lower and Upper Bounds for the Problem of Page Replication in Ring Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Dexter Kozen Language-Based Security. [Citation Graph (0, 0)][DBLP ] Conf ] Janis Cirulis An Algebraic Approach to Knowledge Representation. [Citation Graph (0, 0)][DBLP ] Conf ] David Janin , Giacomo Lenzi On the Structure of the Monadic Logic of the Binary Tree. [Citation Graph (0, 0)][DBLP ] Conf ] Linh Anh Nguyen A New Space Bound for the Modal Logics K4, KD4 and S4. [Citation Graph (0, 0)][DBLP ] Conf ] Anna Gambin On Approximating the Number of Bases of Exchange Preserving Matroids. [Citation Graph (0, 0)][DBLP ] Conf ] Frank S. de Boer , Willem P. de Roever , Ulrich Hannemann The Semantic Foundations of a Compositional Proof Method for Synchronously Communicating Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Sibylle B. Fröschle , Thomas T. Hildebrandt On Plain and Hereditary History-Preserving Bisimulation. [Citation Graph (0, 0)][DBLP ] Conf ] Jitka Stríbrná Approximating Weak Bisimulation on Basic Process Algebras. [Citation Graph (0, 0)][DBLP ] Conf ] Ioannis Caragiannis , Christos Kaklamanis , Pino Persiano Edge Coloring of Bipartite Graphs with Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Henning Fernau , Rolf Niedermeier An Efficient Exact Algorithm for Constraint Bipartite Vertex Cover. [Citation Graph (0, 0)][DBLP ] Conf ] Kazuhisa Makino , Yushi Uno , Toshihide Ibaraki On Minimum Edge Ranking Spanning Trees. [Citation Graph (0, 0)][DBLP ] Conf ] Thorsten Bernholt , Alexander Gülich , Thomas Hofmeister , Niels Schmitt Football Elimination Is Hard to Decide Under the 3-Point-Rule. [Citation Graph (0, 0)][DBLP ] Conf ] Ulrich Hertrampf Generalized Regular Counting Classes. [Citation Graph (0, 0)][DBLP ] Conf ] Tomoyuki Yamakami A Foundation of Programming a Multi-tape Quantum Turing Machine. [Citation Graph (0, 0)][DBLP ] Conf ] Mads Tofte A Type Discipline for Solving Year 2000 Problems in COBOL Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Jerzy Tiuryn Type Reconstruction for Functional Programs with Subtyping over a Lattice of Atomic Types. [Citation Graph (0, 0)][DBLP ] Conf ] 