dblp.uni-trier.dewww.uni-trier.de

Lindsay Groves

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
25EELindsay Groves, Robert Colvin: Trace-based derivation of a scalable lock-free stack algorithm. Formal Asp. Comput. 21(1-2): 187-223 (2009)
2008
24EEScott Uk-Jin Lee, Jing Sun, Gillian Dobbie, Lindsay Groves, Yuan-Fang Li: Correctness Criteria for Normalization of Semistructured Data. Australian Software Engineering Conference 2008: 248-257
23EELindsay Groves: Verifying Michael and Scott's Lock-Free Queue Algorithm using Trace Reduction. CATS 2008: 133-142
22EELindsay Groves: Trace-based Derivation of a Lock-Free Queue Algorithm. Electr. Notes Theor. Comput. Sci. 201: 69-98 (2008)
2007
21EELindsay Groves: Reasoning about Nonblocking Concurrency using Reduction. ICECCS 2007: 107-116
20EERobert Colvin, Lindsay Groves: A Scalable Lock-Free Stack Algorithm and its Verification. SEFM 2007: 339-348
19EEBernhard K. Aichernig, Eerke A. Boiten, John Derrick, Lindsay Groves: Preface. Electr. Notes Theor. Comput. Sci. 187: 1 (2007)
18EELindsay Groves, Robert Colvin: Derivation of a Scalable Lock-Free Stack Algorithm. Electr. Notes Theor. Comput. Sci. 187: 55-74 (2007)
2006
17EELin Wang, Gillian Dobbie, Jing Sun, Lindsay Groves: Validating ORA-SS Data Models using Alloy. ASWEC 2006: 231-242
16EERobert Colvin, Lindsay Groves, Victor Luchangco, Mark Moir: Formal Verification of a Lazy Concurrent List-Based Set Algorithm. CAV 2006: 475-488
15 Scott Uk-Jin Lee, Gillian Dobbie, Jing Sun, Lindsay Groves: A PVS Approach to Verifying ORA-SS Data Models. SEKE 2006: 126-131
2005
14EERobert Colvin, Lindsay Groves: Formal Verification of an Array-Based Nonblocking Queue. ICECCS 2005: 507-516
13EELindsay Groves: Practical Data Refinement for the Z Schema Calculus. ZB 2005: 393-413
12EERobert Colvin, Simon Doherty, Lindsay Groves: Verifying Concurrent Data Structures by Simulation. Electr. Notes Theor. Comput. Sci. 137(2): 93-110 (2005)
2004
11EESimon Doherty, Lindsay Groves, Victor Luchangco, Mark Moir: Formal Verification of a Practical Lock-Free Queue Algorithm. FORTE 2004: 97-114
10EERobert Colvin, Lindsay Groves, Ian J. Hayes, David Hemer, Ray Nickson, Paul A. Strooper: Developing Logic Programs from Specifications Using Stepwise Refinement. Program Development in Computational Logic 2004: 66-89
9EESimon Doherty, David Detlefs, Lindsay Groves, Christine H. Flood, Victor Luchangco, Paul A. Martin, Mark Moir, Nir Shavit, Guy L. Steele Jr.: DCAS is not a silver bullet for nonblocking algorithm design. SPAA 2004: 216-224
2002
8EELindsay Groves: Refinement and the Z schema calculus. Electr. Notes Theor. Comput. Sci. 70(3): (2002)
2000
7EELindsay Groves: A formal approach to program modification. APSEC 2000: 274-281
6EELindsay Groves, Ray Nickson, Greg Reeve, Steve Reeves, Mark Utting: A Survey of Software Development Practices in the New Zealand Software Industry . Australian Software Engineering Conference 2000: 189-202
1995
5EELindsay Groves: Deriving Programs by Combining and Adapting Refinement Scripts. APSEC 1995: 354-363
4 James Noble, Lindsay Groves, Robert Biddle: Object Oriented Program Visualisation in Tarraingim. Australian Computer Journal 27(4): 138-149 (1995)
1992
3 James Noble, Lindsay Groves: An Introduction to the Tarraingím Program Animation Environment. TOOLS (6) 1992: 37-50
1988
2 Zbigniew Michalewicz, Lindsay Groves: Sets and Uncertainty in Relational Databases. IPMU 1988: 127-137
1982
1 Lindsay Groves: Using Simple English Sentences to Call Procedures. SIGPLAN Notices 17(11): 31-38 (1982)

Coauthor Index

1Bernhard K. Aichernig [19]
2Robert Biddle [4]
3Eerke A. Boiten [19]
4Robert Colvin [10] [12] [14] [16] [18] [20] [25]
5John Derrick [19]
6David Detlefs [9]
7Gillian Dobbie [15] [17] [24]
8Simon Doherty [9] [11] [12]
9Christine H. Flood [9]
10Ian J. Hayes [10]
11David Hemer [10]
12Scott Uk-Jin Lee [15] [24]
13Yuan-Fang Li [24]
14Victor Luchangco [9] [11] [16]
15Paul A. Martin [9]
16Zbigniew Michalewicz [2]
17Mark Moir [9] [11] [16]
18Ray Nickson [6] [10]
19James Noble [3] [4]
20Greg Reeve [6]
21Steve Reeves [6]
22Nir Shavit [9]
23Guy L. Steele Jr. [9]
24Paul A. Strooper [10]
25Jing Sun [15] [17] [24]
26Mark Utting [6]
27Lin Wang [17]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)