Подписаться
Giorgio Bacci
Giorgio Bacci
Associate professor in Computer Science, Aalborg University, Denmark
Подтвержден адрес электронной почты в домене cs.aau.dk - Главная страница
Название
Процитировано
Процитировано
Год
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
672013
Computing behavioral distances, compositionally
G Bacci, G Bacci, KG Larsen, R Mardare
International Symposium on Mathematical Foundations of Computer Science, 74-85, 2013
412013
DBtk: A Toolkit for Directed Bigraphs
G Bacci, D Grohmann, M Miculan
Algebra and Coalgebra in Computer Science: Third International Conference …, 2009
362009
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
292018
Converging from Branching to Linear Metrics on Markov Chains
G Bacci, G Bacci, KG Larsen, R Mardare
ICTAC 2015, 2015
23*2015
On the Statistical Thermodynamics of Reversible Communicating Processes
G Bacci, V Danos, O Kammar
Algebra and Coalgebra in Computer Science, 1-18, 2011
222011
Bigraphical Models for Protein and Membrane Interactions
G Bacci, D Grohmann, M Miculan
Membrane Computing and Biologically Inspired Process Calculi 9, 3-18, 2009
22*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
222009
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
212017
Modal logics for brane calculus
M Miculan, G Bacci
International Conference on Computational Methods in Systems Biology, 1-16, 2006
212006
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
182021
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*
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
152018
Structural operational semantics for continuous state stochastic transition systems
G Bacci, M Miculan
Journal of Computer and System Sciences 81 (5), 834-858, 2015
152015
Tensor of quantitative equational theories
G Bacci, R Mardare, P Panangaden, GD Plotkin
9th Conference on Algebra and Coalgebra in Computer Science, 2021
142021
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
122020
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
122016
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
112017
Finding a Forest in a Tree
G Bacci, M Miculan, R Rizzi
International Symposium on Trustworthy Global Computing, 17-33, 2014
112014
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
112013
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–20