Steve Reeves | Academic Influence

Steve Reeves 's AcademicInfluence.com Rankings

Steve Reeves

Computer Science

#8846

World Rank

#9299

Historical Rank

Database

#9540

World Rank

#10063

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Steve Reeves 's Degrees

PhD Computer Science Stanford University
Masters Computer Science Stanford University
Bachelors Computer Science University of California, Berkeley

Similar Degrees You Can Earn

Why Is Steve Reeves Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Steve Reeves is a computer scientist based at the University of Waikato in New Zealand. He has been in the various roles of Associate Dean, Programme Co-ordinator and Head of Department of Software Engineering. He has undertaken research work on the Z notation, formal methods for GUI design, a general theory of refinement and logic for veracity.

(See a Problem?)

Steve Reeves 's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Conflicts and Fair Testing (2006) (52)
A survey of software development practices in the New Zealand software industry (2000) (47)
Formal models for user interface design artefacts (2008) (43)
Proof-of-Learning: A Blockchain Consensus Mechanism Based on Machine Learning Competitions (2019) (41)
Formal Models for Informal GUI Designs (2007) (39)
A Review of Several Programs for the Teaching of Logic (1993) (35)
Refinement for user interface designs (2008) (30)
Semantic tableaux as a framework for automated theorem-proving (1987) (30)
Modelling safety properties of interactive medical systems (2013) (29)
Investigating Z (2000) (28)
Z Logic and its Consequences (2003) (27)
Revising Z: Part I – logic and semantics (1999) (25)
Atomic Components (2004) (24)
An Analysis of Total Correctness Refinement Models for Partial Relation Semantics I (2003) (23)
Revising Z: Part II – logical development (1999) (22)
Formal refinement of informal GUI design artefacts (2006) (22)
Logic for computer science (1990) (22)
Modular Synthesis of Discrete Controllers (2007) (21)
A survey of software requirements specification practices in the New Zealand software industry (1999) (20)
UI-design driven model-based testing (2010) (20)
Modelling user manuals of modal medical devices and learning from the experience (2012) (19)
Fair Testing Revisited: A Process-Algebraic Characterisation of Conflicts (2004) (18)
Using formal models to design user interfaces: a case study (2007) (17)
mu-Charts and Z: Hows, Whys, and Wherefores (2000) (15)
Comparison of Data and Process Refinement (2003) (15)
A Logic for the Schema Calculus (1998) (15)
Combining Models for Interactive System Modelling (2017) (15)
UI-driven test-first development of interactive systems (2011) (15)
From a Community of Practice to a Body of Knowledge: A Case Study of the Formal Methods Community (2011) (14)
A Logic for Schema-Based Program Development (2003) (13)
Generating Obligations, Assertions and Tests from UI Models (2017) (13)
Why computer science students find formal reasoning frightening (1994) (13)
Program Development and Specification Refinement in the Schema Calculus (2000) (13)
Results on formal stepwise design in Z (2002) (13)
Composing Patterns to Construct Secure Systems (2015) (13)
Operation Refinement and Monotonicity in the Schema Calculus (2003) (12)
New foundations for Z (1998) (11)
Data refinement and singleton failures refinement are not equivalent (2008) (11)
A Tale of Two Studies (2013) (10)
General Refinement, Part One: Interfaces, Determinism and Special Refinement (2008) (10)
General Refinement, Part Two: Flexible Refinement (2008) (10)
Logic and refinement for charts (2006) (10)
Z Logic and Its Applications (2008) (9)
Behavioral modeling for mobile agent systems using Petri nets (2004) (9)
Computer science students perceptions of learning formal reasoning methods (1993) (8)
Supporting interactive system testing with interaction sequences (2017) (8)
Integrating User Design and Formal Models within PVSio-Web (2018) (8)
A Simplified Z Semantics for Presentation Interaction Models (2014) (8)
Design Patterns for Models of Interactive Systems (2015) (8)
Computer tools to teach formal reasoning (1996) (7)
µ-Chart-Based Specification and Refinement (2002) (7)
Teaching formal methods lite via testing (2001) (6)
/spl mu/-Charts and Z: examples and extensions (2000) (6)
State- and event-based refinement (2006) (6)
Including Design Guidelines in the Formal Specification of Interfaces in Z (2005) (6)
The Calculator Project-formal reasoning about programs (1994) (6)
Simulating Interaction Sequences (2018) (5)
Modular reasoning in Z: scrutinising monotonicity and refinement (2007) (5)
The syntax and semantics of μ-Charts (2004) (5)
Modelling safety-critical devices: coloured petri nets and Z (2017) (5)
Developing usability studies via formal models of UIs (2010) (5)
Using Abstraction with Interaction Sequences for Interactive System Modelling (2018) (4)
Constructing Programs or Processes (2005) (4)
The Language of First-Order Logic, including the Macintosh Program Tarski's World (1994) (4)
µ-Charts and Z: Extending the translation (2000) (4)
Revising Z: semantics and logic (1998) (4)
Adding equality to semantic tableaux (1987) (4)
Guarded Operations, Refinement and Simulation (2009) (4)
CSM-363 - Six theories of operation refinement for partial relation semantics (2002) (3)
Using State Machines for the Visualisation of Specifications via Refinement (2015) (3)
Stepwise Refinement of Processes (2006) (3)
Specifying and Reasoning About CSCW (1996) (3)
Principled formal methods in HCI research (1989) (3)
A Coloured Petri Net Approach to Model and Analyze Safety-Critical Interactive Systems (2019) (3)
Liberalising Event B without changing it (2006) (3)
Micro-chart based specification and refinement (2002) (3)
MiraCalc: the Miranda Calculator, the Unix version (1994) (3)
Using Coq to Enforce the Checks-Effects-Interactions Pattern in DeepSEA Smart Contracts (Short Paper) (2021) (3)
State-based and process-based value passing (2003) (2)
CSCW in New Zealand: a snapshot (1996) (2)
Preface: Proceedings of the 14th BCS-FACS Refinement Workshop (REFINE 2009) (2008) (2)
Computer support for students’ work in a formal system: MacCPICT (1995) (2)
Feature Refinement (2007) (2)
Supporting Multi-path UI Development with Vertical Refinement (2009) (2)
A Robust Semantics Hides Fewer Errors (2009) (2)
Model-based Testing of Interactive Systems using Interaction Sequences (2020) (2)
Experiences using Z animation tools. (2001) (2)
Specifying collaborative software: a proposal (1998) (2)
UI-design driven model-based testing (2013) (1)
Formal methods for interactive system: (FMIS 2013) (2013) (1)
Eliciting usage contexts of safety-critical medical devices (2014) (1)
Contexts, refinement and determinism (2011) (1)
Refinement for Probabilistic Systems with Nondeterminism (2011) (1)
μ-Charts and Z : hows , whys and wherefores by Greg Reeve and (2000) (1)
Editorial: Special issue on Refine 2009 (2012) (1)
Fear of Formal Reasoning (1992) (1)
Abstract State Machines, Alloy, B and Z Selected papers from ABZ 2010 (2013) (1)
Abstract State Machines, Alloy, B and Z, Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings (2010) (1)
Unifying state and process determinism (2004) (1)
Preface: Abstract State Machines, Alloy, B, VDM, and Z. Selected & extended papers from ABZ 2012 (2014) (1)
Proceedings 16th International Refinement Workshop (2011) (1)
Generic Tools via General Refinement (2008) (1)
Proceedings 18th Refinement Workshop (2018) (1)
A teaching and support tool for building formal models of graphical user-interfaces (1996) (1)
Characterising Sound Visualisations of Specifications Using Micro-Charts and Refinement (2017) (1)
Proceedings of the First New Zealand Formal Program Development Colloquium (1994) (0)
LSB - Live and Safe B: Alternative semantics for Event B (2006) (0)
Notes: an experiment in CSCW (1996) (0)
SeqCheck: a model checking tool for interactive systems (2020) (0)
Encouraging Generosity in Your Church - Insights From Acts (2019) (0)
Towards an integrated refinement environment for formal program development (1995) (0)
Proceedings 18th Refinement Workshop, Refine@FM 2018, Oxford, UK, 18th July 2018 (2018) (0)
Proceedings 17th International Workshop on Refinement: Preface (2016) (0)
A logic for specifying and reasoning about cooperative environments (1995) (0)
Programming in the Real World: Computer Science students' perceptions of the values and difficulties of learning formal methods (1992) (0)
Usable-by-Construction (2019) (0)
Electronic Communications of the EASST Volume 22 ( 2009 ) Proceedings of the Third International Workshop on Formal Methods for Interactive Systems ( FMIS 2009 ) UI-Design Driven Model-Based Testing (2009) (0)
of the 5 th International Workshop on Formal Methods for Interactive Systems ( FMIS 2013 ) Preface (2014) (0)
Engineering Interactive Systems with Model-Driven Code Contracts (2018) (0)
Considering reachability when comparing data refinements (2008) (0)
Proceedings 17th International BCS-FACS Refinement Workshop (2015) (0)
Preface (2015) (0)
The Seduction of Wealth : The Parable of the Rich Fool (2015) (0)
CSM-361 - A Logic for Schema-based Program Development (2001) (0)
Formal methods Pacific '97 : proceedings of FMP '97, 9-11 July 1997, Wellington, New Zealand (1997) (0)
Preface to the proceedings of FMIS 2013 (2015) (0)
Modelling a Blockchain for Smart Contract Verification using DeepSEA (2022) (0)
Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z (2010) (0)
Editorial (2016) (0)
CSM-379a Results on Formal Stepwise Design in Z (2003) (0)
1170-487 X State-and Event-based refinement (0)
An analysis of operation refinement in Z (2001) (0)
Supporting students' work in a formal system: MacPICT (2007) (0)
Constructing Programs or Processes1 (2008) (0)
Provably Correct Smart Contracts: An Approach using DeepSEA (2022) (0)
A calculator for supporting derivation in constructive type-theory: PICTCalc (1994) (0)
Stepwise Renement of Processes (2005) (0)
Building Formal Models of Graphical User Interfaces (1994) (0)
Proceedings 17th International Workshop on Refinement (2016) (0)
Abstract State Machines, Alloy, B and Z: Preface (2010) (0)
CSM-364 - An analysis of operation refinement in Z (2002) (0)
Formal Modelling of Safety-Critical Interactive Devices Using Coloured Petri Nets (2019) (0)
Necessary and Possible Set Reconciliation and Unification in Semantic Tableau Systems (Extended Abstract) (1992) (0)
Idioms for /spl mu/-charts (2001) (0)
Proceedings 15th International Refinement Workshop: Preface (2011) (0)
Idioms for mu-Chart. (2001) (0)
Preface for FMIS 2011 (2011) (0)
Characterising Sound Visualisations of Specifications Using Micro-Charts and Refinement (2017) (0)
Proceedings 16th International Refinement Workshop: Preface (2013) (0)

This paper list is powered by the following services:

Other Resources About Steve Reeves

en.wikipedia.org

What Schools Are Affiliated With Steve Reeves ?

Steve Reeves is affiliated with the following schools: