2019 - European Association for Theoretical Computer Science (EATCS) Fellow For his seminal contributions to concurrency theory, and to languages and models for describing interaction and mobility in multi-agents systems
2011 - Member of Academia Europaea
The scientist’s investigation covers issues in Theoretical computer science, Process calculus, Distributed computing, Programming language and Algebra. His Theoretical computer science research is multidisciplinary, relying on both Algorithm, Operational semantics and Dependability. Rocco De Nicola combines subjects such as Overlay network, Quality of service, Set, Service quality and Semantics with his study of Process calculus.
His studies in Distributed computing integrate themes in fields like Domain, Service-level agreement and Tuple. His research in Programming language intersects with topics in Adaptation and Autonomic computing. The study of Algebra is intertwined with the study of Discrete mathematics in a number of ways.
Theoretical computer science, Programming language, Process calculus, Distributed computing and Software engineering are his primary areas of study. His Theoretical computer science research focuses on Semantics and how it connects with Syntax. His study in Programming paradigm, Programming domain, Functional logic programming and Temporal logic is carried out as part of his Programming language studies.
His Process calculus study combines topics in areas such as Service-oriented architecture, Formal methods and Correctness. His study in the fields of Mobile agent under the domain of Distributed computing overlaps with other disciplines such as Code mobility. His research in the fields of Denotational semantics overlaps with other disciplines such as Equivalence.
Rocco De Nicola spends much of his time researching Social media, Software engineering, Distributed computing, Collective adaptive systems and Internet privacy. His research on Software engineering also deals with topics like
His Collective adaptive systems research integrates issues from Correctness and Theoretical computer science. The concepts of his Theoretical computer science study are interwoven with issues in Closure, Basis and Group. His research integrates issues of Process calculus, Operational semantics and Set in his study of Predicate.
Rocco De Nicola mainly investigates Theoretical computer science, Cloud computing, Collective adaptive systems, Software engineering and Process calculus. His Theoretical computer science research includes elements of Correctness, Group and Predicate. He has researched Correctness in several fields, including Interaction framework, Syntax, Semantics and Code.
His work carried out in the field of Collective adaptive systems brings together such families of science as Encoding and Human–computer interaction. The various areas that Rocco De Nicola examines in his Software engineering study include Elasticity, Mathematical proof and Robotic systems. His Process calculus research incorporates themes from Basis, Closure, Set and Operational semantics.
This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.
Three logics for branching bisimulation
Rocco De Nicola;Frits Vaandrager.
Journal of the ACM (1995)
Action versus State based Logics for Transition Systems
Rocco De Nicola;Frits W. Vaandrager.
Proceedings of the LITP spring school on theoretical computer science on Semantics of systems of concurrent processes (1990)
Testing Equivalence for Processes
Rocco De Nicola;Matthew Hennessy.
international colloquium on automata, languages and programming (1983)
A distributed operational semantics for CCS based on condition/event systems
P. Degano;Rocco De Nicola;U. Montanari.
Acta Informatica (1988)
SENSORIA process calculi for service-oriented computing
Martin Wirsing;Rocco De Nicola;Stephen Gilmore;Matthias Hölzl.
trustworthy global computing (2006)
Proof Techniques for Cryptographic Processes
Michele Boreale;Rocco De Nicola;Rosario Pugliese.
SIAM Journal on Computing (2002)
Sessions and Pipelines for Structured Service Programming
Michele Boreale;Roberto Bruni;Rocco Nicola;Michele Loreti.
formal methods for open object-based distributed systems (2008)
A Formal Approach to Autonomic Systems Programming: The SCEL Language
Rocco De Nicola;Michele Loreti;Rosario Pugliese;Francesco Tiezzi.
ACM Transactions on Autonomous and Adaptive Systems (2014)
Back and forth bisimulations
Rocco De Nicola;Ugo Montanari;Frits W. Vaandrager.
international conference on concurrency theory (1990)
The Klaim project: Theory and practice
Lorenzo Bettini;Viviana Bono;Rocco De Nicola;Gian Luigi Ferrari.
Lecture Notes in Computer Science (2003)
If you think any of the details on this page are incorrect, let us know.
We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below: