| 2008 | A Kleene-Schützenberger Theorem for Weighted Timed Automata. Manfred Droste, Karin Quaas |
| 2008 | A Linear-non-Linear Model for a Computational Call-by-Value Lambda Calculus (Extended Abstract). Peter Selinger, Benoît Valiron |
| 2008 | A Modal Deconstruction of Access Control Logics. Deepak Garg, Martín Abadi |
| 2008 | Beyond Rank 1: Algebraic Semantics and Finite Models for Coalgebraic Logics. Dirk Pattinson, Lutz Schröder |
| 2008 | Classes of Tree Homomorphisms with Decidable Preservation of Regularity. Guillem Godoy, Sebastian Maneth, Sophie Tison |
| 2008 | Coalgebraic Logic and Synthesis of Mealy Machines. Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva |
| 2008 | Complexity of Decision Problems for Mixed and Modal Specifications. Adam Antonik, Michael Huth, Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski |
| 2008 | Compositional Methods for Information-Hiding. Christelle Braun, Konstantinos Chatzikokolakis, Catuscia Palamidessi |
| 2008 | Deriving Bisimulation Congruences in the Presence of Negative Application Conditions. Guilherme Rangel, Barbara König, Hartmut Ehrig |
| 2008 | Erasure and Polymorphism in Pure Type Systems. Nathan Mishra-Linger, Tim Sheard |
| 2008 | Finding Your Way in a Forest: On Different Types of Trees and Their Properties. Igor Walukiewicz |
| 2008 | Footprints in Local Reasoning. Mohammad Raza, Philippa Gardner |
| 2008 | Foundations of Software Science and Computational Structures, 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings Roberto M. Amadio |
| 2008 | Model Checking Freeze LTL over One-Counter Automata. Stéphane Demri, Ranko Lazic, Arnaud Sangnier |
| 2008 | Model-Checking omega-Regular Properties of Interval Markov Chains. Krishnendu Chatterjee, Koushik Sen, Thomas A. Henzinger |
| 2008 | On Decision Problems for Probabilistic Büchi Automata. Christel Baier, Nathalie Bertrand, Marcus Größer |
| 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 | Products of Message Sequence Charts. Philippe Darondeau, Blaise Genest, Loïc Hélouët |
| 2008 | RPO, Second-Order Contexts, and lambda-Calculus. Pietro Di Gianantonio, Furio Honsell, Marina Lenisa |
| 2008 | Robust Analysis of Timed Automata via Channel Machines. Patricia Bouyer, Nicolas Markey, Pierre-Alain Reynier |
| 2008 | Simple Stochastic Games with Few Random Vertices Are Easy to Solve. Hugo Gimbert, Florian Horn |
| 2008 | Simulation Hemi-metrics between Infinite-State Stochastic Games. Jean Goubault-Larrecq |
| 2008 | Stochastic Games with Lossy Channels. Parosh Aziz Abdulla, Noomene Ben Henda, Luca de Alfaro, Richard Mayr, Sven Sandberg |
| 2008 | Strong Normalisation of Cut-Elimination That Simulates beta-Reduction. Kentaro Kikuchi, Stéphane Lengrand |
| 2008 | Structural Operational Semantics for Stochastic Process Calculi. Bartek Klin, Vladimiro Sassone |
| 2008 | Symbolic Semantics Revisited. Filippo Bonchi, Ugo Montanari |
| 2008 | Systems of Equations Satisfied in All Commutative Finite Semigroups. Pawel Parys |
| 2008 | The Common Fragment of ACTL and LTL. Mikolaj Bojanczyk |
| 2008 | The Complexity of CTL* + Linear Past. Laura Bozzelli |
| 2008 | The Complexity of Nash Equilibria in Infinite Multiplayer Games. Michael Ummels |
| 2008 | The Implicit Calculus of Constructions as a Programming Language with Dependent Types. Bruno Barras, Bruno Bernardo |
| 2008 | The Microcosm Principle and Concurrency in Coalgebra. Ichiro Hasuo, Bart Jacobs, Ana Sokolova |
| 2008 | The omega-Regular Post Embedding Problem. Pierre Chambart, Philippe Schnoebelen |
| 2008 | What Else Is Decidable about Integer Arrays?. Peter Habermehl, Radu Iosif, Tomás Vojnar |