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

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

2017

Reasons for Hardness in QBF Proof Systems.

[BibT_eX]

[DOI]

Olaf Beyersdorff

Luke Hinde

Ján Pich

Electron. Colloquium Comput. Complex., 2017

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

[BibT_eX]

[DOI]

Olaf Beyersdorff

Joshua Blinkhorn

Luke Hinde

Electron. Colloquium Comput. Complex., 2017

Luke Hinde

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...