ITU
ITU
Jens Christian Godskesen

Jens Christian Godskesen

Pro-rector

IT University of Copenhagen
Rued Langgaards Vej 7
DK-2300 Copenhagen S
Denmark

Building: 2D21

Phone: +45 7218 5276

Information Desk: 72185000

View graph of relations

Research outputs (14)

  1. Published

    Probabilistic Bisimulation for Realistic Schedulers

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  2. Published

    Bisimulations and Logical Characterizations on Continuous-Time Markov Decision Processes

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  3. Published

    Incremental Bisimulation Abstraction Refinement

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

View all (14) »

Recent activities and conferences

ID: 263316