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
-
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
-
Broadcast Abstraction in a Stochastic Calculus for Mobile Networks
Song, L. & Godskesen, J. C., sep. 2012, Theoretical Computer Science: Proceedings of the 7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012. Springer, Bind 4604. s. 342-356 15 s. (Lecture Notes in Computer Science, Bind 4604).Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review
Åben adgangFil
-
Urban Insights Data Lab
Godskesen, J. C. (PI), Oppermann, N. (Admin) & Sabalas, M. (PI)
01/01/2023 → …
Projekter: Projekt › Innovation
-
VeluxVPP: Velux Visiting Professor Programme 2015-2016
Godskesen, J. C. (PI), Thatcher, J. (CoI), Te'eni, D. (CoI), Bowker, G. C. (CoI), Dourish, P. (CoI), Ryan, P. Y. A. (CoI) & Stark, P. (CoI)
02/03/2015 → 01/03/2017
Projekter: Projekt › Forskning
-
Novo Nordisk, Kalundborg - Strategic partnership
Godskesen, J. C. (PI) & Oppermann, N. (Admin)
24/08/2022 → …
Projekter: Projekt › Innovation
-
CMS: Calculi for Mobile Security
Godskesen, J. C. (PI)
Danish Council for Technology and Innovation
01/01/2006 → 22/03/2010
Projekter: Projekt › Forskning
-
OE: Open Entrepreneurship
Godskesen, J. C. (PI), Ibsen, P. (PI) & Velasco, C. (PI)
01/04/2017 → 31/07/2021
Projekter: Projekt › Innovation
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