Projekter pr. år
- 1 - 25 ud af 42 resultater
Søgeresultater
-
CountBeyond: Beyond Exact Counting: Approximation and Symmetry
Curticapean, R.-C. (PI)
01/06/2023 → 30/09/2023
Projekter: Projekt › Forskning
-
VARIETE: Variability in Portfolios of Dependable Systems
Wasowski, A. (PI), Abal, I. (CoI), Mukkamala, R. R. (CoI), Al-Sibahi, A. S. (CoI), Dimovski, A. (CoI) & Iosif-Lazăr, A. F. (CoI)
01/04/2013 → 31/08/2017
Projekter: Projekt › Forskning
-
DemTech: Trustworthy Democratic Technology
Schürmann, C. (PI), Boulus-Rødje, N. (CoI), Gad, C. (CoI), Kiniry, J. R. (CoI), Markussen, R. (CoI), Gustafsson, D. (CoI), Wang, J. (CoI), Vadgaard, A. K. P. (CoI), Murawska, A. A. (CoI) & Bock, P. B. (CoI)
01/07/2011 → 31/01/2018
Projekter: Projekt › Forskning
-
Type theories for reactive programming
Møgelberg, R. E. (PI), Vezzosi, A. (CoI), Graulund, C. U. (CoI), Kristensen, M. B. (CoI) & Veltri, N. (CoI)
22/01/2016 → 21/01/2022
Projekter: Projekt › Forskning
-
Digitalising the General Data Protection Regulation
Hildebrandt, T. (PI) & Normann, H. (CoI)
Innovationsnetværk for IT - InfinIT
01/01/2017 → 31/05/2017
Projekter: Projekt › Forskning
-
Intelligent Alarmbehandling
Hildebrandt, T. (PI)
Innovationsnetværk for IT - InfinIT
01/02/2017 → 31/05/2017
Projekter: Projekt › Forskning
-
EliteForsk travel grant
Christiani, T. L. (PI) & Pagh, R. (PI)
Ministeriet for Børn og Undervisning
01/01/2017 → 31/12/2018
Projekter: Projekt › Forskning
-
-
Stibo-Fondens IT-rejsestipendium
Ahle, T. D. (PI)
19/05/2016 → 31/12/2017
Projekter: Projekt › Forskning
-
ProSec: Cyber security and ICT Infrastructure with importance to crucial functions in Denmark - Mapping Emergency and Security Processes in the Danish Energy and Public Transport Sectors and their Dependency on ICT
Hildebrandt, T. (PI) & Debois, S. (CoI)
01/07/2015 → 31/12/2016
Projekter: Projekt › Forskning
-
SAPienT: Safer AI with Probabilistic Session Types
Carbone, M. (PI)
01/02/2024 → 30/06/2024
Projekter: Projekt › Forskning
-
-
GAMESS: GAMification and Education for Secure Software
Bruni, A. (PI), Kulyk, O. (PI) & Rafnsson, W. (PI)
Styrelsen for Forskning og Uddannelse
01/04/2023 → 31/10/2024
Projekter: Projekt › Forskning
-
Agile modeller af forretningsregler og -processer der kan visualiseres og simuleres ud fra forskellige perspektiver (Kunde, forretning, og IT)
Hildebrandt, T. (PI), Debois, S. (CoI), Slaats, T. (CoI) & Sestoft, P. (CoI)
Styrelsen for Forskning og Uddannelse
26/02/2015 → 31/05/2015
Projekter: Projekt › Forskning
-
A Formal Model for Declarative Workflows - Dynamic Condition Response Graphs
Mukkamala, R. R. (PI)
Danish Council for Technology and Innovation
01/01/2009 → 31/12/2012
Projekter: Projekt › Forskning
-
MaDaMS: Massive Data Mining by Sampling
Pagh, R. (PI), Stöckel, M. (CoI) & Pham, N. D. (CoI)
01/01/2011 → 31/12/2014
Projekter: Projekt › Forskning
-
Jingling Genie: Context-Sensitive Services Developed in Global Collaboration
Staunstrup, J. (PI), Hildebrandt, T. (CoI), Stald, G. B. (CoI) & Hansen, J. P. (CoI)
Danish Council for Strategic Research
01/01/2009 → 31/12/2013
Projekter: Projekt › Forskning
-
Cyberskills: Youth Community in Cybersecurity
Bruni, A. (PI), Barkhuus, L. (CoI), Schürmann, C. (CoI) & Balle, M. L. (CoI)
01/08/2020 → 31/12/2023
Projekter: Projekt › Forskning
-
FaDa: Enabling language technology for the Faroe Islands and Denmark through coordinated collaboration
Schluter, N. (PI) & Derczynski, L. (CoI)
Styrelsen for Forskning og Uddannelse
01/08/2020 → 31/07/2021
Projekter: Projekt › Forskning
-
Danish Language Inclusion: High-speed high-quality bootstrapping of large-scale research resources
Schluter, N. (PI) & Poulsen, S. (CoI)
01/01/2019 → 31/12/2021
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
-
SSS: Scalable Similarity Search
Pagh, R. (PI), Christiani, T. L. (CoI), Pham, N. D. (CoI), Faithfull, A. (CoI), Silvestri, F. (CoI), Mikkelsen, J. W. (CoI), Sivertsen, J. V. T. (CoI), Aumüller, M. (CoI), Skala, M. (CoI), Ceccarello, M. (CoI), Themsen, R. (CoI), Jacob, R. (CoI), McCauley, S. (CoI) & Ahle, T. D. (CoI)
01/05/2014 → 30/04/2019
Projekter: Projekt › Forskning
-
Meta-CLF2: Automated verification of properties of concurrent, distributed and parallel specifications with applications to computer security
Schürmann, C. (PI), Bruni, A. (CoI) & Marin, S. (CoI)
01/03/2016 → 01/03/2019
Projekter: Projekt › Forskning
-
Guarded recursive types in the foundations of programming
Møgelberg, R. E. (PI), Mannaa, B. (CoI) & Bahr, P. (CoI)
01/07/2015 → 31/01/2019
Projekter: Projekt › Forskning
-
Tensor network algorithms for large scale learning and simulation
Kastoryano, M. (PI) & Limaye, N. (CoI)
01/03/2023 → 02/03/2023
Projekter: Projekt › Forskning