Daniel Wagner

Affiliations:
  • Imperial College London, UK


According to our database1, Daniel Wagner authored at least 6 papers between 2007 and 2012.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2012
p-Automata: New foundations for discrete-time probabilistic verification.
Perform. Evaluation, 2012

2011
Finite-state abstractions for probabilistic computation tree logic.
PhD thesis, 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
Hintikka Games for PCTL on Labeled Markov Chains.
Proceedings of the Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 2008

2007
Using Formal Concept Analysis in Mathematical Discovery.
Proceedings of the Towards Mechanized Mathematical Assistants, 14th Symposium, 2007


  Loading...