| 2017 | Retractable and Speculative Contracts. | Franco Barbanera, Ivan Lanese, Ugo de'Liguoro |
| 2017 | Many-to-Many Information Flow Policies. | Paolo Baldan, Alessandro Beggiato, Alberto Lluch-Lafuente |
| 2017 | Optimally-Self-Healing Distributed Gradient Structures Through Bounded Information Speed. | Giorgio Audrito, Ferruccio Damiani, Mirko Viroli |
| 2016 | On Dynamical Probabilities, or: How to Learn to Shoot Straight. | Herbert Wiklicky |
| 2016 | On Sessions and Infinite Data. | Paula Severi, Luca Padovani, Emilio Tuosto, Mariangiola Dezani-Ciancaglini |
| 2016 | An Interference-Free Programming Model for Network Objects. | Mischael Schill, Christopher M. Poskitt, Bertrand Meyer |
| 2016 | Improving Gossip Dynamics Through Overlapping Replicates. | Danilo Pianini, Jacob Beal, Mirko Viroli |
| 2016 | A Formal Analysis of the Global Sequence Protocol. | Hernn C. Melgratti, Christian Roldn |
| 2016 | A Semantic Theory of the Internet of Things - (Extended Abstract). | Ruggero Lanotte, Massimo Merro |
| 2016 | From Modelling to Systematic Deployment of Distributed Active Objects. | Ludovic Henrio, Justine Rochas |
| 2016 | On Synchronous and Asynchronous Compatibility of Communicating Components. | Rolf Hennicker, Michel Bidoit, Thanh-Son Dang |
| 2016 | Modelling Ambulance Deployment with CarmaCARMA. | Vashti Galpin |
| 2016 | ParT: An Asynchronous Parallel Abstraction for Speculative Pipeline Computations. | Kiko Fernandez-Reyes, Dave Clarke, Daniel S. McCain |
| 2016 | Scheduling Games for Concurrent Systems. | Kasper Dokter, Sung-Shik Jongmans, Farhad Arbab |
| 2016 | On-the-Fly Mean-Field Model-Checking for Attribute-Based Coordination. | Vincenzo Ciancia, Diego Latella, Mieke Massink |
| 2016 | Tuple Spaces Implementations and Their Efficiency. | Vitaly Buravlev, Rocco De Nicola, Claudio Antares Mezzina |
| 2016 | Where Do Your IoT Ingredients Come From? | Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta |
| 2016 | A Game Interpretation of Retractable Contracts. | Franco Barbanera, Ugo de'Liguoro |
| 2016 | Multilevel Transitive and Intransitive Non-interference, Causally. | Paolo Baldan, Alessandro Beggiato |
| 2015 | Klaim-DB: A Modeling Language for Distributed Database Applications. | Xi Wu, Ximeng Li, Alberto Lluch-Lafuente, Flemming Nielson, Hanne Riis Nielson |
| 2015 | Dynamic Choreographies - Safe Runtime Updates of Distributed Applications. | Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro |
| 2015 | Type Reconstruction Algorithms for Deadlock-Free and Lock-Free Linear π-Calculi. | Luca Padovani, Tzu-Chun Chen, Andrea Tosatto |
| 2015 | Blending Event-Based and Multi-Agent Systems Around Coordination Abstractions. | Andrea Omicini, Giancarlo Fortino, Stefano Mariani |
| 2015 | Open Transactions on Shared Memory. | Marino Miculan, Marco Peressotti, Andrea Toneguzzo |
| 2015 | A Fixpoint-Based Calculus for Graph-Shaped Computational Fields. | Alberto Lluch-Lafuente, Michele Loreti, Ugo Montanari |