Giorgio Bacci

View Scopus Profile

Giorgio Bacci

Associate Professor

 https://orcid.org/0000-0003-4004-6049

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

    9220 Aalborg Øst

    Denmark

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

    9220 Aalborg Ø

    Denmark

20062024

Research activity per year

Filter
Book chapter

Search results

  • 2022

    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 proceeding › Book chapter › Research › peer-review

    1 Citation (Scopus)
  • 2020

    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 proceeding › Book chapter › Research › peer-review

    Open Access
    3 Citations (Scopus)
  • 2015

    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 proceeding › Book chapter › Research › peer-review

    16 Citations (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 proceeding › Book chapter › Research › peer-review

    12 Citations (Scopus)