| 2012 | On Nominal Regular Languages with Binders. | Alexander Kurz, Tomoyuki Suzuki, Emilio Tuosto |
| 2012 | On the Complexity of the Equivalence Problem for Probabilistic Automata. | Stefan Kiefer, Andrzej S. Murawski, Jol Ouaknine, Bjrn Wachter, James Worrell |
| 2012 | First-Order Model Checking on Nested Pushdown Trees is Complete for Doubly Exponential Alternating Time. | Alexander Kartzow |
| 2012 | Brookes Is Relaxed, Almost! | Radha Jagadeesan, Gustavo Petri, James Riely |
| 2012 | Deriving Bisimulation Congruences for Conditional Reactive Systems. | Mathias Hlsbusch, Barbara Knig |
| 2012 | Narcissists Are Easy, Stepmothers Are Hard. | Daniel Gorn, Lutz Schrder |
| 2012 | Branching-Time Model Checking of Parametric One-Counter Automata. | Stefan Gller, Christoph Haase, Jol Ouaknine, James Worrell |
| 2012 | On Distributability of Petri Nets - (Extended Abstract). | Rob J. van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke-Uffmann |
| 2012 | Probabilistic Transition System Specification: Congruence and Full Abstraction of Bisimulation. | Pedro R. D'Argenio, Matias David Lee |
| 2012 | Event Structure Semantics of Parallel Extrusion in the Pi-Calculus. | Silvia Crafa, Daniele Varacca, Nobuko Yoshida |
| 2012 | On the Complexity of Computing Probabilistic Bisimilarity. | Di Chen, Franck van Breugel, James Worrell |
| 2012 | Robustness of Structurally Equivalent Concurrent Parity Games. | Krishnendu Chatterjee |
| 2012 | Querying UML Class Diagrams. | Andrea Cal, Georg Gottlob, Giorgio Orsi, Andreas Pieris |
| 2012 | Subgame Perfection for Equilibria in Quantitative Reachability Games. | Thomas Brihaye, Vronique Bruyre, Julie De Pril, Hugo Gimbert |
| 2012 | Improved Ramsey-Based Bchi Complementation. | Stefan Breuers, Christof Lding, Jrg Olschewski |
| 2012 | Combining Interactive and Automatic Reasoning in First Order Theories of Functional Programs. | Ana Bove, Peter Dybjer, Andrs Sicard-Ramrez |
| 2012 | Concurrent Games with Ordered Objectives. | Patricia Bouyer, Romain Brenguier, Nicolas Markey, Michael Ummels |
| 2012 | Model Checking Languages of Data Words. | Benedikt Bollig, Aiswarya Cyriac, Paul Gastin, K. Narayan Kumar |
| 2012 | Applicative Bisimulations for Delimited-Control Operators. | Dariusz Biernacki, Sergue Lenglet |
| 2012 | Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes. | Marco Bernardo, Rocco De Nicola, Michele Loreti |
| 2012 | Fibrational Induction Meets Effects. | Robert Atkey, Neil Ghani, Bart Jacobs, Patricia Johann |
| 2012 | When Is a Container a Comonad? | Danel Ahman, James Chapman, Tarmo Uustalu |
| 2012 | Well-Pointed Coalgebras (Extended Abstract). | Jir Admek, Stefan Milius, Lawrence S. Moss, Lurdes Sousa |
| 2012 | A Coalgebraic Perspective on Minimization and Determinization. | Jir Admek, Filippo Bonchi, Mathias Hlsbusch, Barbara Knig, Stefan Milius, Alexandra Silva |
| 2011 | Church Synthesis Problem for Noisy Input. | Yaron Velner, Alexander Rabinovich |