| 2001 | A Framework for Developing Embeddable Customized Logics. Sébastien Ferré, Olivier Ridoux |
| 2001 | A Transformation Technique for Datalog Programs Based on Non-deterministic Constructs. Petros Potikas, Panos Rondogiannis, Manolis Gergatsoulis |
| 2001 | Abstract Conjunctive Partial Deduction Using Regular Types and Its Application to Model Checking. Michael Leuschel, Stefan Gruner |
| 2001 | Computing Environment-Aware Agent Behaviours with Logic Program Updates. José Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira |
| 2001 | Correct Object-Oriented Systems in Computational Logic. Kung-Kiu Lau, Mario Ornaghi |
| 2001 | Equivalence in Answer Set Programming. Mauricio Osorio, Juan Antonio Navarro Pérez, José Arrazola |
| 2001 | Extracting Exact Time Bounds from Logical Proofs. Mauro Ferrari, Camillo Fiorentini, Mario Ornaghi |
| 2001 | Extracting General Recursive Program Schemes in Nuprl's Type Theory. James L. Caldwell |
| 2001 | Logic Based Program Synthesis and Transformation, 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001, Selected Papers Alberto Pettorossi |
| 2001 | On Deforesting Parameters of Accumulating Maps. Kazuhiko Kakehi, Robert Glück, Yoshihiko Futamura |
| 2001 | Proof Theory, Transformations, and Logic Programming for Debugging Security Protocols. Giorgio Delzanno, Sandro Etalle |
| 2001 | Static Analysis for Safe Destructive Updates in a Functional Language. Natarajan Shankar |
| 2001 | Symbolic Profiling for Multi-paradigm Declarative Languages. Elvira Albert, Germán Vidal |
| 2001 | Verification of Sets of Infinite State Processes Using Program Transformation. Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti |
| 2001 | When Size Does Matter. Wim Vanhoof, Maurice Bruynooghe |