Billede af Giovanni Bacci

Vis Scopus-profil

Giovanni Bacci

 https://orcid.org/0000-0001-8529-0681

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

    9220 Aalborg Ø

    Danmark

20132023

Publikationer pr. år

Filter
Bidrag til bog/antologi

Søgeresultater

  • 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, Bind 13660. s. 438-455 18 s. (Lecture Notes in Computer Science (LNCS)).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning › peer review

    1 Citationer (Scopus)
  • 2021

    Quantitative Analysis of Interval Markov Chains

    Bacci, G., Delahaye, B., Larsen, K. G. & Mariegaard, A., 2021, Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday. Olderog, E-R., Steffen, B. & Li, W. (red.). Springer, Bind 13030. s. 57-77 20 s. (Lecture Notes in Computer Science). (Theoretical Computer Science and General Issues, Bind 13030).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning › peer review

    Åben adgang
    3 Citationer (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. (red.). Springer, s. 349-367 18 s. (Lecture Notes in Computer Science; Nr. 9399).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning › peer review

    16 Citationer (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. (red.). Springer, Bind 9034. s. 185-199 15 s. (Lecture Notes in Computer Science).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning › peer review

    12 Citationer (Scopus)