Fingerprint
- 1 Similar Profiles
-
Model Checking Reachability Properties for Quantum Markov Chains
Godskesen, J. C., Aug 2025. 20 p.Research output: Contribution to conference - NOT published in proceeding or journal › Paper › Research › peer-review
Open AccessFile -
Probabilistic Bisimulation for Realistic Schedulers
Eisentraut, C., Godskesen, J. C., Hermanns, H., Song, L. & Zhang, L., 2015, FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings. Springer, Vol. 9109. p. 248-264 (Lecture Notes in Computer Science).Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
Open AccessFile -
Bisimulations and Logical Characterizations on Continuous-Time Markov Decision Processes
Song, L., Zhang, L. & Godskesen, J. C., 2014, In: Lecture Notes in Computer Science. 8318, p. 98-117Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review
-
Bisimulation Meet PCTL Equivalences for Probabilistic Automata (Journal Version)
Song, L., Zhang, L. & Godskesen, J. C., 2013, In: Logical Methods in Computer Science. 9, 2, 34 p.Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
Open AccessFile -
Incremental Bisimulation Abstraction Refinement
Godskesen, J. C., Song, L. & Zhang, L., 8 Jul 2013, In: Proceedings of the International Conference on Application of Concurrency to System Design. p. 11-20Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review
-
LAGI 2014: Land Art Generator Initiative
Schick, L. (PI), Lund, G. K. (PI) & Godskesen, J. C. (PI)
Society for Cultural Exchange (SCE), Danish Design Centre, Refshaleøens Ejendomsselskab, Green Cities, Aarhus University, Alexandra Instituttet A/S, Region Hovedstaden, Dreyers Fond, Oticon Fonden, Royal Academy, Aalborg University, Københavns Kommune
01/01/2014 → 31/12/2014
Project: Research
-
5th International Blockchain School - CPHFintech
Godskesen, J. C. (PI), Beck, R. (PI) & Oppermann, N. (Admin)
01/10/2021 → 31/12/2022
Project: Sponsorship
-
Uddannelsesprojekt for SMV’er
Godskesen, J. C. (PI), Debois, S. (CoI) & Rafnsson, W. (CoI)
01/04/2019 → 30/09/2023
Project: Research
-
Decentralized transactions for open digital markets: Exploring the potential of decentralized and open transaction protocols for digital and digitally mediated services and goods
Dittrich, Y. (PI), Jørgensen, K. P. (CoI), Rafnsson, W. (CoI), Ibsen, P. (Admin), Oppermann, N. (Admin), Godskesen, J. C. (CoI) & Hinrichsen, J. K. (Collaborator)
01/01/2024 → 31/12/2024
Project: Research
-
6th International Blockchain School - CPHFintech
Godskesen, J. C. (PI), Beck, R. (PI), Pedersen, A. B. (PI) & Oppermann, N. (Admin)
13/04/2023 → 31/12/2023
Project: Sponsorship
Press/Media
-
IT-Universitetet finder ny prorektor hos Københavns Universitet
22/11/2024
1 Media contribution
Press/Media: Press / Media
-
-
-
Frustreret it-direktør: Er det bare populisme?
12/09/2022
1 Media contribution
Press/Media: Press / Media
-
Antallet af optagne på it-uddannelserne i Danmark falder: "Det er lige til at græde over"
28/07/2022
1 Media contribution
Press/Media: Press / Media
Activities
- 1 Membership in review committee
-
Hiring committee for recruitment of full professor in Digital Play (Event)
Godskesen, J. C. (Chair) & Malmborg, L. (Member)
17 May 2022 → 1 Jan 2023Activity: Membership types › Membership in review committee