Publikationer pr. år
Publikationer pr. år
Personlig profil
Emneord
- Datalogi
Fingerprint
Fingerprint er automatisk genererede koncepter, som stammer fra personprofilernes indhold. Det opdateres løbende med nye registreringer.
- 1 Lignende profiler
Samarbejde i de sidste fem år
Klik på punkterne for at se detaljerne.
Publikationer
-
Propositional Logics for the Lawvere Quantale
Bacci, G., Mardare, R., Panangaden, P. & Plotkin, G., 23 nov. 2023, I: Electronic Notes in Theoretical Informatics and Computer Science. 3, 18 s.Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review
Åben adgangFil10 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, Bind 13660. s. 438-455 18 s. (Lecture Notes in Computer Science (LNCS)).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning › peer review
1 Citationer (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, I: Logical Methods in Computer Science. 17, 1, s. 1-36 9.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgang5 Citationer (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, s. 1-14 14 s.Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
4 Citationer (Scopus) -
Tensor of Quantitative Equational Theories
Bacci, G., Mardare, R., Panangaden, P. & Plotkin, G., 2021, I: Leibniz International Proceedings in Informatics. 211, s. 7:1-7:17 17 s., 7.Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review
Åben adgangFil3 Citationer (Scopus)26 Downloads (Pure)
Priser
Aktiviteter
- 2 Redaktør af serie
-
KiMfest (Begivenhed)
Luca Aceto (Redaktør), Giorgio Bacci (Redaktør), Giovanni Bacci (Redaktør), Anna Ingolfsdottir (Redaktør), Axel Legay (Redaktør) & Radu Mardare (Redaktør)
19 aug. 2017 → 20 aug. 2017Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Redaktør af serie › Forskning
-
KiMfest 2017 (Begivenhed)
Luca Aceto (Redaktør), Giorgio Bacci (Redaktør), Giovanni Bacci (Redaktør), Anna Ingolfsdottir (Redaktør), Axel Legay (Redaktør) & Radu Iulian Mardare (Redaktør)
19 aug. 2017 → 20 aug. 2017Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Redaktør af serie › Forskning