25,161
edits
Changes
no edit summary
'''[[Main Page|Home]] * [[People]] * Joe Leslie-Hurd'''
[[FILE:joehurd.jpg|border|right|thumb|link=httpshttp://scholarwww.googlegilith.com/citations?user=iGScUhoAAAAJ&hl=enabout/| Joe Leslie-Hurd <ref>[httpshttp://scholarwww.googlegilith.com/citations?user=iGScUhoAAAAJ&hl=en Joe about/ Gilith - Joe Leslie-Hurd - Google ScholarHurd]</ref> ]]
'''Joe Leslie-Hurd''',<br/>
=Selected Publications=
<ref>[http://www.gilith.com/research/papers/ Gilith - Research Papers]</ref> <ref>[https://dblp.uni-trier.de/pid/29/4239.html dblp: Joe Hurd]</ref>
==2000 ...==
* [[Joe Leslie-Hurd|Joe Hurd]] ('''2000'''). ''Congruence Classes with Logic Variables''. [https://dblp.uni-trier.de/db/conf/arw/arw2000.html#Hurd00 ARW 2000]
* [[Joe Leslie-Hurd|Joe Hurd]] ('''2001'''). ''Congruence Classes with Logic Variables''. [https://academic.oup.com/jigpal ogic Journal of the IGPL], Vol. 9, No. 1, [http://www.gilith.com/papers/congruence.pdf pdf]
* [[Joe Leslie-Hurd|Joe Hurd]] ('''2003'''). ''Formal verification of probabilistic algorithms''. Ph.D. thesis, UCAM-CL-TR-566, [https://en.wikipedia.org/wiki/University_of_Cambridge University of Cambridge], [https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-566.pdf pdf]
* [[Joe Leslie-Hurd|Joe Hurd]] ('''2005'''). ''Formal Verification of Chess Endgame Databases''. Technical Report PRG-RR-05-02, [http://de.wikipedia.org/wiki/University_of_Oxford Oxford University] Computing Laboratory, [http://www.gilith.com/research/papers/chess.pdf pdf]
==2010 ...==
* [[Joe Leslie-Hurd|Joe Hurd]], [[Guy Haworth]] ('''2010'''). ''[https://link.springer.com/chapter/10.1007/978-3-642-12993-3_20 Data Assurance in Opaque Computations]''. [[Advances in Computer Games 12]], [http://www.gilith.com/research/papers/egt.pdf pdf]
* [https://scholar.google.co.uk/citations?user=OyX1-qYAAAAJ&hl=en Ramana Kumar], [[Joe Leslie-Hurd|Joe Hurd]] ('''2012'''). ''Standalone Tactics Using OpenTheory''. [https://dblp.uni-trier.de/db/conf/itp/itp2012.html ITP 2012], [http://www.gilith.com/research/papers/cloud.pdf pdf] <ref>[https://en.wikipedia.org/wiki/HOL_%28proof_assistant%29 HOL (proof assistant) from Wikipedia]</ref>
=External Links=
* [https://www.linkedin.com/in/joelesliehurd Joe Leslie-Hurd - Formal Verification Engineer - Intel Corporation | LinkedIn]
* [https://scholar.google.com/citations?user=iGScUhoAAAAJ&hl=en Joe Leslie-Hurd - Google Scholar]
* [http://www.gilith.com/ Gilith - Welcome]
'''[[People|Up one level]]'''
[[Category:Researcher|Leslie-Hurd]]
[[Category:Chess Player|Leslie-Hurd]]
