| 2014 | Drill and Join: A Method for Exact Inductive Program Synthesis. | Remis Balaniuk |
| 2014 | Declarative Compilation for Constraint Logic Programming. | Emilio Jess Gallego Arias, James Lipton, Julio Mario-Carballo |
| 2014 | Access Control and Obligations in the Category-Based Metamodel: A Rewrite-Based Semantics. | Sandra Alves, Anatoli Degtyarev, Maribel Fernndez |
| 2013 | Towards Erlang Verification by Term Rewriting. | Germn Vidal |
| 2013 | Extending Co-logic Programs for Branching-Time Model Checking. | Hirohisa Seki |
| 2013 | A Logical Encoding of Timed $$\pi $$ -Calculus. | Neda Saeedloei |
| 2013 | Generating Specialized Interpreters for Modular Structural Operational Semantics. | Casper Bach Poulsen, Peter D. Mosses |
| 2013 | Energy Consumption Analysis of Programs Based on XMOS ISA-Level Models. | Umer Liqat, Steve Kerrison, Alejandro Serrano, Kyriakos Georgiou, Pedro Lpez-Garca, Neville Grech, Manuel V. Hermenegildo, Kerstin Eder |
| 2013 | A New Hybrid Debugging Architecture for Eclipse. | Juan Gonzlez, David Insa, Josep Silva |
| 2013 | Towards the Implementation of a Source-to-Source Transformation Tool for CHR Operational Semantics. | Ghada Fakhry, Nada Sharaf, Slim Abdennadher |
| 2013 | From Outermost Reduction Semantics to Abstract Machine. | Olivier Danvy, Jacob Johannsen |
| 2013 | Information Flow in Object-Oriented Software. | Bernhard Beckert, Daniel Bruns, Vladimir Klebanov, Christoph Scheben, Peter H. Schmitt, Mattias Ulbrich |
| 2013 | Formalization and Execution of Linear Algebra: From Theorems to Algorithms. | Jess Aransay, Jose Divasn |
| 2013 | Compiling a Functional Logic Language: The Fair Scheme. | Sergio Antoy, Andy Jost |
| 2013 | A Transformational Approach to Resource Analysis with Typed-Norms. | Elvira Albert, Samir Genaim, Ral Gutirrez |
| 2013 | A Finite Representation of the Narrowing Space. | Naoki Nishida, Germn Vidal |
| 2012 | Program Analysis and Manipulation to Reproduce Learners' Erroneous Reasoning. | Claus Zinn |
| 2012 | Proving Properties of Co-logic Programs with Negation by Program Transformations. | Hirohisa Seki |
| 2012 | Simplifying the Verification of Quantified Array Assertions via Code Transformation. | Mohamed Nassim Seghir, Martin Brain |
| 2012 | An Introduction to Search Combinators. | Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, Peter J. Stuckey |
| 2012 | A Framework for Guided Test Case Generation in Constraint Logic Programming. | Jos Miguel Rojas, Miguel Gmez-Zamalloa |
| 2012 | XACML 3.0 in Answer Set Programming. | Carroline Dewi Puspa Kencana Ramli, Hanne Riis Nielson, Flemming Nielson |
| 2012 | Improving Determinization of Grammar Programs for Program Inversion. | Minami Niwa, Naoki Nishida, Masahiko Sakai |
| 2012 | Galliwasp: A Goal-Directed Answer Set Solver. | Kyle Marple, Gopal Gupta |
| 2012 | Types vs. PDGs in Information Flow Analysis. | Heiko Mantel, Henning Sudbrock |