Projekter pr. år
- 7 resultater
Søgeresultater
-
BeHApi: Behavioral Application Program Interfaces
Carbone, M. (PI), Schürmann, C. (CoI) & Rafnsson, W. (CoI)
01/03/2018 → 31/12/2023
Projekter: Projekt › Forskning
-
Chords: Choreography-driven Programming and Security
Carbone, M. (PI) & Montesi, F. (CoI)
01/01/2011 → 31/12/2013
Projekter: Projekt › Forskning
-
SAPienT: Safer AI with Probabilistic Session Types
Carbone, M. (PI)
01/02/2024 → 30/06/2024
Projekter: Projekt › Forskning
-
Foundations of Declarative Model-driven Software Engineering for Distributed Process Aware
Hildebrandt, T. (PI), Slaats, T. (PI) & Carbone, M. (CoI)
Danish Council for Strategic Research
01/01/2012 → 31/12/2014
Projekter: Projekt › Forskning
-
GAINER: GrAdual sessIoN typEs for pRivacy
Carbone, M. (PI), Bruni, A. (CoI) & Ørup Kristensen, E. (CoI)
02/01/2023 → 31/05/2024
Projekter: Projekt › Andet
-
MECHANIST: MECHANIsation of Session typEs
Carbone, M. (PI), Bengtson, J. (CoPI) & Tirore, D. (CoI)
01/09/2021 → 28/02/2025
Projekter: Projekt › Forskning
-
Computer Supported Mobile Adaptive Business Processes
Hildebrandt, T. (PI), Bundgaard, M. (CoI), Glenstrup, A. J. (CoI), Carbone, M. (CoI), Højsgaard, E. (CoI) & Nilsson, M. (CoI)
Danish Council for Technology and Innovation
01/01/2007 → 01/10/2012
Projekter: Projekt › Forskning