| 2002 | Investigating Type-Certifying Compilation with Isabelle. | Martin Strecker |
| 2002 | A Local System for Linear Logic. | Lutz Straburger |
| 2002 | Proof Development with Omega-MEGA: sqrt(2) Is Irrational. | Jrg H. Siekmann, Christoph Benzmller, Armin Fiedler, Andreas Meier, Martin Pollet |
| 2002 | An Isomorphism between a Fragment of Sequent Calculus and an Extension of Natural Deduction. | Jos Esprito Santo |
| 2002 | A Semantics for Proof Plans with Applications to Interactive Proof Planning. | Julian Richardson |
| 2002 | Gdel Logics and Cantor-Bendixon Analysis. | Norbert Preining |
| 2002 | Parallelism and Tree Regular Constraints. | Joachim Niehren, Mateu Villaret |
| 2002 | Games, Probability and the Quantitative -Calculus qM. | Annabelle McIver, Carroll Morgan |
| 2002 | Theorem Proving with Sequence Variables and Flexible Arity Symbols. | Temur Kutsia |
| 2002 | Pushdown Specifications. | Orna Kupferman, Nir Piterman, Moshe Y. Vardi |
| 2002 | Procedural Semantics for Fuzzy Disjunctive Programs. | Dusan Guller |
| 2002 | A Non-commutative Extension of MELL. | Alessio Guglielmi, Lutz Straburger |
| 2002 | Query Optimization of Disjunctive Databases with Constraints through Binding Propagation. | Gianluigi Greco, Sergio Greco, Irina Trubitsyna, Ester Zumpano |
| 2002 | On Expressive Description Logics with Composition of Roles in Number Restrictions. | Fabio Grandi |
| 2002 | Using BDDs with Combinations of Theories. | Pascal Fontaine, E. Pascal Gribomont |
| 2002 | On the Complexity of Disjunction and Explicit Definability Properties in Some Intermediate Logics. | Mauro Ferrari, Camillo Fiorentini, Guido Fiorino |
| 2002 | A Framework for Splitting BDI Agents. | Xiaocong Fan, John Yen |
| 2002 | Directed Automated Theorem Proving. | Stefan Edelkamp, Peter Leven |
| 2002 | Binding Logic: Proofs and Models. | Gilles Dowek, Thrse Hardin, Claude Kirchner |
| 2002 | An Extension of BDI | Mehdi Dastani, Leendert W. N. van der Torre |
| 2002 | Proof Planning for Feature Interactions: A Preliminary Report. | Claudio Castellini, Alan Smaill |
| 2002 | Searching for Invariants Using Temporal Resolution. | James Brotherston, Anatoli Degtyarev, Michael Fisher, Alexei Lisitsa |
| 2002 | Extending Compositional Message Sequence Graphs. | Benedikt Bollig, Martin Leucker, Philipp Lucas |
| 2002 | A Note on Universal Measures for Weak Implicit Computational Complexity. | Arnold Beckmann |
| 2002 | Maintenance of Formal Software Developments by Stratified Verification. | Serge Autexier, Dieter Hutter |