Publikationer pr. år
Publikationer pr. år
Personlig profil
Emneord
- Multiparty computation
- Type theory
- Programming languages
- Coq
Fingeraftryk
Dyk ned i forskningsemnerne, hvor Dawit Tirore er aktive. Disse emneetiketter kommer fra dennes persons arbejder. Sammen danner de et unikt fingerprint.
- 1 Lignende profiler
Samarbejde og topforskningsområder i de sidste fem år
Seneste eksterne samarbejde på lande-/områdeniveau. Dyk ned i detaljerne ved at klikke på prikkerne eller
Publikation
- 1 Konferenceartikel
-
A Sound and Complete Projection for Global Types
Tirore, D., Bengtson, J. & Carbone, M., 26 jul. 2023, I: Leibniz International Proceedings in Informatics. 268, s. 28:1 28 s.Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review
Åben adgang
Projekter
- 1 Igangværende
-
MECHANIST: MECHANIsation of Session typEs
Carbone, M. (PI), Bengtson, J. (CoPI) & Tirore, D. (CoI)
01/09/2021 → 28/02/2025
Projekter: Projekt › Forskning