| 2007 | Mapping the Security Landscape: A Role for Language Techniques. | Fred B. Schneider |
| 2007 | A Nice Labelling for Tree-Like Event Structures of Degree 3. | Luigi Santocanale |
| 2007 | Bisimulation and Logical Preservation for Continuous-Time Markov Decision Processes. | Martin R. Neuhuer, Joost-Pieter Katoen |
| 2007 | Topology-Dependent Abstractions of Broadcast Networks. | Sebastian Nanz, Flemming Nielson, Hanne Riis Nielson |
| 2007 | Is Observational Congruence Axiomatisable in Equational Horn Logic? | Michael Mendler, Gerald Lttgen |
| 2007 | Asynchronous Games: Innocence Without Alternation. | Paul-Andr Mellis, Samuel Mimram |
| 2007 | On Modal Refinement and Consistency. | Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski |
| 2007 | Linear Time Logics Around PSL: Complexity, Expressiveness, and a Little Bit of Succinctness. | Martin Lange |
| 2007 | The | Cosimo Laneve, Luca Padovani |
| 2007 | Precise Fixpoint-Based Analysis of Programs with Thread-Creation and Procedures. | Peter Lammich, Markus Mller-Olm |
| 2007 | Mobility Control Via Passports. | Samuel Hym |
| 2007 | Reactive Systems over Directed Bigraphs. | Davide Grohmann, Marino Miculan |
| 2007 | Causal Message Sequence Charts. | Thomas Gazagnaire, Blaise Genest, Loc Hlout, P. S. Thiagarajan, Shaofa Yang |
| 2007 | Interpreting a Finitary Pi-calculus in Differential Interaction Nets. | Thomas Ehrhard, Olivier Laurent |
| 2007 | Rule-Based Modelling of Cellular Signalling. | Vincent Danos, Jrme Feret, Walter Fontana, Russell Harmer, Jean Krivine |
| 2007 | Compositional Event Structure Semantics for the Internal | Silvia Crafa, Daniele Varacca, Nobuko Yoshida |
| 2007 | Equivalence Checking for Infinite Systems Using Parameterized Boolean Equation Systems. | Taolue Chen, Bas Ploeger, Jaco van de Pol, Tim A. C. Willemse |
| 2007 | Making Random Choices Invisible to the Scheduler. | Konstantinos Chatzikokolakis, Catuscia Palamidessi |
| 2007 | Strategy Logic. | Krishnendu Chatterjee, Thomas A. Henzinger, Nir Piterman |
| 2007 | Decidability Results for Well-Structured Transition Systems with Auxiliary Storage. | Rohit Chadha, Mahesh Viswanathan |
| 2007 | Timed Concurrent Game Structures. | Thomas Brihaye, Franois Laroussinie, Nicolas Markey, Ghassan Oreiby |
| 2007 | Strategy Synthesis for Markov Decision Processes and Branching-Time Logics. | Toms Brzdil, Vojtech Forejt |
| 2007 | Alternating Automata and a Temporal Fixpoint Calculus for Visibly Pushdown Languages. | Laura Bozzelli |
| 2007 | Fair Cooperative Multithreading. | Grard Boudol |
| 2007 | Coalgebraic Models for Reactive Systems. | Filippo Bonchi, Ugo Montanari |