| 2007 | Temporal Antecedent Failure: Refining Vacuity. | Shoham Ben-David, Dana Fisman, Sitvanit Ruah |
| 2007 | Pushdown Module Checking with Imperfect Information. | Benjamin Aminof, Aniello Murano, Moshe Y. Vardi |
| 2007 | Solving Games Via Three-Valued Abstraction Refinement. | Luca de Alfaro, Pritam Roy |
| 2007 | Checking Coverage for Infinite Collections of Timed Scenarios. | S. Akshay, Madhavan Mukund, K. Narayan Kumar |
| 2007 | The Saga of the Axiomatization of Parallel Composition. | Luca Aceto, Anna Inglfsdttir |
| 2006 | A Capability Calculus for Concurrency and Determinism. | Tachio Terauchi, Alex Aiken |
| 2006 | Second-Order Simple Grammars. | Colin Stirling |
| 2006 | Probabilistic I/O Automata: Theories of Two Equivalences. | Eugene W. Stark, Rance Cleaveland, Scott A. Smolka |
| 2006 | Probability and Nondeterminism in Operational Models of Concurrency. | Roberto Segala |
| 2006 | On Interleaving in Timed Automata. | Ramzi Ben Salah, Marius Bozga, Oded Maler |
| 2006 | Model Checking Quantified Computation Tree Logic. | Arend Rensink |
| 2006 | Weak Bisimulation Up to Elaboration. | Damien Pous |
| 2006 | Welcome to the Jungle: A Subjective Guide to Mobile Process Calculi. | Uwe Nestmann |
| 2006 | Modeling Timed Concurrent Systems. | Xiaojun Liu, Eleftherios Matsikoudis, Edward A. Lee |
| 2006 | A Livelock Freedom Analysis for Infinite State Asynchronous Reactive Systems. | Stefan Leue, Alin Stefanescu, Wei Wei |
| 2006 | Finding Shortest Witnesses to the Nonemptiness of Automata on Infinite Words. | Orna Kupferman, Sarai Sheinvald-Faragy |
| 2006 | Sanity Checks in Formal Verification. | Orna Kupferman |
| 2006 | Minimization, Learning, and Conformance Testing of Boolean Programs. | Viraj Kumar, P. Madhusudan, Mahesh Viswanathan |
| 2006 | Transition Systems of Elementary Net Systems with Localities. | Maciej Koutny, Marta Pietkiewicz-Koutny |
| 2006 | A New Type System for Deadlock-Free Processes. | Naoki Kobayashi |
| 2006 | A Language for Task Orchestration and Its Semantic Properties. | David Kitchin, William R. Cook, Jayadev Misra |
| 2006 | A Complete Axiomatic Semantics for the CSP Stable-Failures Model. | Yoshinao Isobe, Markus Roggenbach |
| 2006 | Generic Forward and Backward Simulations. | Ichiro Hasuo |
| 2006 | Operational Determinism and Fast Algorithms. | Henri Hansen, Antti Valmari |
| 2006 | Inference of Event-Recording Automata Using Timed Decision Trees. | Olga Grinchtein, Bengt Jonsson, Paul Pettersson |