Giovanni Bacci

View Scopus Profile

Giovanni Bacci

Associate Professor

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

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

    9220 Aalborg Øst

    Denmark

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

    9220 Aalborg Ø

    Denmark

20132024

Research activity per year

Fingerprint

The fingerprint consists of automatically generated concepts related to the associated persons. It is updated automatically, when new content is added.
  • 1 Similar Profiles
View full fingerprint

Collaborations from the last five years

Dive into details by clicking on the dots.
Explore network further

  • Dissimilarity for Linear Dynamical Systems

    Bacci, G., Bacci, G., Larsen, K. G., Tribastone, M., Squillace, G., Tschaikowski, M. & Vandin, A., 2024, Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems: First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9–13, 2024, Proceedings. Hillston, J. & Soudjani, S. (eds.). Springer, p. 125-142 18 p. (Lecture Notes in Computer Science (LNCS), Vol. 14996).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • An MM Algorithm to Estimate Parameters in Continuous-Time Markov Chains

    Bacci, G., Ingolfsdottir, A., Larsen, K. G. & Reynouard, R., 2023, Quantitative Evaluation of Systems: 20th International Conference, QEST 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings. Jansen, N. & Tribastone, M. (eds.). Springer, p. 82-100 19 p. (Lecture Notes in Computer Science (LNCS), Vol. LNCS 14287).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File

  • Jajapy: A Learning Library for Stochastic Models

    Reynouard, R., Ingolfsdottir, A. & Bacci, G., 2023, Quantitative Evaluation of Systems: 20th International Conference, QEST 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings. Jansen, N. & Tribastone, M. (eds.). Springer, p. 30-46 17 p. (Lecture Notes in Computer Science (LNCS), Vol. LNCS 14287).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    2 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 proceeding › Book chapter › Research › peer-review

    1 Citation (Scopus)

  • Active Learning of Markov Decision Processes using Baum-Welch algorithm

    Bacci, G., Ingolfsdottir, A., Larsen, K. G. & Reynouard, R., 2021, Proceedings - 20th IEEE International Conference on Machine Learning and Applications, ICMLA 2021. Wani, M. A., Sethi, I. K., Shi, W., Qu, G., Raicu, D. S. & Jin, R. (eds.). IEEE (Institute of Electrical and Electronics Engineers), p. 1203-1208 6 p. (Proceedings - 20th IEEE International Conference on Machine Learning and Applications, ICMLA 2021).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    13 Citations (Scopus)
View all 31 research outputs

  • Best Paper Award

    Bacci, G. (Recipient), Larsen, K. G. (Recipient), Markey, N. (Recipient), Bouyer, P. (Recipient), Fahrenberg, U. (Recipient) & Reynier, P.-A. (Recipient), 17 Jul 2018

    Prize: Conference prizes

  • 2 Series editor

  • KiMfest 2017 (Event)

    Aceto, L. (Editor), Bacci, G. (Editor), Bacci, G. (Editor), Ingolfsdottir, A. (Editor), Legay, A. (Editor) & Mardare, R. I. (Editor)

    19 Aug 2017 → 20 Aug 2017

    Activity: Editorial work and peer review › Series editor › Research

  • KiMfest (Event)

    Aceto, L. (Editor), Bacci, G. (Editor), Bacci, G. (Editor), Ingolfsdottir, A. (Editor), Legay, A. (Editor) & Mardare, R. (Editor)

    19 Aug 2017 → 20 Aug 2017

    Activity: Editorial work and peer review › Series editor › Research