| 2010 | On Inductive Proofs by Extended Unfold/Fold Transformation Rules. | Hirohisa Seki |
| 2010 | Analysis of Air Traffic Track Data with the AutoBayes Synthesis System. | Johann Schumann, Karen Cate, Alan Lee |
| 2010 | MikiBeta : A General GUI Library for Visualizing Proof Trees - System Description and Demonstration. | Kanako Sakurai, Kenichi Asai |
| 2010 | Graph Generation to Statically Represent CSP Processes. | Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit |
| 2010 | Scaling Up Algorithmic Debugging with Virtual Execution Trees. | David Insa, Josep Silva |
| 2010 | Proving with ACL2 the Correctness of Simplicial Sets in the Kenzo System. | Jnathan Heras, Vico Pascual, Julio Rubio |
| 2010 | Verification of the Schorr-Waite Algorithm - From Trees to Graphs. | Mathieu Giorgino, Martin Strecker, Ralph Matthes, Marc Pantel |
| 2010 | Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation. | Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni |
| 2010 | Three Syntactic Theories for Combinatory Graph Reduction. | Olivier Danvy, Ian Zerny |
| 2010 | The First-Order Nominal Link. | Christophe Calvs, Maribel Fernndez |
| 2010 | Abstract Diagnosis of First Order Functional Logic Programs. | Giovanni Bacci, Marco Comini |
| 2010 | Compositional CLP-Based Test Data Generation for Imperative Languages. | Elvira Albert, Miguel Gmez-Zamalloa, Jos Miguel Rojas, Germn Puebla |
| 2009 | Towards Scalable Partial Evaluation of Declarative Programs. | Germn Vidal |
| 2009 | On Inductive and Coinductive Proofs via Unfold/Fold Transformations. | Hirohisa Seki |
| 2009 | The Dependency Triple Framework for Termination of Logic Programs. | Peter Schneider-Kamp, Jrgen Giesl, Manh Thang Nguyen |
| 2009 | Program Parallelization Using Synchronized Pipelining. | Leonardo Scandolo, Csar Kunz, Manuel V. Hermenegildo |
| 2009 | A Transformational Approach for Proving Properties of the CHR Constraint Store. | Paolo Pilozzi, Tom Schrijvers, Maurice Bruynooghe |
| 2009 | Deciding Full Branching Time Logic by Program Transformation. | Alberto Pettorossi, Maurizio Proietti, Valerio Senni |
| 2009 | Refining Exceptions in Four-Valued Logic. | Susumu Nishimura |
| 2009 | Coinductive Logic Programming with Negation. | Richard Min, Gopal Gupta |
| 2009 | Goal-Directed and Relative Dependency Pairs for Proving the Termination of Narrowing. | Jos Iborra, Naoki Nishida, Germn Vidal |
| 2009 | Towards a Framework for Constraint-Based Test Case Generation. | Franois Degrave, Tom Schrijvers, Wim Vanhoof |
| 2009 | LP with Flexible Grouping and Aggregates Using Modes. | Marcin Czenko, Sandro Etalle |
| 2009 | Towards Just-In-Time Partial Evaluation of Prolog. | Carl Friedrich Bolz, Michael Leuschel, Armin Rigo |
| 2009 | Using Rewrite Strategies for Testing BUpL Agents. | Lacramioara Astefanoaei, Frank S. de Boer, M. Birna van Riemsdijk |