| 2014 | A Coalgebraic Approach to Linear-Time Logics. Corina Cîrstea |
| 2014 | A Relatively Complete Calculus for Structured Heterogeneous Specifications. Till Mossakowski, Andrzej Tarlecki |
| 2014 | A Semantical and Operational Account of Call-by-Value Solvability. Alberto Carraro, Giulio Guerrieri |
| 2014 | Active Diagnosis for Probabilistic Systems. Nathalie Bertrand, Eric Fabre, Stefan Haar, Serge Haddad, Loïc Hélouët |
| 2014 | Analysis of Probabilistic Basic Parallel Processes. Rémi Bonnet, Stefan Kiefer, Anthony Widjaja Lin |
| 2014 | Axiomatizing Bisimulation Equivalences and Metrics from Probabilistic SOS Rules. Pedro R. D'Argenio, Daniel Gebler, Matias David Lee |
| 2014 | Bisimulations for Communicating Transactions - (Extended Abstract). Vasileios Koutavas, Carlo Spaccasassi, Matthew Hennessy |
| 2014 | Combining Bialgebraic Semantics and Equations. Jurriaan Rot, Marcello M. Bonsangue |
| 2014 | Complexity of Model-Checking Call-by-Value Programs. Takeshi Tsukada, Naoki Kobayashi |
| 2014 | Equivalences of Pushdown Systems Are Hard. Petr Jancar |
| 2014 | Foundations for Decision Problems in Separation Logic with General Inductive Predicates. Timos Antonopoulos, Nikos Gorogiannis, Christoph Haase, Max I. Kanovich, Joël Ouaknine |
| 2014 | Foundations of Software Science and Computation Structures - 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings Anca Muscholl |
| 2014 | Game Semantics for Nominal Exceptions. Andrzej S. Murawski, Nikos Tzevelekos |
| 2014 | Generalized Eilenberg Theorem I: Local Varieties of Languages. Jirí Adámek, Stefan Milius, Robert S. R. Myers, Henning Urbat |
| 2014 | Generalized Synchronization Trees. James Ferlez, Rance Cleaveland, Steven I. Marcus |
| 2014 | Interacting Bialgebras Are Frobenius. Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi |
| 2014 | Latticed-LTL Synthesis in the Presence of Noisy Inputs. Shaull Almagor, Orna Kupferman |
| 2014 | Limit Synchronization in Markov Decision Processes. Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi |
| 2014 | Maximal Cost-Bounded Reachability Probability on Continuous-Time Markov Decision Processes. Hongfei Fu |
| 2014 | Models of a Non-associative Composition. Guillaume Munch-Maccagnoni |
| 2014 | Network-Formation Games with Regular Objectives. Guy Avni, Orna Kupferman, Tami Tamir |
| 2014 | On Asymmetric Unification and the Combination Problem in Disjoint Theories. Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Catherine Meadows, Paliath Narendran, Christophe Ringeissen |
| 2014 | On Negotiation as Concurrency Primitive II: Deterministic Cyclic Negotiations. Javier Esparza, Jörg Desel |
| 2014 | Perfect-Information Stochastic Mean-Payoff Parity Games. Krishnendu Chatterjee, Laurent Doyen, Hugo Gimbert, Youssouf Oualhadj |
| 2014 | Playing with Probabilities in Reconfigurable Broadcast Networks. Nathalie Bertrand, Paulin Fournier, Arnaud Sangnier |
| 2014 | Resource Reachability Games on Pushdown Graphs. Martin Lang |
| 2014 | The Complexity of Partial-Observation Stochastic Parity Games with Finite-Memory Strategies. Krishnendu Chatterjee, Laurent Doyen, Sumit Nain, Moshe Y. Vardi |
| 2014 | Type Reconstruction for the Linear π-Calculus with Composite and Equi-Recursive Types. Luca Padovani |
| 2014 | Unsafe Order-2 Tree Languages Are Context-Sensitive. Naoki Kobayashi, Kazuhiro Inaba, Takeshi Tsukada |
| 2014 | Upper-Expectation Bisimilarity and Łukasiewicz μ-Calculus. Matteo Mio |