Projekter pr. år
Abstract
Originalsprog | Engelsk |
---|---|
Tidsskrift | Leibniz International Proceedings in Informatics |
Vol/bind | 80 |
Udgave nummer | 44 |
Sider (fra-til) | 1 |
Antal sider | 14 |
ISSN | 1868-8969 |
DOI | |
Status | Udgivet - 2017 |
Begivenhed | 44th International Colloquium on Automata, Languages, and Programming (ICALP 2017) - Warsaw, Polen Varighed: 10 jul. 2017 → 14 jul. 2017 http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=59138 |
Konference
Konference | 44th International Colloquium on Automata, Languages, and Programming (ICALP 2017) |
---|---|
Land/Område | Polen |
By | Warsaw |
Periode | 10/07/2017 → 14/07/2017 |
Internetadresse |
Fingeraftryk
Dyk ned i forskningsemnerne om 'On the Metric-Based Approximate Minimization of Markov Chains'. Sammen danner de et unikt fingeraftryk.Projekter
- 5 Afsluttet
-
Approximate Reasoning for Stochastic Markovian Systems
Mardare, R. (PI (principal investigator)) & Larsen, K. G. (PI (principal investigator))
01/11/2015 → 31/10/2019
Projekter: Projekt › Forskning
-
DiCyPS: Center for Data-Intensive Cyber-Physical Systems
Larsen, K. G. (PI (principal investigator)), Skou, A. (CoI (co-investigator)), Pedersen, T. B. (CoI (co-investigator)), Jensen, C. S. (CoI (co-investigator)), Kjeldskov, J. (CoI (co-investigator)), Skov, M. B. (CoI (co-investigator)), Nielsen, B. (CoI (co-investigator)), Lahrmann, H. (CoI (co-investigator)), Bak-Jensen, B. (CoI (co-investigator)), Guerrero, J. M. (CoI (co-investigator)) & Raptis, D. (Projektdeltager)
01/01/2015 → 31/12/2020
Projekter: Projekt › Forskning
-
CASSTING: Collective Adaptive System SynThesIs using Non-zero-sum Games
Larsen, K. G. (Projektleder), Skou, A. (Projektdeltager), David, A. (Projektdeltager) & Srba, J. (Projektdeltager)
01/04/2013 → 31/03/2016
Projekter: Projekt › Forskning