Intet billede af Jens Christian Godskesen

Jens Christian Godskesen

20082015

Publikationer pr. år

Filter
Konferencebidrag i proceedings

Søgeresultater

  • 2015

    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 kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • 2012

    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 kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • 2011

    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, s. 108-123 15 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • 2010

    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. (red.). Springer, Bind 6116. s. 1-15 15 s. (Lecture Notes in Computer Science; Nr. 6116).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

  • Probabilistic Mobility Models for Mobile and Wireless Networks

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

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

  • 2009

    Mobility Models and Behavioural Equivalence for Wireless Networks

    Godskesen, J. C. & Nanz, S., 2009, Lecture Notes in Computer Science. Field, J. & Vasconcelos, V. T. (red.). Springer, Bind 5521. s. 106 122 s. (Coordination Models and Languages; Nr. 5521).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review