Steve Reeves

Cytowane przez

	Wszystkie	Od 2020
Cytowania	1825	373
h-indeks	23	10
i10-indeks	56	10

100

199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202420256 12 12 21 14 37 25 23 30 58 32 36 80 30 68 75 59 90 71 42 63 44 65 73 64 43 84 70 64 92 72 72 78 57 2

Dostęp publiczny

Wyświetl wszystko

1 artykuł

0 artykułów

dostępne

niedostępne

Objęte finansowaniem

Współautorzy

Judy BowenUniversity of WaikatoZweryfikowany adres z waikato.ac.nz
Richard BornatProfessor of Computer Programming, Middlesex UniversityZweryfikowany adres z bornat.me.uk
Mark UttingThe University of QueenslandZweryfikowany adres z uq.edu.au
Robi MalikDepartment of Software Engineering, The University of WaikatoZweryfikowany adres z waikato.ac.nz
John DerrickUniversity of SheffieldZweryfikowany adres z sheffield.ac.uk
Jonathan P. BowenEmeritus Professor of Computing, London South Bank UniversityZweryfikowany adres z lsbu.ac.uk
Jessica TurnerLecturer, University of WaikatoZweryfikowany adres z waikato.ac.nz
Felipe Bravo-MarquezAssociate Professor, University of ChileZweryfikowany adres z dcc.uchile.cl
Sarfraz KhurshidProfessor, University of Texas at AustinZweryfikowany adres z ece.utexas.edu
Sapna JaidkaUniversity of WaikatoZweryfikowany adres z waikato.ac.nz
Douglas BridgesUniversity of CanterburyZweryfikowany adres z math.canterbury.ac.nz
Eerke BoitenSchool of Computer Science and Informatics, De Montfort University, UKZweryfikowany adres z dmu.ac.uk
Elvinia RiccobeneProfessore, Università di Milano, ItalyZweryfikowany adres z unimi.it
Len BassCarnegie Mellon UniversityZweryfikowany adres z cmu.edu
Paul RimbaData61, CSIROZweryfikowany adres z data61.csiro.au
Marc FrappierUniversité de SherbrookeZweryfikowany adres z usherbrooke.ca
Regine LaleauZweryfikowany adres z u-pec.fr

Obserwuj

Steve Reeves

Inne imiona/nazwiskaS V Reeves, S Reeves

University of Waikato

Zweryfikowany adres z waikato.ac.nz

Software Engineering Formal methods Logic Theorem-proving Blockchains


Tytuł Sortuj wg cytatów Sortuj wg roku Sortuj wg tytułu	Cytowane przez Cytowane przez	Rok
Logic for ComputerScience S Reeves	150	1990
Proof-of-learning: a blockchain consensus mechanism based on machine learning competitions F Bravo-Marquez, S Reeves, M Ugarte 2019 IEEE International Conference on Decentralized Applications and …, 2019	120	2019
A survey of software development practices in the New Zealand software industry L Groves, R Nickson, G Reeve, S Reeves, M Utting Proceedings 2000 Australian Software Engineering Conference, 189-201, 2000	75	2000
Constructive mathematics in theory and programming practice D Bridges, S Reeves Philosophia Mathematica 7 (1), 65-104, 1999	56	1999
A review of several programs for the teaching of logic D Goldson, S Reeves, R Bornat The Computer Journal 36 (4), 373-386, 1993	52	1993
Conflicts and fair testing R Malik, D Streader, S Reeves International Journal of Foundations of Computer Science 17 (04), 797-813, 2006	51	2006
Formal models for user interface design artefacts J Bowen, S Reeves Innovations in Systems and Software Engineering 4, 125-141, 2008	50	2008
Semantic tableaux as a framework for automated theorem-proving S Reeves on Advances in artificial intelligence, 125-139, 1987	49	1987
Investigating Z MC Henson, S Reeves Journal of Logic and Computation 10 (1), 43-73, 2000	46	2000
Formal models for informal GUI designs J Bowen, S Reeves Electronic Notes in Theoretical Computer Science 183, 57-72, 2007	45	2007
Z Logic and its Consequences MC Henson, S Reeves, JP Bowen Computing and Informatics 22 (3-4), 381-415, 2003	44	2003
Modelling safety properties of interactive medical systems J Bowen, S Reeves Proceedings of the 5th ACM SIGCHI symposium on Engineering interactive …, 2013	41	2013
Fair testing revisited: A process-algebraic characterisation of conflicts R Malik, D Streader, S Reeves Automated Technology for Verification and Analysis: Second International …, 2004	29	2004
Revising Z: Part II–logical development MC Henson, S Reeves Formal Aspects of Computing 11, 381-401, 1999	29	1999
Composing patterns to construct secure systems P Rimba, L Zhu, L Bass, I Kuz, S Reeves 2015 11th European Dependable Computing Conference (EDCC), 213-224, 2015	28	2015
Generating obligations, assertions and tests from UI models J Bowen, S Reeves Proceedings of the ACM on Human-Computer Interaction 1 (EICS), 1-18, 2017	27	2017
Modelling user manuals of modal medical devices and learning from the experience J Bowen, S Reeves Proceedings of the 4th ACM SIGCHI symposium on Engineering interactive …, 2012	27	2012
Revising Z: Part I–logic and semantics MC Henson, S Reeves Formal Aspects of Computing 11, 359-380, 1999	27	1999
Combining models for interactive system modelling J Bowen, S Reeves The handbook of formal methods in human-computer interaction, 161-182, 2017	25	2017
Refinement for user interface designs J Bowen, S Reeves Electronic Notes in Theoretical Computer Science 208, 5-22, 2008	25	2008

Nie można teraz wykonać tej operacji. Spróbuj ponownie później.

Prace 1–20

Cytowania rocznie

Powielone cytowania

Scalone cytowania

Dodaj współautorówWspółautorzy

Obserwuj

Cytowane przez

Współautorzy