| 2002 | Combining Logic Programs and Monadic Second Order Logics by Program Transformation. | Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti |
| 2002 | An Operational Approach to Program Extraction in the Calculus of Constructions. | Maribel Fernndez, Paula Severi |
| 2002 | Refinement of Higher-Order Logic Programs. | Robert Colvin, Ian J. Hayes, David Hemer, Paul A. Strooper |
| 2002 | Tabling Structures for Bottom-Up Logic Programming. | Roger Clayton, John G. Cleary, Bernhard Pfahringer, Mark Utting |
| 2002 | Mapping Modular SOS to Rewriting Logic. | Christiano de Oliveira Braga, Edward Hermann Haeusler, Jos Meseguer, Peter D. Mosses |
| 2002 | A Proof System for Information Flow Security. | Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi |
| 2002 | A Generic Program for Minimal Subsets with Applications. | Rudolf Berghammer |
| 2002 | A General Framework for Variable Aliasing: Towards Optimal Operators for Sharing Properties. | Gianluca Amato, Francesca Scozzari |
| 2002 | Abstract Diagnosis of Functional Programs. | Mara Alpuente, Marco Comini, Santiago Escobar, Moreno Falaschi, Salvador Lucas |
| 2002 | Program Synthesis Based on the Equivalent Transformation Computation Model. | Kiyoshi Akama, Ekawit Nantajeewarawat, Hidekatsu Koike |
| 2002 | Constraint Solver Synthesis Using Tabled Resolution for Constraint Logic Programming. | Slim Abdennadher, Christophe Rigotti |
| 2001 | When Size Does Matter. | Wim Vanhoof, Maurice Bruynooghe |
| 2001 | Static Analysis for Safe Destructive Updates in a Functional Language. | Natarajan Shankar |
| 2001 | A Transformation Technique for Datalog Programs Based on Non-deterministic Constructs. | Petros Potikas, Panos Rondogiannis, Manolis Gergatsoulis |
| 2001 | Equivalence in Answer Set Programming. | Mauricio Osorio, Juan Antonio Navarro Prez, Jos Arrazola |
| 2001 | Abstract Conjunctive Partial Deduction Using Regular Types and Its Application to Model Checking. | Michael Leuschel, Stefan Gruner |
| 2001 | Correct Object-Oriented Systems in Computational Logic. | Kung-Kiu Lau, Mario Ornaghi |
| 2001 | On Deforesting Parameters of Accumulating Maps. | Kazuhiko Kakehi, Robert Glck, Yoshihiko Futamura |
| 2001 | Verification of Sets of Infinite State Processes Using Program Transformation. | Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti |
| 2001 | A Framework for Developing Embeddable Customized Logics. | Sbastien Ferr, Olivier Ridoux |
| 2001 | Extracting Exact Time Bounds from Logical Proofs. | Mauro Ferrari, Camillo Fiorentini, Mario Ornaghi |
| 2001 | Proof Theory, Transformations, and Logic Programming for Debugging Security Protocols. | Giorgio Delzanno, Sandro Etalle |
| 2001 | Extracting General Recursive Program Schemes in Nuprl's Type Theory. | James L. Caldwell |
| 2001 | Computing Environment-Aware Agent Behaviours with Logic Program Updates. | Jos Jlio Alferes, Antonio Brogi, Joo Alexandre Leite, Lus Moniz Pereira |
| 2001 | Symbolic Profiling for Multi-paradigm Declarative Languages. | Elvira Albert, Germn Vidal |