Conferences in DBLP
Bernhard Steffen Unifying Models. [Citation Graph (0, 0)][DBLP ] Conf ] Gerth Stølting Brodal Predecessor Queries in Dynamic Integer Sets. [Citation Graph (0, 0)][DBLP ] Conf ] Paolo Giulio Franciosa , Daniele Frigioni , Roberto Giaccio Semi-Dynamic Shortest Paths and Breadth-First Search in Digraphs. [Citation Graph (0, 0)][DBLP ] Conf ] Robert Koch , Norbert Blum Greibach Normal Form Transformation, Revisited. [Citation Graph (0, 0)][DBLP ] Conf ] Juraj Hromkovic , Sebastian Seibert , Thomas Wilke Translating Regular Expressions into Small epsilon-Free Nondeterministic Finite Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Christophe Fiorio , Jens Gustedt Memory Management for Union-Find Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] Matthias Schröder Fast Online Multiplication of Real Numbers. [Citation Graph (0, 0)][DBLP ] Conf ] Harald Hempel , Gerd Wechsung The Operators min and max on the Polynomial Hierarchy. [Citation Graph (0, 0)][DBLP ] Conf ] Harry Buhrman , Lance Fortnow Resource-Bounded Kolmogorov Complexity Revisited. [Citation Graph (0, 0)][DBLP ] Conf ] Pavol Duris , Juraj Hromkovic , José D. P. Rolim , Georg Schnitger Las Vegas Versus Determinism for One-way Communication Complexity, Finite Automata, and Polynomial-time Computations. [Citation Graph (0, 0)][DBLP ] Conf ] Maciej Liskiewicz Interactive Proof Systems with Public Coin: Lower Space Bounds and Hierarchies of Complexity Classes. [Citation Graph (0, 0)][DBLP ] Conf ] Claudia Bertram-Kretzberg , Hanno Lefmann MODp -tests, Almost Independence and Small Probability Spaces (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Luca de Alfaro , Arjun Kapur , Zohar Manna Hybrid Diagrams: A Deductive-Algorithmic Approach to Hybrid System Verification. [Citation Graph (0, 0)][DBLP ] Conf ] Luca de Alfaro Temporal Logics for the Specification of Performance and Reliability. [Citation Graph (0, 0)][DBLP ] Conf ] Carsten Weise , Dirk Lenzkes Efficient Scaling-Invariant Checking of Timed Bisimulation. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Dietzfelbinger Gossiping and Broadcasting versus Computing Functions in Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Stephan Waack On the Descriptive and Algorithmic Power of Parity Ordered Binary Decision Diagrams. [Citation Graph (0, 0)][DBLP ] Conf ] Christoph Meinel , Anna Slobodová A Reducibility Concept for Problems Defined in Terms of Ordered Binary Decision Diagrams. [Citation Graph (0, 0)][DBLP ] Conf ] John Case , Efim B. Kinber , Arun Sharma , Frank Stephan On the Classification of Computable Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Gabriele Kern-Isberner A Conditional-Logical Approach to Minimum Cross-Entropy. [Citation Graph (0, 0)][DBLP ] Conf ] Erich Grädel , Martin Otto , Eric Rosen Undecidability Results on Two-Variable Logics. [Citation Graph (1, 0)][DBLP ] Conf ] Stephane Gaubert , Max Plus Methods and Applications of (MAX, +) Linear Algebra. [Citation Graph (0, 0)][DBLP ] Conf ] Oliver Matz Regular Expressions and Context-Free Grammars for Picture Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Jonathan Goldstine , Hing Leung , Detlef Wotschke Measuring Nondeterminism in Pushdown Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Arfst Nickelsen On Polynomially D-Verbose Sets. [Citation Graph (0, 0)][DBLP ] Conf ] Edith Hemaspaandra , Lane A. Hemaspaandra , Harald Hempel A Downward Translation in the Polynomial Hierarchy. [Citation Graph (0, 0)][DBLP ] Conf ] Klaus Reinhardt Strict Sequential P-completeness. [Citation Graph (0, 0)][DBLP ] Conf ] Klaus-Jörn Lange An Unambiguous Class Possessing a Complete Set. [Citation Graph (0, 0)][DBLP ] Conf ] Michele Flammini Deadlock-Free Interval Routing Schemes. [Citation Graph (0, 0)][DBLP ] Conf ] Lefteris M. Kirousis , Evangelos Kranakis , Danny Krizanc , Andrzej Pelc Power Consumption in Packet Radio Networks (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Christoph Karg , Johannes Köbler , Rainer Schuler The Complexity of Generating Test Instances. [Citation Graph (0, 0)][DBLP ] Conf ] Alexander E. Andreev , Andrea E. F. Clementi , José D. P. Rolim Efficient Construction of Hitting Sets for Systems of Linear Functions. [Citation Graph (0, 0)][DBLP ] Conf ] Ingrid Biehl , Bernd Meyer Protocols for Collusion-Secure Asymmetric Fingerprinting (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Ugo Montanari , Marco Pistore Minimal Transition Systems for History-Preserving Bisimulation. [Citation Graph (0, 0)][DBLP ] Conf ] Gianpiero Cattaneo , Enrico Formenti , Giovanni Manzini , Luciano Margara On Ergodic Linear Cellular Automata over Zm . [Citation Graph (0, 0)][DBLP ] Conf ] Jérôme Olivier Durand-Lose Intrinsic Universality of a 1-Dimensional Reversible Cellular Automaton. [Citation Graph (0, 0)][DBLP ] Conf ] Jonathan F. Buss , Gudmund Skovbjerg Frandsen , Jeffrey Shallit The Computational Complexity of Some Problems of Linear Algebra (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Schwentick Algebraic and Logical Characterizations of Deterministic Linear Time Classes. [Citation Graph (0, 0)][DBLP ] Conf ] Eric Ruppert Finding the k Shortest Paths in Parallel. [Citation Graph (0, 0)][DBLP ] Conf ] Elias Dahlhaus Sequential and Parallel Algorithms on Compactly Represented Chordal and Strongly Chordal Graphs. [Citation Graph (0, 0)][DBLP ] Conf ] Erich Prisner Distance Approximating Spanning Trees. [Citation Graph (0, 0)][DBLP ] Conf ] Rainer Feldmann , Burkhard Monien , Peter Mysliwietz , Stefan Tschöke A Better Upper Bound on the Bisection Width of de Bruijn Networks (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Joan Feigenbaum , Martin Strauss An Information-Theoretic Treatment of Random-Self-Reducibility (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Josef M. Breutzmann , Jack H. Lutz Equivalence of Measures of Complexity Classes. [Citation Graph (0, 0)][DBLP ] Conf ] Vincenzo Auletta , Domenico Parente Better Algorithms for Minimum Weight Vertex-Connectivity Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Hans Jürgen Prömel , Angelika Steger RNC-Approximation Algorithms for the Steiner Problem. [Citation Graph (0, 0)][DBLP ] Conf ] Jochen Meßner Pattern Matching in Trace Monoids (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Volker Diekert , Paul Gastin , Antoine Petit Removing epsilon-Transitions in Timed Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Oded Goldreich Probabilistic Proof Systems - A Survey. [Citation Graph (0, 0)][DBLP ] Conf ] 