Management
Organisational unit: Section
IT University of Copenhagen
Rued Langgaards Vej 7
DK-2300 Copenhagen S
Denmark
Research outputs (17)
- Published
Bisimulations and Logical Characterizations on Continuous-Time Markov Decision Processes
Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review
- Published
Incremental Bisimulation Abstraction Refinement
Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review
- Published
Bisimulation Meet PCTL Equivalences for Probabilistic Automata (Journal Version)
Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
Press (122)
IT-Universitetet vil øge antallet af studiepladser trods nedskæringskrav
Press/Media: Press / Media
Slagsmålet om flere it-studiepladser: Læs hele forløbet her
Press/Media: Press / Media
IT-Universitetets rektor, Martin Tvede Zachariasen, fratræder - har sidste arbejdsdag om en uge
Press/Media: Press / Media