Statistics
Publications
68
Citations
2.5K
H-Index
28
Active since
1979
Pierpaolo Degano is an author at University of Pisa specializing in computer science, computing, and formal methods.
Publications per year
1979–2023
68
68
Static validation of security protocols
Chiara Bodei, Mikael Buchholtz, Pierpaolo Degano et al. · Journal of Computer Security · 2005 · 121 citations
Axiomatizing net computations and processes
Pierpaolo Degano, José Meseguer, Ugo Montanari · 2003 · 97 citations
Automatic validation of protocol narration
Chiara Bodei, Mikael Buchholtz, Pierpaolo Degano et al. · 2004 · 95 citations
1–5 of 68