| 2007 | Type-Based Homeomorphic Embedding and Its Applications to Online Partial Evaluation. | Elvira Albert, John P. Gallagher, Miguel Gmez-Zamalloa, Germn Puebla |
| 2007 | Generation of Rule-Based Constraint Solvers: Combined Approach. | Slim Abdennadher, Ingi Sobhi |
| 2006 | On the Automated Synthesis of Proof-Carrying Temporal Reference Monitors. | Simon Winwood, Gerwin Klein, Manuel M. T. Chakravarty |
| 2006 | A Comparative Study of Algorithmic Debugging Strategies. | Josep Silva |
| 2006 | Automated Termination Analysis for Logic Programs by Term Rewriting. | Peter Schneider-Kamp, Jrgen Giesl, Alexander Serebrenik, Ren Thiemann |
| 2006 | Synthesis of Asynchronous Systems. | Sven Schewe, Bernd Finkbeiner |
| 2006 | Constructing Consensus Logic Programs. | Chiaki Sakama, Katsumi Inoue |
| 2006 | Detecting Non-termination of Term Rewriting Systems Using an Unfolding Operator. | tienne Payet |
| 2006 | Polytool: Proving Termination Automatically Based on Polynomial Interpretations. | Manh Thang Nguyen, Danny De Schreye |
| 2006 | CHESS: Systematic Stress Testing of Concurrent Software. | Madan Musuvathi, Shaz Qadeer |
| 2006 | Towards Description and Optimization of Abstract Machines in an Extension of Prolog. | Jos F. Morales, Manuel Carro, Manuel V. Hermenegildo |
| 2006 | How to Talk to a Human: The Semantic Web and the Clash of the Titans. | Massimo Marchiori |
| 2006 | Combining Different Proof Techniques for Verifying Information Flow Security. | Heiko Mantel, Henning Sudbrock, Tina Krauer |
| 2006 | Supervising Offline Partial Evaluation of Logic Programs Using Online Techniques. | Michael Leuschel, Stephen-John Craig, Daniel Elphick |
| 2006 | A Program Transformation for Tracing Functional Logic Computations. | Bernd Brassel, Sebastian Fischer, Frank Huch |
| 2006 | Grids: A Domain for Analyzing the Distribution of Numerical Values. | Roberto Bagnara, Katy Louise Dobson, Patricia M. Hill, Matthew Mundell, Enea Zaffanella |
| 2006 | Improving Offline Narrowing-Driven Partial Evaluation Using Size-Change Graphs. | Gustavo Arroyo, J. Guadalupe Ramos, Josep Silva, Germn Vidal |
| 2006 | ARM: Automatic Rule Miner. | Slim Abdennadher, Abdellatif Olama, Noha Salem, Amira Thabet |
| 2005 | Extension of Type-Based Approach to Generation of Stream-Processing Programs by Automatic Insertion of Buffering Primitives. | Kohei Suenaga, Naoki Kobayashi, Akinori Yonezawa |
| 2005 | Design and Implementation of A | Luke Simon, Ajay Mallya, Gopal Gupta |
| 2005 | Transformational Verification of Parameterized Protocols Using Array Formulas. | Alberto Pettorossi, Maurizio Proietti, Valerio Senni |
| 2005 | A Transformational Semantics of Static Embedded Implications of Normal Logic Programs. | Edelmira Pasarella, Fernando Orejas, Elvira Pino, Marisa Navarro |
| 2005 | Removing Superfluous Versions in Polyvariant Specialization of Prolog Programs. | Claudio Ochoa, Germn Puebla, Manuel V. Hermenegildo |
| 2005 | Converting One Type-Based Abstract Domain to Another. | John P. Gallagher, Germn Puebla, Elvira Albert |
| 2005 | Temporal Logic Constraints in the Biochemical Abstract Machine BIOCHAM. | Franois Fages |