What is he best known for?
The fields of study he is best known for:
- Programming language
- Operating system
- The Internet
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.
His most cited work include:
- Action versus State based Logics for Transition Systems (261 citations)
- Three logics for branching bisimulation (255 citations)
- Testing Equivalence for Processes (203 citations)
What are the main themes of his work throughout his whole career to date?
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.
He most often published in these fields:
- Theoretical computer science (36.03%)
- Programming language (22.67%)
- Process calculus (19.03%)
What were the highlights of his more recent work (between 2016-2021)?
- Social media (4.05%)
- Software engineering (11.34%)
- Distributed computing (14.98%)
In recent papers he was focusing on the following fields of study:
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
- Software which is related to area like Elasticity, Semantics and Formal methods,
- Mathematical proof which intersects with area such as Complement and Automated reasoning.
His Distributed computing research incorporates elements of Tuple space, Syntax, Blockchain and Cloud computing.
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.
Between 2016 and 2021, his most popular works were:
- Blockchain-Based Decentralized Cloud/Fog Solutions: Challenges, Opportunities, and Standards (26 citations)
- The role of bot squads in the political propaganda on Twitter (21 citations)
- Smart Contract Negotiation in Cloud Computing (19 citations)
In his most recent research, the most cited papers focused on:
- Programming language
- Operating system
- The Internet
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.
