No photo of Jens Christian Godskesen

Jens Christian Godskesen

20082015

Research activity per year

If you made any changes in Pure these will be visible here soon.
Filter
Article in proceedings

Search results

  • 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, Vol. 4604. p. 342-356 15 p. (Lecture Notes in Computer Science, Vol. 4604).

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

    Open Access
    File
  • Observables for Mobile and Wireless Broadcasting Systems

    Godskesen, J. C., 2010, Coordination Models and Languages: 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 2010. Clarke, D. & Agha, G. (eds.). Springer, Vol. 6116. p. 1-15 15 p. (Lecture Notes in Computer Science; No. 6116).

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

  • 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 chapterArticle in proceedingsResearchpeer-review

    Open Access
    File
  • Mobility Models and Behavioural Equivalence for Wireless Networks

    Godskesen, J. C. & Nanz, S., 2009, Lecture Notes in Computer Science. Field, J. & Vasconcelos, V. T. (eds.). Springer, Vol. 5521. p. 106 122 p. (Coordination Models and Languages; No. 5521).

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

  • Probabilistic Mobility Models for Mobile and Wireless Networks

    Song, L. & Godskesen, J. C., 2010, IFIP Advances in Information and Communication Technology . Springer, Vol. 2010. 15 p.

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

  • Bisimulations Meet PCTL Equivalences for Probabilistic Automata

    Song, L., Zhang, L. & Godskesen, J. C., 5 Sep 2011, CONCUR'11 Proceedings of the 22nd international conference on Concurrency theory . Springer, p. 108-123 15 p.

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

    Open Access
    File