| 2008 | Similarity-based reasoning in qualified logic programming. | Rafael Caballero, Mario Rodrguez-Artalejo, Carlos A. Romero-Daz |
| 2008 | Fixed point semantics and partial recursion in Coq. | Yves Bertot, Vladimir Komendantsky |
| 2008 | A rewriting framework for the composition of access control policies. | Clara Bertolissi, Maribel Fernndez |
| 2008 | Pattern by example: type-driven visual programming of XML queries. | Vronique Benzaken, Giuseppe Castagna, Dario Colazzo, Cdric Miachon |
| 2007 | Unfolding in CHR. | Paolo Tacchella, Maurizio Gabbrielli, Maria Chiara Meo |
| 2007 | Type safe dynamic linking for JVM access control. | Christian Skalka |
| 2007 | Detecting defects in Erlang programs using static analysis. | Konstantinos Sagonas |
| 2007 | A larger decidable semiunification problem. | Brad Lushman, Gordon V. Cormack |
| 2007 | Practical use of polynomials over the reals in proofs of termination. | Salvador Lucas |
| 2007 | A simple rewrite notion for call-time choice semantics. | Francisco Javier Lpez-Fraguas, Juan Rodrguez-Hortal, Jaime Snchez-Hernndez |
| 2007 | Nonmonotonic inductive logic programming by instance patterns. | Chongbing Liu, Enrico Pontelli |
| 2007 | User-definable rule priorities for CHR. | Leslie De Koninck, Tom Schrijvers, Bart Demoen |
| 2007 | Efficient trust management policy analysis from rules. | Katia Hristova, K. Tuncay Tekle, Yanhong A. Liu |
| 2007 | Putting declarative programming into the web: translating curry to javascript. | Michael Hanus |
| 2007 | Higher-order semantic labelling for inductive datatype systems. | Makoto Hamana |
| 2007 | Induction for positive almost sure termination. | Isabelle Gnaedig |
| 2007 | Systematic generation of glass-box test cases for functional logic programs. | Sebastian Fischer, Herbert Kuchen |
| 2007 | Observing intermediate structures in a parallel lazy functional language. | Alberto de la Encina, Luis Llana, Fernando Rubio, Mercedes Hidalgo-Herrero |
| 2007 | Mechanized metatheory model-checking. | James Cheney, Alberto Momigliano |
| 2007 | Regular directional types for logic programs. | Witold Charatonik |
| 2007 | Local reasoning about storable locks. | Josh Berdine |
| 2007 | Formalizing and verifying semantic type soundness of a simple compiler. | Nick Benton, Uri Zarfaty |
| 2007 | Relational semantics for effect-based program transformations with dynamic allocation. | Nick Benton, Andrew Kennedy, Lennart Beringer, Martin Hofmann |
| 2007 | Interactive, scalable, declarative program analysis: from prototype to implementation. | William C. Benton, Charles N. Fischer |
| 2007 | Computing with subspaces. | Sergio Antoy, Bernd Brael |