| 2015 | Location Privacy via Geo-Indistinguishability. | Konstantinos Chatzikokolakis, Catuscia Palamidessi, Marco Stronati |
| 2015 | Quotienting the Delay Monad by Weak Bisimilarity. | James Chapman, Tarmo Uustalu, Niccol Veltri |
| 2015 | CSP and Kripke Structures. | Ana Cavalcanti, Wen-ling Huang, Jan Peleska, Jim Woodcock |
| 2015 | Verifying Android's Permission Model. | Gustavo Betarte, Juan Diego Campo, Carlos Daniel Luna, Agustn Romano |
| 2015 | Newton Series, Coinductively. | Henning Basold, Helle Hvid Hansen, Jean-ric Pin, Jan Rutten |
| 2015 | Converging from Branching to Linear Metrics on Markov Chains. | Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare |
| 2015 | CAAL: Concurrency Workbench, Aalborg Edition. | Jesper Rank Andersen, Nicklas Andersen, Sren Enevoldsen, Mathias M. Hansen, Kim G. Larsen, Simon R. Olesen, Jir Srba, Jacob K. Wortmann |
| 2015 | A Tool Prototype for Model-Based Testing of Cyber-Physical Systems. | Arend Aerts, Mohammad Reza Mousavi, Michel A. Reniers |
| 2015 | An Exercise in Mathematical Engineering: Stating and Proving Kuratowski Theorem. | Jean-Raymond Abrial |
| 2015 | A Totally Distributed Fair Scheduler for Population Protocols by Randomized Handshakes. | Nesrine Ouled Abdallah, Mohamed Jmaiel, Mohamed Mosbah, Akka Zemmari |
| 2015 | Learning Register Automata with Fresh Value Generation. | Fides Aarts, Paul Fiterau-Brostean, Harco Kuppens, Frits W. Vaandrager |
| 2014 | Finite Vector Spaces as Model of Simply-Typed Lambda-Calculi. | Benot Valiron, Steve Zdancewic |
| 2014 | Synchronous Parallel Composition in a Process Calculus for Ecological Models. | Mauricio Toro, Anna Philippou, Christina Kassara, Spyros Sfenthourakis |
| 2014 | The Arithmetic of Recursively Run-Length Compressed Natural Numbers. | Paul Tarau |
| 2014 | UTP Designs for Binary Multirelations. | Pedro Ribeiro, Ana Cavalcanti |
| 2014 | A Heterogeneous Characterisation of Component-Based System Design in a Categorical Setting. | Carlos Gustavo Lpez Pombo, Pablo F. Castro, Nazareno Aguirre, T. S. E. Maibaum |
| 2014 | A Behavioral Congruence for Concurrent Constraint Programming with Nondeterministic Choice. | Luis Fernando Pino, Filippo Bonchi, Frank D. Valencia |
| 2014 | Learning Cover Context-Free Grammars from Structural Data. | Mircea Marin, Gabriel Istrate |
| 2014 | On Unary Fragments of MTL and TPTL over Timed Words. | Khushraj Madnani, Shankara Narayanan Krishna, Paritosh K. Pandya |
| 2014 | Symbolic Analysis Tools for CSP. | Liyi Li, Elsa L. Gunter, William Mansky |
| 2014 | Distributed Testing of Concurrent Systems: Vector Clocks to the Rescue. | Hernn Ponce de Len, Stefan Haar, Delphine Longuet |
| 2014 | Modular Reasoning for Message-Passing Programs. | Jinjiang Lei, Zongyan Qiu |
| 2014 | A Decidable Recursive Logic for Weighted Transition Systems. | Kim Guldstrand Larsen, Radu Mardare, Bingtian Xue |
| 2014 | Probabilistic Recursion Theory and Implicit Computational Complexity. | Ugo Dal Lago, Sara Zuppiroli |
| 2014 | Optimally Streaming Greedy Regular Expression Parsing. | Niels Bjrn Bugge Grathwohl, Fritz Henglein, Ulrik Terp Rasmussen |