Projects 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.
Projects
- 1 Finished
-
Optimization of Membrane Desalination Processes by Reinforcement Learning
Bacci, G. (PI) & Boffa, V. (PI)
01/05/2023 → 31/01/2024
Project: Research
File
Research output
-
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
-
Sum and Tensor of Quantitative Effects
Bacci, G., Mardare, R., Panangaden, P. & Plotkin, G., 1 Oct 2024, In: Logical Methods in Computer Science. 20, 4, p. 9:1-9:62Research output: Contribution to journal › Journal article › Research › peer-review
Open AccessFile11 Downloads (Pure) -
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 AccessFile31 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)
Prizes
-
Teacher of the year 2022/2023 for the Faculty of IT and Design
Bacci, G. (Recipient), 19 Apr 2024
Prize: Educational prizes
-
Teacher of the Year 2022/2023 (Department of Computer Science, AAU)
Bacci, G. (Recipient), 1 Sept 2023
Prize: Educational prizes
-
Activities
- 2 Series editor
-
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 2017Activity: Editorial work and peer review › Series editor › Research
-
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 2017Activity: Editorial work and peer review › Series editor › Research