| 2007 | A Distribution Law for CCS and a New Congruence Result for the Daniel Hirschkoff, Damien Pous |
| 2007 | A Lower Bound on Web Services Composition. Anca Muscholl, Igor Walukiewicz |
| 2007 | An Effective Algorithm for the Membership Problem for Extended Regular Expressions. Grigore Rosu |
| 2007 | Approximating a Behavioural Pseudometric Without Discount for Probabilistic Systems. Franck van Breugel, Babita Sharma, James Worrell |
| 2007 | Complexity Results on Balanced Context-Free Languages. Akihiko Tozawa, Yasuhiko Minamide |
| 2007 | Enriched µ-Calculi Module Checking. Alessandro Ferrante, Aniello Murano |
| 2007 | Formal Foundations for Aspects. Radha Jagadeesan |
| 2007 | Formalising the Jesper Bengtson, Joachim Parrow |
| 2007 | Foundations of Software Science and Computational Structures, 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007, Proceedings Helmut Seidl |
| 2007 | Generalized Parity Games. Krishnendu Chatterjee, Thomas A. Henzinger, Nir Piterman |
| 2007 | Iterator Types. Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie |
| 2007 | Logical Characterizations of Bisimulations for Discrete Probabilistic Systems. Augusto Parma, Roberto Segala |
| 2007 | Logical Reasoning for Higher-Order Functions with Local State. Nobuko Yoshida, Kohei Honda, Martin Berger |
| 2007 | Model-Checking One-Clock Priced Timed Automata. Patricia Bouyer, Kim Guldstrand Larsen, Nicolas Markey |
| 2007 | On the Expressiveness and Complexity of ATL. François Laroussinie, Nicolas Markey, Ghassan Oreiby |
| 2007 | On the Stability by Union of Reducibility Candidates. Colin Riba |
| 2007 | Optimal Strategy Synthesis in Stochastic Müller Games. Krishnendu Chatterjee |
| 2007 | PDL with Intersection and Converse Is 2 EXP-Complete. Stefan Göller, Markus Lohrey, Carsten Lutz |
| 2007 | Polynomial Constraints for Sets with Cardinality Bounds. Bruno Marnette, Viktor Kuncak, Martin C. Rinard |
| 2007 | Relational Parametricity and Separation Logic. Lars Birkedal, Hongseok Yang |
| 2007 | Sampled Universality of Timed Automata. Parosh Aziz Abdulla, Pavel Krcál, Wang Yi |
| 2007 | Semantic Barbs and Biorthogonality. Julian Rathke, Vladimiro Sassone, Pawel Sobocinski |
| 2007 | Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems. Matthew Hague, C.-H. Luke Ong |
| 2007 | The Complexity of Generalized Satisfiability for Linear Temporal Logic. Michael Bauland, Thomas Schneider, Henning Schnoor, Ilka Schnoor, Heribert Vollmer |
| 2007 | The Rewriting Calculus as a Combinatory Reduction System. Clara Bertolissi, Claude Kirchner |
| 2007 | Tree Automata with Memory, Visibility and Structural Constraints. Hubert Comon-Lundh, Florent Jacquemard, Nicolas Perrin |
| 2007 | Types and Effects for Resource Usage Analysis. Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari, Roberto Zunino |