Jens Chr. Godskesen

Available identifiers

Publication	Date of Publication	Type
Probabilistic bisimulation for realistic schedulers	2019-12-19	Paper
Probabilistic bisimulation for realistic schedulers	2018-09-06	Paper
Verification of correspondence assertions in a calculus for mobile ad hoc networks	2015-03-19	Paper
Bisimulations and logical characterizations on continuous-time Markov decision processes	2015-01-13	Paper
A calculus for mobile ad-hoc networks with static location binding	2014-07-23	Paper
Decidable fragments of a higher order calculus with locations	2014-07-23	Paper
A CPS encoding of name-passing in higher-order mobile embedded resources	2013-09-25	Paper
Bisimulations meet PCTL equivalences for probabilistic automata	2013-06-24	Paper
Broadcast Abstraction in a Stochastic Calculus for Mobile Networks	2012-09-21	Paper
Bisimulations meet PCTL equivalences for probabilistic automata	2011-09-02	Paper
Probabilistic mobility models for mobile and wireless networks	2010-10-27	Paper
Synthesizing distinguishing formulae for real time systems -extended abstract	2010-06-17	Paper
A Calculus for Mobile Ad Hoc Networks	2009-06-25	Paper
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science	2006-11-14	Paper
A CPS encoding of name-passing in higher-order mobile embedded resources	2006-05-29	Paper
Formal Techniques for Networked and Distributed Systems – FORTE 2004	2005-08-18	Paper
Connectivity testing	2004-09-09	Paper
https://portal.mardi4nfdi.de/entity/Q4484493	2003-06-12	Paper

This page was built for person: Jens Chr. Godskesen