Concepedia

Rosario Pugliese

RP

38

Publications

1.7K

Citations

22

H-Index

1998

Active since

Affiliations

University of Florence(Current)

University of Pisa

IMT School for Advanced Studies Lucca

Sapienza University of Rome

Ludwig-Maximilians-Universität München

Rosario Pugliese is an author at University of Florence specializing in engineering, computer science, and formal verification.

Top concepts

EngineeringComputer ScienceFormal MethodsFormal VerificationSystem SoftwareSoftware AnalysisSoftware DesignSoftware EngineeringProgram AnalysisAutomated Reasoning

Publications per year

1998–2020

38

Publications

38

KLAIM: a kernel language for agents interaction and mobility

Rocco De Nicola, Gian-Luigi Ferrari, Rosario Pugliese · IEEE Transactions on Software Engineering · 1998 · 508 citations

Artificial Intelligence, Engineering, Software Engineering +21

A Formal Approach to Autonomic Systems Programming

Rocco De Nicola, Michele Loreti, Rosario Pugliese et al. · ACM Transactions on Autonomous and Adaptive Systems · 2014 · 144 citations

Artificial Intelligence, Engineering, Formal Approach +23

Proof Techniques for Cryptographic Processes

Michele Boreale, Rocco De Nicola, Rosario Pugliese · SIAM Journal on Computing · 2001 · 87 citations

Engineering, Information Security, Verification +21

Types for access control

Rocco De Nicola, Gian-Luigi Ferrari, Rosario Pugliese et al. · Theoretical Computer Science · 2000 · 84 citations

Hardware Security, Engineering, Logical Access Control +7

Klava: a Java package for distributed and mobile applications

Lorenzo Bettini, Rocco De Nicola, Rosario Pugliese · Software Practice and Experience · 2002 · 73 citations

Distributed Object, Network Flows, Engineering +15

Rows per page

1–5 of 38