
Conferences in DBLP
Ambiguity and Complementation in Recognizable Twodimensional Languages. [Citation Graph (, )][DBLP]
Algorithmic Game Theory: Some Greatest Hits and Future Directions. [Citation Graph (, )][DBLP]
Synchronizing Road Coloring. [Citation Graph (, )][DBLP]
Leader Election in Anonymous Rings: Franklin Goes Probabilistic. [Citation Graph (, )][DBLP]
Inverse Problems Have Inverse Complexity. [Citation Graph (, )][DBLP]
Literal Shuffle of Compressed Words. [Citation Graph (, )][DBLP]
Reconstructing words from a fixed palindromic length sequence. [Citation Graph (, )][DBLP]
The mvdecomposition: definition and application to the distance2 broadcast problem in multihops radio networks. [Citation Graph (, )][DBLP]
Partitioning Random Graphs with General Degree Distributions. [Citation Graph (, )][DBLP]
On the Longest Common Factor Problem. [Citation Graph (, )][DBLP]
Stable Dynamics of Sand Automata. [Citation Graph (, )][DBLP]
On tractability of Cops and Robbers game. [Citation Graph (, )][DBLP]
Computability of Tilings. [Citation Graph (, )][DBLP]
A Classification of Degenerate Loop Agreement. [Citation Graph (, )][DBLP]
On the expressive power of univariate equations over sets of natural numbers. [Citation Graph (, )][DBLP]
Collisions and their Catenations: Ultimately Periodic Tilings of the Plane. [Citation Graph (, )][DBLP]
Cachesensitive Memory Layout for Binary Trees. [Citation Graph (, )][DBLP]
From Processes to ODEs by Chemistry. [Citation Graph (, )][DBLP]
Differential Linear Logic and Processes. [Citation Graph (, )][DBLP]
Solving Monotone Polynomial Equations. [Citation Graph (, )][DBLP]
Lifting NonFinite Axiomatizability Results to Extensions of Process Algebras. [Citation Graph (, )][DBLP]
Finite Equational Bases for Fragments of CCS with Restriction and Relabelling. [Citation Graph (, )][DBLP]
µcalculus Pushdown Module Checking with Imperfect State Information. [Citation Graph (, )][DBLP]
From Formal Proofs to Mathematical Proofs: A Safe, Incremental Way for Building in Firstorder Decision Procedures. [Citation Graph (, )][DBLP]
On Traits and Types in a Javalike Setting. [Citation Graph (, )][DBLP]
Canonical Sequent Proofs via MultiFocusing. [Citation Graph (, )][DBLP]
Universal Coinductive Characterisations of Process Semantics. [Citation Graph (, )][DBLP]
Static and dynamic typing for the termination of mobile processes. [Citation Graph (, )][DBLP]
Regular nary Queries in Trees and Variable Independence. [Citation Graph (, )][DBLP]
Hamiltonicity of automatic graphs. [Citation Graph (, )][DBLP]
Marking the chops: an unambiguous temporal logic. [Citation Graph (, )][DBLP]
On Boundedness in Depth in the piCalculus. [Citation Graph (, )][DBLP]
A Unified View of Tree Automata and Term Schematisations. [Citation Graph (, )][DBLP]
Deconstructing behavioural theories of mobility. [Citation Graph (, )][DBLP]
Adequacy of Compositional Translations for Observational Semantics. [Citation Graph (, )][DBLP]
The Surprising Robustness of (Closed) Timed Automata against ClockDrift. [Citation Graph (, )][DBLP]
