Luke Hinde

Identifiers

• name variant Luke Hinde 0.60 · backfill

Papers (2)

1. Safety Case Templates for Autonomous Systems cs.SE · 2021 · author #4
2. Size, Cost, and Capacity: A Semantic Technique for Hard Random QBFs cs.LO · 2017 · author #3

Mentions

• 1712.03626 #3 · arxiv_oai · confidence 0.70 Luke Hinde
• 2102.02625 #4 · arxiv_oai · confidence 0.70 Luke Hinde

Frequent Coauthors

• Gareth Fletcher 1 shared papers
• Heidy Khlaaf 1 shared papers
• Joshua Blinkhorn 1 shared papers
• Olaf Beyersdorff 1 shared papers
• Philippa Ryan 1 shared papers
• Robin Bloomfield 1 shared papers