Search results for "LICS"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Benoît Larose, Cynthia Loten, Claude Tardif	A Characterisation of First-Order Constraint Satisfaction Problems.	LICS	2006	DBLP DOI BibTeX RDF
1	Martin Otto 0001	The Boundedness Problem for Monadic Universal First-Order Logic.	LICS	2006	DBLP DOI BibTeX RDF
1	Stéphane Demri, Ranko Lazic 0001	LTL with the Freeze Quantifier and Register Automata.	LICS	2006	DBLP DOI BibTeX RDF
1	Andreas Blass	Adapting Logics.	LICS	2006	DBLP DOI BibTeX RDF
1	Dietrich Kuske, Markus Lohrey	Monadic Chain Logic Over Iterations and Applications to Pushdown Systems.	LICS	2006	DBLP DOI BibTeX RDF
1	Lutz Schröder, Dirk Pattinson	PSPACE Bounds for Rank-1 Modal Logics.	LICS	2006	DBLP DOI BibTeX RDF
1	Daniele Varacca, Hagen Völzer	Temporal Logics and Model Checking for Fairly Correct Systems.	LICS	2006	DBLP DOI BibTeX RDF
1	Orna Kupferman, Moshe Y. Vardi	Memoryful Branching-Time Logic.	LICS	2006	DBLP DOI BibTeX RDF
1		21th IEEE Symposium on Logic in Computer Science (LICS 2006), 12-15 August 2006, Seattle, WA, USA, Proceedings	LICS	2006	DBLP BibTeX RDF
1	Søren B. Lassen	Head Normal Form Bisimulation for Pairs and the \lambda\mu-Calculus.	LICS	2006	DBLP DOI BibTeX RDF
1	Marcelo P. Fiore, Sam Staton	A Congruence Rule Format for Name-Passing Process Calculi from Mathematical Structural Operational Semantics.	LICS	2006	DBLP DOI BibTeX RDF
1	Guoqiang Pan, Moshe Y. Vardi	Fixed-Parameter Hierarchies inside PSPACE.	LICS	2006	DBLP DOI BibTeX RDF
1		Reviewers.	LICS	2006	DBLP DOI BibTeX RDF
1	Orna Kupferman	Avoiding Determinization.	LICS	2006	DBLP DOI BibTeX RDF
1	John W. Dawson	Shaken Foundations or Groundbreaking Realignment? A Centennial Assessment of Kurt Gödel's Impact on Logic, Mathematics, and Computer Science.	LICS	2006	DBLP DOI BibTeX RDF
1	Ugo Dal Lago	The Geometry of Linear Higher-Order Recursion.	LICS	2005	DBLP DOI BibTeX RDF
1	Bernd Finkbeiner, Sven Schewe	Uniform Distributed Synthesis.	LICS	2005	DBLP DOI BibTeX RDF
1	Iovka Boneva, Jean-Marc Talbot, Sophie Tison	Expressiveness of a Spatial Logic for Trees.	LICS	2005	DBLP DOI BibTeX RDF
1	Evan Goris, Maarten Marx	Looping Caterpillars.	LICS	2005	DBLP DOI BibTeX RDF
1		20th IEEE Symposium on Logic in Computer Science (LICS 2005), 26-29 June 2005, Chicago, IL, USA, Proceedings	LICS	2005	DBLP BibTeX RDF
1	Geoffrey Washburn, Stephanie Weirich	Generalizing Parametricity Using Information-flow.	LICS	2005	DBLP DOI BibTeX RDF
1	Limin Jia 0001, Frances Spalding, David Walker 0001, Neal Glew	Certifying Compilation for a Language with Stack Allocation.	LICS	2005	DBLP DOI BibTeX RDF
1	Javier Esparza, Antonín Kucera 0001, Richard Mayr	Quantitative Analysis of Probabilistic Pushdown Automata: Expectations and Variances.	LICS	2005	DBLP DOI BibTeX RDF
1	Emanuel Kieronski, Martin Otto 0001	Small Substructures and Decidability Issues for First-Order Logic with Two Variables.	LICS	2005	DBLP DOI BibTeX RDF
1	Joël Ouaknine, James Worrell 0001	On the Decidability of Metric Temporal Logic.	LICS	2005	DBLP DOI BibTeX RDF
1	Markus Lohrey	Model-Checking Hierarchical Structures.	LICS	2005	DBLP DOI BibTeX RDF
1	Albert Atserias	Definability on a Random 3-CNF Formula.	LICS	2005	DBLP DOI BibTeX RDF
1	Víctor Dalmau	Generalized Majority-Minority Operations are Tractable.	LICS	2005	DBLP DOI BibTeX RDF
1	Martin Hofmann 0001	Proof-Theoretic Approach to Description-Logic.	LICS	2005	DBLP DOI BibTeX RDF
1	Krishnendu Chatterjee, Thomas A. Henzinger, Marcin Jurdzinski	Mean-Payoff Parity Games.	LICS	2005	DBLP DOI BibTeX RDF
1		Cover Pages.	LICS	2005	DBLP DOI BibTeX RDF
1	Martín Hötzel Escardó, Weng Kin Ho	Operational Domain Theory and Topology of a Sequential Programming Language.	LICS	2005	DBLP DOI BibTeX RDF
1	Paul-André Melliès, Jerome Vouillon	Recursive Polymorphic Types and Parametricity in an Operational Framework.	LICS	2005	DBLP DOI BibTeX RDF
1	Patrice Godefroid, Michael Huth 0001	Model Checking Vs. Generalized Model Checking: Semantic Minimizations for Temporal Logics.	LICS	2005	DBLP DOI BibTeX RDF
1	Pablo Barceló, Leonid Libkin	Temporal Logics over Unranked Trees.	LICS	2005	DBLP DOI BibTeX RDF
1	François Lamarche, Lutz Straßburger	Constructing Free Boolean Categories.	LICS	2005	DBLP DOI BibTeX RDF
1	Solomon Feferman	Tarski's Influence on Computer Science.	LICS	2005	DBLP DOI BibTeX RDF
1	Christel Baier, Marcus Größer	Recognizing omega-regular Languages with Probabilistic Automata.	LICS	2005	DBLP DOI BibTeX RDF
1	Anuj Dawar, Martin Otto 0001	Modal Characterisation Theorems over Special Classes of Frames.	LICS	2005	DBLP DOI BibTeX RDF
1	Giuseppe Castagna, Rocco De Nicola, Daniele Varacca	Semantic Subtyping for the p-Calculus.	LICS	2005	DBLP DOI BibTeX RDF
1	Albert Atserias	On Digraph Coloring Problems and Treewidth Duality.	LICS	2005	DBLP DOI BibTeX RDF
1	Michael Benedikt	An Insider's Guide to Logic in Telecommunications Data.	LICS	2005	DBLP DOI BibTeX RDF
1	Glynn Winskel	Relations in Concurrency.	LICS	2005	DBLP DOI BibTeX RDF
1	Hannu Niemistö	On Locality and Uniform Reduction.	LICS	2005	DBLP DOI BibTeX RDF
1	Alexis Saurin	Separation with Streams in the lambdaµ-calculus.	LICS	2005	DBLP DOI BibTeX RDF	Böhm Theorem, Calculus of Streams, Separation Property, Untyped ??-calculus
1	Prakash Panangaden	Foreword.	LICS	2005	DBLP DOI BibTeX RDF
1	Parosh Aziz Abdulla, Noomene Ben Henda, Richard Mayr	Verifying Infinite Markov Chains with a Finite Attractor or the Global Coarseness Property.	LICS	2005	DBLP DOI BibTeX RDF
1	Masahito Hasegawa	Relational Parametricity and Control.	LICS	2005	DBLP DOI BibTeX RDF
1	Chris Hardin	Proof Theory for Kleene Algebra.	LICS	2005	DBLP DOI BibTeX RDF
1	Abbas Edalat, Dirk Pattinson	Inverse and Implicit Functions in Domain Theory.	LICS	2005	DBLP DOI BibTeX RDF
1		Additional Reviewers.	LICS	2005	DBLP DOI BibTeX RDF
1	Kohei Honda 0001, Nobuko Yoshida, Martin Berger 0001	An Observationally Complete Program Logic for Imperative Higher-Order Frame Rules.	LICS	2005	DBLP DOI BibTeX RDF
1	Jos C. M. Baeten, Flavio Corradini	Regular Expressions in Process Algebra.	LICS	2005	DBLP DOI BibTeX RDF
1	Thorsten Altenkirch, Jonathan Grattage	A Functional Quantum Programming Language.	LICS	2005	DBLP DOI BibTeX RDF
1	Jane Hillston	Process Algebras for Quantitative Analysis.	LICS	2005	DBLP DOI BibTeX RDF
1	Bruno Blanchet, Martín Abadi, Cédric Fournet	Automated Verification of Selected Equivalences for Security Protocols.	LICS	2005	DBLP DOI BibTeX RDF
1	Vladimiro Sassone, Pawel Sobocinski 0001	Reactive Systems over Cospans.	LICS	2005	DBLP DOI BibTeX RDF
1	Clemens Kupke, Yde Venema	Closure Properties of Coalgebra Automata.	LICS	2005	DBLP DOI BibTeX RDF
1		Conference Organization.	LICS	2005	DBLP DOI BibTeX RDF
1		Front Cover.	LICS	2005	DBLP DOI BibTeX RDF
1	Luigi Santocanale	Completions of µ-algebras.	LICS	2005	DBLP DOI BibTeX RDF
1	Jérôme Leroux	A Polynomial Time Presburger Criterion and Synthesis for Number Decision Diagrams.	LICS	2005	DBLP DOI BibTeX RDF
1		Program Committee.	LICS	2005	DBLP DOI BibTeX RDF
1	Claudia Faggian, François Maurel	Ludics Nets, a game Model of Concurrent Interaction.	LICS	2005	DBLP DOI BibTeX RDF
1	Benjamin Rossman	Existential Positive Types and Preservation under Homomorphisisms.	LICS	2005	DBLP DOI BibTeX RDF
1	Glynn Winskel	Name Generation and Linearity.	LICS	2005	DBLP DOI BibTeX RDF
1	Lars Birkedal, Noah Torp-Smith, Hongseok Yang	Semantics of Separation-Logic Typing and Higher-Order Frame Rules.	LICS	2005	DBLP DOI BibTeX RDF
1	Michael J. Maher	Herbrand Constraint Abduction.	LICS	2005	DBLP DOI BibTeX RDF
1	Paul-André Melliès	Asynchronous Games 4: A Fully Complete Model of Propositional Linear Logic.	LICS	2005	DBLP DOI BibTeX RDF
1	Søren B. Lassen	Eager Normal Form Bisimulation.	LICS	2005	DBLP DOI BibTeX RDF
1	Walter Fontana	Logic and Systems Biology.	LICS	2005	DBLP DOI BibTeX RDF
1	Louis Latour	From Automata to Formulas: Convex Integer Polyhedra.	LICS	2004	DBLP DOI BibTeX RDF
1		19th IEEE Symposium on Logic in Computer Science (LICS 2004), 14-17 July 2004, Turku, Finland, Proceedings	LICS	2004	DBLP BibTeX RDF
1	Felix Klaedtke	On the Automata Size for Presburger Arithmetic.	LICS	2004	DBLP DOI BibTeX RDF
1	Sanjit A. Seshia, Randal E. Bryant	Deciding Quantifier-Free Presburger Formulas Using Parameterized Solution Bounds.	LICS	2004	DBLP DOI BibTeX RDF
1	Robert Harper 0001	Self-Adjusting Computation.	LICS	2004	DBLP DOI BibTeX RDF
1	Samson Abramsky, Dan R. Ghica, Andrzej S. Murawski, C.-H. Luke Ong, Ian David Bede Stark	Nominal Games and Full Abstraction for the Nu-Calculus.	LICS	2004	DBLP DOI BibTeX RDF
1	Joël Ouaknine, James Worrell 0001	On the Language Inclusion Problem for Timed Automata: Closing a Decidability Gap.	LICS	2004	DBLP DOI BibTeX RDF
1	Stefan Wöhrle, Wolfgang Thomas	Model Checking Synchronized Products of Infinite Transition Systems.	LICS	2004	DBLP DOI BibTeX RDF
1	Samson Abramsky, Bob Coecke	A Categorical Semantics of Quantum Protocols.	LICS	2004	DBLP DOI BibTeX RDF
1	Philippe de Groote, Bruno Guillaume, Sylvain Salvati	Vector Addition Tree Automata.	LICS	2004	DBLP DOI BibTeX RDF
1	Davide Sangiorgi	Bisimulation: From The Origins to Today.	LICS	2004	DBLP DOI BibTeX RDF
1	Murdoch Gabbay, James Cheney	A Sequent Calculus for Nominal Logic.	LICS	2004	DBLP DOI BibTeX RDF
1	Stephen A. Cook, Antonina Kolokolova	A Second-Order Theory for NL.	LICS	2004	DBLP DOI BibTeX RDF
1	Kerkko Luosto	Equicardinality on Linear Orders.	LICS	2004	DBLP DOI BibTeX RDF
1	Jörg Flum, Martin Grohe	Model-Checking Problems as a Basis for Parameterized Intractability.	LICS	2004	DBLP DOI BibTeX RDF
1	Michael Baldamus, Joachim Parrow, Björn Victor	Spi Calculus Translated to ?--Calculus Preserving May-Tests.	LICS	2004	DBLP DOI BibTeX RDF
1	Phuong Nguyen, Stephen A. Cook	VTC circ: A Second-Order Theory for TCcirc.	LICS	2004	DBLP DOI BibTeX RDF
1	Michael Huth 0001	Beyond Image-Finiteness: Labelled Transition Systems as a Stone Space.	LICS	2004	DBLP DOI BibTeX RDF
1	Ulrich Berger 0001	A Computational Interpretation of Open Induction.	LICS	2004	DBLP DOI BibTeX RDF
1	Daniel Leivant	Proving Termination Assertions in Dynamic Logics.	LICS	2004	DBLP DOI BibTeX RDF
1	Brian P. Dunphy, Uday S. Reddy	Parametric Limits.	LICS	2004	DBLP DOI BibTeX RDF	Parametric polymorphism, Relational Parametricity, Categorical models, Fibrations
1	Andreas Podelski, Andrey Rybalchenko	Transition Invariants.	LICS	2004	DBLP DOI BibTeX RDF
1	David A. Naumann, Michael Barnett 0001	Towards Imperative Modules: Reasoning about Invariants and Sharing of Mutable State.	LICS	2004	DBLP DOI BibTeX RDF
1	Dennis Dams, Kedar S. Namjoshi	The Existence of Finite Abstractions for Branching Time Model Checking.	LICS	2004	DBLP DOI BibTeX RDF
1	Parosh Aziz Abdulla, Johann Deneux, Pritha Mahata	Multi-Clock Timed Networks.	LICS	2004	DBLP DOI BibTeX RDF
1	Martin Grohe, Nicole Schweikardt	The Succinctness of First-Order Logic on Linear Orders.	LICS	2004	DBLP DOI BibTeX RDF
1	Andrei A. Bulatov	A Graph of a Relational Structure and Constraint Satisfaction Problems.	LICS	2004	DBLP DOI BibTeX RDF
1	Patrick Baillot, Kazushige Terui	Light Types for Polynomial Time Computation in Lambda-Calculus.	LICS	2004	DBLP DOI BibTeX RDF
1	Stephen A. Cook, Neil Thapen	The Strength of Replacement in Weak Arithmetic.	LICS	2004	DBLP DOI BibTeX RDF

Publications at "LICS"( http://dblp.L3S.de/Venues/LICS )