| 2012 | Enhancing Declarative Debugging with Loop Expansion and Tree Compression. | David Insa, Josep Silva, Csar Toms |
| 2012 | Symbolic Evaluation Graphs and Term Rewriting - A General Methodology for Analyzing Logic Programs. | Jrgen Giesl, Thomas Strder, Peter Schneider-Kamp, Fabian Emmes, Carsten Fuhs |
| 2012 | Semantic Code Clones in Logic Programs. | Celine Dandois, Wim Vanhoof |
| 2012 | A Declarative Pipeline Language for Complex Data Analysis. | Henning Christiansen, Christian Theil Have, Ole Torp Lassen, Matthieu Petit |
| 2012 | Specialization with Constrained Generalization for Software Model Checking. | Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti |
| 2012 | Computing More Specific Versions of Conditional Rewriting Systems. | Naoki Nishida, Germn Vidal |
| 2011 | A Linear Operational Semantics for Termination and Complexity Analysis of ISO Prolog. | Thomas Strder, Fabian Emmes, Peter Schneider-Kamp, Jrgen Giesl, Carsten Fuhs |
| 2011 | Probabilistic Termination of CHRiSM Programs. | Jon Sneyers, Danny De Schreye |
| 2011 | Proving Properties of Co-Logic Programs by Unfold/Fold Transformations. | Hirohisa Seki |
| 2011 | Improved Termination Analysis of CHR Using Self-sustainability Analysis. | Paolo Pilozzi, Danny De Schreye |
| 2011 | Meta-predicate Semantics. | Paulo Moura |
| 2011 | Modular Extensions for Modular (Logic) Languages. | Jos F. Morales, Manuel V. Hermenegildo, Rmy Haemmerl |
| 2011 | Marker-Directed Optimization of UnCAL Graph Transformations. | Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano, Isao Sasano |
| 2011 | Dynamic Symbolic Computation for Domain-Specific Language Implementation. | Fritz Henglein |
| 2011 | Analysis of Logic Programs Using Regular Tree Languages - (Extended Abstract). | John P. Gallagher |
| 2011 | Using Real Relaxations during Program Specialization. | Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni |
| 2011 | A Strategy Language for Graph Rewriting. | Maribel Fernndez, Hlne Kirchner, Olivier Namet |
| 2011 | Clones in Logic Programs and How to Detect Them. | Celine Dandois, Wim Vanhoof |
| 2011 | Simplifying Questions in Maude Declarative Debugger by Transforming Proof Trees. | Rafael Caballero, Adrin Riesco, Alberto Verdejo, Narciso Mart-Oliet |
| 2011 | Automata-Based Computation of Temporal Equilibrium Models. | Pedro Cabalar, Stphane Demri |
| 2011 | A Declarative Embedding of XQuery in a Functional-Logic Language. | Jess Manuel Almendros-Jimnez, Rafael Caballero, Yolanda Garca-Ruiz, Fernando Senz-Prez |
| 2011 | Resource-Driven CLP-Based Test Case Generation. | Elvira Albert, Miguel Gmez-Zamalloa, Jos Miguel Rojas |
| 2010 | Non-termination Analysis of Logic Programs Using Types. | Dean Voets, Danny De Schreye |
| 2010 | A Hybrid Approach to Conjunctive Partial Evaluation of Logic Programs. | Germn Vidal |
| 2010 | Dependency Triples for Improving Termination Analysis of Logic Programs with Cut. | Thomas Strder, Peter Schneider-Kamp, Jrgen Giesl |