Concepedia

Giorgio Bacci

GB

Statistics

Publications

4

Citations

48

H-Index

4

Active since

2011

Affiliations

Aalborg University(Current)

University of Udine

McGill University

Giorgio Bacci is an author at Aalborg University specializing in semantics, formal methods, and probability theory.

ORCID

Top concepts

Publications per year

2011–2018

4

Publications

4

An Algebraic Theory of Markov Processes

Giorgio Bacci, Radu Mardare, Prakash Panangaden et al. · 2018 · 14 citations · Full text

Structural operational semantics for continuous state stochastic transition systems

Giorgio Bacci, Marino Miculan · Journal of Computer and System Sciences · 2014 · 12 citations

, , +6

Boolean-Valued Semantics for the Stochastic λ-Calculus

Giorgio Bacci, Robert Furber, Dexter Kozen et al. · 2018 · 12 citations

Measurable stochastics for Brane Calculus

Giorgio Bacci, Marino Miculan · Theoretical Computer Science · 2011 · 10 citations

, , +2

1–4 of 4