Obserwuj
Steve Reeves
Tytuł
Cytowane przez
Cytowane przez
Rok
Logic for ComputerScience
S Reeves
1451990
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
1002019
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
732000
Constructive mathematics in theory and programming practice
D Bridges, S Reeves
Philosophia Mathematica 7 (1), 65-104, 1999
571999
A review of several programs for the teaching of logic
D Goldson, S Reeves, R Bornat
The Computer Journal 36 (4), 373-386, 1993
521993
Conflicts and fair testing
R Malik, D Streader, S Reeves
International Journal of Foundations of Computer Science 17 (04), 797-813, 2006
502006
Formal models for user interface design artefacts
J Bowen, S Reeves
Innovations in Systems and Software Engineering 4, 125-141, 2008
492008
Semantic tableaux as a framework for automated theorem-proving
S Reeves
on Advances in artificial intelligence, 125-139, 1987
491987
Investigating Z
MC Henson, S Reeves
Journal of Logic and Computation 10 (1), 43-73, 2000
472000
Formal models for informal GUI designs
J Bowen, S Reeves
Electronic Notes in Theoretical Computer Science 183, 57-72, 2007
442007
Z Logic and its Consequences
MC Henson, S Reeves, JP Bowen
Computing and Informatics 22 (3-4), 381-415, 2003
442003
Modelling safety properties of interactive medical systems
J Bowen, S Reeves
Proceedings of the 5th ACM SIGCHI symposium on Engineering interactive …, 2013
402013
Revising Z: Part II–logical development
MC Henson, S Reeves
Formal Aspects of Computing 11, 381-401, 1999
301999
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
282012
Fair testing revisited: A process-algebraic characterisation of conflicts
R Malik, D Streader, S Reeves
Automated Technology for Verification and Analysis: Second International …, 2004
282004
Revising Z: Part I–logic and semantics
MC Henson, S Reeves
Formal Aspects of Computing 11, 359-380, 1999
271999
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
262015
Adding equality to semantic tableaux
SV Reeves
Journal of Automated Reasoning 3, 225-246, 1987
261987
Refinement for user interface designs
J Bowen, S Reeves
Electronic Notes in Theoretical Computer Science 208, 5-22, 2008
252008
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
242017
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20