| 2006 | Parity Games Played on Transition Graphs of One-Counter Processes. | Olivier Serre |
| 2006 | A Finite Model Construction for Coalgebraic Modal Logic. | Lutz Schrder |
| 2006 | On the | Philipp Rohde |
| 2006 | A Semantic Approach to Interpolation. | Andrei Popescu, Traian Serbanuta, Grigore Rosu |
| 2006 | Dynamic Policy Discovery with Remote Attestation. | Corin Pitcher, James Riely |
| 2006 | Reversing Algebraic Process Calculi. | Iain Phillips, Irek Ulidowski |
| 2006 | Register Allocation After Classical SSA Elimination is NP-Complete. | Fernando Magno Quinto Pereira, Jens Palsberg |
| 2006 | An Operational Characterization of Strong Normalization. | Luca Paolini, Elaine Pimentel, Simona Ronchi Della Rocca |
| 2006 | On Metric Temporal Logic and Faulty Turing Machines. | Jol Ouaknine, James Worrell |
| 2006 | Conjunction on Processes: Full-Abstraction Via Ready-Tree Semantics. | Gerald Lttgen, Walter Vogler |
| 2006 | Propositional Dynamic Logic with Recursive Programs. | Christof Lding, Olivier Serre |
| 2006 | Smooth Orchestrators. | Cosimo Laneve, Luca Padovani |
| 2006 | Bidomains and Full Abstraction for Countable Nondeterminism. | James Laird |
| 2006 | First-Order and Counting Theories of | Dietrich Kuske, Markus Lohrey |
| 2006 | Undecidability Results for Bisimilarity on Prefix Rewrite Systems. | Petr Jancar, Jir Srba |
| 2006 | On the Relative Expressive Power of Asynchronous Communication Primitives. | Daniele Gorla |
| 2006 | A Theory for Observational Fault Tolerance. | Adrian Francalanza, Matthew Hennessy |
| 2006 | Denotational Semantics of Hybrid Automata. | Abbas Edalat, Dirk Pattinson |
| 2006 | On Finite Alphabets and Infinite Bases II: Completed and Ready Simulation. | Taolue Chen, Wan J. Fokkink, Sumit Nain |
| 2006 | More on Bisimulations for Higher Order | Zining Cao |
| 2006 | Presenting Functors by Operations and Equations. | Marcello M. Bonsangue, Alexander Kurz |
| 2006 | On the Confluence of | Frdric Blanqui, Claude Kirchner, Colin Riba |
| 2006 | Bigraphical Models of Context-Aware Systems. | Lars Birkedal, Sren Debois, Ebbe Elsborg, Thomas T. Hildebrandt, Henning Niss |
| 2006 | Distributed Unfolding of Petri Nets. | Paolo Baldan, Stefan Haar, Barbara Knig |
| 2006 | Processes for Adhesive Rewriting Systems. | Paolo Baldan, Andrea Corradini, Tobias Heindel, Barbara Knig, Pawel Sobocinski |