Mario Bravetti - Concepedia

Author

Mario Bravetti

Also Known As

Adalberto Casalboni, Baldan Paolo, Bravetti M., Bravetti, Mario, M BRAVETTI, M. Bravetti, MARIO BRAVETTI, Mario Bravetti, Mario, Bravetti, PIU' DI 30 AUTORI INTERNAZIONALI (NON SI INDICANO LE SPECIFICHE NAZIONALITA')

159

Publications

1.9K

Citations

H-Index

Concepts

All Affiliations

University of Bologna University of Turin IT University of Copenhagen Imperial College London

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	14	16	532
2	Business	2	2	98
3	Law	1	1	49
4	Management	1	1	13
5	Computer Engineering	1	1	14

Mario Bravetti

Publications

845

Citations

H-Index

Page 1

	Year	Citations
Behavioral Types in Programming Languages Davide Ancona, Viviana Bono, Mario Bravetti, Archivio istituzionale della ricerca (Alma Mater Studiorum Università di Bologna)	2016	104
The theory of interactive generalized semi-Markov processes Mario Bravetti, Roberto Gorrieri Theoretical Computer Science Process CalculusEngineeringMarkov ProcessesMarkov KernelProbability Theory	2002	93
A process-algebraic approach for the analysis of probabilistic noninterference Alessandro Aldini, Mario Bravetti, Roberto Gorrieri Journal of Computer Security	2004	71
Performance measure sensitive congruences for Markovian process algebras Marco Bernardo, Mario Bravetti Theoretical Computer Science Integrable ProbabilityMarkov KernelMarkovian Process AlgebrasProbability TheoryProcess Calculus	2002	58
A Foundational Theory of Contracts for Multi-party Service Composition Mario Bravetti, Gianluigi Zavattaro Archivio istituzionale della ricerca (Alma Mater Studiorum Università di Bologna) NegotiationEngineeringSoftware EngineeringFormal VerificationNew Theory	2008	49
A theory of contracts for strong service compliance Mario Bravetti, Gianluigi Zavattaro Mathematical Structures in Computer Science EngineeringVerificationLawConcurrent SystemProcess Algebraic Setting	2009	49
Undecidability of asynchronous session subtyping Mario Bravetti, Marco Carbone, Gianluigi Zavattaro Information and Computation EngineeringInteraction ProtocolVerificationProtocol AnalysisFormal Methods	2017	46
Compositional Asymmetric Cooperations for Process Algebras with Probabilities, Priorities, and Time Mario Bravetti, Marco Bernardo Electronic Notes in Theoretical Computer Science EngineeringComputational Model TheoryComplex SystemsProbabilistic ComputationConcurrent System	2000	45
Discrete time generative–reactive probabilistic processes with different advancing speeds Mario Bravetti, Alessandro Aldini Theoretical Computer Science Stochastic SimulationEngineeringDiscrete ModelingStochastic ProcessesProbability Theory	2002	37
On the boundary between decidability and undecidability of asynchronous session subtyping Mario Bravetti, Marco Carbone, Gianluigi Zavattaro Theoretical Computer Science EngineeringComputability TheoryInteraction ProtocolVerificationProtocol Analysis	2018	34

Page 1