| 2012 | A polynomial time λ-calculus with multithreading and side effects. | Antoine Madet |
| 2012 | Declarative distributed advertisement system for iDTV: an industrial experience. | Macas Lpez, Laura M. Castro, David Cabrero |
| 2012 | Modeling datalog fact assertion and retraction in linear logic. | Edmund Soon Lee Lam, Iliano Cervesato |
| 2012 | Linear dependent types in a call-by-value scenario. | Ugo Dal Lago, Barbara Petit |
| 2012 | Exception handling for copyless messaging. | Svetlana Jaksic, Luca Padovani |
| 2012 | Symbolic evaluation graphs and term rewriting: a general methodology for analyzing logic programs. | Jrgen Giesl, Thomas Strder, Peter Schneider-Kamp, Fabian Emmes, Carsten Fuhs |
| 2012 | Layered fixed point logic. | Piotr Filipiuk, Flemming Nielson, Hanne Riis Nielson |
| 2012 | Matrix code. | Maarten van Emden |
| 2012 | Session types revisited. | Ornela Dardha, Elena Giachino, Davide Sangiorgi |
| 2012 | Automatic synthesis of specifications for first order curry programs. | Giovanni Bacci, Marco Comini, Marco Antonio Feli, Alicia Villanueva |
| 2011 | A modular semantics for higher-order declarative programming with constraints. | Rafael del Vado Vrseda, Fernando Prez Morente |
| 2011 | Dependent session types via intuitionistic linear type theory. | Bernardo Toninho, Lus Caires, Frank Pfenning |
| 2011 | Incremental checking of well-founded recursive specifications modulo axioms. | Felix Schernhammer, Jos Meseguer |
| 2011 | Bellman's GAP: a declarative language for dynamic programming. | Georg Sauthoff, Stefan Janssen, Robert Giegerich |
| 2011 | A contextual semantics for concurrent Haskell with futures. | David Sabel, Manfred Schmidt-Schau |
| 2011 | Towards automatic synthesis of software verification tools. | Andrey Rybalchenko |
| 2011 | Maintaining distributed logic programs incrementally. | Vivek Nigam, Limin Jia, Boon Thau Loo, Andre Scedrov |
| 2011 | The challenges of constraint-based test generation. | Vitaly Lagoon |
| 2011 | Graph-transformation verification using monadic second-order logic. | Kazuhiro Inaba, Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano |
| 2011 | CLP projection for constraint handling rules. | Rmy Haemmerl, Pedro Lpez-Garca, Manuel V. Hermenegildo |
| 2011 | Nested proof search as reduction in the Lambda-calculus. | Nicolas Guenot |
| 2011 | Protocol analysis in Maude-NPA using unification modulo homomorphic encryption. | Santiago Escobar, Deepak Kapur, Christopher Lynch, Catherine Meadows, Jos Meseguer, Paliath Narendran, Ralf Sasse |
| 2011 | Precision and complexity of XQuery type inference. | Dario Colazzo, Carlo Sartiani |
| 2011 | Minimally strict polymorphic functions. | Jan Christiansen, Daniel Seidel |
| 2011 | Symbolic analysis of network security policies using rewrite systems. | Tony Bourdier, Horatiu Cirstea |