Daniel Wagner

Affiliations:

Imperial College London, UK

According to our database¹, Daniel Wagner authored at least 6 papers between 2007 and 2011.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2011

Finite-state abstractions for probabilistic computation tree logic.

[BibT_eX]

[DOI]

Daniel Wagner

PhD thesis, 2011

2010

PCTL model checking of Markov chains: Truth and falsity as winning strategies in games.

[BibT_eX]

[DOI]

Perform. Evaluation, 2010

p-Automata: New Foundations for Discrete-Time Probabilistic Verification.

[BibT_eX]

[DOI]

Michael Huth

Nir Piterman

Daniel Wagner

Proceedings of the QEST 2010, 2010

2009

Three-Valued Abstractions of Markov Chains: Completeness for a Sizeable Fragment of PCTL.

[BibT_eX]

[DOI]

Michael Huth

Nir Piterman

Daniel Wagner

Proceedings of the Fundamentals of Computation Theory, 17th International Symposium, 2009

2008

Hintikka Games for PCTL on Labeled Markov Chains.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 2008

2007

Using Formal Concept Analysis in Mathematical Discovery.

[BibT_eX]

[DOI]

Simon Colton

Daniel Wagner

Proceedings of the Towards Mechanized Mathematical Assistants, 14th Symposium, 2007

Daniel Wagner

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...