Giorgio Bacci

Cited by

	All	Since 2018
Citations	446	264
h-index	12	10
i10-index	18	10

200720082009201020112012201320142015201620172018201920202021202220234 4 2 2 5 14 20 33 24 40 28 46 30 43 38 51 54

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
Qiyi TangUniversity of LiverpoolVerified email at liverpool.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
Manfred JaegerAalborg UniversityVerified email at cs.aau.dk
Peter Gjøl JensenAssociate Professor at Aalborg UniversityVerified email at cs.aau.dk
Romeo RizziProfessore Associato di Ricerca Operativa, Verona UniversityVerified email at univr.it
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	65	2013
Computing behavioral distances, compositionally G Bacci, G Bacci, KG Larsen, R Mardare International Symposium on Mathematical Foundations of Computer Science, 74-85, 2013	38	2013
DBtk: A Toolkit for Directed Bigraphs G Bacci, D Grohmann, M Miculan Algebra and Coalgebra in Computer Science: Third International Conference …, 2009	34	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	24	2018
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
Converging from Branching to Linear Metrics on Markov Chains G Bacci, G Bacci, KG Larsen, R Mardare ICTAC 2015, 2015	21	2015
Modal logics for brane calculus M Miculan, G Bacci International Conference on Computational Methods in Systems Biology, 1-16, 2006	21	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	20*	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	20	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
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	16	2021
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*
Structural operational semantics for continuous state stochastic transition systems G Bacci, M Miculan Journal of Computer and System Sciences 81 (5), 834-858, 2015	15	2015
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	12	2018
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	11	2020
Structural Operational Semantics for Continuous State Probabilistic Processes G Bacci, M Miculan Coalgebraic Methods in Computer Science, 71-89, 2012	11	2012
Tensor of quantitative equational theories G Bacci, R Mardare, P Panangaden, GD Plotkin 9th Conference on Algebra and Coalgebra in Computer Science, 2021	10	2021
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	10	2016
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
Finding a Forest in a Tree G Bacci, M Miculan, R Rizzi International Symposium on Trustworthy Global Computing, 17-33, 2014	9	2014

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