Research output per year
Research output per year
Fingerprint
Dive into the research topics where Jens Christian Godskesen is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
-
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
-
Broadcast Abstraction in a Stochastic Calculus for Mobile Networks
Song, L. & Godskesen, J. C., Sept 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, Vol. 4604. p. 342-356 15 p. (Lecture Notes in Computer Science, Vol. 4604).Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
Open AccessFile
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
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
-
MT-Lab - Modelling of Information Technology
Wasowski, A. (CoI), Godskesen, J. C. (PI), Song, L. (CoI), Traonouez, L.-M. (CoI) & Biondi, F. (CoI)
01/11/2008 → 31/10/2013
Project: Research
-
OE: Open Entrepreneurship
Godskesen, J. C. (PI), Ibsen, P. (PI) & Velasco, C. (PI)
01/04/2017 → 31/07/2021
Project: Innovation
-
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)
Danish Agency for Higher Education and Science
01/01/2020 → 31/07/2022
Project: Research
-
-
CMS: Calculi for Mobile Security
Godskesen, J. C. (PI)
Danish Council for Technology and Innovation
01/01/2006 → 22/03/2010
Project: Research