Daniel Wagner
Affiliations:- Imperial College London, UK
According to our database1,
Daniel Wagner
authored at least 6 papers
between 2007 and 2012.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on linkedin.com
-
on dwagner.net
On csauthors.net:
Bibliography
2012
Perform. Evaluation, 2012
2011
2010
PCTL model checking of Markov chains: Truth and falsity as winning strategies in games.
Perform. Evaluation, 2010
2009
Three-Valued Abstractions of Markov Chains: Completeness for a Sizeable Fragment of PCTL.
Proceedings of the Fundamentals of Computation Theory, 17th International Symposium, 2009
2008
Proceedings of the Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 2008
2007
Proceedings of the Towards Mechanized Mathematical Assistants, 14th Symposium, 2007