Quentin Heath

According to our database¹, Quentin Heath authored at least 3 papers between 2015 and 2019.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2019

A Proof Theory for Model Checking.

[BibT_eX]

[DOI]

J. Autom. Reason., 2019

2016

A Proof Theory for Model Checking: An Extended Abstract.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Fourth International Workshop on Linearity, 2016

2015

A framework for proof certificates in finite state exploration.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Fourth Workshop on Proof eXchange for Theorem Proving, 2015