Research output per year
Research output per year
Personal profile
Keywords
- Computer Science
- Category Theory
- Behavioral modeling
- Probabilistic Systems
- Behavioral Metrics
- Process Algebra
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
Collaborations and top research areas from the last five years
Dive into details by clicking on the dots.
Research output
-
Convex Lattice Equation Systems
Bacci, G., Bacci, G., Jensen, M. C. & Larsen, K. G., 2022, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Science+Business Media, p. 438-455 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13660 LNCS).Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review
-
Computing Probabilistic Bisimilarity Distances for Probabilistic Automata
Bacci, G., Bacci, G., Larsen, K. G., Mardare, R., Tang, Q. & van Breugel, F., 2 Feb 2021, In: Logical Methods in Computer Science. 17, 1, p. 1-36 9.Research output: Contribution to journal › Journal article › Research › peer-review
Open Access5 Citations (Scopus) -
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, p. 1-14 14 p.Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
3 Citations (Scopus) -
Tensor of Quantitative Equational Theories
Bacci, G., Mardare, R., Panangaden, P. & Plotkin, G., 2021, In: Leibniz International Proceedings in Informatics. 211, p. 7:1-7:17 17 p., 7.Research output: Contribution to journal › Conference article in Journal › Research › peer-review
Open AccessFile3 Citations (Scopus)10 Downloads (Pure) -
A faster-than relation for semi-Markov decision processes
Pedersen, M. R., Bacci, G. & Larsen, K. G., 20 Jan 2020, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 312, p. 29-42 14 p.Research output: Contribution to journal › Conference article in Journal › Research › peer-review
Open AccessFile2 Citations (Scopus)60 Downloads (Pure)
Prizes
Activities
- 2 Series editor
-
KiMfest (Event)
Luca Aceto (Editor), Giorgio Bacci (Editor), Giovanni Bacci (Editor), Anna Ingolfsdottir (Editor), Axel Legay (Editor) & Radu Mardare (Editor)
19 Aug 2017 → 20 Aug 2017Activity: Editorial work and peer review › Series editor › Research
-
KiMfest 2017 (Event)
Luca Aceto (Editor), Giorgio Bacci (Editor), Giovanni Bacci (Editor), Anna Ingolfsdottir (Editor), Axel Legay (Editor) & Radu Iulian Mardare (Editor)
19 Aug 2017 → 20 Aug 2017Activity: Editorial work and peer review › Series editor › Research