Luke Hinde

According to our database¹, Luke Hinde authored at least 5 papers between 2017 and 2021.

Collaborative distances:

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

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2021

Safety Case Templates for Autonomous Systems.

[BibT_eX]

[DOI]

CoRR, 2021

2019

Reasons for hardness in QBF proof complexity.

[BibT_eX]

[DOI]

Luke Hinde

PhD thesis, 2019

Characterising tree-like Frege proofs for QBF.

[BibT_eX]

[DOI]

Olaf Beyersdorff

Luke Hinde

Inf. Comput., 2019

2018

Size, Cost and Capacity: A Semantic Technique for Hard Random QBFs.

[BibT_eX]

[DOI]

Olaf Beyersdorff

Joshua Blinkhorn

Luke Hinde

Proceedings of the 9th Innovations in Theoretical Computer Science Conference, 2018

2017

Reasons for Hardness in QBF Proof Systems.

[BibT_eX]

[DOI]

Olaf Beyersdorff

Luke Hinde

Ján Pich

Proceedings of the 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2017

Luke Hinde

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...