Giorgio Bacci
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
17
Venues
11
Active years
2009–2026
Best venue rank
A*
Where they publish
Papers
17 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CSL | Rational Lawvere Logic (Invited Paper). | Giorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon D. Plotkin |
| 2026 | LICS | Induction and Recursion Principles in a Higher-Order Quantitative Logic for Probability. | Giorgio Bacci, Rasmus Ejlers Mgelberg |
| 2021 | CALCO | Tensor of Quantitative Equational Theories. | Giorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon D. Plotkin |
| 2021 | LICS | Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods. | Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski, Andrea Vandin |
| 2020 | ISoLA | Approximating Euclidean by Imprecise Markov Decision Processes. | Manfred Jaeger, Giorgio Bacci, Giovanni Bacci, Kim Guldstrand Larsen, Peter Gjl Jensen |
| 2019 | CONCUR | Computing Probabilistic Bisimilarity Distances for Probabilistic Automata. | Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare, Qiyi Tang, Franck van Breugel |
| 2018 | LATA | Timed Comparisons of Semi-Markov Processes. | Mathias Ruggaard Pedersen, Nathanal Fijalkow, Giorgio Bacci, Kim G. Larsen, Radu Mardare |
| 2018 | LICS | Boolean-Valued Semantics for the Stochastic λ-Calculus. | Giorgio Bacci, Robert Furber, Dexter Kozen, Radu Mardare, Prakash Panangaden, Dana S. Scott |
| 2018 | LICS | An Algebraic Theory of Markov Processes. | Giorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon D. Plotkin |
| 2017 | ICALP | On the Metric-Based Approximate Minimization of Markov Chains. | Giovanni Bacci, Giorgio Bacci, Kim G. Larsen, Radu Mardare |
| 2016 | CONCUR | Complete Axiomatization for the Bisimilarity Distance on Markov Chains. | Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare |
| 2015 | FOSSACS | On the Total Variation Distance of Semi-Markov Chains. | Giorgio Bacci, Giovanni Bacci, Kim Guldstrand Larsen, Radu Mardare |
| 2015 | ICTAC | Converging from Branching to Linear Metrics on Markov Chains. | Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare |
| 2013 | MFCS | Computing Behavioral Distances, Compositionally. | Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare |
| 2013 | TACAS | On-the-Fly Exact Computation of Bisimilarity Distances. | Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare |
| 2011 | CALCO | On the Statistical Thermodynamics of Reversible Communicating Processes. | Giorgio Bacci, Vincent Danos, Ohad Kammar |
| 2009 | CALCO | DBtk: A Toolkit for Directed Bigraphs. | Giorgio Bacci, Davide Grohmann, Marino Miculan |