World's Best Scientists 2026 revealed!
Gianluigi Zavattaro

Gianluigi Zavattaro

D-Index & Metrics

Computer Science

D-Index
44
Citations
6669
World Ranking
7672
National Ranking
196

Overview

Gianluigi Zavattaro is affiliated with the University of Bologna in Italy and has a focused research profile primarily in the field of Computer Science. Their scholarly output encompasses 63 publications with significant contributions to several subfields and topics within computing.

The main subfields of study in which they have published include:

  • Computer Networks and Communications
  • Information Systems
  • Artificial Intelligence
  • Hardware and Architecture
  • Computational Theory and Mathematics

Zavattaro's work addresses key topics such as:

  • Cloud Computing and Resource Management
  • Software System Performance and Reliability
  • IoT and Edge/Fog Computing
  • Distributed Systems and Fault Tolerance
  • Formal Methods in Verification
  • Advanced Software Engineering Methodologies
  • Parallel Computing and Optimization Techniques

They have authored several recent papers, including:

  • "Low-Latency Anomaly Detection on the Edge-Cloud Continuum for Industry 4.0 Applications: the SEAWALL Case Study" (2022) published in IEEE Internet of Things Magazine
  • "Asynchronous session subtyping as communicating automata refinement" (2021) published in Software & Systems Modeling
  • "Formally Verifying Function Scheduling Properties in Serverless Applications" (2023) published in IT Professional
  • "WebAssembly at the Edge: Benchmarking a Serverless Platform for Private Edge Cloud Systems" (2024) published in IEEE Internet Computing
  • "Custom Serverless Function Scheduling Policies: An APP Tutorial" (2023) published by Leibniz-Zentrum für Informatik (Schloss Dagstuhl)

Frequent collaborators include Saverio Giallorenzo, Mario Bravetti, Jacopo Mauro, Giuseppe De Palma, and Lorenzo Bacchiani, with collaborative publication counts ranging from 9 to 17 joint works.

Zavattaro's publications often appear in venues such as arXiv (Cornell University), IEEE Internet of Things Magazine, IEEE Internet Computing, Software & Systems Modeling, and IT Professional. They have also contributed to book publications with Springer Science+Business Media, notably with the book "Foundations of Software Science and Computation Structures" (2021).

Best Publications

  • Choreography and orchestration conformance for system design

    Nadia Busi;Roberto Gorrieri;Claudio Guidi;Roberto Lucchi

  • Choreography and orchestration : A synergic approach for system design

    Nadia Busi;Roberto Gorrieri;Claudio Guidi;Roberto Lucchi

  • Foundations of Session Types and Behavioural Contracts

    Hans Hüttel;Ivan Lanese;Vasco T. Vasconcelos;Luís Caires

  • SOCK: a calculus for service oriented computing

    Claudio Guidi;Roberto Lucchi;Roberto Gorrieri;Nadia Busi

  • A calculus for long-running transactions

    Laura Bocchi;Cosimo Laneve;Gianluigi Zavattaro

  • SCC: a service centered calculus

    M. Boreale;R. Bruni;L. Caires;R. De Nicola

  • Towards a unifying theory for choreography conformance and contract compliance

    Mario Bravetti;Gianluigi Zavattaro

  • SENSORIA process calculi for service-oriented computing

    Martin Wirsing;Rocco De Nicola;Stephen Gilmore;Matthias Hölzl

  • Foundations of web transactions

    Cosimo Laneve;Gianluigi Zavattaro

  • Concur 2009 - Concurrency Theory

    Mario Bravetti;Gianluigi Zavattaro

  • Bridging the Gap between Interaction- and Process-Oriented Choreographies

    I. Lanese;C. Guidi;F. Montesi;G. Zavattaro

  • Service-Oriented Programming with Jolie

    Fabrizio Montesi;Claudio Guidi;Gianluigi Zavattaro

  • A process algebraic view of Linda coordination primitives

    Nadia Busi;Roberto Gorrieri;Gianluigi Zavattaro

  • Parameterized verification of ad hoc networks

    Giorgio Delzanno;Arnaud Sangnier;Gianluigi Zavattaro

  • On the expressiveness of Linda coordination primitives

    Nadia Busi;Roberto Gorrieri;Gianluigi Zavattaro

  • Contract based multi-party service composition

    Mario Bravetti;Gianluigi Zavattaro

  • Contract Compliance and Choreography Conformance in the Presence of Message Queues

    Mario Bravetti;Gianluigi Zavattaro

  • JOLIE: a Java Orchestration Language Interpreter Engine

    Fabrizio Montesi;Claudio Guidi;Roberto Lucchi;Gianluigi Zavattaro

  • Composing Services with JOLIE

    Fabrizio Montesi;Claudio Guidi;Gianluigi Zavattaro

  • QoS-Aware Service Composition in Dino

    Arun Mukhija;Andrew Dingwall-Smith;David S. Rosenblum

  • A Calculus for Service Oriented Computing.

    Claudio Guidi;Roberto Lucchi;Roberto Gorrieri;Nadia Busi

  • CONCUR 2009 -- concurrency theory : 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009 : proceedings

    Mario Bravetti;Gianluigi Zavattaro

Frequent Co-Authors

Roberto Gorrieri
Roberto Gorrieri University of Bologna
Ivan Lanese
Ivan Lanese University of Bologna
Nobuko Yoshida
Nobuko Yoshida University of Oxford
Joost N. Kok
Joost N. Kok University of Twente
Alberto Montresor
Alberto Montresor University of Trento
Reiner Hähnle
Reiner Hähnle Technical University of Darmstadt
Luca Cardelli
Luca Cardelli University of Oxford
Davide Sangiorgi
Davide Sangiorgi University of Bologna
Farhad Arbab
Farhad Arbab Leiden University
Jan Rutten
Jan Rutten Radboud University

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

Report an issue

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:

Related Online Degrees & Career Pathways

Studying Computer Science in the USA can open doors to various interdisciplinary career paths and advanced academic options. Many students complement their technology background with additional degrees that further expand their skills and job prospects.

For those interested in law enforcement or cybersecurity roles, a criminal justice degree online accredited program can be a valuable addition. Students aiming to blend business acumen with tech skills may consider the best online accounting degree programs, which enable flexible study while providing strong analytical foundations.

Data science is a rapidly growing field aligned closely with computer science. By pursuing one of the best data science master's programs, graduates can specialize in data analytics, machine learning, and artificial intelligence.

Additionally, the tech-savvy aspects of building design and management can be explored through the best construction management schools offering online and accelerated pathways.

Exploring these related online degrees can help broaden your career horizons and position you for diverse and rewarding opportunities in both tech and allied industries.

Best Scientists Citing Gianluigi Zavattaro

Trending Scientists