| 2008 | Optimal Lower Bounds on Regular Expression Size Using Communication Complexity. | Hermann Gruber, Jan Johannsen |
| 2008 | Prevision Domains and Convex Powercones. | Jean Goubault-Larrecq |
| 2008 | Simulation Hemi-metrics between Infinite-State Stochastic Games. | Jean Goubault-Larrecq |
| 2008 | Classes of Tree Homomorphisms with Decidable Preservation of Regularity. | Guillem Godoy, Sebastian Maneth, Sophie Tison |
| 2008 | Simple Stochastic Games with Few Random Vertices Are Easy to Solve. | Hugo Gimbert, Florian Horn |
| 2008 | RPO, Second-Order Contexts, and lambda-Calculus. | Pietro Di Gianantonio, Furio Honsell, Marina Lenisa |
| 2008 | A Modal Deconstruction of Access Control Logics. | Deepak Garg, Martn Abadi |
| 2008 | A Kleene-Schtzenberger Theorem for Weighted Timed Automata. | Manfred Droste, Karin Quaas |
| 2008 | Model Checking Freeze LTL over One-Counter Automata. | Stphane Demri, Ranko Lazic, Arnaud Sangnier |
| 2008 | Products of Message Sequence Charts. | Philippe Darondeau, Blaise Genest, Loc Hlout |
| 2008 | Model-Checking omega-Regular Properties of Interval Markov Chains. | Krishnendu Chatterjee, Koushik Sen, Thomas A. Henzinger |
| 2008 | The omega-Regular Post Embedding Problem. | Pierre Chambart, Philippe Schnoebelen |
| 2008 | Compositional Methods for Information-Hiding. | Christelle Braun, Konstantinos Chatzikokolakis, Catuscia Palamidessi |
| 2008 | The Complexity of CTL* + Linear Past. | Laura Bozzelli |
| 2008 | Robust Analysis of Timed Automata via Channel Machines. | Patricia Bouyer, Nicolas Markey, Pierre-Alain Reynier |
| 2008 | Coalgebraic Logic and Synthesis of Mealy Machines. | Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva |
| 2008 | Symbolic Semantics Revisited. | Filippo Bonchi, Ugo Montanari |
| 2008 | The Common Fragment of ACTL and LTL. | Mikolaj Bojanczyk |
| 2008 | The Implicit Calculus of Constructions as a Programming Language with Dependent Types. | Bruno Barras, Bruno Bernardo |
| 2008 | On Decision Problems for Probabilistic Bchi Automata. | Christel Baier, Nathalie Bertrand, Marcus Grer |
| 2008 | Complexity of Decision Problems for Mixed and Modal Specifications. | Adam Antonik, Michael Huth, Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski |
| 2008 | Stochastic Games with Lossy Channels. | Parosh Aziz Abdulla, Noomene Ben Henda, Luca de Alfaro, Richard Mayr, Sven Sandberg |
| 2007 | Logical Reasoning for Higher-Order Functions with Local State. | Nobuko Yoshida, Kohei Honda, Martin Berger |
| 2007 | Complexity Results on Balanced Context-Free Languages. | Akihiko Tozawa, Yasuhiko Minamide |
| 2007 | An Effective Algorithm for the Membership Problem for Extended Regular Expressions. | Grigore Rosu |