Marco Bernardo
Scholar

Marco Bernardo

Google Scholar ID: ewygQFUAAAAJ
University of Urbino
Theoretical computer scienceConcurrency theoryProcess algebraFormal methodsSoftware architecture
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
455
 
H-index
9
 
i10-index
9
 
Publications
20
 
Co-authors
0
 
Contact
CVOpen ↗
Publications
7 items
A Lumpability-Driven Taxonomy of Strong and Weak Stochastic Bisimilarities with Their Congruence Properties
2026
Cited
0
Hereditary History-Preserving Bisimilarity: Characterizations via Backward Ready Multisets
2025
Cited
0
Formal Modeling and Verification of the Algorand Consensus Protocol in CADP
2025
Cited
0
Redactable Blockchains: An Overview
2025
Cited
0
On the Operational Resilience of CBDC: Threats and Prospects of Formal Validation for Offline Payments
2025
Cited
0
Noninterference Analysis of Irreversible or Reversible Systems with Nondeterminism and Probabilities
2025
Cited
0
Noninterference Analysis of Reversible Systems: An Approach Based on Branching Bisimilarity
arXiv.org · 2023
Cited
0
Resume
Academic Achievements
  • Included in the World's Top 2% Scientists List.
Research Experience
  • Currently a Full Professor of Informatics at the University of Urbino Carlo Bo.
Education
  • Ph.D. in Informatics (dottore di ricerca), specific school and advisor information not provided.
Background
  • Research interests and specific fields are not detailed. Brief introduction: Full Professor of Informatics at the University of Urbino Carlo Bo.
Miscellany
  • Contact: marco.bernardo@uniurb.it, +39-0722-304416