Concepedia

Mario Bravetti

MB

23

Publications

845

Citations

16

H-Index

2000

Active since

Affiliations

University of Bologna(Current)

University of Turin

IT University of Copenhagen

Imperial College London

Mario Bravetti is an author at University of Bologna specializing in engineering, computer science, and formal methods.

ORCID

Top concepts

Publications per year

2000–2022

23

Publications

23

Behavioral Types in Programming Languages

Davide Ancona, Viviana Bono, Mario Bravetti et al. · Archivio istituzionale della ricerca (Alma Mater Studiorum Università di Bologna) · 2016 · 104 citations · Full text

The theory of interactive generalized semi-Markov processes

Mario Bravetti, Roberto Gorrieri · Theoretical Computer Science · 2002 · 93 citations

, , +5

A process-algebraic approach for the analysis of probabilistic noninterference

Alessandro Aldini, Mario Bravetti, Roberto Gorrieri · Journal of Computer Security · 2004 · 71 citations

Performance measure sensitive congruences for Markovian process algebras

Marco Bernardo, Mario Bravetti · Theoretical Computer Science · 2002 · 58 citations

, , +2

A Foundational Theory of Contracts for Multi-party Service Composition

Mario Bravetti, Gianluigi Zavattaro · Archivio istituzionale della ricerca (Alma Mater Studiorum Università di Bologna) · 2008 · 49 citations

, , +19

Rows per page

1–5 of 23