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 from the last five years
Dive into details by clicking on the dots.
Research output
-
Propositional Logics for the Lawvere Quantale
Bacci, G., Mardare, R., Panangaden, P. & Plotkin, G., 23 Nov 2023, In: Electronic Notes in Theoretical Informatics and Computer Science. 3, 18 p.Research output: Contribution to journal › Conference article in Journal › Research › peer-review
Open AccessFile1 Downloads (Pure) -
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) -
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)16 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