Publikationer pr. år
Publikationer pr. år
Fingeraftryk
Dyk ned i forskningsemnerne, hvor Jens Christian Godskesen er aktive. Disse emneetiketter kommer fra dennes persons arbejder. Sammen danner de et unikt fingerprint.
- 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
-
InfinIT Innovationsnetværk for Finans IT
Godskesen, J. C. (PI), Sestoft, P. (CoI), Beck, R. (CoI), Dittrich, Y. (CoI), Debois, S. (CoI) & Madsen, F. (CoI)
Styrelsen for Forskning og Uddannelse
01/07/2014 → 31/12/2020
Projekter: Projekt › Forskning
-
Pilot Hub
Risi, S. (PI), Beck, R. (PI), Bonnet, P. (PI), Godskesen, J. C. (PI), Jain, G. (CoI), Astefanoaei, M. S. (CoI), Berg Palm, R. (CoI), Agerskov, S. (CoI) & Sudhakaran, S. (CoI)
Styrelsen for Forskning og Uddannelse
01/01/2020 → 31/07/2022
Projekter: Projekt › Forskning
-
Novo Nordisk, Kalundborg - Strategic partnership
Godskesen, J. C. (PI) & Oppermann, N. (Admin)
24/08/2022 → …
Projekter: Projekt › Innovation
-
VeluxVPP: VELUX Visiting Professor Programme 2013-2014
Godskesen, J. C. (PI), Basin, D. (CoI), Mackenzie, A. (CoI) & Law, J. (CoI)
22/01/2013 → 21/01/2015
Projekter: Projekt › Forskning
-
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
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