Steve Reeve: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

The Language of First-Order Logic, including the Macintosh Program Tarski's World.by Jon Barwise; John Etchemendy

Review by: Doug Goldson and Steve Reeves

Journal:

The Philosophical Quarterly

Year:

1994

Language:

english

File:

PDF, 434 KB

english, 1994

2

Generating Obligations, Assertions and Tests from UI Models

Bowen, Judy, Reeves, Steve

Journal:

Proceedings of the ACM on Human-Computer Interaction

Year:

2017

Language:

english

File:

PDF, 781 KB

english, 2017

3

Action learning as leverage for strategic transformation: a case study reflection

Suzanne O'Hara, Lily Murphy, Steve Reeve

Journal:

Strategic Change

Year:

2007

Language:

english

File:

PDF, 187 KB

english, 2007

4

[Society of Petroleum Engineers IADC/SPE Drilling Conference - Orlando, Florida, USA (2008-03-04)] IADC/SPE Drilling Conference - High Speed Telemetry Drill Pipe Network Optimizes Drilling Dynamics And Wellbore Placement

Ali, Tarab H., Sas, Matthew, Hood, James Albert, Lemke, Scott R., Srinivasan, Ananth, McKay, Jim, Mondragon, Carlos, Townsend, Steve C., Edwards, Stephen, Fereday, Kelli S., Hernandez, Maximo, Reeves,

Language:

english

File:

PDF, 881 KB

english

5

Short reviews

Levin, Michael, Ainley, Pat, Fenton, Steve, Lindstrom, Fred B., Thane, Pat, Chevannes, Mel, Reeves, Frank, Brummer, Nadine

Journal:

Ethnic and Racial Studies

Year:

1987

Language:

english

File:

PDF, 870 KB

english, 1987

6

[ACM Press the SIGCHI conference - Montréal, Québec, Canada (2006.04.22-2006.04.27)] Proceedings of the SIGCHI conference on Human Factors in computing systems - CHI '06 - Designing for the opportunities and risks of staging digital experiences in public settings

Benford, Steve, Crabtree, Andy, Reeves, Stuart, Sheridan, Jennifer, Dix, Alan, Flintham, Martin, Drozd, Adam

Year:

2006

Language:

english

File:

PDF, 888 KB

english, 2006

7

[ACM Press the SIGCHI conference - Portland, Oregon, USA (2005.04.02-2005.04.07)] Proceedings of the SIGCHI conference on Human factors in computing systems - CHI '05 - Designing the spectator experience

Reeves, Stuart, Benford, Steve, O'Malley, Claire, Fraser, Mike

Year:

2005

Language:

english

File:

PDF, 259 KB

english, 2005

8

Action learning in management education

O’Hara, Suzanne, Webber, Trix, Reeve, Steve

Journal:

Education + Training

Year:

1996

Language:

english

File:

PDF, 136 KB

english, 1996

9

Readers Write

Rosemarie Reeves, Tatyana Jarowski and Steve Engkilterra

Journal:

Mathematics Teaching in the Middle School

Year:

2001

Language:

english

File:

PDF, 1.91 MB

english, 2001

10

A somatic GNA11 mutation is associated with extremity capillary malformation and overgrowth

Couto, Javier A., Ayturk, Ugur M., Konczyk, Dennis J., Goss, Jeremy A., Huang, August Y., Hann, Steve, Reeve, Jennifer L., Liang, Marilyn G., Bischoff, Joyce, Warman, Matthew L., Greene, Arin K.

Journal:

Year:

2017

Language:

english

File:

PDF, 655 KB

english, 2017

11

[IEEE 2019 IEEE International Conference on Decentralized Applications and Infrastructures (DAPPCON) - Newark, CA, USA (2019.4.4-2019.4.9)] 2019 IEEE International Conference on Decentralized Applications and Infrastructures (DAPPCON) - Proof-of-Learning: A Blockchain Consensus Mechanism Based on Machine Learning Competitions

Bravo-Marquez, Felipe, Reeves, Steve, Ugarte, Martin

Year:

2019

Language:

english

File:

PDF, 138 KB

english, 2019

12

The Temple Bombing, and: The Gangster of Love, and: Atticus, and: Osler's Web: Inside the Labyrinth of the Chronic Fatigue Syndrome Epidemic, and: Slowness, and: So Long, See You Tomorrow, and: The Journals of the Lewis and Clark Expedition, and: The Cloister Walk, and: Fame and Folly, and: The Last Don, and: Th

Harmon, Kristen, Bro, Seth, Steck, Jim, Weinberg, Steve, Somerville, Kris, Morgan, Speer, Reynolds, Gordon, Somers, Evelyn, Hamilton, Reeves, Quinn, Carol, Johnson, Willoughby, Rogers, Brett

Journal:

The Missouri Review

Year:

1996

File:

PDF, 959 KB

1996

13

Generic Tools via General Refinement

Steve Reeves, David Streader

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 315 KB

english, 2008

14

Guarded Operations, Refinement and Simulation

Steve Reeves, David Streader

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 308 KB

english, 2009

15

Refinement for User Interface Designs

Judy Bowen, Steve Reeves

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 563 KB

english, 2008

16

General Refinement, Part Two: Flexible Refinement

Steve Reeves, David Streader

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 395 KB

english, 2008

17

General Refinement, Part One: Interfaces, Determinism and Special Refinement

Steve Reeves, David Streader

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 514 KB

english, 2008

18

Preface

Eerke Boiten, John Derrick, Steve Reeves

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 75 KB

english, 2009

19

Contexts, refinement and determinism

Steve Reeves, David Streader

Journal:

Science of Computer Programming

Year:

2011

Language:

english

File:

PDF, 426 KB

english, 2011

20

Estimating bed requirements for an intermediate care facility

Martin Utley, Steve Gallivan, Katie Davis, Patricia Daniel, Paula Reeves, Jennifer Worrall

Journal:

European Journal of Operational Research

Year:

2003

Language:

english

File:

PDF, 324 KB

english, 2003

21

Teaching formal methods lite via testing

Mark Utting, Steve Reeves

Journal:

Software Testing, Verification and Reliability

Year:

2001

Language:

english

File:

PDF, 166 KB

english, 2001

22

A Logic for Schema-Based Program Development

Martin C. Henson, Steve Reeves

Journal:

Formal Aspects of Computing

Year:

2003

Language:

english

File:

PDF, 292 KB

english, 2003

23

Refinement for user interface designs

Judy Bowen, Steve Reeves

Journal:

Formal Aspects of Computing

Year:

2009

Language:

english

File:

PDF, 615 KB

english, 2009

24

Data refinement and singleton failures refinement are not equivalent

Steve Reeves, David Streader

Journal:

Formal Aspects of Computing

Year:

2008

Language:

english

File:

PDF, 195 KB

english, 2008

25

Editorial

Eerke Boiten, John Derrick, Jin Song Dong, Steve Reeves

Journal:

Formal Aspects of Computing

Year:

2012

Language:

english

File:

PDF, 55 KB

english, 2012

26

Revising Z: Part II – logical development

Martin C. Henson, Steve Reeves

Journal:

Formal Aspects of Computing

Year:

1999

Language:

english

File:

PDF, 164 KB

english, 1999

27

Revising Z: Part I – logic and semantics

Martin C. Henson, Steve Reeves

Journal:

Formal Aspects of Computing

Year:

1999

Language:

english

File:

PDF, 190 KB

english, 1999

28

Exploring the structure of the space of compilation sequences using randomized search algorithms

Keith D. Cooper, Alexander Grosul, Timothy J. Harvey, Steve Reeves, Devika Subramanian, Linda Torczon, Todd Waterman

Journal:

The Journal of Supercomputing

Year:

2006

Language:

english

File:

PDF, 382 KB

english, 2006

29

Formal models for user interface design artefacts

Judy Bowen, Steve Reeves

Journal:

Innovations in Systems and Software Engineering

Year:

2008

Language:

english

File:

PDF, 434 KB

english, 2008

30

Stepwise Refinement of Processes

Steve Reeves, David Streader

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 370 KB

english, 2006

31

Formal Models for Informal GUI Designs

Judy Bowen, Steve Reeves

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 395 KB

english, 2007

32

Killing activity of neutrophils is mediated through activation of proteases by K+ flux

Reeves, Emer P., Lu, Hui, Jacobs, Hugues Lortat, Messina, Carlo G. M., Bolsover, Steve, Gabella, Giorgio, Potma, Eric O., Warley, Alice, Roes, Jürgen, Segal, Anthony W.

Journal:

Year:

2002

Language:

english

File:

PDF, 418 KB

english, 2002

33

The DAZ gene cluster on the human Y chromosome arose from an autosomal gene that was transposed, repeatedly amplified and pruned

Saxena, Richa, Brown, Laura G., Hawkins, Trevor, Alagappan, Raaji K., Skaletsky, Helen, Reeve, Mary Pat, Reijo, Renee, Rozen, Steve, Dinulos, Mary Beth, Disteche, Christine M.

Journal:

Nature Genetics

Year:

1996

File:

PDF, 1.17 MB

1996

34

Dynamic Functional Unit Assignment for Low Power

Steve Haga, Natasha Reeves, Rajeev Barua, Diana Marculescu

Journal:

The Journal of Supercomputing

Year:

2005

Language:

english

File:

PDF, 243 KB

english, 2005

35

Epitaxial growth and properties of GdN, EuN and SmN thin films

Franck Natali, Bart Ludbrook, Jules Galipaud, Natalie Plank, Simon Granville, Andrew Preston, Bin Le Do, Jan Richter, Ian Farrell, Roger Reeves, Steve Durbin, Joe Trodahl, Ben Ruck

Journal:

physica status solidi (c)

Year:

2012

Language:

english

File:

PDF, 444 KB

english, 2012

36

Thermodynamic Stability of Archaeal Histones†

Li, Wen-tyng, Grayling, Rowan A., Sandman, Kathleen, Edmondson, Steve, Shriver, John W., Reeve, John N.

Journal:

Year:

1998

Language:

english

File:

PDF, 224 KB

english, 1998

37

Identification and cellular localisation of voltage-operated calcium channels in immature rat testis

Alessandra Fragale, Salvatore Aguanno, Matthew Kemp, Matthew Reeves, Kerry Price, Ruth Beattie, Peter Craig, Steve Volsen, Emanuele Sher, Angela D’Agostino

Journal:

Molecular and Cellular Endocrinology

Year:

2000

Language:

english

File:

PDF, 2.78 MB

english, 2000

38

Future of Applied Watershed Science at Regional Scales

Benda, Lee, Miller, Daniel, Lanigan, Steve, Reeves, Gordon

Journal:

Eos Transactions American Geophysical Union

Year:

2009

Language:

english

File:

PDF, 126 KB

english, 2009

39

[Lecture Notes in Computer Science] Abstract State Machines, Alloy, B and Z Volume 5977 || Towards Formalizing Network Architectural Descriptions

Frappier, Marc, Glässer, Uwe, Khurshid, Sarfraz, Laleau, Régine, Reeves, Steve

Year:

2010

Language:

english

File:

PDF, 211 KB

english, 2010

40

[Lecture Notes in Computer Science] Abstract State Machines, Alloy, B, VDM, and Z Volume 7316 || Learn and Test for Event-B – A Rodin Plugin

Derrick, John, Fitzgerald, John, Gnesi, Stefania, Khurshid, Sarfraz, Leuschel, Michael, Reeves, Steve, Riccobene, Elvinia

Year:

2012

Language:

english

File:

PDF, 264 KB

english, 2012

41

Long-term variations in solar wind velocity and radiation belt electrons

Reeves, Geoff, Morley, Steve, Cunningham, Greg

Journal:

Journal of Geophysical Research: Space Physics

Year:

2013

Language:

english

File:

PDF, 2.11 MB

english, 2013

42

[Lecture Notes in Computer Science] Abstract State Machines, Alloy, B, VDM, and Z Volume 7316 || A Practical Event-B Refinement Method Based on a UML-Driven Development Process

Derrick, John, Fitzgerald, John, Gnesi, Stefania, Khurshid, Sarfraz, Leuschel, Michael, Reeves, Steve, Riccobene, Elvinia

Year:

2012

Language:

english

File:

PDF, 236 KB

english, 2012

43

[Lecture Notes in Computer Science] Abstract State Machines, Alloy, B and Z Volume 5977 || Supporting Reuse in Event B Development: Modularisation Approach

Frappier, Marc, Glässer, Uwe, Khurshid, Sarfraz, Laleau, Régine, Reeves, Steve

Year:

2010

Language:

english

File:

PDF, 205 KB

english, 2010

44

Editorial

Jonathan P. Bowen, Michael Butler, Steve Reeves…

Journal:

Formal Aspects of Computing

Year:

2013

Language:

english

File:

PDF, 54 KB

english, 2013

45

UI-design driven model-based testing

Judy Bowen, Steve Reeves

Journal:

Innovations in Systems and Software Engineering

Year:

2013

Language:

english

File:

PDF, 599 KB

english, 2013

46

[Lecture Notes in Computer Science] Abstract State Machines, Alloy, B, VDM, and Z Volume 7316 || Temporal Logic Model Checking in Alloy

Derrick, John, Fitzgerald, John, Gnesi, Stefania, Khurshid, Sarfraz, Leuschel, Michael, Reeves, Steve, Riccobene, Elvinia

Year:

2012

Language:

english

File:

PDF, 262 KB

english, 2012

47

Internalization and biodistribution of polymersomes into oral squamous cell carcinoma cells in vitro and in vivo

Murdoch, Craig, Reeves, Kim J, Hearnden, Vanessa, Colley, Helen, Massignani, Marzia, Canton, Irene, Madsen, Jeppe, Blanazs, Adam, Armes, Steve P, Lewis, Andrew L, MacNeil, Sheila, Brown, Nicola J, Tho

Journal:

Year:

2010

Language:

english

File:

PDF, 6.40 MB

english, 2010

48

[Lecture Notes in Computer Science] Abstract State Machines, Alloy, B, VDM, and Z Volume 7316 || A Pattern for Modelling Fault Tolerant Systems in Event-B

Derrick, John, Fitzgerald, John, Gnesi, Stefania, Khurshid, Sarfraz, Leuschel, Michael, Reeves, Steve, Riccobene, Elvinia

Year:

2012

Language:

english

File:

PDF, 638 KB

english, 2012

49

[Lecture Notes in Computer Science] Abstract State Machines, Alloy, B and Z Volume 5977 || Event-B Decomposition for Parallel Programs

Frappier, Marc, Glässer, Uwe, Khurshid, Sarfraz, Laleau, Régine, Reeves, Steve

Year:

2010

Language:

english

File:

PDF, 264 KB

english, 2010

50

Editorial

Boiten, Eerke A., Derrick, John, Reeves, Steve

Journal:

Formal Aspects of Computing

Year:

2014

Language:

english

File:

PDF, 56 KB

english, 2014