Giorgio Bacci

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 31

Top Topics

Valued Semantics

Complete Axiomatization

Probabilistic Automata

Markov Decision Process

Top Venues

Log. Methods Comput. Sci.

Publications

Giorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon D. Plotkin
Polynomial Lawvere Logic. CoRR (2024)
Giorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon D. Plotkin
Propositional Logics for the Lawvere Quantale. CoRR (2023)
Giorgio Bacci, Giovanni Bacci, Mathias Claus Jensen, Kim G. Larsen
Convex Lattice Equation Systems. Principles of Systems Design (2022)
Giorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon D. Plotkin
Sum and Tensor of Quantitative Effects. CoRR (2022)
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods. LICS (2021)
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods. CoRR (2021)
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare, Qiyi Tang, Franck van Breugel
Computing Probabilistic Bisimilarity Distances for Probabilistic Automata. Log. Methods Comput. Sci. 17 (1) (2021)
Giorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon D. Plotkin
Tensor of Quantitative Equational Theories. CALCO (2021)
Manfred Jaeger, Giorgio Bacci, Giovanni Bacci, Kim Guldstrand Larsen, Peter Gjøl Jensen
Approximating Euclidean by Imprecise Markov Decision Processes. ISoLA (1) (2020)
Manfred Jaeger, Giorgio Bacci, Giovanni Bacci, Kim Guldstrand Larsen, Peter Gjøl Jensen
Approximating Euclidean by Imprecise Markov Decision Processes. CoRR (2020)
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare
Converging from branching to linear metrics on Markov chains. Math. Struct. Comput. Sci. 29 (1) (2019)
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare, Qiyi Tang, Franck van Breugel
Computing Probabilistic Bisimilarity Distances for Probabilistic Automata. CoRR (2019)
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare, Qiyi Tang, Franck van Breugel
Computing Probabilistic Bisimilarity Distances for Probabilistic Automata. CONCUR (2019)
Mathias Ruggaard Pedersen, Giorgio Bacci, Kim G. Larsen
A Faster-Than Relation for Semi-Markov Decision Processes. QAPL@ETAPS (2019)
Giovanni Bacci, Giorgio Bacci, Kim G. Larsen, Radu Mardare
On the metric-based approximate minimization of Markov Chains. J. Log. Algebraic Methods Program. 100 (2018)
Giovanni Bacci, Giorgio Bacci, Kim G. Larsen, Radu Mardare
On the Metric-based Approximate Minimization of Markov Chains. CoRR (2018)
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare
A Complete Quantitative Deduction System for the Bisimilarity Distance on Markov Chains. Log. Methods Comput. Sci. 14 (4) (2018)
Giorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon D. Plotkin
An Algebraic Theory of Markov Processes. LICS (2018)
Mathias Ruggaard Pedersen, Giorgio Bacci, Kim Guldstrand Larsen, Radu Mardare
A Hemimetric Extension of Simulation for Semi-Markov Decision Processes. QEST (2018)
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare
Complete Axiomatization for the Total Variation Distance of Markov Chains. MFPS (2018)
Mathias Ruggaard Pedersen, Nathanaël Fijalkow, Giorgio Bacci, Kim G. Larsen, Radu Mardare
Timed Comparisons of Semi-Markov Processes. LATA (2018)
Giorgio Bacci, Robert Furber, Dexter Kozen, Radu Mardare, Prakash Panangaden, Dana S. Scott
Boolean-Valued Semantics for the Stochastic λ-Calculus. LICS (2018)
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare
On-the-Fly Computation of Bisimilarity Distances. CoRR (2017)
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare
A Complete Quantitative Deduction System for the Bisimilarity Distance on Markov Chains. CoRR (2017)
Mathias Ruggaard Pedersen, Nathanaël Fijalkow, Giorgio Bacci, Kim Guldstrand Larsen, Radu Mardare
Timed Comparisons of Semi-Markov Processes. CoRR (2017)
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare
On-the-Fly Computation of Bisimilarity Distances. Log. Methods Comput. Sci. 13 (2) (2017)
Giovanni Bacci, Giorgio Bacci, Kim G. Larsen, Radu Mardare
On the Metric-Based Approximate Minimization of Markov Chains. ICALP (2017)
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare
Complete Axiomatization for the Bisimilarity Distance on Markov Chains. CONCUR (2016)
Giorgio Bacci, Marino Miculan
Structural operational semantics for continuous state stochastic transition systems. J. Comput. Syst. Sci. 81 (5) (2015)
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare
Converging from Branching to Linear Metrics on Markov Chains. ICTAC (2015)
Giorgio Bacci, Giovanni Bacci, Kim Guldstrand Larsen, Radu Mardare
On the Total Variation Distance of Semi-Markov Chains. FoSSaCS (2015)
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare
Topologies of Stochastic Markov Models: Computational Aspects. CoRR (2014)
Giorgio Bacci, Giovanni Bacci, Kim Guldstrand Larsen, Radu Mardare
Bisimulation on Markov Processes over Arbitrary Measurable Spaces. Horizons of the Mind (2014)
Giorgio Bacci, Marino Miculan, Romeo Rizzi
Finding a Forest in a Tree - The Matching Problem for Wide Reactive Systems. TGC (2014)
Giorgio Bacci, Giovanni Bacci, Kim Guldstrand Larsen, Radu Mardare
The BisimDist Library: Efficient Computation of Bisimilarity Distances for Markovian Models. QEST (2013)
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare
On-the-Fly Exact Computation of Bisimilarity Distances. TACAS (2013)
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare
Computing Behavioral Distances, Compositionally. MFCS (2013)
Giorgio Bacci, Marino Miculan
Structural Operational Semantics for Continuous State Probabilistic Processes. CMCS (2012)
Giorgio Bacci, Marino Miculan
Measurable stochastics for Brane Calculus. Theor. Comput. Sci. 431 (2012)
Giorgio Bacci, Vincent Danos, Ohad Kammar
On the Statistical Thermodynamics of Reversible Communicating Processes. CALCO (2011)
Giorgio Bacci, Marino Miculan
Measurable Stochastics for Brane Calculus MeCBIC (2010)
Giorgio Bacci, Davide Grohmann, Marino Miculan
Bigraphical models for protein and membrane interactions MeCBIC (2009)
Giorgio Bacci, Davide Grohmann, Marino Miculan
A framework for protein and membrane interactions MeCBIC (2009)
Giorgio Bacci, Davide Grohmann, Marino Miculan
DBtk: A Toolkit for Directed Bigraphs. CALCO (2009)
Giorgio Bacci, Marino Miculan
Undecidability of Model Checking in Brane Logic. Electron. Notes Theor. Comput. Sci. 192 (3) (2008)
Marino Miculan, Giorgio Bacci
Modal Logics for Brane Calculus. CMSB (2006)