Rocco De Nicola

Q: What Schools Are Affiliated With Rocco De Nicola

Rocco De Nicola is affiliated with the following schools: IMT School for Advanced Studies Lucca, University of Florence

Rocco De Nicola's AcademicInfluence.com Rankings

Rocco De Nicola

Computer Science

#7910

World Rank

#8325

Historical Rank

Software Engineering

#215

World Rank

#218

Historical Rank

Database

#4969

World Rank

#5162

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Rocco De Nicola's Degrees

PhD Computer Science Consorzio ICoN

Similar Degrees You Can Earn

Best Online PhD of Computer Science (Doctorates) 2026

Why Is Rocco De Nicola Influential?

(Suggest an Edit or Addition)

(See a Problem?)

Rocco De Nicola's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Testing Equivalences for Processes (1984) (1292)
KLAIM: A Kernel Language for Agents Interaction and Mobility (1998) (618)
Action versus State based Logics for Transition Systems (1990) (391)
Three logics for branching bisimulation (1990) (359)
Testing Equivalence for Processes (1983) (288)
SCC: A Service Centered Calculus (2006) (168)
A Formal Approach to Autonomic Systems Programming: The SCEL Language (2014) (155)
Extensional equivalences for transition systems (1987) (141)
Proof techniques for cryptographic processes (1999) (140)
Sessions and Pipelines for Structured Service Programming (2008) (128)
The Klaim Project: Theory and Practice (2003) (121)
Back and Forth Bisimulations (1990) (112)
Types for access control (2000) (105)
Testing Equivalence for Mobile Processes (1995) (102)
An Action-Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems (1993) (95)
A Partial Ordering Semantics for CCS (1990) (92)
Partial orderings descriptions and observations of nondeterministic concurrent processes (1988) (89)
A Language-Based Approach to Autonomic Computing (2011) (82)
Klava: a Java package for distributed and mobile applications (2002) (81)
CCS without tau's (1987) (76)
Interactive mobile agents in X-KLAIM (1998) (73)
The role of bot squads in the political propaganda on Twitter (2019) (68)
Model checking mobile stochastic logic (2007) (67)
Trace and Testing Equivalence on Asynchronous Processes (2002) (66)
Partial ordering derivations for CCS (1985) (65)
Coordinating Mobile Agents via Blackboards and Access Rights (1997) (64)
On the consistency of 'truly concurrent' operational and denotational semantics (1988) (62)
A uniform definition of stochastic process calculi (2013) (60)
SLAC: A Formal Service-Level-Agreement Language for Cloud Computing (2014) (59)
Translating Strong Mobility into Weak Mobility (2001) (58)
Observational equivalences for concurrency models (1987) (58)
On the Power of Attribute-Based Communication (2016) (56)
The SCEL Language: Design, Implementation, Verification (2015) (54)
Blockchain-Based Decentralized Cloud/Fog Solutions: Challenges, Opportunities, and Standards (2018) (54)
A Process Algebraic View of Input/Output Automata (1995) (54)
Formal modeling and quantitative analysis of KLAIM-based mobile systems (2005) (51)
An Action Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems (1991) (50)
A calculus for attribute-based communication (2015) (50)
A Symbolic Semantics for the π-calculus (1994) (48)
Three Logics for Branching Bisimulation (Extended Abstract) (1990) (46)
Semantic subtyping for the pi-calculus (2008) (46)
A Formal Basis for Reasoning on Programmable QoS (2003) (45)
CARMA: Collective Adaptive Resource-sharing Markovian Agents (2015) (45)
Programming Access Control: The KLAIM Experience (2000) (44)
A Process Calculus for QoS-Aware Applications (2005) (44)
A Process Algebra Based on LINDA (1996) (43)
On the expressive power of KLAIM-based calculi (2005) (42)
Rate-Based Transition Systems for Stochastic Process Calculi (2009) (42)
A Symbolic Semantics for the pi-Calculus (1996) (42)
Testing Equivalences for Event Structures (1986) (42)
Basic Observables for a Calculus for Global Computing (2005) (42)
A modal logic for mobile agents (2004) (40)
Locality Based Linda: Programming with Explicit Localities (1997) (40)
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes (2012) (39)
CCS is an (Augmented) Contact Free C/E System (1986) (38)
Flow of online misinformation during the peak of the COVID-19 pandemic in Italy (2020) (36)
Basic Observables for Processes (1997) (35)
Types as Specifications of Access Policies (2001) (34)
A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences (2013) (33)
Smart Contract Negotiation in Cloud Computing (2017) (33)
Using the Adxiomatic Presentation of Behavioural Equivalences for Manipulating CCS Specifications (1989) (32)
Scheduling Latency-Sensitive Applications in Edge Computing (2018) (32)
AGILE: Software Architecture for Mobility (2002) (30)
Semantic subtyping for the π-calculus (2004) (28)
Semantic subtyping for the /spl pi/-calculus (2005) (28)
A Life Cycle for the Development of Autonomic Systems: The E-mobility Showcase (2013) (28)
Software update via mobile agent based programming (2002) (27)
XKlaim and Klava: Programming Mobile Code (2002) (27)
Reasoning (on) Service Component Ensembles in Rewriting Logic (2014) (27)
Distributed service‐level agreement management with smart contracts and blockchain (2020) (26)
Programming the Interactions of Collective Adaptive Systems by Relying on Attribute-based Communication (2017) (26)
From Flow Logic to Static Type Systems for Coordination Languages (2010) (26)
Towards Distributed SLA Management with Smart Contracts and Blockchain (2018) (25)
TAPAs: A Tool for the Analysis of Process Algebras (2008) (25)
A distributed operational semantics for CCS based on condition/event systems (1988) (25)
Programming of CAS Systems by Relying on Attribute-Based Communication (2016) (25)
SCEL : a Language for Autonomic Computing ? (2013) (24)
MarCaSPiS: a Markovian Extension of a Calculus for Services (2009) (23)
Universal Axioms for Bisimulations (1993) (23)
Observational Logics and Concurrency Models (1990) (22)
A Java Middleware for Guaranteeing Privacy of Distributed Tuple Spaces (2002) (22)
Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday (2008) (22)
Mobile Distributed Programming in X-Klaim (2005) (22)
A calculus for collective-adaptive systems and its behavioural theory (2019) (21)
Relating strong behavioral equivalences for processes with nondeterminism and probabilities (2013) (20)
Possible Worlds for Process Algebras (1998) (20)
Models of Nondeterministic Regular Expressions (1999) (20)
Towards a Logic for Performance and Mobility (2006) (19)
Implementing Session Centered Calculi (2008) (19)
A Completeness Theorem fro Nondeterministic Kleene Algebras (1994) (19)
AErlang: Empowering Erlang with Attribute-Based Communication (2017) (19)
Programming and Verifying Component Ensembles (2014) (19)
Dynamic SLAs for Clouds (2016) (19)
Basic Observables for Probabilistic May Testing (2007) (19)
A Modal Logic for KLAIM (2000) (18)
A distributed operational semantics for CCSbased on C/E systems (1988) (18)
Testing Equivalences and Fully Abstract Models for Communicating Processes (1985) (18)
A Complete Set of Axioms for a Theory of Communicating Sequential Processes (1983) (18)
Self-expression and Dynamic Attribute-Based Ensembles in SCEL (2014) (18)
Locality based semantics for process algebras (1997) (16)
Algebraic characterizations of trace and decorated trace equivalences over tree-like structures (2001) (16)
Global Computing in a Dynamic Network of Tuple Spaces (2005) (16)
An Equational Axiomatization of Bisimulation over Regular Expressions (2002) (16)
Distribution and Locality of Concurrent Systems (1994) (15)
Confining data and processes in global computing applications (2006) (15)
MoMo: A Modal Logic for Reasoning About Mobility (2004) (15)
Verifying hardware components within JACK (1995) (15)
GoAt: Attribute-Based Interaction in Google Go (2018) (14)
Formalising Adaptation Patterns for Autonomic Ensembles (2013) (14)
Rigorous engineering of collective adaptive systems: special section (2020) (14)
Two Complete Axiom Systems for a Theory of Communicating Sequential Processes (1985) (14)
A Theory of "May" Testing for Asynchronous Languages (1999) (13)
Multi-agent Systems with Virtual Stigmergy (2020) (13)
Defining and guaranteeing dynamic service levels in clouds (2019) (13)
Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes (2015) (13)
Formalizing Properties of Mobile Agent Systems (2002) (13)
Editors' note: bibliometrics and the curators of orthodoxy (2009) (13)
Identification of credulous users on Twitter (2019) (13)
A Distributed Coordination Infrastructure for Attribute-Based Interaction (2018) (13)
Graded Modalities and Resource Bisimulation (1999) (13)
Pattern Matching over a Dynamic Network of Tuple Spaces (2005) (12)
Fully Abstract Models for Nondeterministic Regular Expressions (1995) (12)
Asynchronous Observations of Processes (1998) (11)
A Flexible and Modular Framework for Implementing Infrastructures for Global Computing (2005) (11)
Multiple-Labelled Transition Systems for nominal calculi and their logics† (2008) (11)
Linda-based applicative and imperative process algebras (2000) (11)
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Processes (2010) (10)
Proceedings of the 16th European Symposium on Programming (2007) (10)
Equational reasoning about LOTOS specifications: a rewriting approach (1991) (10)
Nondeterministic regular expressions as solutions of equational systems (2003) (10)
On a Uniform Framework for the Definition of Stochastic Process Languages (2009) (10)
Tree Morphisms and Bisimulations (1998) (10)
On the operational semantics of distributed concurrent systems (1988) (9)
CaSPiS: a calculus of sessions, pipelines and services† (2014) (9)
DReAM: Dynamic Reconfigurable Architecture Modeling (2018) (9)
Verifying Properties of Systems Relying on Attribute-Based Communication (2017) (9)
A finite axiomatization of nondeterministic regular expressions (1999) (9)
Core Calculi for Service-Oriented Computing (2011) (9)
Do you really follow them? Automatic detection of credulous Twitter users (2019) (9)
On the efficacy of old features for the detection of new bots (2021) (9)
MoSL : A Stochastic Logic for StoKlaim ∗ (2006) (9)
An Observational Semantics for Linda (1995) (9)
A Behavioural Theory for Interactions in Collective-Adaptive Systems (2017) (9)
Credulous Users and Fake News: a Real Case Study on the Propagation in Twitter (2020) (8)
Observation Trees (1992) (8)
Toward Formal Models and Languages for Verifiable Multi-Robot Systems (2018) (8)
Behavioral Equivalences (2011) (8)
A Software Framework for Rapid Prototyping of Run-Time Systems for Mobile Calculi (2004) (8)
Testing Equivalence for Mobile Processes (Extended Abstract) (1992) (8)
Multiparty Testing Preorders (2015) (7)
On Integrating Social and Sensor Networks for Emergency Management (2015) (7)
Replica-Based High-Performance Tuple Space Computing (2015) (7)
Analysis of online misinformation during the peak of the COVID-19 pandemics in Italy (2020) (7)
Effective and efficient model clone detection (2014) (7)
Formulae Meet Programs Over the Net: A Framework for Correct Network Aware Programming (2004) (7)
Tuple Spaces Implementations and Their Efficiency (2016) (6)
Evaluating the efficiency of Linda implementations (2018) (6)
Domain-specific queries and Web search personalization: some investigations (2015) (6)
Process Algebraic Analysis of Cryptographic Protocols (2000) (6)
The DReAM framework for dynamic reconfigurable architecture modelling: theory and applications (2020) (6)
Models and Operators for Nondeterministic Processes (1984) (6)
Concurrency: theory and practice (1996) (6)
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Process Calculi (2011) (6)
Transparency in Keyword Faceted Search: An Investigation on Google Shopping (2019) (5)
ABEL - A Domain Specific Framework for Programming with Attribute-Based Communication (2019) (5)
Proving the Correctness of Optimising Destructive and Non-destructive Reads over Tuple Spaces (2000) (5)
The Spectrum of Strong Behavioral Equivalences for Nondeterministic and Probabilistic Processes (2013) (5)
Testing Semantics of Asynchronous Distributed Programs (1996) (5)
Implementing Mobile and Distributed Applications in X-Klaim (2001) (5)
Specifying and analysing reputation systems with a coordination language (2013) (5)
Trustworthy Global Computing, International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005, Revised Selected Papers (2005) (5)
A Symbolic Semantics for the pi-calculus (Extended Abstract) (1994) (5)
Process Algebras (2011) (4)
Mobile Applications in X-KLAIM (2000) (4)
Linear-Time and May-Testing in a Probabilistic Reactive Setting (2011) (4)
A Formal Approach to the Engineering of Domain-Specific Distributed Systems (2018) (4)
Towards automatic translation of social network policies into controlled natural language (2018) (4)
Observational congruences for concurrency models (1987) (4)
Implementing a Distributed Mobile Calculus Using the IMC Framework (2007) (4)
Verifying AbC Specifications via Emulation (2020) (4)
AErlang at Work (2017) (4)
Provably Correct Implementations of Services (2009) (4)
Provably correct implementation of the AbC calculus (2021) (4)
A Behavioural Analysis of Credulous Twitter Users (2021) (4)
Introduction to "Rigorous Engineering of Autonomic Ensembles"- Track Introduction (2014) (4)
Selected papers of the Second Workshop on Concurrency and compositionality (1992) (4)
Communication Through Message Passing or Shared Memory: A Formal Comparison (1981) (4)
A formal approach to the engineering of domain-specific distributed systems (2019) (3)
Orchestrating Tuple-Based Languages (2011) (3)
Software, Services, and Systems (2015) (3)
Understanding the Twitter User Networks of Viruses and Ransomware Attacks (2018) (3)
Network-Aware Evaluation Environment for Reputation Systems (2013) (3)
SoSL: A Service-Oriented Stochastic Logic (2011) (3)
Tree-functors, determinacy and bisimulations (2010) (3)
Coordination Models and Languages (2013) (3)
Proceedings of the 10th International Conference on Coordination Models and Languages (Coordination'08) (2008) (3)
Divergence in testing and readiness semantics (2001) (3)
On the Expressive Power of K-based Calculi ? (2006) (3)
ENSORIA Process Calculi for Service-Oriented Computing ? (2006) (3)
Programming Languages and Systems, 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007, Proceedings (2007) (3)
Higher-order Methods for Transient Analysis of Stii Markov Chains. in Surf: a Program for Dependability Evaluation of Complex Fault-tolerant Computing Systems. in Proc. 11th Intl. Symposium on Fault-tolerant Computing, Automated Generation and Analysis of Markov Reward Models Using Stochastic Reward (1993) (3)
X-Klaim and Klava (2002) (2)
Formal modeling and quantitative analysis of KLAIM-based mobile systems. — Full Version — (2004) (2)
Dimming Relations for the Efficient Analysis of Concurrent Systems via Action Abstraction (2014) (2)
Verification of Privacy-Enhanced Collaborations (2020) (2)
Software Engineering and Formal Methods (2016) (2)
Towards formal models and languages for verifiable Multi-Robot Systems (2018) (2)
A Quantitative Approach to Management and Design of Collective and Adaptive Behaviours (2016) (2)
A Systematic Approach to Programming and Verifying Attribute-Based Communication Systems (2019) (2)
Online User Behavioural Modeling with Applications to Price Steering (2016) (2)
Coordination and Access Control of Mobile Agents (1999) (2)
D5.1.a: Process calculi and coordination languages with costs, priority and probability (2006) (2)
Rigorous Engineering of Collective Adaptive Systems Introduction to the 2nd Track Edition (2018) (2)
DReAM: Dynamic Reconfigurable Architecture Modeling (full paper) (2018) (2)
Ugo Montanari in a Nutshell (2008) (2)
The Meaning of Adaptation: Mastering the Unforeseen? (2018) (2)
Multi Labelled Transition Systems: A Semantic Framework for Nominal Calculi (2007) (2)
Languages and Process Calculi for Network Aware Programming - Short Summary - (2005) (2)
From Process Calculi to Klaim and Back (2006) (2)
Group-by-Group Probabilistic Bisimilarities and Their Logical Characterizations (2013) (2)
A Basic Calculus for Modeling Service Level Agreement ? (2005) (2)
SensoriaProcess Calculi for Service-Oriented Computing (2006) (1)
A gentle introduction to Process Algebras ? (2013) (1)
Preliminary Version Towards a Logic for Performance and Mobility (1)
Correction to: Flow of online misinformation during the peak of the COVID-19 pandemic in Italy (2021) (1)
Automated Replication of Tuple Spaces via Static Analysis (2022) (1)
Trust-Based Enforcement of Security Policies (2014) (1)
Replicating Data for Better Performances in X10 (2015) (1)
Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming (2001) (1)
A Homage to Martin Wirsing (2015) (1)
On Four Partial Ordering Semantics for a Process Calculus (1996) (1)
Action and State-based Logics for Process Algebras (1991) (1)
On Expressiveness and Behavioural Theory of Attribute-basedCommunication (2015) (1)
Twitlang(er): Interactions Modeling Language (and Interpreter) for Twitter (2015) (1)
Testing equivalences and fully abstract models for communicating systems (1986) (1)
Using the Axiomatic Presentation of Behavioural Equivalences for Manipulating CCS Specifications 1 (2005) (1)
Integration of heterogeneous information sources for an effective emergency management (2016) (1)
Correlation between Vascular Age and surrogate markers of atherosclerosis and vascular aging (2017) (0)
Trustworthy Global Computing (2008) (0)
Branching bisimulation as a strong bisimulation (1994) (0)
Relative expressiveness of a stack of Klaim ( s ) (2005) (0)
UvA-DARE (Digital Academic Repository) Division by zero in common meadows Division by Zero in Common Meadows ∗ (2014) (0)
A Uniform Framework for Modeling Processes Behaviors and their Performances: Invited Presentation (joint with PACO) at the Fourth Interaction and Concurrency Experience (2011) (0)
Open nets , contexts and their properties (2004) (0)
Global Protocol Implementations via Attribute-Based Communication (2015) (0)
Proceedings 8th International Workshop on Automated Specification and Verification of Web Systems: A Language-based Approach to Autonomic Component Ensembles Programming (2012) (0)
Information Spreading and the Role of Automated Accounts on Twitter (2020) (0)
Proceedings of the 1st international conference on Trustworthy global computing (2005) (0)
Advanced Lectures of the 16th International School on Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems - Volume 9700 (2016) (0)
A Uniform Framework for Process Models and Behavioral Equivalences of Nondeterministic, Probabilistic, or Stochastic Nature (2011) (0)
Workshop on Quantitative Analysis of Programming Languages 2015 (2015) (0)
Reputation-Based Composition of Social Web Services (2014) (0)
Session Centered Calculi for Service Oriented Computing (2007) (0)
Algebraic Characterizations of Decorated Trace Equivalences over Tree-Like Structures (1996) (0)
Enhancing Malware Classification with Symbolic Features (2021) (0)
edited by) Coordination Models and Languages (2013) (0)
A Logic-Inspired Approach to Reconfigurable System Modelling (2019) (0)
Statistical Physics and Twitter analysis (2020) (0)
Coordination Models and Languages (2004) (0)
Network-aware Evaluations of Reputation Systems (2012) (0)
Quantitative Analysis of Distributed Systems in Stoklaim: A Tutorial (2015) (0)
MSC volume 23 issue 5 Cover and Back matter (2013) (0)
Types in concurrency (2005) (0)
Improving Availability in Distributed Tuple Spaces Via Sharing Abstractions and Replication Strategies (2018) (0)
Editor's Note (2014) (0)
CCS without "o's (2005) (0)
G o A t: Attribute-Based Interaction in Google Go. (2018) (0)
Process Algebras and Flocks of Birds (2022) (0)
Software Engineering and Formal Methods : 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings (2016) (0)
Dagstuhl Seminar Expressiveness in Concurrency (2008) (0)
MSC volume 22 issue 4 Cover and Back matter (2012) (0)
EATCS Fellows 2016 - Call for Nominations (2015) (0)
Modelling Flocks of Birds from the Bottom Up (2022) (0)
Modelling, specification, and programming for collective adaptive systems (2015) (0)
A QoS-aware Process Calculus ? (2005) (0)
1 On Expressiveness and Behavioural Theory of Attribute-based Communication (2015) (0)
Expressiveness in Concurrency (Dagstuhl Seminar 9638) (2021) (0)
PALM: A Technique for Process ALgebraic Specification Mining (2020) (0)
Mobile Applications in XK LAIM (2000) (0)
SASO 2014 Technical Program Committee (2014) (0)
Net Theory and Application - Response (1986) (0)
Initial Algebra for a System of Right-Linear Functors (2017) (0)
Acknowledgement to referees (2004) (0)
A Stochastic Logic for Mobility and Global Computing (2009) (0)

This paper list is powered by the following services:

What Schools Are Affiliated With Rocco De Nicola?

Rocco De Nicola is affiliated with the following schools:

Rocco De Nicola's Academic­Influence.com Rankings

Rocco De Nicola's Degrees

Similar Degrees You Can Earn

Why Is Rocco De Nicola Influential?

Rocco De Nicola's Published Works

Published Works

What Schools Are Affiliated With Rocco De Nicola?

Rocco De Nicola's AcademicInfluence.com Rankings