| 2007 | On the Stability by Union of Reducibility Candidates. | Colin Riba |
| 2007 | Semantic Barbs and Biorthogonality. | Julian Rathke, Vladimiro Sassone, Pawel Sobocinski |
| 2007 | Logical Characterizations of Bisimulations for Discrete Probabilistic Systems. | Augusto Parma, Roberto Segala |
| 2007 | A Lower Bound on Web Services Composition. | Anca Muscholl, Igor Walukiewicz |
| 2007 | Polynomial Constraints for Sets with Cardinality Bounds. | Bruno Marnette, Viktor Kuncak, Martin C. Rinard |
| 2007 | On the Expressiveness and Complexity of ATL. | Franois Laroussinie, Nicolas Markey, Ghassan Oreiby |
| 2007 | Formal Foundations for Aspects. | Radha Jagadeesan |
| 2007 | A Distribution Law for CCS and a New Congruence Result for the | Daniel Hirschkoff, Damien Pous |
| 2007 | Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems. | Matthew Hague, C.-H. Luke Ong |
| 2007 | PDL with Intersection and Converse Is 2 EXP-Complete. | Stefan Gller, Markus Lohrey, Carsten Lutz |
| 2007 | Enriched -Calculi Module Checking. | Alessandro Ferrante, Aniello Murano |
| 2007 | Tree Automata with Memory, Visibility and Structural Constraints. | Hubert Comon-Lundh, Florent Jacquemard, Nicolas Perrin |
| 2007 | Generalized Parity Games. | Krishnendu Chatterjee, Thomas A. Henzinger, Nir Piterman |
| 2007 | Optimal Strategy Synthesis in Stochastic Mller Games. | Krishnendu Chatterjee |
| 2007 | Approximating a Behavioural Pseudometric Without Discount for Probabilistic Systems. | Franck van Breugel, Babita Sharma, James Worrell |
| 2007 | Model-Checking One-Clock Priced Timed Automata. | Patricia Bouyer, Kim Guldstrand Larsen, Nicolas Markey |
| 2007 | Relational Parametricity and Separation Logic. | Lars Birkedal, Hongseok Yang |
| 2007 | The Rewriting Calculus as a Combinatory Reduction System. | Clara Bertolissi, Claude Kirchner |
| 2007 | Formalising the | Jesper Bengtson, Joachim Parrow |
| 2007 | The Complexity of Generalized Satisfiability for Linear Temporal Logic. | Michael Bauland, Thomas Schneider, Henning Schnoor, Ilka Schnoor, Heribert Vollmer |
| 2007 | Types and Effects for Resource Usage Analysis. | Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari, Roberto Zunino |
| 2007 | Iterator Types. | Sandra Alves, Maribel Fernndez, Mrio Florido, Ian Mackie |
| 2007 | Sampled Universality of Timed Automata. | Parosh Aziz Abdulla, Pavel Krcl, Wang Yi |
| 2006 | Handling exp, × (and Timestamps) in Protocol Analysis. | Roberto Zunino, Pierpaolo Degano |
| 2006 | A Logic of Reachable Patterns in Linked Data-Structures. | Greta Yorsh, Alexander Moshe Rabinovich, Mooly Sagiv, Antoine Meyer, Ahmed Bouajjani |