Conferences in DBLP
Conference Organization. [Citation Graph (0, 0)][DBLP ] Conf ] Prakash Panangaden Foreword. [Citation Graph (0, 0)][DBLP ] Conf ] Program Committee. [Citation Graph (0, 0)][DBLP ] Conf ] Cover Pages. [Citation Graph (0, 0)][DBLP ] Conf ] Additional Reviewers. [Citation Graph (0, 0)][DBLP ] Conf ] Front Cover. [Citation Graph (0, 0)][DBLP ] Conf ] Glynn Winskel Relations in Concurrency. [Citation Graph (0, 0)][DBLP ] Conf ] Jos C. M. Baeten , Flavio Corradini Regular Expressions in Process Algebra. [Citation Graph (0, 0)][DBLP ] Conf ] Anuj Dawar , Martin Otto Modal Characterisation Theorems over Special Classes of Frames. [Citation Graph (0, 0)][DBLP ] Conf ] Pablo Barceló , Leonid Libkin Temporal Logics over Unranked Trees. [Citation Graph (0, 0)][DBLP ] Conf ] Hannu Niemistö On Locality and Uniform Reduction. [Citation Graph (0, 0)][DBLP ] Conf ] Evan Goris , Maarten Marx Looping Caterpillars. [Citation Graph (0, 0)][DBLP ] Conf ] Geoffrey Washburn , Stephanie Weirich Generalizing Parametricity Using Information-flow. [Citation Graph (0, 0)][DBLP ] Conf ] Masahito Hasegawa Relational Parametricity and Control. [Citation Graph (0, 0)][DBLP ] Conf ] Paul-André Melliès , Jerome Vouillon Recursive Polymorphic Types and Parametricity in an Operational Framework. [Citation Graph (0, 0)][DBLP ] Conf ] Giuseppe Castagna , Rocco De Nicola , Daniele Varacca Semantic Subtyping for the p-Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Benedikt An Insider's Guide to Logic in Telecommunications Data. [Citation Graph (0, 0)][DBLP ] Conf ] Albert Atserias On Digraph Coloring Problems and Treewidth Duality. [Citation Graph (0, 0)][DBLP ] Conf ] Javier Esparza , Antonín Kucera , Richard Mayr Quantitative Analysis of Probabilistic Pushdown Automata: Expectations and Variances. [Citation Graph (0, 0)][DBLP ] Conf ] Parosh Aziz Abdulla , Noomene Ben Henda , Richard Mayr Verifying Infinite Markov Chains with a Finite Attractor or the Global Coarseness Property. [Citation Graph (0, 0)][DBLP ] Conf ] Christel Baier , Marcus Größer Recognizing omega-regular Languages with Probabilistic Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Jérôme Leroux A Polynomial Time Presburger Criterion and Synthesis for Number Decision Diagrams. [Citation Graph (0, 0)][DBLP ] Conf ] Patrice Godefroid , Michael Huth Model Checking Vs. Generalized Model Checking: Semantic Minimizations for Temporal Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Markus Lohrey Model-Checking Hierarchical Structures. [Citation Graph (0, 0)][DBLP ] Conf ] Krishnendu Chatterjee , Thomas A. Henzinger , Marcin Jurdzinski Mean-Payoff Parity Games. [Citation Graph (0, 0)][DBLP ] Conf ] Joël Ouaknine , James Worrell On the Decidability of Metric Temporal Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Clemens Kupke , Yde Venema Closure Properties of Coalgebra Automata. [Citation Graph (0, 0)][DBLP ] Conf ] François Lamarche , Lutz Straßburger Constructing Free Boolean Categories. [Citation Graph (0, 0)][DBLP ] Conf ] Luigi Santocanale Completions of µ-algebras. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Hofmann Proof-Theoretic Approach to Description-Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Jane Hillston Process Algebras for Quantitative Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Thorsten Altenkirch , Jonathan Grattage A Functional Quantum Programming Language. [Citation Graph (0, 0)][DBLP ] Conf ] Lars Birkedal , Noah Torp-Smith , Hongseok Yang Semantics of Separation-Logic Typing and Higher-Order Frame Rules. [Citation Graph (0, 0)][DBLP ] Conf ] Kohei Honda , Nobuko Yoshida , Martin Berger An Observationally Complete Program Logic for Imperative Higher-Order Frame Rules. [Citation Graph (0, 0)][DBLP ] Conf ] Iovka Boneva , Jean-Marc Talbot , Sophie Tison Expressiveness of a Spatial Logic for Trees. [Citation Graph (0, 0)][DBLP ] Conf ] Chris Hardin Proof Theory for Kleene Algebra. [Citation Graph (0, 0)][DBLP ] Conf ] Glynn Winskel Name Generation and Linearity. [Citation Graph (0, 0)][DBLP ] Conf ] Vladimiro Sassone , Pawel Sobocinski Reactive Systems over Cospans. [Citation Graph (0, 0)][DBLP ] Conf ] Bernd Finkbeiner , Sven Schewe Uniform Distributed Synthesis. [Citation Graph (0, 0)][DBLP ] Conf ] Bruno Blanchet , Martín Abadi , Cédric Fournet Automated Verification of Selected Equivalences for Security Protocols. [Citation Graph (0, 0)][DBLP ] Conf ] Solomon Feferman Tarski's Influence on Computer Science. [Citation Graph (0, 0)][DBLP ] Conf ] Walter Fontana Logic and Systems Biology. [Citation Graph (0, 0)][DBLP ] Conf ] Soren Lassen Eager Normal Form Bisimulation. [Citation Graph (0, 0)][DBLP ] Conf ] Alexis Saurin Separation with Streams in the lambdaµ-calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Ugo Dal Lago The Geometry of Linear Higher-Order Recursion. [Citation Graph (0, 0)][DBLP ] Conf ] Claudia Faggian , François Maurel Ludics Nets, a game Model of Concurrent Interaction. [Citation Graph (0, 0)][DBLP ] Conf ] Paul-André Melliès Asynchronous Games 4: A Fully Complete Model of Propositional Linear Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Michael J. Maher Herbrand Constraint Abduction. [Citation Graph (0, 0)][DBLP ] Conf ] Limin Jia , Frances Spalding , David Walker , Neal Glew Certifying Compilation for a Language with Stack Allocation. [Citation Graph (0, 0)][DBLP ] Conf ] Abbas Edalat , Dirk Pattinson Inverse and Implicit Functions in Domain Theory. [Citation Graph (0, 0)][DBLP ] Conf ] Martín Hötzel Escardó , Ho Weng Kin Operational Domain Theory and Topology of a Sequential Programming Language. [Citation Graph (0, 0)][DBLP ] Conf ] Víctor Dalmau Generalized Majority-Minority Operations are Tractable. [Citation Graph (0, 0)][DBLP ] Conf ] Emanuel Kieronski , Martin Otto Small Substructures and Decidability Issues for First-Order Logic with Two Variables. [Citation Graph (0, 0)][DBLP ] Conf ] Albert Atserias Definability on a Random 3-CNF Formula. [Citation Graph (0, 0)][DBLP ] Conf ] Benjamin Rossman Existential Positive Types and Preservation under Homomorphisisms. [Citation Graph (0, 0)][DBLP ] Conf ] 