| 2024 | ISoLA | Rigorous Engineering of Collective Adaptive Systems Introduction to the 5 | Martin Wirsing, Rocco De Nicola, Stefan Jhnichen, Mirco Tribastone |
| 2023 | WWW | Swinging in the States: Does disinformation on Twitter mirror the US presidential election system? | Manuel Pratelli, Marinella Petrocchi, Fabio Saracco, Rocco De Nicola |
| 2022 | ISoLA | Modelling Flocks of Birds from the Bottom Up. | Rocco De Nicola, Luca Di Stefano, Omar Inverso, Serenella Valiani |
| 2022 | ISoLA | Rigorous Engineering of Collective Adaptive Systems Introduction to the 4 | Martin Wirsing, Rocco De Nicola, Stefan Jhnichen |
| 2020 | ICSE | Verification of Privacy-Enhanced Collaborations. | Sara Belluccini, Rocco De Nicola, Marlon Dumas, Pille Pullonen, Barbara Re, Francesco Tiezzi |
| 2020 | IFM | PALM: A Technique for Process ALgebraic Specification Mining. | Sara Belluccini, Rocco De Nicola, Barbara Re, Francesco Tiezzi |
| 2020 | ISoLA | Verifying AbC Specifications via Emulation. | Rocco De Nicola, Tan Duong, Omar Inverso |
| 2020 | ISoLA | Rigorous Engineering of Collective Adaptive Systems Introduction to the 3rd Track Edition. | Martin Wirsing, Rocco De Nicola, Stefan Jhnichen |
| 2019 | Coordination | ABEL - A Domain Specific Framework for Programming with Attribute-Based Communication. | Rocco De Nicola, Tan Duong, Michele Loreti |
| 2019 | IDEAL | Do You Really Follow Them? Automatic Detection of Credulous Twitter Users. | Alessandro Balestrucci, Rocco De Nicola, Marinella Petrocchi, Catia Trubiani |
| 2019 | SAC | Identification of credulous users on Twitter. | Alessandro Balestrucci, Rocco De Nicola, Omar Inverso, Catia Trubiani |
| 2018 | CLOSER | Scheduling Latency-Sensitive Applications in Edge Computing. | Vincenzo Scoca, Atakan Aral, Ivona Brandic, Rocco De Nicola, Rafael Brundo Uriarte |
| 2018 | CloudCom | Towards Distributed SLA Management with Smart Contracts and Blockchain. | Rafael Brundo Uriarte, Rocco De Nicola, Kyriakos Kritikos |
| 2018 | Coordination | A Formal Approach to the Engineering of Domain-Specific Distributed Systems. | Rocco De Nicola, Gian-Luigi Ferrari, Rosario Pugliese, Francesco Tiezzi |
| 2018 | FORTE | A Distributed Coordination Infrastructure for Attribute-Based Interaction. | Yehia Abd Alrahman, Rocco De Nicola, Giulio Garbi, Michele Loreti |
| 2018 | ISoLA | Untitled record | Yehia Abd Alrahman, Rocco De Nicola, Giulio Garbi |
| 2018 | ISoLA | The Meaning of Adaptation: Mastering the Unforeseen? | Stefan Jhnichen, Rocco De Nicola, Martin Wirsing |
| 2018 | ISoLA | Rigorous Engineering of Collective Adaptive Systems Introduction to the 2nd Track Edition. | Rocco De Nicola, Stefan Jhnichen, Martin Wirsing |
| 2018 | ISoLA | DReAM: Dynamic Reconfigurable Architecture Modeling. | Rocco De Nicola, Alessandro Maggi, Joseph Sifakis |
| 2018 | PDP | Improving Availability in Distributed Tuple Spaces Via Sharing Abstractions and Replication Strategies. | Vitaly Buravlev, Rocco De Nicola, Alberto Lluch-Lafuente, Claudio Antares Mezzina |
| 2018 | RCIS | Towards automatic translation of social network policies into controlled natural language. | Irfan Khan Tanoli, Marinella Petrocchi, Rocco De Nicola |
| 2017 | Coordination | AErlang: Empowering Erlang with Attribute-Based Communication. | Rocco De Nicola, Tan Duong, Omar Inverso, Catia Trubiani |
| 2017 | SOFSEM | AErlang at Work. | Rocco De Nicola, Tan Duong, Omar Inverso, Catia Trubiani |
| 2016 | Coordination | Tuple Spaces Implementations and Their Efficiency. | Vitaly Buravlev, Rocco De Nicola, Claudio Antares Mezzina |
| 2016 | FORTE | On the Power of Attribute-Based Communication. | Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti |
| 2016 | ISoLA | Programming of CAS Systems by Relying on Attribute-Based Communication. | Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti |
| 2015 | Coordination | Replica-Based High-Performance Tuple Space Computing. | Marina Andric, Rocco De Nicola, Alberto Lluch-Lafuente |
| 2015 | SAC | A calculus for attribute-based communication. | Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti, Francesco Tiezzi, Roberto Vigo |
| 2015 | SEFM | Twitlang(er): Interactions Modeling Language (and Interpreter) for Twitter. | Rocco De Nicola, Alessandro Maggi, Marinella Petrocchi, Angelo Spognardi, Francesco Tiezzi |
| 2015 | SEFM | On Integrating Social and Sensor Networks for Emergency Management. | Farshad Shams, Antonio Cerone, Rocco De Nicola |
| 2014 | AINA | Reputation-Based Composition of Social Web Services. | Alessandro Celestini, Gianpiero Costantino, Rocco De Nicola, Zakaria Maamar, Fabio Martinelli, Marinella Petrocchi, Francesco Tiezzi |
| 2014 | FORTE | Dimming Relations for the Efficient Analysis of Concurrent Systems via Action Abstraction. | Rocco De Nicola, Giulio Iacobelli, Mirco Tribastone |
| 2014 | ISoLA | Self-expression and Dynamic Attribute-Based Ensembles in SCEL. | Giacomo Cabri, Nicola Capodieci, Luca Cesari, Rocco De Nicola, Rosario Pugliese, Francesco Tiezzi, Franco Zambonelli |
| 2014 | ISoLA | Introduction to "Rigorous Engineering of Autonomic Ensembles"- Track Introduction. | Martin Wirsing, Rocco De Nicola, Matthias M. Hlzl |
| 2014 | UCC | SLAC: A Formal Service-Level-Agreement Language for Cloud Computing. | Rafael Brundo Uriarte, Francesco Tiezzi, Rocco De Nicola |
| 2013 | SAC | Specifying and analysing reputation systems with a coordination language. | Alessandro Celestini, Rocco De Nicola, Francesco Tiezzi |
| 2012 | FOSSACS | Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes. | Marco Bernardo, Rocco De Nicola, Michele Loreti |
| 2011 | FORTE | Linear-Time and May-Testing in a Probabilistic Reactive Setting. | Lucia Acciai, Michele Boreale, Rocco De Nicola |
| 2009 | FMICS | On a Uniform Framework for the Definition of Stochastic Process Languages. | Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink |
| 2009 | ICALP | Rate-Based Transition Systems for Stochastic Process Calculi. | Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink |
| 2008 | Coordination | Implementing Session Centered Calculi. | Lorenzo Bettini, Rocco De Nicola, Michele Loreti |
| 2008 | Coordination | From Flow Logic to Static Type Systems for Coordination Languages. | Rocco De Nicola, Daniele Gorla, Ren Rydhof Hansen, Flemming Nielson, Hanne Riis Nielson, Christian W. Probst, Rosario Pugliese |
| 2005 | Coordination | A Process Calculus for QoS-Aware Applications. | Rocco De Nicola, Gian-Luigi Ferrari, Ugo Montanari, Rosario Pugliese, Emilio Tuosto |
| 2005 | Coordination | Global Computing in a Dynamic Network of Tuple Spaces. | Rocco De Nicola, Daniele Gorla, Rosario Pugliese |
| 2005 | DAIS | A Flexible and Modular Framework for Implementing Infrastructures for Global Computing. | Lorenzo Bettini, Rocco De Nicola, Daniele Falassi, Marc Lacoste, Michele Loreti |
| 2005 | ICALP | Basic Observables for a Calculus for Global Computing. | Rocco De Nicola, Daniele Gorla, Rosario Pugliese |
| 2005 | ICTAC | Languages and Process Calculi for Network Aware Programming - Short Summary -. | Rocco De Nicola |
| 2005 | LICS | Semantic Subtyping for the p-Calculus. | Giuseppe Castagna, Rocco De Nicola, Daniele Varacca |
| 2005 | SAC | Formal modeling and quantitative analysis of KLAIM-based mobile systems. | Rocco De Nicola, Diego Latella, Mieke Massink |
| 2002 | Coordination | Formalizing Properties of Mobile Agent Systems. | Lorenzo Bettini, Rocco De Nicola, Michele Loreti |
| 2002 | SAC | Software update via mobile agent based programming. | Lorenzo Bettini, Rocco De Nicola, Michele Loreti |
| 2000 | CONCUR | Programming Access Control: The KLAIM Experience. | Rocco De Nicola, Gian-Luigi Ferrari, Rosario Pugliese |
| 2000 | Coordination | Proving the Correctness of Optimising Destructive and Non-destructive Reads over Tuple Spaces. | Rocco De Nicola, Rosario Pugliese, Antony I. T. Rowstron |
| 2000 | FORTE | Process Algebraic Analysis of Cryptographic Protocols. | Michele Boreale, Rocco De Nicola, Rosario Pugliese |
| 1999 | Coordination | Coordination and Access Control of Mobile Agents. | Rocco De Nicola |
| 1999 | FOSSACS | A Theory of "May" Testing for Asynchronous Languages. | Michele Boreale, Rocco De Nicola, Rosario Pugliese |
| 1999 | LICS | Proof Techniques for Cryptographic Processes. | Michele Boreale, Rocco De Nicola, Rosario Pugliese |
| 1998 | CONCUR | Possible Worlds for Process Algebras. | Simone Veglioni, Rocco De Nicola |
| 1998 | FOSSACS | Asynchronous Observations of Processes. | Michele Boreale, Rocco De Nicola, Rosario Pugliese |
| 1998 | WETICE | Interactive Mobile Agents in X-Klaim. | Lorenzo Bettini, Rocco De Nicola, Rosario Pugliese, Gian-Luigi Ferrari |
| 1997 | Coordination | Coordinating Mobile Agents via Blackboards and Access Rights. | Rocco De Nicola, Gian-Luigi Ferrari, Rosario Pugliese |
| 1997 | ICALP | Basic Observables for Processes. | Michele Boreale, Rocco De Nicola, Rosario Pugliese |
| 1996 | Coordination | A Process Algebra Based on LINDA. | Rocco De Nicola, Rosario Pugliese |
| 1996 | ICALP | Algebraic Characterizations of Decorated Trace Equivalences over Tree-Like Structures. | Xiao Jun Chen, Rocco De Nicola |
| 1995 | CONCUR | Fully Abstract Models for Nondeterministic Regular Expressions. | Flavio Corradini, Rocco De Nicola, Anna Labella |
| 1994 | CONCUR | A Symbolic Semantics for the pi-calculus (Extended Abstract). | Michele Boreale, Rocco De Nicola |
| 1994 | ICALP | Distribution and Locality of Concurrent Systems. | Flavio Corradini, Rocco De Nicola |
| 1994 | MFCS | A Completeness Theorem fro Nondeterministic Kleene Algebras. | Rocco De Nicola, Anna Labella |
| 1992 | CONCUR | Testing Equivalence for Mobile Processes (Extended Abstract). | Michele Boreale, Rocco De Nicola |
| 1991 | CAV | An Action Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems. | Rocco De Nicola, Alessandro Fantechi, Stefania Gnesi, Gioia Ristori |
| 1991 | CONCUR | Action and State-based Logics for Process Algebras. | Rocco De Nicola |
| 1990 | CONCUR | Back and Forth Bisimulations. | Rocco De Nicola, Ugo Montanari, Frits W. Vaandrager |
| 1990 | LICS | Three Logics for Branching Bisimulation (Extended Abstract) | Rocco De Nicola, Frits W. Vaandrager |
| 1988 | LICS | On the Consistency of "Truly Concurrent" Operational and Denotational Semantics (Extended Abstract) | Pierpaolo Degano, Rocco De Nicola, Ugo Montanari |
| 1985 | FCT | Partial ordering derivations for CCS. | Pierpaolo Degano, Rocco De Nicola, Ugo Montanari |
| 1984 | MFCS | Models and Operators for Nondeterministic Processes. | Rocco De Nicola |
| 1983 | FCT | A Complete Set of Axioms for a Theory of Communicating Sequential Processes. | Rocco De Nicola |
| 1983 | ICALP | Testing Equivalence for Processes. | Rocco De Nicola, Matthew Hennessy |
| 1981 | ICDCS | Communication Through Message Passing or Shared Memory: A Formal Comparison. | Rocco De Nicola, Alberto Martelli, Ugo Montanari |