Fingeraftryk
- 1 Lignende profiler
-
Model Checking Reachability Properties for Quantum Markov Chains
Godskesen, J. C., aug. 2025. 20 s.Publikation: Konferencebidrag - EJ publiceret i proceeding eller tidsskrift › Paper › Forskning › peer review
Åben adgangFil -
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, Bind 9109. s. 248-264 (Lecture Notes in Computer Science).Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review
Åben adgangFil -
Bisimulations and Logical Characterizations on Continuous-Time Markov Decision Processes
Song, L., Zhang, L. & Godskesen, J. C., 2014, I: Lecture Notes in Computer Science. 8318, s. 98-117Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review
-
Bisimulation Meet PCTL Equivalences for Probabilistic Automata (Journal Version)
Song, L., Zhang, L. & Godskesen, J. C., 2013, I: Logical Methods in Computer Science. 9, 2, 34 s.Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil -
Incremental Bisimulation Abstraction Refinement
Godskesen, J. C., Song, L. & Zhang, L., 8 jul. 2013, I: Proceedings of the International Conference on Application of Concurrency to System Design. s. 11-20Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › 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 Universitet, Alexandra Instituttet A/S, Region Hovedstaden, Dreyers Fond, Oticon Fonden, Videnskabernes Selskab, Aalborg Universitet, Københavns Kommune
01/01/2014 → 31/12/2014
Projekter: Projekt › Forskning
-
5th International Blockchain School - CPHFintech
Godskesen, J. C. (PI), Beck, R. (PI) & Oppermann, N. (Admin)
01/10/2021 → 31/12/2022
Projekter: Projekt › Sponsorat
-
Uddannelsesprojekt for SMV’er
Godskesen, J. C. (PI), Debois, S. (CoI) & Rafnsson, W. (CoI)
01/04/2019 → 30/09/2023
Projekter: Projekt › Forskning
-
Decentralized transactions for open digital markets: Exploring the potential of decentralized and open transaction protocols for digital and digitally mediated services and tools
Dittrich, Y. (PI), Jørgensen, K. P. (CoI), Rafnsson, W. (CoI), Ibsen, P. (Admin), Oppermann, N. (Admin), Godskesen, J. C. (CoI) & Hinrichsen, J. K. (Samarbejdspartner)
01/01/2024 → 31/12/2024
Projekter: Projekt › Forskning
-
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
Projekter: Projekt › Sponsorat
Presse/medier
-
-
-
-
-
Antallet af optagne på it-uddannelserne i Danmark falder: "Det er lige til at græde over"
28/07/2022
1 Mediebidrag
Presse/medie
Aktiviteter
- 1 Medlemskab af bedømmelsesudvalg
-
Hiring committee for recruitment of full professor in Digital Play (Begivenhed)
Godskesen, J. C. (Forperson) & Malmborg, L. (Medlem)
17 maj 2022 → 1 jan. 2023Aktivitet: Medlemsskab - typer › Medlemskab af bedømmelsesudvalg