Authors on this page:
- Martín Abadi
- Abadi, M.
- Martin Abadi
- Abbas Edalat
- Parosh Abdulla
- Parosh Aziz Abdulla
- Abiteboul, S.
- Serge Abiteboul
- Samson Abramsky
- Abramsky, S.
- S. Abramsky
- Aceto, L.
- Peter Aczel
- Jiri Adamek
- Micah Adler
- Klaus Aehlig
- Foto Afrati
- Amal J. Ahmed
- Amal Ahmed
- Aiken, A.
- Aitken, W.E.
- Yohji Akama
- Fabio Alessi
- Luca de Alfaro
- Stuart Allen
- Allen, S.F.
- Noga Alon
- Bowen Alpern
- Thorsten Altenkirch
- Alur, R.
- Rajeev Alur
- Roberto M. Amadio
- Henrik Reif Andersen
- Andrew W. Appel
- A. Appel
- C. Areces
- Marcelo Arenas
- Ofer Arieli
- Zena Ariola
- Andre Arnold
- Eugene Asarin
- Karima Ashraf
- Andrea Asperti
- David Aspinall
- Albert Atserias
- Philippe Audebaud
- Jeremy Avigad
- A. Avron
- Arnon Avron
Martín Abadi
- Paper: Martín Abadi Zohar Manna
A Timely Resolution (LICS 1986) More Information... - Paper: Martín Abadi
The Power of Temporal Proofs (LICS 1987) More Information... - Paper: Martín Abadi Leslie Lamport
The existence of refinement mappings (LICS 1988) More Information... - Paper: Martín Abadi Cédric Fournet Georges Gonthier
Secure Implementation of Channel Abstractions (LICS 1998) More Information... - Invited Talk: Martín Abadi
Logic in Access Control (LICS 2003) More Information...
Abadi, M.
- Paper: Abadi, M. Pierce, B. Plotkin, G.
Faithful ideal models for recursive polymorphic types (LICS 1989) More Information... - Paper: Abadi, M. Plotkin, G.D.
A PER model of polymorphism and recursive types (LICS 1990) More Information... - Paper: Gonthier, G. Abadi, M. Levy, J.-J.
Linear logic without boxes (LICS 1992) More Information...
Martin Abadi
- Paper: Martin Abadi Luca Cardelli
A semantics of object types (LICS 1994) More Information... - Paper: Gordon Plotkin Martin Abadi Luca Cardelli
Subtyping and parametricity (LICS 1994) More Information... - Paper: Martin Abadi Marcelo P. Fiore
Syntactic Considerations on Recursive Types (LICS 1996) More Information... - Paper: Bruno Blanchet Martin Abadi Cedric Fournet
Automated Verification of Selected Equivalences for Security Protocols (LICS 2005) More Information...
Abbas Edalat
- Paper: Abbas Edalat
The Scott Topology Induces the Weak Topology (LICS 1996) More Information...
Parosh Abdulla
- Paper: Parosh Abdulla Bengt Jonsson
Verifying programs with unreliable channels (LICS 1993) More Information... - Paper: Richard Mayr Parosh Abdulla Noomene Ben Henda
Verifying Infinite Markov Chains with a Finite Attractor or the Global Coarseness Property (LICS 2005) More Information...
Parosh Aziz Abdulla
- Paper: Parosh Aziz Abdulla Karlis Cerans Bengt Jonsson Yih-Kuen Tsay
General decidability theorems for infinite-state systems (LICS 1996) More Information... - Paper: Parosh Aziz Abdulla Aletta Nylén
Better is Better than Well: On Efficient Verification of Infinite-State Systems (LICS 2000) More Information... - Paper: Parosh Aziz Abdulla Johann Deneux Pritha Mahata
Multi-Clock Timed Networks (LICS 2004) More Information...
Abiteboul, S.
- Paper: Abiteboul, S. Vianu, V.
Fixpoint extensions of first-order logic and datalog-like languages (LICS 1989) More Information...
Serge Abiteboul
- Paper: Serge Abiteboul Christos Papadimitrou Victor Vianu
The power of reflective relational machines (LICS 1994) More Information... - Paper: Serge Abiteboul
Semistructured Data: From Practice to Theory (LICS 2001) More Information...
Samson Abramsky
- Paper: Samson Abramsky
Domain Theory in Logical Form (LICS 1987) More Information... - Paper: Samson Abramsky Guy McCusker
Games and Full Abstraction for the Lazy Lambda-Calculus (LICS 1995) More Information... - Paper: Samson Abramsky Kohei Honda Guy McCusker
A Fully Abstract Game Semantics for General References (LICS 1998) More Information... - Paper: Samson Abramsky Paul-André Melliès
Concurrent Games and Full Completeness (LICS 1999) More Information... - Invited Talk: Samson Abramsky
High-Level Methods for Quantum Computation and Information (LICS 2004) More Information... - Paper: Samson Abramsky Bob Coecke
A Categorical Semantics of Quantum Protocols (LICS 2004) More Information...
Abramsky, S.
- Paper: Abramsky, S. Jagadeesan, R.
New foundations for the geometry of interaction (LICS 1992) More Information...
S. Abramsky
- Paper: S. Abramsky D. R. Ghica A. S. Murawski C.-H. L. Ong I. D. B. Stark
Nominal Games and Full Abstraction for the Nu-Calculus (LICS 2004) More Information...
Aceto, L.
- Paper: Aceto, L. Hennessy, M.
Towards action-refinement in process algebras (LICS 1989) More Information... - Paper: Aceto, L. Bloom, B. Vaandrager, F.
Turning SOS rules into equations (LICS 1992) More Information...
Peter Aczel
- Paper: Paul F. Mendler Peter Aczel
The notion of a framework and a framework for LTC (LICS 1988) More Information... - Paper: Peter Aczel
Term declaration logic and generalised composita (LICS 1991) More Information...
Jiri Adamek
- Short Presentation: Jiri Adamek Stefan Milius
Wellfounded Coalgebras (LICS 2005) More Information...
Micah Adler
- Paper: Micah Adler Neil Immerman
An n! Lower Bound on Formula Size (LICS 2001) More Information...
Klaus Aehlig
- Paper: Klaus Aehlig Helmut Schwichtenberg
A Syntactical Analysis of Non-Size-Increasing Polynomial Time Computation (LICS 2000) More Information...
Foto Afrati
- Paper: Foto Afrati Hans Leiß Michel de Rougemont
Definability and Compression (LICS 2000) More Information...
Amal J. Ahmed
- Paper: Amal J. Ahmed Andrew W. Appel Roberto Virga
A Stratified Semantics of General References Embeddable in Higher-Order Logic (LICS 2002) More Information...
Amal Ahmed
- Paper: Amal Ahmed Limin Jia David Walker
Reasoning about Hierarchical Storage (LICS 2003) More Information...
Aiken, A.
- Paper: Aiken, A. Wimmers, E.L.
Solving systems of set constraints (LICS 1992) More Information...
Aitken, W.E.
- Paper: Allen, S.F. Constable, R.L. Howe, D.J. Aitken, W.E.
The semantics of reflected proof (LICS 1990) More Information...
Yohji Akama
- Paper: Yohji Akama Stefano Berardi Susumu Hayashi Ulrich Kohlenbach
An Arithmetical Hierarchy of the Law of Excluded Middle and Related Principles (LICS 2004) More Information...
Fabio Alessi
- Paper: Fabio Alessi Franco Barbanera
Toward a semantics for the QUEST language (LICS 1991) More Information...
Luca de Alfaro
- Paper: Luca de Alfaro Thomas A. Henzinger
Concurrent Omega-Regular Games (LICS 2000) More Information... - Paper: Luca de Alfaro Thomas A. Henzinger Rupak Majumdar
From Verification to Control: Dynamic Programs for Omega-Regular Objectives (LICS 2001) More Information... - Paper: Luca de Alfaro Patrice Godefroid Radha Jagadeesan
Three-Valued Abstractions of Games: Uncertainty, but with Precision (LICS 2004) More Information...
Stuart Allen
- Paper: Stuart Allen
A Non-Type-Theoretic Definition of Martin-Löf's Types (LICS 1987) More Information... - Short Presentation: Eli Barzilay Stuart Allen Robert Constable
Practical Reflection in Nuprl (LICS 2003) More Information...
Allen, S.F.
- Paper: Allen, S.F. Constable, R.L. Howe, D.J. Aitken, W.E.
The semantics of reflected proof (LICS 1990) More Information...
Noga Alon
- Paper: Noga Alon Tova Milo Frank Neven Dan Suciu Victor Vianu
Typechecking XML Views of Relational Databases (LICS 2001) More Information...
Bowen Alpern
- Paper: Bowen Alpern Fred B. Schneider
Proving Boolean Combinations of Deterministic Properties (LICS 1987) More Information...
Thorsten Altenkirch
- Paper: Thorsten Altenkirch Martin Hofmann Thomas Streicher
Reduction-free normalisation for a polymorphic system (LICS 1996) More Information... - Paper: Thorsten Altenkirch
Extensional Equality in Intensional Type Theory (LICS 1999) More Information... - Paper: Thorsten Altenkirch Peter Dybjer Martin Hofmann Philip Scott
Normalization by Evaluation for Typed Lambda Calculus with Coproducts (LICS 2001) More Information... - Paper: Thorsten Altenkirch Jonathan Grattage
A Functional Quantum Programming Language (LICS 2005) More Information...
Alur, R.
- Paper: Alur, R. Henzinger, T.A.
Real-time logics: complexity and expressiveness (LICS 1990) More Information... - Paper: Alur, R. Courcoubetis, C. Dill, D.
Model-checking for real-time systems (LICS 1990) More Information...
Rajeev Alur
- Paper: Rajeev Alur Thomas Henzinger
Finitary fairness (LICS 1994) More Information... - Paper: Rajeev Alur Doron Peled Wojciech Penczek
Model-Checking of causality properties (LICS 1995) More Information... - Paper: Rajeev Alur Thomas A. Henzinger
Reactive Modules (LICS 1996) More Information... - Paper: Rajeev Alur Ken McMillan Doron Peled
Model-checking of correctness conditions for concurrent objects (LICS 1996) More Information... - Paper: Rajeev Alur Salvatore La Torre
Deterministic Generators and Games for LTL Fragments (LICS 2001) More Information...
Roberto M. Amadio
- Paper: Roberto M. Amadio Kim B. Bruce Giuseppe Longo
The Finitary Projection Model for Second Order Lambda Calculus and Solutions to Higher Order Domain Equations (LICS 1986) More Information... - Paper: Roberto M. Amadio
A fixed point of the second order lambda-calculus: observable equivalences and models (LICS 1988) More Information...
Henrik Reif Andersen
- Paper: Henrik Reif Andersen Colin Stirling Glynn Winskel
A compositional proof system for the modal μ-calculus (LICS 1994) More Information... - Paper: Henrik Reif Andersen
Partial Model Checking (LICS 1995) More Information... - Paper: Henrik Reif Andersen Henrik Hulgaard
Boolean Expression Diagrams (LICS 1997) More Information...
Andrew W. Appel
- Invited Talk: Andrew W. Appel
Foundational Proof-Carrying Code (LICS 2001) More Information... - Paper: Amal J. Ahmed Andrew W. Appel Roberto Virga
A Stratified Semantics of General References Embeddable in Higher-Order Logic (LICS 2002) More Information...
A. Appel
- Short Presentation: G. Tan A. Appel
Semantics of machine Instructions at Multiple Levels of Abstraction (LICS 2001) More Information...
C. Areces
- Short Presentation: C. Areces P. Blackburn M. Marx
Repairing the Interpolation Theorem in First-Order Modal Logic (LICS 2001) More Information...
Marcelo Arenas
- Short Presentation: Marcelo Arenas Pablo Barcelo Leonid Libkin
Game-based Notions of Locality (LICS 2003) More Information...
Ofer Arieli
- Paper: Ofer Arieli Arnon Avron
Logical bilattices and inconsistent data (LICS 1994) More Information... - Paper: Ofer Arieli Arnon Avron
The Logical Role of the Four-Valued Bilattice (LICS 1998) More Information...
Zena Ariola
- Paper: Zena Ariola Jan Willem Klop
Cyclic lambda graph rewriting (LICS 1994) More Information...
Andre Arnold
- Paper: Giacomo Lenzi Andre Arnold Jerzy Marcinkowski
The Hierarchy inside Closed Monadic S1 Collapses on the Infinite Binary Tree (LICS 2001) More Information...
Eugene Asarin
- Paper: Eugene Asarin Paul Caspi Oded Maler
A Kleene theorem for timed automata (LICS 1997) More Information... - Paper: Eugene Asarin Ahmed Bouajjani
Perturbed Turing Machines and Hybrid Systems (LICS 2001) More Information...
Karima Ashraf
- Paper: Laks V. S. Lakshmanan Karima Ashraf Jiawei Han
Homomorphic tree embeddings and their applications to recursive program optimization (LICS 1993) More Information...
Andrea Asperti
- Paper: Andrea Asperti Vincent Danos Cosimo Laneve Laurent Regnier
Paths in the lambda-calculus. Three years of communications without understanding (LICS 1994) More Information... - Paper: Andrea Asperti
Light Affine Logic (LICS 1998) More Information...
David Aspinall
- Paper: David Aspinall Adriana Compagnoni
Subtyping Dependent Types (LICS 1996) More Information...
Albert Atserias
- Paper: Albert Atserias Phokion G. Kolaitis
First-Order Logic vs. Fixed-Point Logic in Finite Set Theory (LICS 1999) More Information... - Paper: Albert Atserias
Unsatisfiable Random Formulas are Hard to Certify (LICS 2002) More Information... - Paper: Albert Atserias
On Digraph Coloring Problems and Treewidth Duality (LICS 2005) More Information... - Paper: Albert Atserias
Definability on a Random 3-CNF Formula (LICS 2005) More Information...
Philippe Audebaud
- Paper: Philippe Audebaud
Partial objects in the calculus of constructions (LICS 1991) More Information...
Jeremy Avigad
- Paper: Jeremy Avigad
Eliminating Definitions and Skolem Functions in First-Order Logic (LICS 2001) More Information...
A. Avron
- Paper: A. Avron J. Hirshfeld
On first order database query languages (LICS 1991) More Information...
Arnon Avron
- Paper: Ofer Arieli Arnon Avron
Logical bilattices and inconsistent data (LICS 1994) More Information... - Paper: Ofer Arieli Arnon Avron
The Logical Role of the Four-Valued Bilattice (LICS 1998) More Information...