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
Aktiviteter
- 1 Medlemskab af bedømmelsesudvalg
-
Hiring committee for recruitment of full professor in Digital Play (Begivenhed)
Jens Christian Godskesen (Forperson) & Lone Malmborg (Medlem)
17 maj 2022 → 1 jan. 2023Aktivitet: Medlemsskab - typer › Medlemskab af bedømmelsesudvalg
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
-
IT-Universitetet har rekordoptag af kvinder - men der er stadig et stykke vej til målet
28/07/2022
1 Mediebidrag
Presse/medie