| 2002 | 17th IEEE Symposium on Logic in Computer Science (LICS 2002), 22-25 July 2002, Copenhagen, Denmark, Proceedings |
| 2002 | A Fully Abstract May Testing Semantics for Concurrent Objects. Alan Jeffrey, Julian Rathke |
| 2002 | A Stratified Semantics of General References A Stratified Semantics of General References. Amal J. Ahmed, Andrew W. Appel, Roberto Virga |
| 2002 | A Syntactic Approach to Foundational Proof-Carrying Code. Nadeem Abdul Hamid, Zhong Shao, Valery Trifonov, Stefan Monnier, Zhaozhong Ni |
| 2002 | Automatic Decidability. Christopher Lynch, Barbara Morawska |
| 2002 | Calibrating Computational Feasibility by Abstraction Rank. Daniel Leivant |
| 2002 | Complete Problems for Dynamic Complexity Classes. William Hesse, Neil Immerman |
| 2002 | Complexity Classes, Propositional Proof Systems, and Formal Theories. Stephen A. Cook |
| 2002 | Computational Adequacy for Recursive Types in Models of Intuitionistic Set Theory. Alex K. Simpson |
| 2002 | Computing Reachability Relations in Timed Automata. Catalin Dima |
| 2002 | Decidable and Undecidable Fragments of First-Order Branching Temporal Logics. Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev |
| 2002 | Deciding Confluence of Certain Term Rewriting Systems in Polynomial Time. Ashish Tiwari |
| 2002 | Dense Real-Time Games. Marco Faella, Salvatore La Torre, Aniello Murano |
| 2002 | Description Logics: Foundations for Class-based Knowledge Representation. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini |
| 2002 | Domain Theory and Differential Calculus (Functions of one Variable). Abbas Edalat, André Lieutier |
| 2002 | Efficient Type Inference for Record Concatenation and Subtyping. Jens Palsberg, Tian Zhao |
| 2002 | Expressive Equivalence of Least and Inflationary Fixed-Point Logic. Stephan Kreutzer |
| 2002 | Games on Graphs and Sequentially Realizable Functionals. Martin Hyland, Andrea Schalk |
| 2002 | Linearity in Process Languages. Mikkel Nygaard, Glynn Winskel |
| 2002 | Little Engines of Proof. Natarajan Shankar |
| 2002 | Modal and Guarded Characterisation Theorems over Finite Transition Systems. Martin Otto |
| 2002 | Monadic Queries over Tree-Structured Data. Georg Gottlob, Christoph Koch |
| 2002 | Observational Equivalence of 3rd-Order Idealized Algol is Decidable. C.-H. Luke Ong |
| 2002 | On The Lambda Y Calculus. Richard Statman |
| 2002 | Polarized Games. Olivier Laurent |
| 2002 | Probabilistic Abstraction for Model Checking: An Approach Based on Property Testing. Sophie Laplante, Richard Lassaigne, Frédéric Magniez, Sylvain Peyronnet, Michel de Rougemont |
| 2002 | Remarks on Isomorphisms in Typed Lambda Calculi with Empty and Sum Types. Marcelo P. Fiore, Roberto Di Cosmo, Vincent Balat |
| 2002 | Semantic Minimization of 3-Valued Propositional Formulae. Thomas W. Reps, Alexey Loginov, Shmuel Sagiv |
| 2002 | Semantic Subtyping. Alain Frisch, Giuseppe Castagna, Véronique Benzaken |
| 2002 | Semantics and Logic of Object Calculi. Bernhard Reus, Thomas Streicher |
| 2002 | Separability, Expressiveness, and Decidability in the Ambient Logic. Daniel Hirschkoff, Étienne Lozes, Davide Sangiorgi |
| 2002 | Separation Logic: A Logic for Shared Mutable Data Structures. John C. Reynolds |
| 2002 | Some Results on Automatic Structures. Hajime Ishihara, Bakhadyr Khoussainov, Sasha Rubin |
| 2002 | Temporal Logic with Forgettable Past. François Laroussinie, Nicolas Markey, Philippe Schnoebelen |
| 2002 | The 0-1 law fails for frame satisfiability of propositional modal logic. Jean-Marie Le Bars |
| 2002 | The Complexity of First-Order and Monadic Second-Order Logic Revisited. Markus Frick, Martin Grohe |
| 2002 | The Metric Analogue of Weak Bisimulation for Probabilistic Processes. Josée Desharnais, Radha Jagadeesan, Vineet Gupta, Prakash Panangaden |
| 2002 | The Powerdomain of Indexed Valuations. Daniele Varacca |
| 2002 | The Proof Complexity of Linear Algebra. Michael Soltys, Stephen A. Cook |
| 2002 | Tree Extension Algebras: Logics, Automata, and Query Languages. Michael Benedikt, Leonid Libkin |
| 2002 | Tree-Like Counterexamples in Model Checking. Edmund M. Clarke, Somesh Jha, Yuan Lu, Helmut Veith |
| 2002 | Unsatisfiable Random Formulas Are Hard to Certify. Albert Atserias |