Giorgio Bacci

Cited by

	All	Since 2018
Citations	403	222
h-index	12	9
i10-index	14	8

200720082009201020112012201320142015201620172018201920202021202220234 4 2 1 5 14 21 33 24 40 30 44 30 46 38 55 8

Public access

View all

13 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Radu MardareProfessor, University of StrathclydeVerified email at strath.ac.uk
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 PedersenPostdoc in Computer Science, Reykjavik UniversityVerified 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
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
Qiyi TangUniversity of LiverpoolVerified email at liverpool.ac.uk
Romeo RizziProfessore Associato di Ricerca Operativa, Verona UniversityVerified email at univr.it
Manfred JaegerAalborg UniversityVerified email at cs.aau.dk
Peter Gjøl JensenAssistant Professor at Aalborg UniversityVerified email at cs.aau.dk
Nathanaël FijalkowCNRS, LaBRI, Bordeaux, and University of WarsawVerified email at labri.fr
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

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	62	2013
Computing behavioral distances, compositionally G Bacci, G Bacci, KG Larsen, R Mardare International Symposium on Mathematical Foundations of Computer Science, 74-85, 2013	34	2013
DBtk: A Toolkit for Directed Bigraphs G Bacci, D Grohmann, M Miculan Algebra and Coalgebra in Computer Science: Third International Conference …, 2009	30	2009
Converging from Branching to Linear Metrics on Markov Chains G Bacci, G Bacci, KG Larsen, R Mardare ICTAC 2015, 2015	21	2015
On the Statistical Thermodynamics of Reversible Communicating Processes G Bacci, V Danos, O Kammar Algebra and Coalgebra in Computer Science, 1-18, 2011	21	2011
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	20	2018
Modal logics for brane calculus M Miculan, G Bacci International Conference on Computational Methods in Systems Biology, 1-16, 2006	20	2006
Bigraphical Models for Protein and Membrane Interactions G Bacci, D Grohmann, M Miculan Membrane Computing and Biologically Inspired Process Calculi 9, 3-18, 2009	19*	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	19	2009
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	17	2017
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*
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	14	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	14	2018
Structural operational semantics for continuous state stochastic transition systems G Bacci, M Miculan Journal of Computer and System Sciences 81 (5), 834-858, 2015	12	2015
The BisimDist Library: Efficient Computation of Bisimilarity Distances for Markovian Models G Bacci, G Bacci, K Guldstrand Larsen, R Mardare Quantitative Evaluation of Systems: 10th International Conference, QEST 2013 …, 2013	10	2013
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	9	2020
Complete axiomatization for the bisimilarity distance on markov chains G Bacci, G Bacci, K G Larsen, R Mardare 27th International Conference on Concurrency Theory (CONCUR 2016), 2016	9	2016
Finding a Forest in a Tree G Bacci, M Miculan, R Rizzi International Symposium on Trustworthy Global Computing, 17-33, 2014	9	2014
Structural Operational Semantics for Continuous State Probabilistic Processes G Bacci, M Miculan Coalgebraic Methods in Computer Science, 71-89, 2012	9	2012
Tensor of quantitative equational theories G Bacci, R Mardare, P Panangaden, GD Plotkin 9th Conference on Algebra and Coalgebra in Computer Science, 2021	8	2021

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