Luke Hinde

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

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2021
Safety Case Templates for Autonomous Systems.
CoRR, 2021

2019
Reasons for hardness in QBF proof complexity.
PhD thesis, 2019

Characterising tree-like Frege proofs for QBF.
Inf. Comput., 2019

2018
Size, Cost and Capacity: A Semantic Technique for Hard Random QBFs.
Proceedings of the 9th Innovations in Theoretical Computer Science Conference, 2018

2017
Reasons for Hardness in QBF Proof Systems.
Proceedings of the 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2017


  Loading...