| 2007 | ARMC: The Logical Choice for Software Model Checking with Abstraction Refinement. | Andreas Podelski, Andrey Rybalchenko |
| 2007 | Instantly Turning a Naive Exhaustive Search into Three Efficient Searches with Pruning. | Takeshi Morimoto, Yasunao Takano, Hideya Iwasaki |
| 2007 | Combining Static Analysis and Profiling for Estimating Execution Times. | Edison Mera, Pedro Lpez-Garca, Germn Puebla, Manuel Carro, Manuel V. Hermenegildo |
| 2007 | Inductive Logic Programming by Instance Patterns. | Chongbing Liu, Enrico Pontelli |
| 2007 | Aspect-Oriented Programming in Higher-Order and Linear Logic. | Chuck C. Liang |
| 2007 | Partial Evaluation of Pointcuts. | Karl Klose, Klaus Ostermann, Michael Leuschel |
| 2007 | QuickCheck Testing for Fun and Profit. | John Hughes |
| 2007 | HPorter: Using Arrows to Compose Parallel Processes. | Liwen Huang, Paul Hudak, John Peterson |
| 2007 | Applications, Implementation and Performance Evaluation of Bit Stream Programming in Erlang. | Per Gustafsson, Konstantinos Sagonas |
| 2007 | Algebraic Knowledge Discovery Using Haskell. | Jens Fisseler, Gabriele Kern-Isberner, Christoph Beierle, Andreas Koch, Christian Mller |
| 2007 | Automatic Incrementalization of Prolog Based Static Analyses. | Michael Eichberg, Matthias Kahl, Diptikalyan Saha, Mira Mezini, Klaus Ostermann |
| 2007 | Rewriting Haskell Strings. | Duncan Coutts, Don Stewart, Roman Leshchinskiy |
| 2007 | Prolog Performance on Larger Datasets. | Vtor Santos Costa |
| 2007 | BAD, a Declarative Logic-Based Language for Brain Modeling. | Alan H. Bond |
| 2007 | Coupled Schema Transformation and Data Conversion for XML and SQL. | Pablo Berdaguer, Alcino Cunha, Hugo Pacheco, Joost Visser |
| 2007 | A Constraint Programming Approach to Bioinformatics Structural Problems. | Pedro Barahona, Ludwig Krippahl |
| 2007 | Verification of Java Bytecode Using Analysis and Transformation of Logic Programs. | Elvira Albert, Miguel Gmez-Zamalloa, Laurent Hubert, Germn Puebla |
| 2006 | Automatic Verification of a Model Checker by Reflection. | Bow-Yaw Wang |
| 2006 | JQuery: A Generic Code Browser with a Declarative Configuration Language. | Kris De Volder |
| 2006 | Tabling in Mercury: Design and Implementation. | Zoltan Somogyi, Konstantinos Sagonas |
| 2006 | Generic Cut Actions for External Prolog Predicates. | Tiago Soares, Ricardo Rocha, Michel Ferreira |
| 2006 | Probabilistic-Logical Modeling of Music. | Jon Sneyers, Joost Vennekens, Danny De Schreye |
| 2006 | Incremental Evaluation of Tabled Prolog: Beyond Pure Logic Programs. | Diptikalyan Saha, C. R. Ramakrishnan |
| 2006 | Using Dominators for Solving Constrained Path Problems. | Luis Quesada, Peter Van Roy, Yves Deville, Raphal Collet |
| 2006 | Efficient Top-Down Set-Sharing Analysis Using Cliques. | Jorge A. Navas, Francisco Bueno, Manuel V. Hermenegildo |