| 2005 | Termination Analysis of Integer Linear Loops. | Aaron R. Bradley, Zohar Manna, Henny B. Sipma |
| 2005 | Modal Logics for Timed Control. | Patricia Bouyer, Franck Cassez, Franois Laroussinie |
| 2005 | Regular Symbolic Analysis of Dynamic Networks of Pushdown Systems. | Ahmed Bouajjani, Markus Mller-Olm, Tayssir Touili |
| 2005 | Probabilistic Anonymity. | Mohit Bhargava, Catuscia Palamidessi |
| 2005 | A Ground-Complete Axiomatization of Finite State Processes in Process Algebra. | Jos C. M. Baeten, Mario Bravetti |
| 2005 | The Benefits of Exposing Calls and Returns. | Rajeev Alur |
| 2004 | A Higher Order Modal Fixed Point Logic. | Mahesh Viswanathan, Ramesh Viswanathan |
| 2004 | Session Types for Functional Multithreading. | Vasco Thudichum Vasconcelos, Antnio Ravara, Simon J. Gay |
| 2004 | Probabilistic Event Structures and Domains. | Daniele Varacca, Hagen Vlzer, Glynn Winskel |
| 2004 | Open Maps, Alternating Simulations and Control Synthesis. | Paulo Tabuada |
| 2004 | Resources, Concurrency and Local Reasoning. | Peter W. O'Hearn |
| 2004 | Asynchronous Games 2: The True Concurrency of Innocence. | Paul-Andr Mellis |
| 2004 | Model Checking Restricted Sets of Timed Paths. | Nicolas Markey, Jean-Franois Raskin |
| 2004 | Compiling Pattern Matching in Join-Patterns. | Qin Ma, Luc Maranget |
| 2004 | On Flatness for 2-Dimensional Vector Addition Systems with States. | Jrme Leroux, Grgoire Sutre |
| 2004 | Model Checking Timed Automata with One or Two Clocks. | Franois Laroussinie, Nicolas Markey, Philippe Schnoebelen |
| 2004 | A General Approach to Comparing Infinite-State Systems with Their Finite-State Specifications. | Antonn Kucera, Philippe Schnoebelen |
| 2004 | Extended Process Rewrite Systems: Expressiveness and Reachability. | Mojmr Kretnsk, Vojtech Rehk, Jan Strejcek |
| 2004 | Timed vs. Time-Triggered Automata. | Pavel Krcl, Leonid Mokrushin, P. S. Thiagarajan, Wang Yi |
| 2004 | An Extensional Spatial Logic for Mobile Processes. | Daniel Hirschkoff |
| 2004 | Parameterised Boolean Equation Systems (Extended Abstract). | Jan Friso Groote, Tim A. C. Willemse |
| 2004 | Reversible Communicating Systems. | Vincent Danos, Jean Krivine |
| 2004 | Verification by Network Decomposition. | Edmund M. Clarke, Muralidhar Talupur, Tayssir Touili, Helmut Veith |
| 2004 | Modular Construction of Modal Logics. | Corina Crstea, Dirk Pattinson |
| 2004 | Elimination of Quantifiers and Undecidability in Spatial Logics for Concurrency. | Lus Caires, tienne Lozes |