×
Compute Distance To:
Author ID: hurd.joe Recent zbMATH articles by "Hurd, Joe"
Published as: Hurd, Joe

Publications by Year

Citations contained in zbMATH Open

11 Publications have been cited 77 times in 67 Documents Cited by Year
A formal approach to probabilistic termination. Zbl 1013.68193
Hurd, Joe
30
2002
An lCF-style interface between HOL and first-order logic. Zbl 1072.68578
Hurd, Joe
11
2002
Probabilistic guarded commands mechanized in HOL. Zbl 1080.68063
Hurd, Joe; McIver, Annabelle; Morgan, Carroll
11
2005
Verification of the Miller-Rabin probabilistic primality test. Zbl 1048.68051
Hurd, Joe
8
2003
Probabilistic guarded commands mechanized in HOL. Zbl 1272.68258
Hurd, Joe; McIver, Annabelle; Morgan, Carroll
5
2005
Predicate subtyping with predicate sets. Zbl 1005.68541
Hurd, Joe
3
2001
Theorem proving in higher order logics. 18th international conference, TPHOLs 2005, Oxford, UK, August 22–25, 2005. Proceedings. Zbl 1087.68005
3
2005
Executing the formal semantics of the Accellera property specification language by mechanised theorem proving. Zbl 1179.68085
Gordon, Mike; Hurd, Joe; Slind, Konrad
2
2003
Functional correctness proofs of encryption algorithms. Zbl 1143.68391
Duan, Jianjun; Hurd, Joe; Li, Guodong; Owens, Scott; Slind, Konrad; Zhang, Junxing
2
2005
Standalone tactics using OpenTheory. Zbl 1360.68756
Kumar, Ramana; Hurd, Joe
1
2012
Applications of polytypism in theorem proving. Zbl 1279.68296
Slind, Konrad; Hurd, Joe
1
2003
Standalone tactics using OpenTheory. Zbl 1360.68756
Kumar, Ramana; Hurd, Joe
1
2012
Probabilistic guarded commands mechanized in HOL. Zbl 1080.68063
Hurd, Joe; McIver, Annabelle; Morgan, Carroll
11
2005
Probabilistic guarded commands mechanized in HOL. Zbl 1272.68258
Hurd, Joe; McIver, Annabelle; Morgan, Carroll
5
2005
Theorem proving in higher order logics. 18th international conference, TPHOLs 2005, Oxford, UK, August 22–25, 2005. Proceedings. Zbl 1087.68005
3
2005
Functional correctness proofs of encryption algorithms. Zbl 1143.68391
Duan, Jianjun; Hurd, Joe; Li, Guodong; Owens, Scott; Slind, Konrad; Zhang, Junxing
2
2005
Verification of the Miller-Rabin probabilistic primality test. Zbl 1048.68051
Hurd, Joe
8
2003
Executing the formal semantics of the Accellera property specification language by mechanised theorem proving. Zbl 1179.68085
Gordon, Mike; Hurd, Joe; Slind, Konrad
2
2003
Applications of polytypism in theorem proving. Zbl 1279.68296
Slind, Konrad; Hurd, Joe
1
2003
A formal approach to probabilistic termination. Zbl 1013.68193
Hurd, Joe
30
2002
An lCF-style interface between HOL and first-order logic. Zbl 1072.68578
Hurd, Joe
11
2002
Predicate subtyping with predicate sets. Zbl 1005.68541
Hurd, Joe
3
2001
all top 5

Cited by 106 Authors

15 Hasan, Osman
13 Tahar, Sofiène
5 Norrish, Michael
3 Ahmed, Waqar
3 Chan, Hing-Lun
3 Hölzl, Johannes
3 Kaminski, Benjamin Lucien
3 Katoen, Joost-Pieter
3 Owens, Scott
3 Paulson, Lawrence Charles
2 Abbasi, Naeem
2 Hurd, Joe
2 Kaliszyk, Cezary
2 Kaufmann, Matt
2 Kumar, Ramana
2 Kwiatkowska, Marta Z.
2 Lochbihler, Andreas
2 Matheja, Christoph
2 McIver, Annabelle K.
2 Morgan, Carroll C.
2 Nipkow, Tobias
2 Nowak, David E.
2 Olmedo, Federico
2 Ray, Sandip
2 Slind, Konrad
2 Urban, Josef
2 Weber, Tjark
2 Zhang, Yu
1 Abid, Mohamed Amine
1 Ahmad, Waqar
1 Amjad, Hasan
1 Audebaud, Philippe
1 Baier, Christel
1 Basin, David A.
1 Batz, Kevin
1 Bentkamp, Alexander
1 Benzmüller, Christoph Ewald
1 Blanchette, Jasmin Christian
1 Bobot, François
1 Brauer, Jörg
1 Chen, Mingshuai
1 Cruanes, Simon
1 de Alfaro, Luca
1 Eberl, Manuel
1 Elleuch, Maissa
1 Fontaine, Allyx
1 Forejt, Vojtěch
1 Fraikin, Benoît
1 Frappier, Marc
1 Függer, Matthias
1 Gauthier, Thibault
1 Gonzalía, Carlos
1 Gordon, Michael J. C.
1 Gordon, Mike J.
1 Gretz, Friedrich
1 Hamdi, Mohammad Salah
1 Haslbeck, Max W.
1 Hayes, Ian J.
1 Heller, Armin
1 Hirata, Michikazu
1 Hobor, Aquinas
1 Iyoda, Juliano
1 Jamnik, Mateja
1 Jansen, Nils
1 Kattenbelt, Mark
1 Kennedy, Andrew J.
1 Kerber, Manfred
1 Kiefer, Stefan
1 Kunčar, Ondřej
1 Leow, Wei Xiang
1 Liu, Liya
1 Lopes, António M.
1 Loveland, Donald W.
1 Machado, José António Tenreiro
1 McKinna, James
1 Meinicke, Larissa A.
1 Meng, Jia
1 Mhamdi, Tarek
1 Minamide, Yasuhiko
1 Mohan, Anshuman
1 Moore, J Strother
1 Murawski, Andrzej S.
1 Myreen, Magnus O.
1 Ndukwu, Ukachukwu
1 Norman, Gethin
1 Obua, Steven
1 Ouaknine, Joel O.
1 Paskevich, Andrei
1 Paulin-Mohring, Christine
1 Reeber, Erik
1 Reinbacher, Thomas
1 Sato, Tetsuya
1 Schröer, Philipp
1 Sefidgar, S. Reza
1 Siddique, Umair
1 Sorge, Volker
1 van der Weegen, Eelis
1 Vytiniotis, Dimitrios
1 Wachter, Björn
1 Waldmann, Uwe
...and 6 more Authors

Citations by Year