| 2013 | Impact of Resource Sharing on Performance and Performance Prediction: A Survey. | Andreas Abel, Florian Benz, Johannes Doerfert, Barbara Drr, Sebastian Hahn, Florian Haupenthal, Michael Jacobs, Amir H. Moin, Jan Reineke, Bernhard Schommer, Reinhard Wilhelm |
| 2013 | Solving Parity Games on Integer Vectors. | Parosh Aziz Abdulla, Richard Mayr, Arnaud Sangnier, Jeremy Sproston |
| 2012 | Reachability and Termination Analysis of Concurrent Quantum Programs. | Nengkun Yu, Mingsheng Ying |
| 2012 | All Linear-Time Congruences for Familiar Operators Part 2: Infinite LTSs. | Antti Valmari |
| 2012 | Exact Fluid Lumpability for Markovian Process Algebra. | Max Tschaikowski, Mirco Tribastone |
| 2012 | Efficient Modelling and Generation of Markov Automata. | Mark Timmer, Joost-Pieter Katoen, Jaco van de Pol, Marille Stoelinga |
| 2012 | False Concurrency and Strange-but-True Machines - (Abstract). | Peter Sewell |
| 2012 | Verification of Petri Nets with Read Arcs. | Csar Rodrguez, Stefan Schwoon |
| 2012 | A Turing Enigma. | Brian Randell |
| 2012 | Concurrency and the Algebraic Theory of Effects - (Abstract). | Gordon D. Plotkin |
| 2012 | What Makes Atl* Decidable? A Decidable Fragment of Strategy Logic. | Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi |
| 2012 | Algebraic Structure of Combined Traces. | Lukasz Mikulski |
| 2012 | A Polynomial Translation of π-Calculus (FCP) to Safe Petri Nets. | Roland Meyer, Victor Khomenko, Reiner Hchting |
| 2012 | Propositional Dynamic Logic with Converse and Repeat for Message-Passing Systems. | Roy Mennicke |
| 2012 | Quantified CTL: Expressiveness and Model Checking - (Extended Abstract). | Arnaud Da Costa Lopes, Franois Laroussinie, Nicolas Markey |
| 2012 | A Framework for Formally Verifying Software Transactional Memory Algorithms. | Mohsen Lesani, Victor Luchangco, Mark Moir |
| 2012 | Synthesising Choreographies from Local Session Types. | Julien Lange, Emilio Tuosto |
| 2012 | Spatial and Epistemic Modalities in Constraint-Based Process Calculi. | Sophia Knight, Catuscia Palamidessi, Prakash Panangaden, Frank D. Valencia |
| 2012 | Coalgebraic Trace Semantics for Probabilistic Transition Systems Based on Measure Theory. | Henning Kerstan, Barbara Knig |
| 2012 | Efficient Coverability Analysis by Proof Minimization. | Alexander Kaiser, Daniel Kroening, Thomas Wahl |
| 2012 | Modeling Interval Order Structures with Partially Commutative Monoids. | Ryszard Janicki, Xiang Yin, Nadezhda Zubkova |
| 2012 | Duality and i/o-Types in the π-Calculus. | Daniel Hirschkoff, Jean-Marie Madiot, Davide Sangiorgi |
| 2012 | Linearizability with Ownership Transfer. | Alexey Gotsman, Hongseok Yang |
| 2012 | Compositionality of Probabilistic Hennessy-Milner Logic through Structural Operational Semantics. | Daniel Gebler, Wan J. Fokkink |
| 2012 | Efficient Checking of Link-Reversal-Based Concurrent Systems. | Matthias Fgger, Josef Widder |