Giorgio Bacci

55 papers A* 4A 1B 10C 2Journal 19Unranked 14
YearRankTypeTitle / Venue / Authors
2026 B conf
Rational Lawvere Logic (Invited Paper).
CSL
Giorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon D. Plotkin
2025 J jnl
Induction and Recursion Principles in a Higher-Order Quantitative Logic.
CoRR
Giorgio Bacci, Rasmus Ejlers Møgelberg
2025 — ed.
Proceedings of the Combined 32nd International Workshop on Expressiveness in Concurrency and 22nd Workshop on Structural Operational Semantics, EXPRESS/SOS 2025, and 22nd Workshop on Structural Operational SemanticsAarhus, Denmark, 25th August 2025.
EXPRESS/SOS
Cinzia Di Giusto, Giorgio Bacci
2025 — ed.
Proceedings of the Sixteenth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2025, Valletta, Malta, 16-17th September 2025.
GandALF
Giorgio Bacci, Adrian Francalanza
2024 — conf
Dissimilarity for Linear Dynamical Systems.
QEST+FORMATS
Giorgio Bacci, Giovanni Bacci, Kim Guldstrand Larsen, Giuseppe Squillace, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2024 J jnl
Polynomial Lawvere Logic.
CoRR
Giorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon D. Plotkin
2024 J jnl
Sum and Tensor of Quantitative Effects.
Log. Methods Comput. Sci.
Giorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon D. Plotkin
2023 B conf
Propositional Logics for the Lawvere Quantale.
MFPS
Giorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon D. Plotkin
2022 — conf
Convex Lattice Equation Systems.
Principles of Systems Design
Giorgio Bacci, Giovanni Bacci, Mathias Claus Jensen, Kim G. Larsen
2022 J jnl
Sum and Tensor of Quantitative Effects.
CoRR
Giorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon D. Plotkin
2021 J jnl
Computing Probabilistic Bisimilarity Distances for Probabilistic Automata.
Log. Methods Comput. Sci.
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare, Qiyi Tang, Franck van Breugel
2021 A* conf
Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods.
LICS
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2021 J jnl
Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods.
CoRR
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2021 B conf
Tensor of Quantitative Equational Theories.
CALCO
Giorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon D. Plotkin
2020 — conf
Approximating Euclidean by Imprecise Markov Decision Processes.
ISoLA (1)
Manfred Jaeger, Giorgio Bacci, Giovanni Bacci, Kim Guldstrand Larsen, Peter Gjøl Jensen
2020 J jnl
Approximating Euclidean by Imprecise Markov Decision Processes.
CoRR
Manfred Jaeger, Giorgio Bacci, Giovanni Bacci, Kim Guldstrand Larsen, Peter Gjøl Jensen
2020 — ch.
Quantitative Equational Reasoning.
Foundations of Probabilistic Programming
Giorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon D. Plotkin
2019 — conf
A Faster-Than Relation for Semi-Markov Decision Processes.
QAPL
Mathias Ruggaard Pedersen, Giorgio Bacci, Kim G. Larsen
2019 B conf
Computing Probabilistic Bisimilarity Distances for Probabilistic Automata.
CONCUR
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare, Qiyi Tang, Franck van Breugel
2019 J jnl
Computing Probabilistic Bisimilarity Distances for Probabilistic Automata.
CoRR
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare, Qiyi Tang, Franck van Breugel
2019 J jnl
Converging from branching to linear metrics on Markov chains.
Math. Struct. Comput. Sci.
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare
2018 J jnl
A Complete Quantitative Deduction System for the Bisimilarity Distance on Markov Chains.
Log. Methods Comput. Sci.
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare
2018 — conf
A Hemimetric Extension of Simulation for Semi-Markov Decision Processes.
QEST
Mathias Ruggaard Pedersen, Giorgio Bacci, Kim Guldstrand Larsen, Radu Mardare
2018 A* conf
An Algebraic Theory of Markov Processes.
LICS
Giorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon D. Plotkin
2018 A* conf
Boolean-Valued Semantics for the Stochastic λ-Calculus.
LICS
Giorgio Bacci, Robert Furber, Dexter Kozen, Radu Mardare, Prakash Panangaden, Dana S. Scott
2018 B conf
Complete Axiomatization for the Total Variation Distance of Markov Chains.
MFPS
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare
2018 J jnl
On the Metric-based Approximate Minimization of Markov Chains.
CoRR
Giovanni Bacci, Giorgio Bacci, Kim G. Larsen, Radu Mardare
2018 J jnl
On the metric-based approximate minimization of Markov Chains.
J. Log. Algebraic Methods Program.
Giovanni Bacci, Giorgio Bacci, Kim G. Larsen, Radu Mardare
2018 C conf
Timed Comparisons of Semi-Markov Processes.
LATA
Mathias Ruggaard Pedersen, Nathanaël Fijalkow, Giorgio Bacci, Kim G. Larsen, Radu Mardare
2017 J jnl
A Complete Quantitative Deduction System for the Bisimilarity Distance on Markov Chains.
CoRR
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare
2017 — ed.
Models, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday
Models, Algorithms, Logics and Tools
Luca Aceto, Giorgio Bacci, Giovanni Bacci, Anna Ingólfsdóttir, Axel Legay, Radu Mardare
2017 A* conf
On the Metric-Based Approximate Minimization of Markov Chains.
ICALP
Giovanni Bacci, Giorgio Bacci, Kim G. Larsen, Radu Mardare
2017 J jnl
On-the-Fly Computation of Bisimilarity Distances.
CoRR
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare
2017 J jnl
On-the-Fly Computation of Bisimilarity Distances.
Log. Methods Comput. Sci.
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare
2017 J jnl
Timed Comparisons of Semi-Markov Processes.
CoRR
Mathias Ruggaard Pedersen, Nathanaël Fijalkow, Giorgio Bacci, Kim Guldstrand Larsen, Radu Mardare
2016 B conf
Complete Axiomatization for the Bisimilarity Distance on Markov Chains.
CONCUR
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare
2015 C conf
Converging from Branching to Linear Metrics on Markov Chains.
ICTAC
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare
2015 B conf
On the Total Variation Distance of Semi-Markov Chains.
FoSSaCS
Giorgio Bacci, Giovanni Bacci, Kim Guldstrand Larsen, Radu Mardare
2015 J jnl
Structural operational semantics for continuous state stochastic transition systems.
J. Comput. Syst. Sci.
Giorgio Bacci, Marino Miculan
2014 — conf
Bisimulation on Markov Processes over Arbitrary Measurable Spaces.
Horizons of the Mind
Giorgio Bacci, Giovanni Bacci, Kim Guldstrand Larsen, Radu Mardare
2014 — conf
Finding a Forest in a Tree - The Matching Problem for Wide Reactive Systems.
TGC
Giorgio Bacci, Marino Miculan, Romeo Rizzi
2014 J jnl
Topologies of Stochastic Markov Models: Computational Aspects.
CoRR
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare
2013 B conf
Computing Behavioral Distances, Compositionally.
MFCS
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare
2013 — —
Generalized labelled Markov processes, coalgebraically.
Giorgio Bacci
2013 A conf
On-the-Fly Exact Computation of Bisimilarity Distances.
TACAS
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare
2013 — conf
The BisimDist Library: Efficient Computation of Bisimilarity Distances for Markovian Models.
QEST
Giorgio Bacci, Giovanni Bacci, Kim Guldstrand Larsen, Radu Mardare
2012 J jnl
Measurable stochastics for Brane Calculus.
Theor. Comput. Sci.
Giorgio Bacci, Marino Miculan
2012 — conf
Structural Operational Semantics for Continuous State Probabilistic Processes.
CMCS
Giorgio Bacci, Marino Miculan
2011 B conf
On the Statistical Thermodynamics of Reversible Communicating Processes.
CALCO
Giorgio Bacci, Vincent Danos, Ohad Kammar
2010 — conf
Measurable Stochastics for Brane Calculus
MeCBIC
Giorgio Bacci, Marino Miculan
2009 — conf
A framework for protein and membrane interactions
MeCBIC
Giorgio Bacci, Davide Grohmann, Marino Miculan
2009 — conf
Bigraphical models for protein and membrane interactions
MeCBIC
Giorgio Bacci, Davide Grohmann, Marino Miculan
2009 B conf
DBtk: A Toolkit for Directed Bigraphs.
CALCO
Giorgio Bacci, Davide Grohmann, Marino Miculan
2007 — conf
Undecidability of Model Checking in Brane Logic.
DCM@ICALP
Giorgio Bacci, Marino Miculan
2006 — conf
Modal Logics for Brane Calculus.
CMSB
Marino Miculan, Giorgio Bacci