| 2014 | Axiomatizing Bisimulation Equivalences and Metrics from Probabilistic SOS Rules. | Pedro R. D'Argenio, Daniel Gebler, Matias David Lee |
| 2014 | A Coalgebraic Approach to Linear-Time Logics. | Corina Crstea |
| 2014 | The Complexity of Partial-Observation Stochastic Parity Games with Finite-Memory Strategies. | Krishnendu Chatterjee, Laurent Doyen, Sumit Nain, Moshe Y. Vardi |
| 2014 | Perfect-Information Stochastic Mean-Payoff Parity Games. | Krishnendu Chatterjee, Laurent Doyen, Hugo Gimbert, Youssouf Oualhadj |
| 2014 | A Semantical and Operational Account of Call-by-Value Solvability. | Alberto Carraro, Giulio Guerrieri |
| 2014 | Analysis of Probabilistic Basic Parallel Processes. | Rmi Bonnet, Stefan Kiefer, Anthony Widjaja Lin |
| 2014 | Interacting Bialgebras Are Frobenius. | Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi |
| 2014 | Playing with Probabilities in Reconfigurable Broadcast Networks. | Nathalie Bertrand, Paulin Fournier, Arnaud Sangnier |
| 2014 | Active Diagnosis for Probabilistic Systems. | Nathalie Bertrand, Eric Fabre, Stefan Haar, Serge Haddad, Loc Hlout |
| 2014 | Network-Formation Games with Regular Objectives. | Guy Avni, Orna Kupferman, Tami Tamir |
| 2014 | Foundations for Decision Problems in Separation Logic with General Inductive Predicates. | Timos Antonopoulos, Nikos Gorogiannis, Christoph Haase, Max I. Kanovich, Jol Ouaknine |
| 2014 | Latticed-LTL Synthesis in the Presence of Noisy Inputs. | Shaull Almagor, Orna Kupferman |
| 2014 | Generalized Eilenberg Theorem I: Local Varieties of Languages. | Jir Admek, Stefan Milius, Robert S. R. Myers, Henning Urbat |
| 2014 | Limit Synchronization in Markov Decision Processes. | Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi |
| 2014 | Unsafe Order-2 Tree Languages Are Context-Sensitive. | Naoki Kobayashi, Kazuhiro Inaba, Takeshi Tsukada |
| 2013 | Strategies as Profunctors. | Glynn Winskel |
| 2013 | Computing Quantiles in Markov Reward Models. | Michael Ummels, Christel Baier |
| 2013 | History-Register Automata. | Nikos Tzevelekos, Radu Grigore |
| 2013 | Cut Elimination in Nested Sequents for Intuitionistic Modal Logics. | Lutz Straburger |
| 2013 | An Algebraic Presentation of Predicate Logic - (Extended Abstract). | Sam Staton |
| 2013 | Checking Bisimilarity for Attributed Graph Transformation. | Fernando Orejas, Artur Boronat, Ulrike Golas, Nikos Mylonakis |
| 2013 | Deconstructing General References via Game Semantics. | Andrzej S. Murawski, Nikos Tzevelekos |
| 2013 | A Proof System for Compositional Verification of Probabilistic Concurrent Processes. | Matteo Mio, Alex Simpson |
| 2013 | Separation Logic for Non-local Control Flow and Block Scope Variables. | Robbert Krebbers, Freek Wiedijk |
| 2013 | Preorders on Monads and Coalgebraic Simulations. | Shin-ya Katsumata, Tetsuya Sato |