Conferences in DBLP
Marek Karpinski Randomized Complexity of Linear Arrangements and Polyhedra. [Citation Graph (0, 0)][DBLP ] Conf ] Andrea Corradini , Reiko Heckel , Ugo Montanari Tile Transition Systems as Structured Coalgebras. [Citation Graph (0, 0)][DBLP ] Conf ] Arto Salomaa Caesar and DNA. Views on Cryptology. [Citation Graph (0, 0)][DBLP ] Conf ] Boris A. Trakhtenbrot Automata and Their Interaction: Definitional Suggestions. [Citation Graph (0, 0)][DBLP ] Conf ] Matthew Hennessy Axiomatising Asynchronous Process Calculi (abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Cristina Bazgan , Wenceslas Fernandez de la Vega A Polynomial Time Approximation Scheme for Dense MIN 2SAT. [Citation Graph (0, 0)][DBLP ] Conf ] Danièle Beauquier , Anatol Slissenko Decidable Classes of the Verification Problem in a Timed Predicate Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Viviana Bono , Michele Bugliesi Interpretations of Extensible Objects and Types. [Citation Graph (0, 0)][DBLP ] Conf ] Bernd Borchert , Lane A. Hemaspaandra , Jörg Rothe Restrictive Acceptance Suffices for Equivalence Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Henning Bordihn , Jürgen Dassow , György Vaszil Grammar Systems as Language Analyzers and Recursively Enumerable Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Gérard Boudol , Silvano Dal-Zilio An Interpretation of Extensible Objects. [Citation Graph (0, 0)][DBLP ] Conf ] Luca Breveglieri , Stefano Crespi-Reghizzi , Alessandra Cherubini Modeling Operating Systems Schedulers with Multi-Stack-Queue Grammars. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Buchholz , Andreas Klein , Martin Kutrib Iterative Arrays with a Wee Bit Alternation. [Citation Graph (0, 0)][DBLP ] Conf ] Sergio Cabello , Carles Padró , Germán Sáez Secret Sharing Schemes with Detection of Cheaters for a General Access Structure. [Citation Graph (0, 0)][DBLP ] Conf ] Luminita Dediu , Douglas S. Bridges Constructive Notes on Uniform and Locally Convex Spaces. [Citation Graph (0, 0)][DBLP ] Conf ] H. N. de Ridder , Hans L. Bodlaender Graph Automorphisms with Maximal Projection Distances. [Citation Graph (0, 0)][DBLP ] Conf ] Catalin Dima Kleene Theorems for Event-Clock Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Pál Dömösi , Manfred Kudlek Strong Iteration Lemmata for Regular, Linear, Context-Free, and Linear Indexed Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Frank Drewes Exponential Output Size of Top-Down Tree Transducers. [Citation Graph (0, 0)][DBLP ] Conf ] Manfred Droste , Dietrich Kuske On Recognizable Languages in Divisibility Monoids. [Citation Graph (0, 0)][DBLP ] Conf ] Cristian Ene , Traian Muntean Expressiveness of Point-to-Point versus Broadcast Communications. [Citation Graph (0, 0)][DBLP ] Conf ] Jürgen Forster On Relative Loss Bounds in Generalized Linear Regression. [Citation Graph (0, 0)][DBLP ] Conf ] Rudolf Freund Generalized P-Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Stavros Georgiades , Marios Mavronicolas , Paul G. Spirakis Optimal, Distributed Decision-Making: The Case of No Communication. [Citation Graph (0, 0)][DBLP ] Conf ] Vesa Halava , Tero Harju , Mika Hirvensalo Generalized PCP Is Decidable for Marked Morphisms. [Citation Graph (0, 0)][DBLP ] Conf ] Chuzo Iwamoto , Tomonobu Hatsuyama , Kenichi Morita , Katsunobu Imai On Time-Constructible Functions in One-Dimensional Cellular Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Laurent Juban Dichotomy Theorem for the Generalized Unique Satisfiability Problem. [Citation Graph (0, 0)][DBLP ] Conf ] H. C. M. Kleijn , Rémi Morin , Brigitte Rozoy A General Categorical Connection between Local Event Structures and Local Traces. [Citation Graph (0, 0)][DBLP ] Conf ] Renate Klempien-Hinrichs , Hans-Jörg Kreowski , Stefan Taubenberger Correct Translation of Mutually Recursive Function Systems into TOL Collage Grammars. [Citation Graph (0, 0)][DBLP ] Conf ] Teodor Knapik , Étienne Payet Synchronized Product of Linear Bounded Machines. [Citation Graph (0, 0)][DBLP ] Conf ] Roman M. Kolpakov , Gregory Kucherov On Maximal Repetitions in Words. [Citation Graph (0, 0)][DBLP ] Conf ] Dorel Lucanu Axiomatization of the Coherence Property for Categories of Symmetries. [Citation Graph (0, 0)][DBLP ] Conf ] Carlos Martín-Vide , Alexandru Mateescu Sewing Grammars. [Citation Graph (0, 0)][DBLP ] Conf ] Andrei Paun , Mihaela Paun State and Transition Complexity of Watson-Crick Finite Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Catherine Pilière A Confluence Result for a Typed lambda-Calculus of Exception Handling with Fixed-Point. [Citation Graph (0, 0)][DBLP ] Conf ] Adriana Popovici , Dan Popovici delta-Uniformly Decidable Sets and Turing Machines. [Citation Graph (0, 0)][DBLP ] Conf ] Klaus Reinhardt A Parallel Context-Free Derivation Hierarchy. [Citation Graph (0, 0)][DBLP ] Conf ] Isabelle Ryl , Yves Roos , Mireille Clerbout Generalized Synchronization Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Klaus-Dieter Schewe , Bernhard Thalheim A Generalization of Dijkstra's Calculus to Typed Program Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Franck Seynhaeve , Sophie Tison , Marc Tommasi Homomorphisms and Concurrent Term Rewriting. [Citation Graph (0, 0)][DBLP ] Conf ] Jeffrey Shallit , Ming-wei Wang On Two-Sided Infinite Fixed Points of Morphisms. [Citation Graph (0, 0)][DBLP ] Conf ] Jonathan P. Sharp Tiling Multi-dimensional Arrays. [Citation Graph (0, 0)][DBLP ] Conf ] Viorica Sofronie-Stokkermans , Karel Stokkermans Modeling Interaction by Sheaves and Geometric Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Holger Spakowski , Jörg Vogel The Operators minCh and maxCh on the Polynomial Hierarchy. [Citation Graph (0, 0)][DBLP ] Conf ] Ludwig Staiger The Kolmogorov Complexity of Real Numbers. [Citation Graph (0, 0)][DBLP ] Conf ] Irina Virbitskaite , E. Pokozy A Partial Order Method for the Verification of Time Petri Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Janez Zerovnik Deriving Formulas for Domination Numbers of Fasciagraphs and Rotagraphs. [Citation Graph (0, 0)][DBLP ] Conf ] 