H-Index & Metrics Best Publications

H-Index & Metrics

Discipline name H-index Citations Publications World Ranking National Ranking
Computer Science D-index 37 Citations 6,627 158 World Ranking 5236 National Ranking 124

Overview

What is he best known for?

The fields of study he is best known for:

  • Programming language
  • Algebra
  • Operating system

Roberto Gorrieri mainly investigates Process calculus, Theoretical computer science, Computer security, Computer security model and Concurrency. His research in Process calculus intersects with topics in Discrete mathematics, Bisimulation, Operational semantics, Semantics and Algebra. His work on Partially ordered set and Tuple as part of general Algebra study is frequently linked to Equivalence, bridging the gap between disciplines.

Roberto Gorrieri has researched Theoretical computer science in several fields, including Information flow, Programming language, Algorithm and Covert channel. His Algorithm research incorporates themes from Axiom, Probabilistic logic, Syntax and Brane calculi. His Computer security model research includes themes of Security properties, Information security and Taxonomy.

His most cited work include:

  • A Classification of Security Properties for Process Algebras (285 citations)
  • A tutorial on EMPA: a theory of concurrent processes with nondeterminism, priorities, probabilities and time (272 citations)
  • Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures (250 citations)

What are the main themes of his work throughout his whole career to date?

His primary areas of investigation include Theoretical computer science, Process calculus, Programming language, Semantics and Petri net. His Theoretical computer science research is multidisciplinary, incorporating perspectives in Cryptographic protocol, Tuple space, Operational semantics, Probabilistic logic and Algorithm. His work in Process calculus tackles topics such as Discrete mathematics which are related to areas like Recursion.

His study in Programming language is interdisciplinary in nature, drawing from both Asynchronous communication and Existential quantification. His Semantics research is multidisciplinary, relying on both Principle of compositionality, Substitution, Operator and Calculus. His research investigates the connection between Petri net and topics such as Decidability that intersect with issues in Turing.

He most often published in these fields:

  • Theoretical computer science (36.73%)
  • Process calculus (31.86%)
  • Programming language (20.35%)

What were the highlights of his more recent work (between 2010-2021)?

  • Petri net (17.26%)
  • Process calculus (31.86%)
  • Theoretical computer science (36.73%)

In recent papers he was focusing on the following fields of study:

Roberto Gorrieri mainly focuses on Petri net, Process calculus, Theoretical computer science, Algebra and Decidability. The study incorporates disciplines such as Discrete mathematics, Equivalence and Semantics in addition to Petri net. His Process calculus study necessitates a more in-depth grasp of Programming language.

The Theoretical computer science study combines topics in areas such as Algorithm and Concurrency. Software engineering is closely connected to Structure in his research, which is encompassed under the umbrella topic of Concurrency. He usually deals with Algebra and limits it to topics linked to Operational semantics and Open problem.

Between 2010 and 2021, his most popular works were:

  • Introduction to Concurrency Theory: Transition Systems and CCS (20 citations)
  • Introduction to Concurrency Theory (18 citations)
  • On intransitive non-interference in some models of concurrency (18 citations)

In his most recent research, the most cited papers focused on:

  • Programming language
  • Algebra
  • Operating system

His primary scientific interests are in Petri net, Concurrency, Theoretical computer science, Bisimulation equivalence and Process calculus. His Petri net research includes elements of Semantics and Extension. His Concurrency research is included under the broader classification of Programming language.

Roberto Gorrieri has researched Theoretical computer science in several fields, including Structure and Declassification. The study incorporates disciplines such as Mathematical proof and Algebra over a field in addition to Bisimulation equivalence. His study explores the link between Process calculus and topics such as Stochastic Petri net that cross with problems in Software system, Systems design and Algebra.

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.

Best Publications

A Classification of Security Properties for Process Algebras

Riccardo Focardi;Roberto Gorrieri.
Journal of Computer Security (1995)

452 Citations

A tutorial on EMPA: a theory of concurrent processes with nondeterminism, priorities, probabilities and time

Marco Bernardo;Roberto Gorrieri.
Theoretical Computer Science (1998)

429 Citations

Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures

Alessandro Aldini;Gilles Barthe;Roberto Gorrieri.
Lecture Notes in Computer Science (2009)

382 Citations

A Classification of Security Properties

R. Focardi;R. Gorrieri.
Lecture Notes in Computer Science (1993)

327 Citations

Classification of Security Properties (Part I: Information Flow)

Riccardo Focardi;Roberto Gorrieri.
FOSAD '00 Revised versions of lectures given during the IFIP WG 1.7 International School on Foundations of Security Analysis and Design on Foundations of Security Analysis and Design: Tutorial Lectures (2000)

292 Citations

The Compositional Security Checker: a tool for the verification of information flow security properties

R. Focardi;R. Gorrieri.
IEEE Transactions on Software Engineering (1997)

266 Citations

SOCK: a calculus for service oriented computing

Claudio Guidi;Roberto Lucchi;Roberto Gorrieri;Nadia Busi.
international conference on service oriented computing (2006)

242 Citations

Choreography and orchestration: a synergic approach for system design

Nadia Busi;Roberto Gorrieri;Claudio Guidi;Roberto Lucchi.
international conference on service oriented computing (2005)

198 Citations

Choreography and orchestration conformance for system design

Nadia Busi;Roberto Gorrieri;Claudio Guidi;Roberto Lucchi.
international conference on coordination models and languages (2006)

177 Citations

A Taxonomy of Security Properties for Process Algebras.

Riccardo Focardi;Roberto Gorrieri.
Journal of Computer Security (1995)

175 Citations

If you think any of the details on this page are incorrect, let us know.

Contact us

Best Scientists Citing Roberto Gorrieri

Jane Hillston

Jane Hillston

University of Edinburgh

Publications: 53

Gianluigi Zavattaro

Gianluigi Zavattaro

University of Bologna

Publications: 52

Ugo Montanari

Ugo Montanari

University of Pisa

Publications: 38

Holger Hermanns

Holger Hermanns

Saarland University

Publications: 38

Mirko Viroli

Mirko Viroli

University of Bologna

Publications: 36

Andrea Omicini

Andrea Omicini

University of Bologna

Publications: 33

Corrado Priami

Corrado Priami

University of Pisa

Publications: 32

Rocco De Nicola

Rocco De Nicola

IMT Institute for Advanced Studies Lucca

Publications: 30

Joost-Pieter Katoen

Joost-Pieter Katoen

RWTH Aachen University

Publications: 29

Flemming Nielson

Flemming Nielson

Technical University of Denmark

Publications: 27

Hanne Riis Nielson

Hanne Riis Nielson

Technical University of Denmark

Publications: 23

Andrei Sabelfeld

Andrei Sabelfeld

Chalmers University of Technology

Publications: 23

Stephen Gilmore

Stephen Gilmore

University of Edinburgh

Publications: 22

Nobuko Yoshida

Nobuko Yoshida

Imperial College London

Publications: 21

Christoforos N. Hadjicostis

Christoforos N. Hadjicostis

University of Cyprus

Publications: 21

Martín Abadi

Martín Abadi

University of California, Santa Cruz

Publications: 14

Something went wrong. Please try again later.