Giorgio Bacci

Cited by

	All	Since 2019
Citations	555	324
h-index	15	11
i10-index	23	15

120

2007200820092010201120122013201420152016201720182019202020212022202320244 4 2 2 5 15 20 33 27 41 29 45 29 43 39 51 57 102

Public access

View all

15 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Kim G. LarsenDirector, Professor Aalborg UniversityVerified email at cs.aau.dk
Giovanni BacciDepartment of Computer Science, Aalborg UniversityVerified email at cs.aau.dk
Marino MiculanUniversity of Udine, ItalyVerified email at uniud.it
Prakash PanangadenProfessor of Computer Science, McGill UniversityVerified email at cs.mcgill.ca
Gordon PlotkinLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghVerified email at inf.ed.ac.uk
Mathias Ruggaard PedersenAmbolt AI, DenmarkVerified email at ru.is
Vincent DanosDirecteur de Recherches CNRS Ecole Normale SupérieureVerified email at ens.fr
Ohad KammarUniversity of Edinburgh School of InformaticsVerified email at ed.ac.uk
Qiyi TangUniversity of LiverpoolVerified email at liverpool.ac.uk
Manfred JaegerAalborg UniversityVerified email at cs.aau.dk
Peter Gjøl JensenAssociate Professor at Aalborg UniversityVerified email at cs.aau.dk
Andrea VandinSant'Anna School for Advanced Studies, Italy - DTU Technical University of DenmarkVerified email at santannapisa.it
Max TschaikowskiAssociate Professor, Aalborg UniversityVerified email at cs.aau.dk
Mirco TribastoneIMT LuccaVerified email at imtlucca.it
Dexter KozenProfessor of Computer Science, Cornell UniversityVerified email at cs.cornell.edu
Robert W J FurberEdinburgh UniversityVerified email at ed.ac.uk
Dana ScottVisiting Scholar, UC BerkeleyVerified email at cs.cmu.edu
Romeo RizziProfessore Associato di Ricerca Operativa, Verona UniversityVerified email at univr.it
Nathanaël FijalkowCNRS, LaBRI, BordeauxVerified email at labri.fr
Mathias Claus JensenResearch Assistant, Department of Computer Science, Aalborg UniversityVerified email at cs.aau.dk

Giorgio Bacci

Associate professor in Computer Science, Aalborg University, Denmark

Verified email at cs.aau.dk - Homepage

Probabilistic Systems Quantitative Semantics Coalgebra Category Theory Formal Methods


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
On-the-Fly exact computation of bisimilarity distances G Bacci, G Bacci, KG Larsen, R Mardare Tools and Algorithms for the Construction and Analysis of Systems (TACAS'13 …, 2013	72	2013
Computing behavioral distances, compositionally G Bacci, G Bacci, KG Larsen, R Mardare International Symposium on Mathematical Foundations of Computer Science, 74-85, 2013	42	2013
DBtk: A Toolkit for Directed Bigraphs G Bacci, D Grohmann, M Miculan Algebra and Coalgebra in Computer Science: Third International Conference …, 2009	38	2009
An Algebraic Theory of Markov Processes G Bacci, R Mardare, P Panangaden, G Plotkin Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2018), 2018	33	2018
Converging from Branching to Linear Metrics on Markov Chains G Bacci, G Bacci, KG Larsen, R Mardare ICTAC 2015, 2015	26*	2015
On the Metric-Based Approximate Minimization of Markov Chains G Bacci, G Bacci, KG Larsen, R Mardare LIPIcs-Leibniz International Proceedings in Informatics 80, 2017	25	2017
Bigraphical Models for Protein and Membrane Interactions G Bacci, D Grohmann, M Miculan Membrane Computing and Biologically Inspired Process Calculi 9, 3-18, 2009	25*	2009
A Framework for Protein and Membrane Interactions G Bacci, D Grohmann, M Miculan Membrane Computing and Biologically Inspired Process Calculi 9, 19-33, 2009	25	2009
On the Statistical Thermodynamics of Reversible Communicating Processes G Bacci, V Danos, O Kammar Algebra and Coalgebra in Computer Science, 1-18, 2011	22	2011
Modal logics for brane calculus M Miculan, G Bacci International Conference on Computational Methods in Systems Biology, 1-16, 2006	22	2006
Computing Probabilistic Bisimilarity Distances for Probabilistic Automata F van Breugel, Q Tang, R Mardare, KG Larsen, G Bacci, G Bacci Logical Methods in Computer Science 17, 2021	19	2021
Approximating euclidean by imprecise Markov decision processes M Jaeger, G Bacci, G Bacci, KG Larsen, PG Jensen Leveraging Applications of Formal Methods, Verification and Validation …, 2020	17	2020
Structural operational semantics for continuous state stochastic transition systems G Bacci, M Miculan Journal of Computer and System Sciences 81 (5), 834-858, 2015	17	2015
On the Total Variation Distance of Semi-Markov Chains G Bacci, G Bacci, KG Larsen, R Mardare Foundations of Software Science and Computation Structures (FoSSaCS'15) 9034 …, 0	16*
Tensor of quantitative equational theories G Bacci, R Mardare, P Panangaden, GD Plotkin 9th Conference on Algebra and Coalgebra in Computer Science, 2021	15	2021
Boolean-Valued Semantics for the Stochastic λ-Calculus G Bacci, R Furber, D Kozen, R Mardare, P Panangaden, D Scott Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2018), 2018	15	2018
Complete Axiomatization for the Total Variation Distance of Markov Chains G Bacci, G Bacci, KG Larsen, R Mardare Electronic Notes in Theoretical Computer Science 336, 27-39, 2018	14	2018
A Complete Quantitative Deduction System for the Bisimilarity Distance on Markov Chains G Bacci, G Bacci, KG Larsen, R Mardare Logical Methods in Computer Science 14 (4:15), 1–29, 2017	14	2017
Finding a Forest in a Tree G Bacci, M Miculan, R Rizzi International Symposium on Trustworthy Global Computing, 17-33, 2014	13	2014
Structural Operational Semantics for Continuous State Probabilistic Processes G Bacci, M Miculan Coalgebraic Methods in Computer Science, 71-89, 2012	13	2012

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors