| 2015 | Abstract Analysis of Universal Properties for tccp. | Marco Comini, Mara-del-Mar Gallardo, Laura Titolo, Alicia Villanueva |
| 2015 | Applying Sorting Networks to Synthesize Optimized Sorting Libraries. | Michael Codish, Lus Cruz-Filipe, Markus Nebel, Peter Schneider-Kamp |
| 2015 | Combining Top-Down and Bottom-Up Techniques in Program Derivation. | Dipak L. Chaudhari, Om P. Damani |
| 2015 | Checking Java Assertions Using Automated Test-Case Generation. | Rafael Caballero, Manuel Montenegro, Herbert Kuchen, Vincent von Hof |
| 2015 | A Global Occurrence Counting Analysis for Brane Calculi. | Chiara Bodei, Linda Brodo, Roberta Gori, Diana Hermith, Francesca Levi |
| 2015 | SHIP - A Logic-Based Language and Tool to Program Smart Environments. | Serge Autexier, Dieter Hutter |
| 2015 | Compiling Collapsing Rules in Certain Constructor Systems. | Sergio Antoy, Andy Jost |
| 2015 | From Boolean Equalities to Constraints. | Sergio Antoy, Michael Hanus |
| 2015 | Why CP Portfolio Solvers Are (under)Utilized? Issues and Challenges. | Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro |
| 2015 | A Typed Language for Events. | Sandra Alves, Sabine Broda, Maribel Fernndez |
| 2014 | Concolic Execution and Test Case Generation in Prolog. | Germn Vidal |
| 2014 | A Hybrid Method for the Verification and Synthesis of Parameterized Self-Stabilizing Protocols. | Amer Tahat, Ali Ebnenasir |
| 2014 | Partial Evaluation for Java Malware Detection. | Ranjeet Singh, Andy King |
| 2014 | CHRAnimation: An Animation Tool for Constraint Handling Rules. | Nada Sharaf, Slim Abdennadher, Thom W. Frhwirth |
| 2014 | Analysing and Compiling Coroutines with Abstract Conjunctive Partial Deduction. | Danny De Schreye, Vincent Nys, Colin J. Nicholson |
| 2014 | Liveness Properties in CafeOBJ - A Case Study for Meta-Level Specifications. | Norbert Preining, Kazuhiro Ogata, Kokichi Futatsugi |
| 2014 | Pre-indexed Terms for Prolog. | Jos F. Morales, Manuel V. Hermenegildo |
| 2014 | Extending the 2D Dependency Pair Framework for Conditional Term Rewriting Systems. | Salvador Lucas, Jos Meseguer, Ral Gutirrez |
| 2014 | A Formal Semantics for the Cognitive Architecture ACT-R. | Daniel Gall, Thom W. Frhwirth |
| 2014 | Exhaustive Execution of CHR Through Source-to-Source Transformation. | Ahmed Elsawy, Amira Zaki, Slim Abdennadher |
| 2014 | On Completeness of Logic Programs. | Wlodzimierz Drabent |
| 2014 | Functional Kleene Closures. | Nikita Danilenko |
| 2014 | Analyzing Array Manipulating Programs by Program Transformation. | J. Robert M. Cornish, Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Sndergaard, Peter J. Stuckey |
| 2014 | Confluence Modulo Equivalence in Constraint Handling Rules. | Henning Christiansen, Maja H. Kirkeby |
| 2014 | Polynomial Approximation to Well-Founded Semantics for Logic Programs with Generalized Atoms: Case Studies. | Md. Solimul Chowdhury, Fangfang Liu, Wu Chen, Arash Karimi, Jia-Huai You |