Jens Chr. Godskesen

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Probabilistic bisimulation for realistic schedulers FM 2015: Formal Methods	2019-12-19	Paper
Probabilistic bisimulation for realistic schedulers Acta Informatica	2018-09-06	Paper
Verification of correspondence assertions in a calculus for mobile ad hoc networks Electronic Notes in Theoretical Computer Science	2015-03-19	Paper
Bisimulations and logical characterizations on continuous-time Markov decision processes Lecture Notes in Computer Science	2015-01-13	Paper
A calculus for mobile ad-hoc networks with static location binding Electronic Notes in Theoretical Computer Science	2014-07-23	Paper
Decidable fragments of a higher order calculus with locations Electronic Notes in Theoretical Computer Science	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 Logical Methods in Computer Science	2013-06-24	Paper
Broadcast Abstraction in a Stochastic Calculus for Mobile Networks Lecture Notes in Computer Science	2012-09-21	Paper
Bisimulations meet PCTL equivalences for probabilistic automata CONCUR 2011 – Concurrency Theory	2011-09-02	Paper
Probabilistic mobility models for mobile and wireless networks IFIP Advances in Information and Communication Technology	2010-10-27	Paper
Synthesizing distinguishing formulae for real time systems -extended abstract Lecture Notes in Computer Science	2010-06-17	Paper
A Calculus for Mobile Ad Hoc Networks Lecture Notes in Computer Science	2009-06-25	Paper
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science Lecture Notes in Computer Science	2006-11-14	Paper
A CPS encoding of name-passing in higher-order mobile embedded resources Theoretical Computer Science	2006-05-29	Paper
Formal Techniques for Networked and Distributed Systems – FORTE 2004 Lecture Notes in Computer Science	2005-08-18	Paper
Connectivity testing Formal Methods in System Design	2004-09-09	Paper
scientific article; zbMATH DE number 1927568 (Why is no real title available?)	2003-06-12	Paper

Research outcomes over time

This page was built for person: Jens Chr. Godskesen