| 2009 | Defining Datalog in Rewriting Logic. | Mara Alpuente, Marco A. Feli, Christophe Joubert, Alicia Villanueva |
| 2008 | On Negative Unfolding in the Answer Set Semantics. | Hirohisa Seki |
| 2008 | From Monomorphic to Polymorphic Well-Typings and Beyond. | Tom Schrijvers, Maurice Bruynooghe, John P. Gallagher |
| 2008 | An Inference Algorithm for Guaranteeing Safe Destruction. | Manuel Montenegro, Ricardo Pea-Mar, Clara Segura |
| 2008 | Fast Offline Partial Evaluation of Large Logic Programs. | Michael Leuschel, Germn Vidal |
| 2008 | The MEB and CEB Static Analysis for CSP Specifications. | Michael Leuschel, Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit |
| 2008 | Analytical Inductive Functional Programming. | Emanuel Kitzelmann |
| 2008 | Automatic Generation of Test Inputs for Mercury. | Franois Degrave, Tom Schrijvers, Wim Vanhoof |
| 2008 | Space Invading Systems Code. | Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang |
| 2008 | Analysis of Linear Hybrid Systems in CLP. | Gourinath Banda, John P. Gallagher |
| 2008 | A Transformational Approach to Polyvariant BTA of Higher-Order Functional Programs. | Gustavo Arroyo, J. Guadalupe Ramos, Salvador Tamarit, Germn Vidal |
| 2008 | A Modular Equational Generalization Algorithm. | Mara Alpuente, Santiago Escobar, Jos Meseguer, Pedro Ojeda |
| 2008 | Test Data Generation of Bytecode by CLP Partial Evaluation. | Elvira Albert, Miguel Gmez-Zamalloa, Germn Puebla |
| 2007 | A Scalable Inclusion Constraint Solver Using Unification. | Ye Zhang, Flemming Nielson |
| 2007 | Aggregates for CHR through Program Transformation. | Peter Van Weert, Jon Sneyers, Bart Demoen |
| 2007 | Synthesis of Data Views for Communicating Processes. | Iman Poernomo |
| 2007 | Termination Analysis of Logic Programs Based on Dependency Graphs. | Manh Thang Nguyen, Jrgen Giesl, Peter Schneider-Kamp, Danny De Schreye |
| 2007 | A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs. | Mario Mndez-Lojo, Jorge A. Navas, Manuel V. Hermenegildo |
| 2007 | Preserving Sharing in the Partial Evaluation of Lazy Functional Programs. | Sebastian Fischer, Josep Silva, Salvador Tamarit, Germn Vidal |
| 2007 | Snapshot Generation in a Constructive Object-Oriented Modeling Language. | Mauro Ferrari, Camillo Fiorentini, Alberto Momigliano, Mario Ornaghi |
| 2007 | Towards a Normal Form for Mercury Programs. | Franois Degrave, Wim Vanhoof |
| 2007 | Proving Termination with (Boolean) Satisfaction. | Michael Codish |
| 2007 | Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs. | Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo |
| 2007 | Denotation by Transformation. | Bernd Brael, Jan Christiansen |
| 2007 | Action Refinement in Process Algebra and Security Issues. | Annalisa Bossi, Carla Piazza, Sabina Rossi |