World's Best Scientists 2026 revealed!
Rosario Pugliese

Rosario Pugliese

D-Index & Metrics

Computer Science

D-Index
30
Citations
4172
World Ranking
14054
National Ranking
509

Overview

Rosario Pugliese is affiliated with the University of Florence in Italy. Their research primarily lies within the field of Computer Science, with a focus on several subfields including Artificial Intelligence, Information Systems, Computer Networks and Communications, Computational Theory and Mathematics, and Mechanical Engineering.

The scientist's work covers multiple topics that are representative of their diverse research interests. These include:

  • Advanced Software Engineering Methodologies
  • Logic, programming, and type systems
  • Service-Oriented Architecture and Web Services
  • Modular Robots and Swarm Intelligence
  • Logic, Reasoning, and Knowledge
  • Business Process Modeling and Analysis
  • Information and Cyber Security

Rosario Pugliese has contributed to several recent academic publications, demonstrating an engagement with both theoretical and applied research problems. Notable papers include:

  • "Synthesis of orchestrations and choreographies: Bridging the gap between supervisory control and coordination of services," published in 2020 in DOAJ (DOAJ: Directory of Open Access Journals)
  • "Assessing SMEs' cybersecurity organizational readiness: Findings from an Italian survey," published in 2022 in Online Journal of Applied Knowledge Management
  • "Synthesis of Orchestrations and Choreographies: Bridging the Gap between Supervisory Control and Coordination of Services," published in 2020 in Logical Methods in Computer Science
  • "Coordinating and programming multiple ROS-based robots with X-KLAIM," published in 2023 in International Journal on Software Tools for Technology Transfer
  • "A blockchain-based platform for incentivizing customer reviews in the grocery industry," published in 2024 in Blockchain Research and Applications

The scientist collaborates often with a number of coauthors, indicating a networked approach to research development. Frequent collaborators include:

  • Francesco Tiezzi
  • Lorenzo Bettini
  • Khalid Bourr
  • Davide Basile
  • Maurice H. ter Beek

Rosario Pugliese's publications appear across a range of venues connected to computer science and technology research, including DOAJ (DOAJ: Directory of Open Access Journals), Online Journal of Applied Knowledge Management, Logical Methods in Computer Science, International Journal on Software Tools for Technology Transfer, and Blockchain Research and Applications.

Best Publications

  • KLAIM: a kernel language for agents interaction and mobility

    R. De Nicola;G.L. Ferrari;R. Pugliese

  • Leveraging Applications of Formal Methods, Verification and Validation

    Martin Wirsing;Matthias Hölzl;Lucia Acciai;Federico Banti

  • A calculus for orchestration of web services

    Alessandro Lapadula;Rosario Pugliese;Francesco Tiezzi

  • Proof Techniques for Cryptographic Processes

    Michele Boreale;Rocco De Nicola;Rosario Pugliese

  • A Formal Approach to Autonomic Systems Programming: The SCEL Language

    Rocco De Nicola;Michele Loreti;Rosario Pugliese;Francesco Tiezzi

  • The Klaim project: Theory and practice

    Lorenzo Bettini;Viviana Bono;Rocco De Nicola;Gian Luigi Ferrari

  • Types for access control

    Rocco De Nicola;GianLuigi Ferrari;Rosario Pugliese;Betti Venneri

  • KLAVA: a Java package for distributed and mobile applications

    Lorenzo Bettini;Rocco De Nicola;Rosario Pugliese

  • A Language-Based Approach to Autonomic Computing

    Rocco De Nicola;Gian Luigi Ferrari;Michele Loreti;Rosario Pugliese

  • Proof techniques for cryptographic processes

    M. Boreale;R. De Nicola;R. Pugliese

  • Interactive mobile agents in X-KLAIM

    L. Bettini;R. de Nicola;R. Pugliese;G.L. Ferrari

  • Coordinating Mobile Agents via Blackboards and Access Rights

    Rocco De Nicola;Gian Luigi Ferrari;Rosario Pugliese

  • The SCEL Language: Design, Implementation, Verification

    Rocco De Nicola;Diego Latella;Alberto Lluch Lafuente;Alberto Lluch Lafuente;Michele Loreti

  • Trace and testing equivalence on asynchronous processes

    Michele Boreale;Rocco De Nicola;Rosario Pugliese

  • A formal account of WS-BPEL

    Alessandro Lapadula;Rosario Pugliese;Francesco Tiezzi

  • Resource access and mobility control with dynamic privileges acquisition

    Daniele Gorla;Rosario Pugliese

  • A model checking approach for verifying COWS specifications

    Alessandro Fantechi;Stefania Gnesi;Alessandro Lapadula;Franco Mazzanti

  • A process calculus for qos-aware applications

    Rocco De Nicola;Gianluigi Ferrari;Ugo Montanari;Rosario Pugliese

  • A Process Algebra Based on LINDA

    Rocco De Nicola;Rosario Pugliese

  • Programming Access Control: The KLAIM Experience

    Rocco De Nicola;Gian Luigi Ferrari;Rosario Pugliese

  • A logical verification methodology for service-oriented computing

    Alessandro Fantechi;Stefania Gnesi;Alessandro Lapadula;Franco Mazzanti

Frequent Co-Authors

Rocco De Nicola
Rocco De Nicola IMT Institute for Advanced Studies Lucca
Stefania Gnesi
Stefania Gnesi Institute of Information Science and Technologies
Alessandro Fantechi
Alessandro Fantechi University of Florence
Nora Koch
Nora Koch Ludwig-Maximilians-Universität München
Ugo Montanari
Ugo Montanari University of Pisa
Martin Wirsing
Martin Wirsing Ludwig-Maximilians-Universität München
Flemming Nielson
Flemming Nielson Technical University of Denmark
Hanne Riis Nielson
Hanne Riis Nielson Technical University of Denmark
Franco Zambonelli
Franco Zambonelli University of Modena and Reggio Emilia
José Luiz Fiadeiro
José Luiz Fiadeiro University of Dundee

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

Exploring Computer Science in the USA opens the door to diverse and lucrative career pathways. Many students are now considering flexible learning options beyond traditional on-campus study. Accredited online degrees are a smart alternative, offering accessibility and often lower overall costs.

For those interested in building and designing machines, an online degree for mechanical engineering provides foundational technical knowledge with hands-on virtual labs. If you’re drawn to understanding the physical laws of the universe, earning an online physics bachelor's degree can help you develop strong analytical and research skills.

With the rapid growth of tech and analytics industries, a data science degree prepares graduates for roles in areas like artificial intelligence, business intelligence, and big data. For those aiming to innovate in technology and infrastructure, top online electrical engineering schools offer comprehensive programs aligned with industry standards.

These online pathways make high-quality education accessible while supporting flexible lifestyles and diverse career goals.

Best Scientists Citing Rosario Pugliese

Trending Scientists

Recently Published Articles