IEEE Symposium on Logic in Computer Science

A B C D E F G H I J K L M N O P QR S T U V W X Y Z

Authors on this page:

• Martín Abadi
• Parosh A. Abdulla
• Andreas Abel
• Serge Abiteboul
• Samson Abramsky
• Luca Aceto
• Peter Aczel
• Jiri Adamek
• Micah Adler
• Klaus Aehlig
• Foto N. Afrati
• Amal J. Ahmed
• Alexander Aiken
• William E. Aitken
• Yohji Akama
• Fabio Alessi
• Stuart F. Allen
• Noga Alon
• Bowen Alpern
• Thorsten Altenkirch
• Rajeev Alur
• Roberto M. Amadio
• Henrik R. Andersen
• Andrew W. Appel
• Carlos E. Areces
• Marcelo Arenas
• Ofer Arieli
• Zena M. Ariola
• André Arnold
• Eugene Asarin
• Karima Ashraf
• Andrea Asperti
• David Aspinall
• Albert Atserias
• Philippe Audebaud
• Jeremy Avigad
• 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 Benjamin C. Pierce Gordon D. Plotkin
  Faithful ideal models for recursive polymorphic types (LICS 1989) More Information...
• Paper: Martín Abadi Gordon D. Plotkin
  A PER model of polymorphism and recursive types (LICS 1990) More Information...
• Paper: Georges Gonthier Martín Abadi Jean-Jacques Lévy
  Linear logic without boxes (LICS 1992) More Information...
• Paper: Martín Abadi Luca Cardelli
  A semantics of object types (LICS 1994) More Information...
• Paper: Gordon D. Plotkin Martín Abadi Luca Cardelli
  Subtyping and parametricity (LICS 1994) More Information...
• Paper: Martín Abadi Marcelo P. Fiore
  Syntactic Considerations on Recursive Types (LICS 1996) More Information...
• Paper: Martín Abadi Cédric Fournet Georges Gonthier
  Secure Implementation of Channel Abstractions (LICS 1998) More Information...
• Invited Paper: Martín Abadi
  Logic in Access Control (LICS 2003) More Information...
• Paper: Bruno Blanchet Martín Abadi Cédric Fournet
  Automated Verification of Selected Equivalences for Security Protocols (LICS 2005) More Information...

Parosh A. Abdulla

• Paper: Parosh A. Abdulla Bengt Jonsson
  Verifying programs with unreliable channels (LICS 1993) More Information...
• Paper: Parosh A. Abdulla Karlis Cerans Bengt Jonsson Yih-Kuen Tsay
  General decidability theorems for infinite-state systems (LICS 1996) More Information...
• Paper: Parosh A. Abdulla Aletta Nylén
  Better is Better than Well: On Efficient Verification of Infinite-State Systems (LICS 2000) More Information...
• Paper: Parosh A. Abdulla Johann Deneux Pritha Mahata
  Multi-Clock Timed Networks (LICS 2004) More Information...
• Paper: Richard Mayr Parosh A. Abdulla Noomene Ben Henda
  Verifying Infinite Markov Chains with a Finite Attractor or the Global Coarseness Property (LICS 2005) More Information...

Andreas Abel

• Paper: Andreas Abel Thierry Coquand Peter Dybjer
  Normalization by Evaluation for Martin-Löf Type Theory with Typed Equality Judgements (LICS 2007) More Information...

Serge Abiteboul

• Paper: Serge Abiteboul Victor Vianu
  Fixpoint extensions of first-order logic and datalog-like languages (LICS 1989) More Information...
• Paper: Serge Abiteboul Christos H. Papadimitriou Victor Vianu
  The power of reflective relational machines (LICS 1994) More Information...
• Invited 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 Radha Jagadeesan
  New foundations for the geometry of interaction (LICS 1992) 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...
• Paper: Samson Abramsky Dan R. Ghica Andrzej S. Murawski C.-H. Luke Ong Ian D. B. Stark
  Nominal Games and Full Abstraction for the Nu-Calculus (LICS 2004) More Information...
• Invited Paper: 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...

Luca Aceto

• Paper: Luca Aceto Matthew Hennessy
  Towards action-refinement in process algebras (LICS 1989) More Information...
• Paper: Luca Aceto Bard Bloom Fritz W. Vaandrager
  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...
• Paper: Klaus Aehlig Arnold Beckmann
  On the Computational Complexity of Cut-Reduction (LICS 2008) More Information...

Foto N. Afrati

• Paper: Foto N. 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...
• Paper: Amal J. Ahmed Limin Jia David Walker
  Reasoning about Hierarchical Storage (LICS 2003) More Information...
• Paper: Derek Dreyer Amal J. Ahmed Lars Birkedal
  Logical Step-Indexed Logical Relations (LICS 2009) More Information...

Alexander Aiken

• Paper: Alexander Aiken Edward L. Wimmers
  Solving systems of set constraints (LICS 1992) More Information...
• Paper: Tachio Terauchi Alexander Aiken
  On Typability for Rank-2 Intersection Types with Polymorphic Recursion (LICS 2006) More Information...

William E. Aitken

• Paper: Stuart F. Allen Robert L. Constable Douglas J. Howe William E. Aitken
  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...

Stuart F. Allen

• Paper: Stuart F. Allen
  A Non-Type-Theoretic Definition of Martin-Löf's Types (LICS 1987) More Information...
• Paper: Stuart F. Allen Robert L. Constable Douglas J. Howe William E. Aitken
  The semantics of reflected proof (LICS 1990) More Information...
• Short Presentation: Eli Barzilay Stuart F. Allen Robert L. Constable
  Practical Reflection in Nuprl (LICS 2003) 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 J. 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...
• Paper: Thorsten Altenkirch Peter Morris
  Indexed Containers (LICS 2009) More Information...

Rajeev Alur

• Paper: Rajeev Alur Thomas A. Henzinger
  Real-time logics: complexity and expressiveness (LICS 1990) More Information...
• Paper: Rajeev Alur Costas Courcoubetis David L. Dill
  Model-checking for real-time systems (LICS 1990) More Information...
• Paper: Rajeev Alur Thomas A. Henzinger
  Finitary fairness (LICS 1994) More Information...
• Paper: Rajeev Alur Doron A. 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 Kenneth L. McMillan Doron A. 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...
• Paper: Rajeev Alur Marcelo Arenas Pablo Barceló Kousha Etessami Neil Immerman Leonid Libkin
  First-Order and Temporal Logics for Nested Words (LICS 2007) 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 R. Andersen

• Paper: Henrik R. Andersen Colin Stirling Glynn Winskel
  A compositional proof system for the modal μ-calculus (LICS 1994) More Information...
• Paper: Henrik R. Andersen
  Partial Model Checking (LICS 1995) More Information...
• Paper: Henrik R. Andersen Henrik Hulgaard
  Boolean Expression Diagrams (LICS 1997) More Information...

Andrew W. Appel

• Invited Paper: Andrew W. Appel
  Foundational Proof-Carrying Code (LICS 2001) More Information...
• Short Presentation: Gang Tan Andrew W. Appel
  Semantics of machine Instructions at Multiple Levels of Abstraction (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...

Carlos E. Areces

• Short Presentation: Carlos E. Areces Patrick Blackburn Maarten Marx
  Repairing the Interpolation Theorem in First-Order Modal Logic (LICS 2001) More Information...

Marcelo Arenas

• Short Presentation: Marcelo Arenas Pablo Barceló Leonid Libkin
  Game-based Notions of Locality (LICS 2003) More Information...
• Paper: Rajeev Alur Marcelo Arenas Pablo Barceló Kousha Etessami Neil Immerman Leonid Libkin
  First-Order and Temporal Logics for Nested Words (LICS 2007) 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 M. Ariola

• Paper: Zena M. Ariola Jan W. Klop
  Cyclic lambda graph rewriting (LICS 1994) More Information...

André Arnold

• Paper: Giacomo Lenzi André 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 B. 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...

Arnon Avron

• Paper: Arnon Avron Yoram Hirshfeld
  On first order database query languages (LICS 1991) More Information...
• 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...