Giorgio Bacci

Bachelor's Degree in Computer Science

  • Selma Lagerløfs Vej 300, 1-2-11

    9220 Aalborg Ø

    Denmark

20062023

Research activity per year

Filter
Book chapter

Search results

  • Book chapter

    Converging from Branching to Linear Metrics on Markov Chains

    Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R. I., 2015, Theoretical Aspects of Computing - ICTAC 2015: 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings. Leucker, M., Rueda, C. & Valencia, F. D. (eds.). Springer, p. 349-367 18 p. (Lecture Notes in Computer Science; No. 9399).

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

    16 Citations (Scopus)
  • Convex Lattice Equation Systems

    Bacci, G., Bacci, G., Jensen, M. C. & Larsen, K. G., 2022, Principles of Systems Design: Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday. Springer, Vol. 13660. p. 438-455 18 p. (Lecture Notes in Computer Science (LNCS)).

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

    1 Citation (Scopus)
  • On the Total Variation Distance of Semi-Markov Chains

    Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R. I., 2015, Foundations of Software Science and Computation Structures: 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings. Pitts, A. (ed.). Springer, Vol. 9034. p. 185-199 15 p. (Lecture Notes in Computer Science).

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

    12 Citations (Scopus)
  • Quantitative Equational Reasoning

    Bacci, G., Mardare, R., Panangaden, P. & Plotkin, G. D., Dec 2020, Foundations of Probabilistic Programming. Barthe, G., Katoen, J-P. & Silva, A. (eds.). Cambridge University Press, p. 333-360

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

    Open Access