• 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
Article in proceeding

Search results

  • 2024

    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. Hillston, J. & Soudjani, S. (eds.). Springer, Vol. 14996. p. 125-142 18 p. (Lecture Notes in Computer Science (LNCS), Vol. 14996).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    Open Access
  • 2021

    Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods

    Bacci, G., Bacci, G., Larsen, K. G., Tribastone, M., Tschaikowski, M. & Vandin, A., 2021, 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). IEEE (Institute of Electrical and Electronics Engineers), p. 1-14 14 p.

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    4 Citations (Scopus)
  • 2020

    Approximating Euclidean by Imprecise Markov Decision Processes

    Jaeger, M., Bacci, G., Bacci, G., Larsen, K. G. & Jensen, P. G., 2020, International Symposium on Leveraging Applications of Formal Methods (ISoLA 2020). Margaria, T. & Steffen, B. (eds.). Springer, p. 275-289 15 p. (Lecture Notes in Computer Science, Vol. 12476).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    10 Citations (Scopus)
  • 2019

    Computing Probabilistic Bisimilarity Distances for Probabilistic Automata

    Bacci, G., Bacci, G., Larsen, K. G., Mardare, R., Tang, Q. & van Breugel, F., 2019, 30th International Conference on Concurrency Theory (CONCUR 2019). Fokkink, W. & van Glabbeek, R. (eds.). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, p. 9:1-9:17 17 p. 9. (Leibniz International Proceedings in Informatics, Vol. 140).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    Open Access
    File
    6 Citations (Scopus)
    63 Downloads (Pure)
  • 2018

    A Hemimetric Extension of Simulation for Semi-Markov Decision Processes

    Pedersen, M. R., Bacci, G., Larsen, K. G. & Mardare, R. I., 4 Sept 2018, Quantitative Evaluation of Systems: 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings. McIver, A. & Horvath, A. (eds.). Springer, p. 339-355 17 p. (Lecture Notes in Computer Science, Vol. 11024).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    Open Access
    File
    2 Citations (Scopus)
    124 Downloads (Pure)
  • An Algebraic Theory of Markov Processes

    Bacci, G., Mardare, R. I., Panangaden, P. & Plotkin, G., 9 Jul 2018, Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018. Association for Computing Machinery (ACM), p. 679-688 10 p. (Annual Symposium on Logic in Computer Science).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    Open Access
    File
    17 Citations (Scopus)
    202 Downloads (Pure)
  • Boolean-valued semantics for the stochastic Lambda-calculus

    Bacci, G., Furber, R., Kozen, D., Mardare, R., Panangaden, P. & Scott, D., 9 Jul 2018, Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018. Association for Computing Machinery (ACM), p. 669-678 10 p.

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    9 Citations (Scopus)
  • Timed Comparisons of Semi-Markov Processes

    Pedersen, M. R., Fijalkow, N., Bacci, G., Larsen, K. G. & Mardare, R. I., 2018, Language and Automata Theory and Applications - 12th International Conference, LATA 2018, Proceedings: 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings. Martin-Vide, C., Klein, S. T. & Shapira, D. (eds.). Springer Publishing Company, p. 271-283 13 p. (Lecture Notes in Computer Science; No. 10792).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    Open Access
    File
    1 Citation (Scopus)
    186 Downloads (Pure)
  • 2016

    Complete Axiomatization for the Bisimilarity Distance on Markov Chains

    Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R. I., 2016, 27th International Conference on Concurrency Theory (CONCUR 2016). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, p. 21:1--21:14 14 p. (Leibniz International Proceedings in Informatics, Vol. 59).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    Open Access
    6 Citations (Scopus)
  • 2014

    Bisimulation on Markov Processes over Arbitrary Measurable Spaces

    Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R. I., 2014, Horizons of the Mind. A Tribute to Prakash Panangaden: Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday. van Breugel, F., Kashefi, E., Palamidessi, C. & Rutten, J. (eds.). Springer Publishing Company, Vol. 8464. p. 76-95 (Lecture Notes in Computer Science).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    3 Citations (Scopus)
  • Finding a Forest in a Tree: the matching problem for wide reactive systems

    Bacci, G., Miculan, M. & Rizzi, R., 2014, Trustworthy Global Computing: 9th International Symposium, TGC 2014, Rome, Italy, September 5-6, 2014. Revised Selected Papers. Maffei, M. & Tuosto, E. (eds.). Springer Publishing Company, Vol. 8902. p. 17-33 (Lecture Notes in Computer Science).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    4 Citations (Scopus)
  • 2013

    Computing Behavioral Distances, Compositionally

    Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R. I., 2013, Mathematical Foundations of Computer Science 2013: 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings. Chatterjee, K. & Sgall, J. (eds.). Springer Publishing Company, Vol. 8087. p. 74-85 (Lecture Notes in Computer Science, Vol. 8087).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    25 Citations (Scopus)
  • On-the-Fly Exact Computation of Bisimilarity Distances

    Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R. I., 2013, Tools and Algorithms for the Construction and Analysis of Systems: 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings. Piterman, N. & Smolka, S. A. (eds.). Springer Publishing Company, Vol. 7795. p. 1-15 (Lecture Notes in Computer Science, Vol. 7795).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    36 Citations (Scopus)
  • The BisimDist Library: Efficient Computation of Bisimilarity Distances for Markovian Models

    Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R. I., 2013, Quantitative Evaluation of Systems: 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings. Joshi, K., Siegle, M., Stoelinga, M. & D'Argenio, P. R. (eds.). Springer Publishing Company, Vol. 8054. p. 278-281 4 p. (Lecture Notes in Computer Science, Vol. 8054).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    8 Citations (Scopus)
  • 2010

    On Decidability of Bigraphical Sortings

    Bacci, G. & Grohmann, D., 2010, CTIT Workshop Proceedings WP 2010-05. p. 33-47

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    File
    250 Downloads (Pure)