Conferences in DBLP
Samson Abramsky Game Semantics for Programming Languages (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] László Babai Communication Complexity. [Citation Graph (0, 0)][DBLP ] Conf ] Hans L. Bodlaender Treewidth: Algorithmoc Techniques and Results. [Citation Graph (1, 0)][DBLP ] Conf ] Nachum Dershowitz When are Two Rewrite Systems More than None? [Citation Graph (0, 0)][DBLP ] Conf ] Cynthia Dwork Positive Applications of Lattices to Cryptography. [Citation Graph (0, 0)][DBLP ] Conf ] Gian Luigi Ferrari , Ugo Montanari A Tile-Based Coordination View of Asynchronous pi-Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Juraj Hromkovic , Georg Schnitger Communication Complexity and Sequential Compuation. [Citation Graph (0, 0)][DBLP ] Conf ] Jan Krajícek Lower Bounds for a Proof System with an Expentential Speed-up over Constant-Depth Frege Systems and over Polynomial Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Maciej Liskiewicz , Rüdiger Reischuk Computational Limitations of Stochastic Turing Machines and Arthur-Merlin Games with Small Space Bounds. [Citation Graph (0, 0)][DBLP ] Conf ] Dan Roth Learning to Perform Knowledge-Intensive Inferences. [Citation Graph (0, 0)][DBLP ] Conf ] Uwe Schöning Resolution Proofs, Exponential Bounds, and Kolmogorov Complexity. [Citation Graph (0, 0)][DBLP ] Conf ] Foto N. Afrati , Irène Guessarian , Michel de Rougemont The Expressiveness of Datalog Circuits (DAC). [Citation Graph (0, 0)][DBLP ] Conf ] Martin Mundhenk , Judy Goldsmith , Eric Allender The Complexity of Policy Evaluation for Finite-Horizon Partially-Observable Markov Decision Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Luca Bernardinello , Lucia Pomello A Category of Transition Systems and Its Relations with Orthomodular Posets. [Citation Graph (0, 0)][DBLP ] Conf ] Béatrice Bérard , Claudine Picaronny Accepting Zeno Words Without Making Time Stand Still. [Citation Graph (0, 0)][DBLP ] Conf ] Beate Bollig , Ingo Wegener Complexity Theoretical Results on Partitioned (Nondeterministic) Binary Decision Diagrams. [Citation Graph (0, 0)][DBLP ] Conf ] Marcello M. Bonsangue , Joost N. Kok Specifying Computations Using Hyper Transition Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Gianpiero Cattaneo , Enrico Formenti , Luciano Margara , Jacques Mazoyer A Shift-Invariant Metric on Szz Inducing a Non-trivial Tolology. [Citation Graph (0, 0)][DBLP ] Conf ] Gang Chen Subtyping Calculus of Construction (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Christian Choffrut , Giovanni Pighizzini Distances Between Languages and Reflexivity of Relations. [Citation Graph (0, 0)][DBLP ] Conf ] Isabelle Ryl , Yves Roos , Mireille Clerbout Partial Characterization of Synchronization Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Reiko Heckel , Hartmut Ehrig , Uwe Wolter , Andrea Corradini Integrating the Specification Techniques of Graph Transformation and Temporal Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Frank Drewes On the Generation of Trees by Hyperedge Replacement. [Citation Graph (0, 0)][DBLP ] Conf ] Henning Fernau , Ralf Stiebe Regulations by Valences. [Citation Graph (0, 0)][DBLP ] Conf ] Wan Fokkink , Jaco van de Pol Simulation as a Correct Transformation of Rewrite Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Cyril Gavoille On the Dilation of Interval Routing. [Citation Graph (0, 0)][DBLP ] Conf ] Zurab Khasidashvili , John R. W. Glauert Relating Conflict-Free Stable Transition and Event Models (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Andreas Goerdt The Giant Component Threshold for Random Regular Graphs with Edge Faults. [Citation Graph (0, 0)][DBLP ] Conf ] Bernhard Heinemann A Topological Generalization of Propositional Linear Time Temporal Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Markus Holzer Multi-Head Finite Automata: Data-Independent Versus Data-Dependent Computations. [Citation Graph (0, 0)][DBLP ] Conf ] Kazuo Iwama Complexity of Finding Short Resolution Proofs. [Citation Graph (0, 0)][DBLP ] Conf ] Stasys Jukna , Alexander A. Razborov , Petr Savický , Ingo Wegener On O versus NP \cap co-NP for Decision Trees and Read-Once Branching Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Georg Karner , Werner Kuich A Characterization of Abstract Families of Algebraic Power Series. [Citation Graph (0, 0)][DBLP ] Conf ] Yuji Kobayashi , Friedrich Otto Repetitiveness of D0L-Languages Is Decidable in Polynomial Time. [Citation Graph (0, 0)][DBLP ] Conf ] Roman M. Kolpakov , Gregory Kucherov Minimal Letter Frequency in n-th Power-Free Binary Words. [Citation Graph (0, 0)][DBLP ] Conf ] Ivan Korec Real-Time Generation of Primes by a One-Dimensional Cellular Automaton with 11 States. [Citation Graph (0, 0)][DBLP ] Conf ] Drago Krznaric , Christos Levcopoulos Optimal Algorithms for Complete Linkage Clustering in d Dimensions. [Citation Graph (0, 0)][DBLP ] Conf ] Giovanni Manzini , Luciano Margara Invertible Linear Cellular Automata over zm : Algorithmic and Dynamical Aspects. [Citation Graph (0, 0)][DBLP ] Conf ] Carlos Martín-Vide , Joan Miquel-Verges , Gheorghe Paun Two-Level Contextual Grammars: The Internal Case. [Citation Graph (0, 0)][DBLP ] Conf ] Klaus Meer Counting Problems over the Reals. [Citation Graph (0, 0)][DBLP ] Conf ] Christoph Meinel , Thorsten Theobald On the Influence of the State Encoding on OBDD-Representations of Finite State Machines. [Citation Graph (0, 0)][DBLP ] Conf ] Raphaël Meyer , Antoine Petit Decomposition of TrPTL Formulas. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Mundhenk NP-Hard Sets Have Many Hard Instances. [Citation Graph (0, 0)][DBLP ] Conf ] Arfst Nickelsen Deciding Verbose Languages with Linear Advice. [Citation Graph (0, 0)][DBLP ] Conf ] Holger Petersen Homomorphic Images os Sentential Forms and Terminating Grammars (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Detlef Plump Simplification Orders for Term Graph Rewriting. [Citation Graph (0, 0)][DBLP ] Conf ] Arend Rensink , Heike Wehrheim Dependency-Based Action Refinement. [Citation Graph (0, 0)][DBLP ] Conf ] Petr Savický , Stanislav Zák A Hierarchy for (1, +k)-Branching Programs with Respect of k. [Citation Graph (0, 0)][DBLP ] Conf ] Jop F. Sibeyn Routing with Finite Speeds of Memory and Network. [Citation Graph (0, 0)][DBLP ] Conf ] Jerzy Tyszkiewicz Queries and Algorithms Computable by Polynomial Time Existential Reflective Machines (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Walter Vogler Partial Order Semantics and Read Arcs. [Citation Graph (0, 0)][DBLP ] Conf ] 