Communication Through Message Passing or Shared Memory: A Formal Comparison. - Rocco De Nicola; Alberto Martelli; Ugo Montanari (ICDCS, 1981)

A Complete Set of Axioms for a Theory of Communicating Sequential Processes. - Rocco De Nicola (FCT, 1983)

Testing Equivalence for Processes. - Rocco De Nicola; Matthew Hennessy (ICALP, 1983)

Models and Operators for Nondeterministic Processes. - Rocco De Nicola (MFCS, 1984)

Testing Equivalences for Processes. - Rocco De Nicola; Matthew Hennessy (Theor. Comput. Sci., 1984)

Partial ordering derivations for CCS. - Pierpaolo Degano; Rocco De Nicola; Ugo Montanari (FCT, 1985)

Two Complete Axiom Systems for a Theory of Communicating Sequential Processes - Rocco De Nicola (Inf. Control., 1985)

Testing Equivalences for Event Structures. - Luca Aceto; Rocco De Nicola; Alessandro Fantechi (Mathematical Models for the Semantics of Parallelism, 1986)

CCS is an (Augmented) Contact Free C/E System. - Pierpaolo Degano; Rocco De Nicola; Ugo Montanari (Mathematical Models for the Semantics of Parallelism, 1986)

Net Theory and Application - Response. - Rocco De Nicola (IFIP Congress, 1986)

Testing equivalences and fully abstract models for communicating systems. - Rocco De Nicola (1986)

Observational equivalences for concurrency models. - Pierpaolo Degano; Rocco De Nicola; Ugo Montanari (Formal Description of Programming Concepts, 1987)

CCS without tau's. - Rocco De Nicola; Matthew Hennessy (TAPSOFT, Vol.1, 1987)

Extensional Equivalences for Transition Systems. - Rocco De Nicola (Acta Informatica, 1987)

On the Consistency of "Truly Concurrent" Operational and Denotational Semantics (Extended Abstract) - Pierpaolo Degano; Rocco De Nicola; Ugo Montanari (LICS, 1988)

Partial orderings descriptions and observations of nondeterministic concurrent processes. - Pierpaolo Degano; Rocco De Nicola; Ugo Montanari (REX Workshop, 1988)

A Distributed Operational Semantics for CCS Based on Condition/Event Systems. - Pierpaolo Degano; Rocco De Nicola; Ugo Montanari (Acta Informatica, 1988)

Using the Axiomatic Presentation of Behavioural Equivalences for Manipulating CCS Specifications. - Rocco De Nicola; Paola Inverardi; Monica Nesi (Automatic Verification Methods for Finite State Systems, 1989)

Back and Forth Bisimulations. - Rocco De Nicola; Ugo Montanari; Frits W. Vaandrager (CONCUR, 1990)

Observational Logics and Concurrency Models. - Rocco De Nicola; Gian-Luigi Ferrari 002 (FSTTCS, 1990)

Three Logics for Branching Bisimulation (Extended Abstract) - Rocco De Nicola; Frits W. Vaandrager (LICS, 1990)

Action versus State based Logics for Transition Systems. - Rocco De Nicola; Frits W. Vaandrager (Semantics of Systems of Concurrent Processes, 1990)

A Partial Ordering Semantics for CCS. - Pierpaolo Degano; Rocco De Nicola; Ugo Montanari (Theor. Comput. Sci., 1990)

Action and State-based Logics for Process Algebras. - Rocco De Nicola (CONCUR, 1991)

Equational reasoning about LOTOS specifications: a rewriting approach. - Rocco De Nicola; Paola Inverardi; Monica Nesi (IWSSD, 1991)

Testing Equivalence for Mobile Processes (Extended Abstract). - Michele Boreale; Rocco De Nicola (CONCUR, 1992)

Observation Trees. - Pierpaolo Degano; Rocco De Nicola; Ugo Montanari (NAPAW, 1992)

An Action-Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems. - Rocco De Nicola; Alessandro Fantechi; Stefania Gnesi; Gioia Ristori (Comput. Networks ISDN Syst., 1993)

Universal Axioms for Bisimulations. - Pierpaolo Degano; Rocco De Nicola; Ugo Montanari (Theor. Comput. Sci., 1993)

A Symbolic Semantics for the pi-calculus (Extended Abstract). - Michele Boreale; Rocco De Nicola (CONCUR, 1994)

Distribution and Locality of Concurrent Systems. - Flavio Corradini; Rocco De Nicola (ICALP, 1994)

A Completeness Theorem fro Nondeterministic Kleene Algebras. - Rocco De Nicola; Anna Labella (MFCS, 1994)

Verifying hardware components within JACK. - Rocco De Nicola; Alessandro Fantechi; Stefania Gnesi; Salvatore Larosa; Gioia Ristori (CHARME, 1995)

Fully Abstract Models for Nondeterministic Regular Expressions. - Flavio Corradini; Rocco De Nicola; Anna Labella (CONCUR, 1995)

An Observational Semantics for Linda. - Rocco De Nicola; Rosario Pugliese (STRICT, 1995)

Three Logics for Branching Bisimulation. - Rocco De Nicola; Frits W. Vaandrager (J. ACM, 1995)

A Process Algebraic View of Input/Output Automata. - Rocco De Nicola; Roberto Segala (Theor. Comput. Sci., 1995)

Testing Equivalence for Mobile Processes - Michele Boreale; Rocco De Nicola (Inf. Comput., 1995)

A Process Algebra Based on LINDA. - Rocco De Nicola; Rosario Pugliese (COORDINATION, 1996)

Algebraic Characterizations of Decorated Trace Equivalences over Tree-Like Structures. - Xiao Jun Chen; Rocco De Nicola (ICALP, 1996)

Testing Semantics of Asynchronous Distributed Programs. - Rocco De Nicola; Rosario Pugliese (LOMAPS, 1996)

Concurrency: Theory and Practice. - Rocco De Nicola; Scott A. Smolka (ACM Comput. Surv., 1996)

On Four Partial Ordering Semantics for a Process Calculus. - Flavio Corradini; Rocco De Nicola (Fundam. Informaticae, 1996)

A Symbolic Semantics for the pi-Calculus. - Michele Boreale; Rocco De Nicola (Inf. Comput., 1996)

Coordinating Mobile Agents via Blackboards and Access Rights. - Rocco De Nicola; Gian-Luigi Ferrari 002; Rosario Pugliese (COORDINATION, 1997)

Locality Based Linda: Programming with Explicit Localities. - Rocco De Nicola; Gian-Luigi Ferrari 002; Rosario Pugliese (TAPSOFT, 1997)

Locality Based Semantics for Process Algebras. - Flavio Corradini; Rocco De Nicola (Acta Informatica, 1997)

Possible Worlds for Process Algebras. - Simone Veglioni; Rocco De Nicola (CONCUR, 1998)

Asynchronous Observations of Processes. - Michele Boreale; Rocco De Nicola; Rosario Pugliese (FoSSaCS, 1998)

Interactive Mobile Agents in X-Klaim. - Lorenzo Bettini; Rocco De Nicola; Rosario Pugliese; Gian-Luigi Ferrari 002 (WETICE, 1998)

Tree Morphisms and Bisimulations. - Rocco De Nicola; Anna Labella (MFCS Workshop on Concurrency, 1998)

KLAIM: A Kernel Language for Agents Interaction and Mobility. - Rocco De Nicola; Gian-Luigi Ferrari 002; Rosario Pugliese (IEEE Trans. Software Eng., 1998)

Coordination and Access Control of Mobile Agents. - Rocco De Nicola (COORDINATION, 1999)

Types as Specifications of Access Policies. - Rocco De Nicola; Gian-Luigi Ferrari 002; Rosario Pugliese (Secure Internet Programming, 1999)

A Theory of "May" Testing for Asynchronous Languages. - Michele Boreale; Rocco De Nicola; Rosario Pugliese (FoSSaCS, 1999)

Graded Modalities and Resource Bisimulation. - Flavio Corradini; Rocco De Nicola; Anna Labella (FSTTCS, 1999)

Basic Observables for Processes. - Michele Boreale; Rocco De Nicola; Rosario Pugliese (Inf. Comput., 1999)

A finite axiomatization of nondeterministic regular expressions. - Flavio Corradini; Rocco De Nicola; Anna Labella (RAIRO Theor. Informatics Appl., 1999)

Models of Nondeterministic Regular Expressions. - Flavio Corradini; Rocco De Nicola; Anna Labella (J. Comput. Syst. Sci., 1999)

A Modal Logic for KLAIM. - Rocco De Nicola; Michele Loreti (AMAST, 2000)

Programming Access Control: The KLAIM Experience. - Rocco De Nicola; Gian-Luigi Ferrari 002; Rosario Pugliese (CONCUR, 2000)

Proving the Correctness of Optimising Destructive and Non-destructive Reads over Tuple Spaces. - Rocco De Nicola; Rosario Pugliese; Antony I. T. Rowstron (COORDINATION, 2000)

Process Algebraic Analysis of Cryptographic Protocols. - Michele Boreale; Rocco De Nicola; Rosario Pugliese (FORTE, 2000)

Mobile Applications in X-KLAIM. - Lorenzo Bettini; Rocco De Nicola; Gian-Luigi Ferrari 002; Rosario Pugliese (WOA, 2000)

Types for access control. - Rocco De Nicola; Gian-Luigi Ferrari 002; Rosario Pugliese; Betti Venneri (Theor. Comput. Sci., 2000)

Linda-based applicative and imperative process algebras. - Rocco De Nicola; Rosario Pugliese (Theor. Comput. Sci., 2000)

Translating Strong Mobility into Weak Mobility. - Lorenzo Bettini; Rocco De Nicola (Mobile Agents, 2001)

XKlaim and Klava: Programming Mobile Code. - Lorenzo Bettini; Rocco De Nicola; Rosario Pugliese (TOSCA, 2001)

Proof Techniques for Cryptographic Processes. - Michele Boreale; Rocco De Nicola; Rosario Pugliese (SIAM J. Comput., 2001)

Divergence in testing and readiness semantics. - Michele Boreale; Rocco De Nicola; Rosario Pugliese (Theor. Comput. Sci., 2001)

Algebraic characterizations of trace and decorated trace equivalences over tree-like structures. - Xiao Jun Chen; Rocco De Nicola (Theor. Comput. Sci., 2001)

Formalizing Properties of Mobile Agent Systems. - Lorenzo Bettini; Rocco De Nicola; Michele Loreti (COORDINATION, 2002)

A Java Middleware for Guaranteeing Privacy of Distributed Tuple Spaces. - Lorenzo Bettini; Rocco De Nicola (FIDJI, 2002)

Software update via mobile agent based programming. - Lorenzo Bettini; Rocco De Nicola; Michele Loreti (SAC, 2002)

AGILE: Software Architecture for Mobility. - Luís Andrade 001; Paolo Baldan; Hubert Baumeister; Roberto Bruni 001; Andrea Corradini 001; Rocco De Nicola; José Luiz Fiadeiro; Fabio Gadducci; Stefania Gnesi; Piotr Hoffman; Nora Koch; Piotr Kosiuczenko; et al. (WADT, 2002)

Trace and Testing Equivalence on Asynchronous Processes. - Michele Boreale; Rocco De Nicola; Rosario Pugliese (Inf. Comput., 2002)

An Equational Axiomatization of Bisimulation over Regular Expressions. - Flavio Corradini; Rocco De Nicola; Anna Labella (J. Log. Comput., 2002)

Klava: a Java package for distributed and mobile applications. - Lorenzo Bettini; Rocco De Nicola; Rosario Pugliese (Softw. Pract. Exp., 2002)

A Formal Basis for Reasoning on Programmable QoS. - Rocco De Nicola; Gian-Luigi Ferrari 002; Ugo Montanari; Rosario Pugliese; Emilio Tuosto (Verification: Theory and Practice, 2003)

The Klaim Project: Theory and Practice. - Lorenzo Bettini; Viviana Bono; Rocco De Nicola; Gian-Luigi Ferrari 002; Daniele Gorla; Michele Loreti; Eugenio Moggi; Rosario Pugliese; Emilio Tuosto; Betti Venneri (Global Computing, 2003)

Nondeterministic regular expressions as solutions of equational systems. - Rocco De Nicola; Anna Labella (Theor. Comput. Sci., 2003)

MoMo: A Modal Logic for Reasoning About Mobility. - Rocco De Nicola; Michele Loreti (FMCO, 2004)

A Software Framework for Rapid Prototyping of Run-Time Systems for Mobile Calculi. - Lorenzo Bettini; Rocco De Nicola; Daniele Falassi; Marc Lacoste; Luís M. B. Lopes; Licínio Oliveira; Hervé Paulino; Vasco Thudichum Vasconcelos (Global Computing, 2004)

Formulae Meet Programs Over the Net: A Framework for Correct Network Aware Programming. - Lorenzo Bettini; Rocco De Nicola; Michele Loreti (Autom. Softw. Eng., 2004)

A modal logic for mobile agents. - Rocco De Nicola; Michele Loreti (ACM Trans. Comput. Log., 2004)

A Process Calculus for QoS-Aware Applications. - Rocco De Nicola; Gian-Luigi Ferrari 002; Ugo Montanari; Rosario Pugliese; Emilio Tuosto (COORDINATION, 2005)

A Flexible and Modular Framework for Implementing Infrastructures for Global Computing. - Lorenzo Bettini; Rocco De Nicola; Daniele Falassi; Marc Lacoste; Michele Loreti (DAIS, 2005)

Pattern Matching over a Dynamic Network of Tuple Spaces. - Rocco De Nicola; Daniele Gorla; Rosario Pugliese (FMOODS, 2005)

Languages and Process Calculi for Network Aware Programming - Short Summary -. - Rocco De Nicola (ICTAC, 2005)

Semantic Subtyping for the p-Calculus. - Giuseppe Castagna; Rocco De Nicola; Daniele Varacca (LICS, 2005)

Formal modeling and quantitative analysis of KLAIM-based mobile systems. - Rocco De Nicola; Diego Latella; Mieke Massink (SAC, 2005)

Mobile Distributed Programming in X-Klaim. - Lorenzo Bettini; Rocco De Nicola (SFM, 2005)

Types in concurrency. - Rocco De Nicola; Davide Sangiorgi (Acta Informatica, 2005)

From Process Calculi to Klaim and Back. - Rocco De Nicola (APC 25, 2005)

Towards a Logic for Performance and Mobility. - Rocco De Nicola; Joost-Pieter Katoen; Diego Latella; Mieke Massink (QAPL, 2005)

SensoriaProcess Calculi for Service-Oriented Computing. - Martin Wirsing; Rocco De Nicola; Stephen Gilmore; Matthias M. Hölzl; Roberto Lucchi; Mirco Tribastone; Gianluigi Zavattaro (TGC, 2006)

SCC: A Service Centered Calculus. - Michele Boreale; Roberto Bruni 001; Luís Caires; Rocco De Nicola; Ivan Lanese; Michele Loreti; Francisco Martins; Ugo Montanari; António Ravara; Davide Sangiorgi; Vasco Thudichum Vasconcelos; Gianluigi Zavattaro (WS-FM, 2006)

Implementing a Distributed Mobile Calculus Using the IMC Framework. - Lorenzo Bettini; Rocco De Nicola; Daniele Falassi; Michele Loreti (CoOrg/MTCoord@COORDINATION, 2006)

Multi Labelled Transition Systems: A Semantic Framework for Nominal Calculi. - Rocco De Nicola; Michele Loreti (LMCS, 2006)

Confining data and processes in global computing applications. - Rocco De Nicola; Daniele Gorla; Rosario Pugliese (Sci. Comput. Program., 2006)

Implementing Mobile and Distributed Applications in X-Klaim. - Lorenzo Bettini; Rocco De Nicola; Michele Loreti (Scalable Comput. Pract. Exp., 2006)

On the expressive power of KLAIM-based calculi. - Rocco De Nicola; Daniele Gorla; Rosario Pugliese (Theor. Comput. Sci., 2006)

Session Centered Calculi for Service Oriented Computing. - Rocco De Nicola (ICTCS, 2007)

Basic Observables for Probabilistic May Testing. - Maria Carla Palmeri; Rocco De Nicola; Mieke Massink (QEST, 2007)

Basic observables for a calculus for global computing. - Rocco De Nicola; Daniele Gorla; Rosario Pugliese (Inf. Comput., 2007)

Global computing in a dynamic network of tuple spaces. - Rocco De Nicola; Daniele Gorla; Rosario Pugliese (Sci. Comput. Program., 2007)

Model checking mobile stochastic logic. - Rocco De Nicola; Joost-Pieter Katoen; Diego Latella; Michele Loreti; Mieke Massink (Theor. Comput. Sci., 2007)

Ugo Montanari in a Nutshell. - Rocco De Nicola; Pierpaolo Degano; José Meseguer 001 (Concurrency, Graphs and Models, 2008)

Implementing Session Centered Calculi. - Lorenzo Bettini; Rocco De Nicola; Michele Loreti (COORDINATION, 2008)

Sessions and Pipelines for Structured Service Programming. - Michele Boreale; Roberto Bruni 001; Rocco De Nicola; Michele Loreti (FMOODS, 2008)

Provably Correct Implementations of Services. - Roberto Bruni 001; Rocco De Nicola; Michele Loreti; Leonardo Gaetano Mezzina (TGC, 2008)

MarCaSPiS: a Markovian Extension of a Calculus for Services. - Rocco De Nicola; Diego Latella; Michele Loreti; Mieke Massink (SOS@ICALP, 2008)

Multiple-Labelled Transition Systems for nominal calculi and their logics. - Rocco De Nicola; Michele Loreti (Math. Struct. Comput. Sci., 2008)

Semantic subtyping for the pi-calculus. - Giuseppe Castagna; Rocco De Nicola; Daniele Varacca (Theor. Comput. Sci., 2008)

TAPAs: A Tool for the Analysis of Process Algebras. - Francesco Calzolai; Rocco De Nicola; Michele Loreti; Francesco Tiezzi 001 (Trans. Petri Nets Other Model. Concurr., 2008)

On a Uniform Framework for the Definition of Stochastic Process Languages. - Rocco De Nicola; Diego Latella; Michele Loreti; Mieke Massink (FMICS, 2009)

Rate-Based Transition Systems for Stochastic Process Calculi. - Rocco De Nicola; Diego Latella; Michele Loreti; Mieke Massink (ICALP (2), 2009)

Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Processes. - Marco Bernardo 001; Rocco De Nicola; Michele Loreti (TGC, 2010)

Tree-functors, determinacy and bisimulations. - Rocco De Nicola; Daniele Gorla; Anna Labella (Math. Struct. Comput. Sci., 2010)

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 (Sci. Comput. Program., 2010)

Core Calculi for Service-Oriented Computing. - Luís Caires; Rocco De Nicola; Rosario Pugliese; Vasco Thudichum Vasconcelos; Gianluigi Zavattaro (Results of the SENSORIA Project, 2011)

SoSL: A Service-Oriented Stochastic Logic. - Rocco De Nicola; Diego Latella; Michele Loreti; Mieke Massink (Results of the SENSORIA Project, 2011)

A Language-Based Approach to Autonomic Computing. - Rocco De Nicola; Gian-Luigi Ferrari 002; Michele Loreti; Rosario Pugliese (FMCO, 2011)

Linear-Time and May-Testing in a Probabilistic Reactive Setting. - Lucia Acciai; Michele Boreale; Rocco De Nicola (FMOODS/FORTE, 2011)

Orchestrating Tuple-Based Languages. - Rocco De Nicola; Andrea Margheri; Francesco Tiezzi 001 (TGC, 2011)

Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Process Calculi - Marco Bernardo 001; Rocco De Nicola; Michele Loreti (PACO, 2011)

Behavioral Equivalences. - Rocco De Nicola (Encyclopedia of Parallel Computing, 2011)

Process Algebras. - Rocco De Nicola (Encyclopedia of Parallel Computing, 2011)

Formalising Adaptation Patterns for Autonomic Ensembles. - Luca Cesari; Rocco De Nicola; Rosario Pugliese; Mariachiara Puviani; Francesco Tiezzi 001; Franco Zambonelli (FACS, 2013)

Network-Aware Evaluation Environment for Reputation Systems. - Alessandro Celestini; Rocco De Nicola; Francesco Tiezzi 001 (IFIPTM, 2013)

Specifying and analysing reputation systems with a coordination language. - Alessandro Celestini; Rocco De Nicola; Francesco Tiezzi 001 (SAC, 2013)

A Life Cycle for the Development of Autonomic Systems: The E-mobility Showcase. - Tomás Bures; Rocco De Nicola; Ilias Gerostathopoulos; Nicklas Hoch; Michal Kit; Nora Koch; Giacoma Valentina Monreale; Ugo Montanari; Rosario Pugliese; Nikola B. Serbedzija; Martin Wirsing; Franco Zambonelli (SASO Workshops, 2013)

Group-by-Group Probabilistic Bisimilarities and Their Logical Characterizations. - Marco Bernardo 001; Rocco De Nicola; Michele Loreti (TGC, 2013)

The Spectrum of Strong Behavioral Equivalences for Nondeterministic and Probabilistic Processes. - Marco Bernardo 001; Rocco De Nicola; Michele Loreti (QAPL, 2013)

A Companion of "Relating Strong Behavioral Equivalences for Processes with Nondeterminism and Probabilities" - Marco Bernardo 001; Rocco De Nicola; Michele Loreti (CoRR, 2013)

A uniform definition of stochastic process calculi. - Rocco De Nicola; Diego Latella; Michele Loreti; Mieke Massink (ACM Comput. Surv., 2013)

A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences. - Marco Bernardo 001; Rocco De Nicola; Michele Loreti (Inf. Comput., 2013)

Reputation-Based Composition of Social Web Services. - Alessandro Celestini; Gianpiero Costantino; Rocco De Nicola; Zakaria Maamar; Fabio Martinelli; Marinella Petrocchi; Francesco Tiezzi 001 (AINA, 2014)

Reasoning (on) Service Component Ensembles in Rewriting Logic. - Lenz Belzner; Rocco De Nicola; Andrea Vandin; Martin Wirsing (Specification, Algebra, and Software, 2014)

Programming and Verifying Component Ensembles. - Rocco De Nicola; Alberto Lluch-Lafuente; Michele Loreti; Andrea Morichetta 001; Rosario Pugliese; Valerio Senni; Francesco Tiezzi 001 (FPS@ETAPS, 2014)

A Formal Approach to Autonomic Systems Programming: The SCEL Language - (Long Abstract). - Rocco De Nicola (FACS, 2014)

Dimming Relations for the Efficient Analysis of Concurrent Systems via Action Abstraction. - Rocco De Nicola; Giulio Iacobelli; Mirco Tribastone (FORTE, 2014)

A formal approach to autonomic systems programming: the SCEL language. - Rocco De Nicola (ICTCS, 2014)

Self-expression and Dynamic Attribute-Based Ensembles in SCEL. - Giacomo Cabri; Nicola Capodieci; Luca Cesari; Rocco De Nicola; Rosario Pugliese; Francesco Tiezzi 001; Franco Zambonelli (ISoLA (1), 2014)

Introduction to "Rigorous Engineering of Autonomic Ensembles"- Track Introduction. - Martin Wirsing; Rocco De Nicola; Matthias M. Hölzl (ISoLA (1), 2014)

Trust-Based Enforcement of Security Policies. - Roberto Vigo; Alessandro Celestini; Francesco Tiezzi 001; Rocco De Nicola; Flemming Nielson; Hanne Riis Nielson (TGC, 2014)

SLAC: A Formal Service-Level-Agreement Language for Cloud Computing. - Rafael Brundo Uriarte; Francesco Tiezzi 001; Rocco De Nicola (UCC, 2014)

Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes. - Marco Bernardo 001; Rocco De Nicola; Michele Loreti (Log. Methods Comput. Sci., 2014)

Editor's Note. - Rocco De Nicola (J. Log. Algebraic Methods Program., 2014)

A Formal Approach to Autonomic Systems Programming: The SCEL Language. - Rocco De Nicola; Michele Loreti; Rosario Pugliese; Francesco Tiezzi 001 (ACM Trans. Auton. Adapt. Syst., 2014)

Relating strong behavioral equivalences for processes with nondeterminism and probabilities. - Marco Bernardo 001; Rocco De Nicola; Michele Loreti (Theor. Comput. Sci., 2014)

A Homage to Martin Wirsing. - Rocco De Nicola; Rolf Hennicker (Software, Services, and Systems, 2015)

Global Protocol Implementations via Attribute-Based Communication. - Rocco De Nicola; Claudio Antares Mezzina; Hugo Torres Vieira (Programming Languages with Applications to Biology and Security, 2015)

Replica-Based High-Performance Tuple Space Computing. - Marina Andric; Rocco De Nicola; Alberto Lluch-Lafuente (COORDINATION, 2015)

A calculus for attribute-based communication. - Yehia Abd Alrahman; Rocco De Nicola; Michele Loreti; Francesco Tiezzi 001; Roberto Vigo (SAC, 2015)

Twitlang(er): Interactions Modeling Language (and Interpreter) for Twitter. - Rocco De Nicola; Alessandro Maggi; Marinella Petrocchi; Angelo Spognardi; Francesco Tiezzi 001 (SEFM, 2015)

On Integrating Social and Sensor Networks for Emergency Management. - Farshad Shams; Antonio Cerone; Rocco De Nicola (SEFM Workshops, 2015)

Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes. - Marco Bernardo 001; Rocco De Nicola; Michele Loreti (Acta Informatica, 2015)

CARMA: Collective Adaptive Resource-sharing Markovian Agents. - Luca Bortolussi; Rocco De Nicola; Vashti Galpin; Stephen Gilmore; Jane Hillston; Diego Latella; Michele Loreti; Mieke Massink (QAPL, 2015)

Domain-specific queries and Web search personalization: some investigations. - Van Tien Hoang; Angelo Spognardi; Francesco Tiezzi 001; Marinella Petrocchi; Rocco De Nicola (WWV, 2015)

EATCS Fellows 2016 - Call for Nominations. - Rocco De Nicola (Bull. EATCS, 2015)

CaSPiS: a calculus of sessions, pipelines and services. - Michele Boreale; Roberto Bruni 001; Rocco De Nicola; Michele Loreti (Math. Struct. Comput. Sci., 2015)

The SCEL Language: Design, Implementation, Verification. - Rocco De Nicola; Diego Latella; Alberto Lluch-Lafuente; Michele Loreti; Andrea Margheri; Mieke Massink; Andrea Morichetta 001; Rosario Pugliese; Francesco Tiezzi 001; Andrea Vandin (The ASCENS Approach, 2015)

Replicating Data for Better Performances in X10. - Marina Andric; Rocco De Nicola; Alberto Lluch-Lafuente (Semantics, Logics, and Calculi, 2016)

Tuple Spaces Implementations and Their Efficiency. - Vitaly Buravlev; Rocco De Nicola; Claudio Antares Mezzina (COORDINATION, 2016)

Dynamic SLAs for Clouds. - Rafael Brundo Uriarte; Francesco Tiezzi 001; Rocco De Nicola (ESOCC, 2016)

Online User Behavioural Modeling with Applications to Price Steering. - Van Tien Hoang; Vittoria Cozza; Marinella Petrocchi; Rocco De Nicola (FINREC, 2016)

On the Power of Attribute-Based Communication. - Yehia Abd Alrahman; Rocco De Nicola; Michele Loreti (FORTE, 2016)

Programming of CAS Systems by Relying on Attribute-Based Communication. - Yehia Abd Alrahman; Rocco De Nicola; Michele Loreti (ISoLA (1), 2016)

Smart Contract Negotiation in Cloud Computing. - Vincenzo Scoca; Rafael Brundo Uriarte; Rocco De Nicola (CLOUD, 2017)

Verifying Properties of Systems Relying on Attribute-Based Communication. - Rocco De Nicola; Tan Duong; Omar Inverso; Franco Mazzanti (ModelEd, TestEd, TrustEd, 2017)

AErlang at Work. - Rocco De Nicola; Tan Duong; Omar Inverso; Catia Trubiani (SOFSEM, 2017)

Initial Algebra for a System of Right-Linear Functors. - Anna Labella; Rocco De Nicola (Acta Cybern., 2017)

A Behavioural Theory for Interactions in Collective-Adaptive Systems. - Yehia Abd Alrahman; Rocco De Nicola; Michele Loreti (CoRR, 2017)

Scheduling Latency-Sensitive Applications in Edge Computing. - Vincenzo Scoca; Atakan Aral; Ivona Brandic; Rocco De Nicola; Rafael Brundo Uriarte (CLOSER, 2018)

Towards Distributed SLA Management with Smart Contracts and Blockchain. - Rafael Brundo Uriarte; Rocco De Nicola; Kyriakos Kritikos (CloudCom, 2018)

A Distributed Coordination Infrastructure for Attribute-Based Interaction. - Yehia Abd Alrahman; Rocco De Nicola; Giulio Garbi; Michele Loreti (FORTE, 2018)

GoAt: Attribute-Based Interaction in Google Go. - Yehia Abd Alrahman; Rocco De Nicola; Giulio Garbi (ISoLA (3), 2018)

The Meaning of Adaptation: Mastering the Unforeseen? - Stefan Jähnichen; Rocco De Nicola; Martin Wirsing (ISoLA (3), 2018)

Rigorous Engineering of Collective Adaptive Systems Introduction to the 2nd Track Edition. - Rocco De Nicola; Stefan Jähnichen; Martin Wirsing (ISoLA (3), 2018)

DReAM: Dynamic Reconfigurable Architecture Modeling. - Rocco De Nicola; Alessandro Maggi; Joseph Sifakis (ISoLA (3), 2018)

Understanding the Twitter User Networks of Viruses and Ransomware Attacks. - Michelangelo Puliga; Guido Caldarelli; Alessandro Chessa; Rocco De Nicola (ITASEC, 2018)

Improving Availability in Distributed Tuple Spaces Via Sharing Abstractions and Replication Strategies. - Vitaly Buravlev; Rocco De Nicola; Alberto Lluch-Lafuente; Claudio Antares Mezzina (PDP, 2018)

Towards automatic translation of social network policies into controlled natural language. - Irfan Khan Tanoli; Marinella Petrocchi; Rocco De Nicola (RCIS, 2018)

GoAt: Attribute-based Interaction in Google Go. - Giulio Garbi; Rocco De Nicola; Yehia Abd Alrahman (Zenodo, 2018)

Evaluating the efficiency of Linda implementations. - Vitaly Buravlev; Rocco De Nicola; Claudio Antares Mezzina (Concurr. Comput. Pract. Exp., 2018)

Towards formal models and languages for verifiable Multi-Robot Systems. - Rocco De Nicola; Luca Di Stefano 001; Omar Inverso (CoRR, 2018)

DReAM: Dynamic Reconfigurable Architecture Modeling (full paper). - Rocco De Nicola; Alessandro Maggi; Joseph Sifakis (CoRR, 2018)

Blockchain-Based Decentralized Cloud/Fog Solutions: Challenges, Opportunities, and Standards. - Rafael Brundo Uriarte; Rocco De Nicola (IEEE Commun. Stand. Mag., 2018)

Toward Formal Models and Languages for Verifiable Multi-Robot Systems. - Rocco De Nicola; Luca Di Stefano 001; Omar Inverso (Frontiers Robotics AI, 2018)

AErlang: Empowering Erlang with attribute-based communication. - Rocco De Nicola; Tan Duong; Omar Inverso; Catia Trubiani (Sci. Comput. Program., 2018)

Transparency in Keyword Faceted Search: a dataset of Google Shopping html pages. - Vittoria Cozza; Van Tien Hoang; Marinella Petrocchi; Rocco De Nicola (Zenodo, 2018)

A Logic-Inspired Approach to Reconfigurable System Modelling. - Alessandro Maggi; Rocco De Nicola; Joseph Sifakis (From Reactive Systems to Cyber-Physical Systems, 2019)

A Systematic Approach to Programming and Verifying Attribute-Based Communication Systems. - Rocco De Nicola; Tan Duong; Omar Inverso; Franco Mazzanti (From Software Engineering to Formal Methods and Tools, and Back, 2019)

ABEL - A Domain Specific Framework for Programming with Attribute-Based Communication. - Rocco De Nicola; Tan Duong; Michele Loreti (COORDINATION, 2019)

Do You Really Follow Them? Automatic Detection of Credulous Twitter Users. - Alessandro Balestrucci; Rocco De Nicola; Marinella Petrocchi; Catia Trubiani (IDEAL (1), 2019)

Transparency in Keyword Faceted Search: An Investigation on Google Shopping. - Vittoria Cozza; Van Tien Hoang; Marinella Petrocchi; Rocco De Nicola (IRCDL, 2019)

Identification of credulous users on Twitter. - Alessandro Balestrucci; Rocco De Nicola; Omar Inverso; Catia Trubiani (SAC, 2019)

The role of bot squads in the political propaganda on Twitter. - Guido Caldarelli; Rocco De Nicola; Fabio Del Vigna; Marinella Petrocchi; Fabio Saracco (CoRR, 2019)

Defining and guaranteeing dynamic service levels in clouds. - Rafael Brundo Uriarte; Rocco De Nicola; Vincenzo Scoca; Francesco Tiezzi 001 (Future Gener. Comput. Syst., 2019)

Addressing Application Latency Requirements through Edge Scheduling. - Atakan Aral; Ivona Brandic; Rafael Brundo Uriarte; Rocco De Nicola; Vincenzo Scoca (J. Grid Comput., 2019)

A calculus for collective-adaptive systems and its behavioural theory. - Yehia Abd Alrahman; Rocco De Nicola; Michele Loreti (Inf. Comput., 2019)

Credulous Users and Fake News: a Real Case Study on the Propagation in Twitter. - Alessandro Balestrucci; Rocco De Nicola (EAIS, 2020)

Verification of Privacy-Enhanced Collaborations. - Sara Belluccini; Rocco De Nicola; Marlon Dumas; Pille Pullonen; Barbara Re 001; Francesco Tiezzi 001 (FormaliSE@ICSE, 2020)

PALM: A Technique for Process ALgebraic Specification Mining. - Sara Belluccini; Rocco De Nicola; Barbara Re 001; Francesco Tiezzi 001 (IFM, 2020)

Verifying AbC Specifications via Emulation. - Rocco De Nicola; Tan Duong; Omar Inverso (ISoLA (2), 2020)

Rigorous Engineering of Collective Adaptive Systems Introduction to the 3rd Track Edition. - Martin Wirsing; Rocco De Nicola; Stefan Jähnichen (ISoLA (2), 2020)

Analysis of online misinformation during the peak of the COVID-19 pandemics in Italy. - Guido Caldarelli; Rocco De Nicola; Marinella Petrocchi; Manuel Pratelli; Fabio Saracco (CoRR, 2020)

Exploring the relation between festivals and host cities on Twitter: a study on the impacts of Lucca Comics & Games. - Yesim Tonga Uriarte; Marinella Petrocchi; Maria Luisa Catoni; Stefano Cresci; Rocco De Nicola; Maurizio Tesconi; Rafael Brundo Uriarte (J. Inf. Technol. Tour., 2020)

A formal approach to the engineering of domain-specific distributed systems. - Rocco De Nicola; Gian-Luigi Ferrari 002; Rosario Pugliese; Francesco Tiezzi 001 (J. Log. Algebraic Methods Program., 2020)

Programming interactions in collective adaptive systems by relying on attribute-based communication. - Yehia Abd Alrahman; Rocco De Nicola; Michele Loreti (Sci. Comput. Program., 2020)

Multi-agent systems with virtual stigmergy. - Rocco De Nicola; Luca Di Stefano 001; Omar Inverso (Sci. Comput. Program., 2020)

Rigorous engineering of collective adaptive systems: special section. - Rocco De Nicola; Stefan Jähnichen; Martin Wirsing (Int. J. Softw. Tools Technol. Transf., 2020)

The DReAM framework for dynamic reconfigurable architecture modelling: theory and applications. - Rocco De Nicola; Alessandro Maggi; Joseph Sifakis (Int. J. Softw. Tools Technol. Transf., 2020)

Automated Replication of Tuple Spaces via Static Analysis. - Aline Uwimbabazi; Omar Inverso; Rocco De Nicola (FSEN, 2021)

Enhancing Malware Classification with Symbolic Features. - Chinmay Siwach; Gabriele Costa 001; Rocco De Nicola (ITASEC, 2021)

Framework, Tools and Good Practices for Cybersecurity Curricula. - Jan Hajny; Sara Ricci; Edmundas Piesarskas; Olivier Levillain; Letterio Galletta; Rocco De Nicola (IEEE Access, 2021)

Distributed service-level agreement management with smart contracts and blockchain. - Rafael Brundo Uriarte; Huan Zhou 006; Kyriakos Kritikos; Zeshun Shi; Zhiming Zhao; Rocco De Nicola (Concurr. Comput. Pract. Exp., 2021)

Flow of online misinformation during the peak of the COVID-19 pandemic in Italy. - Guido Caldarelli; Rocco De Nicola; Marinella Petrocchi; Manuel Pratelli; Fabio Saracco (EPJ Data Sci., 2021)

Correction to: Flow of online misinformation during the peak of the COVID-19 pandemic in Italy. - Guido Caldarelli; Rocco De Nicola; Marinella Petrocchi; Manuel Pratelli; Fabio Saracco (EPJ Data Sci., 2021)

On the efficacy of old features for the detection of new bots. - Rocco De Nicola; Marinella Petrocchi; Manuel Pratelli (Inf. Process. Manag., 2021)

Tribute to Anna Labella. - Paolo Bottoni; Rocco De Nicola; Daniele Gorla (J. Log. Algebraic Methods Program., 2021)

A behavioural analysis of credulous Twitter users. - Alessandro Balestrucci; Rocco De Nicola; Marinella Petrocchi; Catia Trubiani (Online Soc. Networks Media, 2021)

Provably correct implementation of the AbC calculus. - Rocco De Nicola; Tan Duong; Michele Loreti (Sci. Comput. Program., 2021)

Replication Package for the paper: Verification of Distributed Systems via Sequential Emulation. - Luca Di Stefano 001; Rocco De Nicola; Omar Inverso (Zenodo, 2021)

Process Algebras and Flocks of Birds. - Rocco De Nicola; Luca Di Stefano 001; Omar Inverso; Serenella Valiani (A Journey from Process Algebra via Timed Automata to Model Learning, 2022)

Modelling Flocks of Birds from the Bottom Up. - Rocco De Nicola; Luca Di Stefano 001; Omar Inverso; Serenella Valiani (ISoLA (3), 2022)

Rigorous Engineering of Collective Adaptive Systems Introduction to the 4th Track Edition. - Martin Wirsing; Rocco De Nicola; Stefan Jähnichen (ISoLA (3), 2022)

6G Networks Physical Layer Security Using RGB Visible Light Communications. - Simone Soderi; Rocco De Nicola (IEEE Access, 2022)

Automated replication of tuple spaces via static analysis. - Rocco De Nicola; Luca Di Stefano 001; Omar Inverso; Aline Uwimbabazi (Sci. Comput. Program., 2022)

Verification of Distributed Systems via Sequential Emulation. - Luca Di Stefano 001; Rocco De Nicola; Omar Inverso (ACM Trans. Softw. Eng. Methodol., 2022)

Intuitive Modelling and Formal Analysis of Collective Behaviour in Foraging Ants. - Rocco De Nicola; Luca Di Stefano 001; Omar Inverso; Serenella Valiani (CMSB, 2023)

CONNECTION: COvert chaNnel NEtwork attaCk Through bIt-rate mOdulatioN. - Simone Soderi; Rocco De Nicola (EISA, 2023)

Detection of Energy Consumption Cyber Attacks on Smart Devices. - Zainab Alwaisi; Simone Soderi; Rocco De Nicola (FABULOUS, 2023)

Swinging in the States: Does disinformation on Twitter mirror the US presidential election system? - Manuel Pratelli; Marinella Petrocchi; Fabio Saracco; Rocco De Nicola (WWW (Companion Volume), 2023)

Stochastic modeling and analysis of the bitcoin protocol in the presence of block communication delays. - Stefano Bistarelli; Rocco De Nicola; Letterio Galletta; Cosimo Laneve; Ivan Mercanti; Adele Veschetti (Concurr. Comput. Pract. Exp., 2023)

Multiparty testing preorders. - Rocco De Nicola; Hernán C. Melgratti (Log. Methods Comput. Sci., 2023)

Modelling flocks of birds and colonies of ants from the bottom up. - Rocco De Nicola; Luca Di Stefano 001; Omar Inverso; Serenella Valiani (Int. J. Softw. Tools Technol. Transf., 2023)

Rigorous engineering of collective adaptive systems - 2nd special section. - Martin Wirsing; Stefan Jähnichen; Rocco De Nicola (Int. J. Softw. Tools Technol. Transf., 2023)

Deepfake Media Forensics: State of the Art and Challenges Ahead. - Irene Amerini; Mauro Barni; Sebastiano Battiato; Paolo Bestagini; Giulia Boato; Tania Sari Bonaventura; Vittoria Bruni; Roberto Caldelli; Francesco G. B. De Natale; Rocco De Nicola; Luca Guarnera; Sara Mandelli; et al. (ASONAM (Workshops), 2024)

Simpson's Proof Systems for Process Verification: A Fine-tuning (short paper). - Cosimo Perini Brogi; Rocco De Nicola; Omar Inverso (ICTCS, 2024)

Rigorous Engineering of Collective Adaptive Systems Introduction to the 5rmth Track Edition. - Martin Wirsing; Rocco De Nicola; Stefan Jähnichen; Mirco Tribastone (ISoLA (2), 2024)

Energy Cyber Attacks to Smart Healthcare Devices: A Testbed. - Zainab Alwaisi; Simone Soderi; Rocco De Nicola (CoRR, 2024)

Mitigating and Analysis of Memory Usage Attack in IoE System. - Zainab Alwaisi; Simone Soderi; Rocco De Nicola (CoRR, 2024)

Online disinformation in the 2020 U.S. election: swing vs. safe states. - Manuel Pratelli; Marinella Petrocchi; Fabio Saracco; Rocco De Nicola (EPJ Data Sci., 2024)

The Beauty and the Beast: A survey on process algebras and cybersecurity. - Gabriele Costa 001; Silvia de Francisci; Rocco De Nicola (Comput. Sci. Rev., 2025)

Model-based verification of data protection mechanisms in collaborative business processes. - Sara Belluccini; Rocco De Nicola; Marlon Dumas; Pille Pullonen-Raudvere; Barbara Re 001; Francesco Tiezzi 001 (Softw. Syst. Model., 2025)