| 2001 | Interoperability between Bioinformatics Tools: A Logic Programming Approach. | Juan Raymundo Iglesias, Gopal Gupta, Enrico Pontelli, Desh Ranjan, Brook Milligan |
| 2001 | High-Level Server Side Web Scripting in Curry. | Michael Hanus |
| 2001 | Logic Programming Techniques for Dynamic VRML Web Content Generation. | Anima Gupta, Paul Tarau |
| 2001 | A Meta-heuristic for Subset Problems. | Pierre Flener, Brahim Hnich, Zeynep Kiziltan |
| 2001 | Compiling High-Level Type Constructors in Constraint Programming. | Pierre Flener, Brahim Hnich, Zeynep Kiziltan |
| 2001 | tu Prolog: A Light-Weight Prolog for Internet Applications and Infrastructures. | Enrico Denti, Andrea Omicini, Alessandro Ricci |
| 2001 | Soundcheck for SQL. | Hendrik Decker |
| 2001 | Frapp: Functional Reactive Programming in Java. | Antony Courtney |
| 2001 | Specifying Authentication Protocols Using Rewriting and Strategies. | Horatiu Cirstea |
| 2001 | From Subject Directories to Subject Meta-directories via Declarative Programming. | Antonio Brogi, Gianluca Caruso |
| 2001 | Soft Constraints for Security Protocol Analysis: Confidentiality. | Giampaolo Bella, Stefano Bistarelli |
| 2001 | Secure Deductive Databases. | Steve Barker |
| 2001 | Programming Goal-Driven Web Sites Using an Agent Logic Language. | Matteo Baldoni, Cristina Baroglio, Alessandro Chiarotto, Viviana Patti |
| 2000 | Implementation of a Linear Tabling Mechanism. | Neng-Fa Zhou, Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You |
| 2000 | A Hybrid Approach for Solving Large Scale Crew Scheduling Problems. | Tallys H. Yunes, Arnaldo Vieira Moura, Cid C. de Souza |
| 2000 | A Logic Programming Approach to Supporting the Entries of XML Documents in an Object Database. | Ching-Long Yeh |
| 2000 | First Class Patterns. | Mark Tullsen |
| 2000 | Modeling HTML in Haskell. | Peter Thiemann |
| 2000 | Programming Deep Concurrent Constraint Combinators. | Christian Schulte |
| 2000 | Current Trends in Logic Programming: Prospects and Promises. | I. V. Ramakrishnan |
| 2000 | Parallel Functional Reactive Programming. | John Peterson, Valery Trifonov, Andrei Serjantov |
| 2000 | How to Incorporate Negation in a Prolog Compiler. | Juan Jos Moreno-Navarro, Susana Muoz-Hernndez |
| 2000 | Using Static Analysis to Compile Non-sequential Functional Logic Programs. | Julio Mario, Juan Jos Moreno-Navarro |
| 2000 | Production-Quality Proof-Carrying Code. | Peter Lee |
| 2000 | Transformation-by-Example for XML. | Shriram Krishnamurthi, Kathryn E. Gray, Paul T. Graunke |