Giorgio Bacci

Vis Scopus-profil

Fastnet+4599409855, 9940 9859
E-mailgrbaccics.aaudk
Webstedhttp://people.cs.aau.dk/~grbacci

Selma Lagerløfs Vej 300, 1-2-11
9220 Aalborg Øst
Danmark
Selma Lagerløfs Vej 300, 1-2-11
9220 Aalborg Ø
Danmark

Publikationer pr. år

15 Konferenceartikel i proceeding
14 Konferenceartikel i tidsskrift
7 Tidsskriftartikel
4 Bidrag til bog/antologi
Mere
- 1 Antologi
- 1 Bidrag til rapport

14 resultater

Filter

2023
Propositional Logics for the Lawvere Quantale
Bacci, G., Mardare, R., Panangaden, P. & Plotkin, G., 23 nov. 2023, I: Electronic Notes in Theoretical Informatics and Computer Science. 3, 18 s.
Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review

Åben adgang
Fil
11 Downloads (Pure)
2021
Tensor of Quantitative Equational Theories
Bacci, G., Mardare, R., Panangaden, P. & Plotkin, G., 2021, I: Leibniz International Proceedings in Informatics. 211, s. 7:1-7:17 17 s., 7.
Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review

Åben adgang
Fil
3 Citationer (Scopus)

27 Downloads (Pure)
2020
A faster-than relation for semi-Markov decision processes
Pedersen, M. R., Bacci, G. & Larsen, K. G., 20 jan. 2020, I: Electronic Proceedings in Theoretical Computer Science, EPTCS. 312, s. 29-42 14 s.
Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review

Åben adgang
Fil
3 Citationer (Scopus)

84 Downloads (Pure)
Quantitative Algebraic Reasoning: An overview
Bacci, G., 27 aug. 2020, I: Electronic Proceedings in Theoretical Computer Science, EPTCS. 322
Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review

Åben adgang
2018
Complete Axiomatization for the Total Variation Distance of Markov Chains
Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R., 16 apr. 2018, I: Electronic Notes in Theoretical Computer Science. 336, s. 27-39 13 s.
Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review

Åben adgang
Fil
6 Citationer (Scopus)

191 Downloads (Pure)
2017
On the Metric-Based Approximate Minimization of Markov Chains
Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R., 2017, I: Leibniz International Proceedings in Informatics. 80, 44, s. 1 14 s.
Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review

Åben adgang
8 Citationer (Scopus)
2012
Structural Operational Semantics for Continuous State Probabilistic Processes
Bacci, G. & Miculan, M., 2012, I: Lecture Notes in Computer Science. 7399, s. 71-89
Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review

Fil
8 Citationer (Scopus)

158 Downloads (Pure)
2011
On the statistical thermodynamics of communicating processes
Bacci, G., Danos, V. & Kammar, O., 2011, I: Lecture Notes in Computer Science. 6859, s. 1-18
Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review

Fil
15 Citationer (Scopus)

310 Downloads (Pure)
2010
Measurable Stochastic for Brane Calculus
Bacci, G. & Miculan, M., 2010, I: Electronic Proceedings in Theoretical Computer Science. 40, s. 6-22
Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review

Fil
95 Downloads (Pure)
2009
A framework for protein and membrane interactions
Bacci, G., Grohmann, D. & Miculan, M., 2009, I: Electronic Proceedings in Theoretical Computer Science. 11
Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review

Fil
2 Citationer (Scopus)

304 Downloads (Pure)
Bigraphical models for protein and membrane interactions
Bacci, G., Grohmann, D. & Miculan, M., 2009, I: Electronic Proceedings in Theoretical Computer Science. 11, s. 3-18
Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review

Fil
11 Citationer (Scopus)

325 Downloads (Pure)
DBtk: a Toolkit for Directed Bigraphs
Bacci, G., Grohmann, D. & Miculan, M., 2009, I: Lecture Notes in Computer Science. 5728, s. 413-422
Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review

Fil
20 Citationer (Scopus)

110 Downloads (Pure)
2008
Undecidability of Model checking in Brane Logic
Bacci, G. & Miculan, M., 10 nov. 2008, I: Electronic Notes in Theoretical Computer Science. 192, 3, s. 23-37
Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review

Åben adgang
Fil
89 Downloads (Pure)
2006
Modal Logics for Brane Calculus
Bacci, G. & Miculan, M., 2006, I: Lecture Notes in Computer Science. 4210, s. 1-16
Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review

Fil
12 Citationer (Scopus)

109 Downloads (Pure)

Giorgio Bacci

Publikationer

Søgeresultater