Lindsay Groves

	2011
32		Keith Cassell, Peter Andreae, Lindsay Groves: A Dual Clustering Approach to the Extract Class Refactoring. SEKE 2011: 77-82
	2010
31		Petra Malik, Lindsay Groves, Clare Lenihan: Translating Z to Alloy. ASM 2010: 377-390
30		Scott Uk-Jin Lee, Gillian Dobbie, Jing Sun, Lindsay Groves: Theorem prover approach to semistructured data design. Formal Methods in System Design 37(1): 1-60 (2010)
	2009
29		Keith Cassell, Peter Andreae, Lindsay Groves, James Noble: Towards Automating Class-Splitting Using Betweenness Clustering. ASE 2009: 595-599
28		Lindsay Groves, Robert Colvin: Trace-based derivation of a scalable lock-free stack algorithm. Formal Asp. Comput. 21(1-2): 187-223 (2009)
27		Scott Uk-Jin Lee, Gillian Dobbie, Jing Sun, Lindsay Groves: Formal Verification of Semistructured Data Models in PVS. J. UCS 15(1): 241-272 (2009)
26		Lindsay Groves: Reasoning about Nonblocking Concurrency. J. UCS 15(1): 72-111 (2009)
	2008
25		Scott 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
24		Lindsay Groves: Verifying Michael and Scott's Lock-Free Queue Algorithm using Trace Reduction. CATS 2008: 133-142
23		Scott Uk-Jin Lee, Jing Sun, Gillian Dobbie, Lindsay Groves: Verifying Semistructured Data Normalization Using PVS. ICECCS 2008: 15-24
22		Lindsay Groves: Trace-based Derivation of a Lock-Free Queue Algorithm. Electr. Notes Theor. Comput. Sci. 201: 69-98 (2008)
	2007
21		Lindsay Groves: Reasoning about Nonblocking Concurrency using Reduction. ICECCS 2007: 107-116
20		Robert Colvin, Lindsay Groves: A Scalable Lock-Free Stack Algorithm and its Verification. SEFM 2007: 339-348
19		Bernhard K. Aichernig, Eerke A. Boiten, John Derrick, Lindsay Groves: Preface. Electr. Notes Theor. Comput. Sci. 187: 1 (2007)
18		Lindsay Groves, Robert Colvin: Derivation of a Scalable Lock-Free Stack Algorithm. Electr. Notes Theor. Comput. Sci. 187: 55-74 (2007)
	2006
17		Lin Wang, Gillian Dobbie, Jing Sun, Lindsay Groves: Validating ORA-SS Data Models using Alloy. ASWEC 2006: 231-242
16		Robert 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
14		Robert Colvin, Lindsay Groves: Formal Verification of an Array-Based Nonblocking Queue. ICECCS 2005: 507-516
13		Lindsay Groves: Practical Data Refinement for the Z Schema Calculus. ZB 2005: 393-413
12		Robert Colvin, Simon Doherty, Lindsay Groves: Verifying Concurrent Data Structures by Simulation. Electr. Notes Theor. Comput. Sci. 137(2): 93-110 (2005)
	2004
11		Simon Doherty, Lindsay Groves, Victor Luchangco, Mark Moir: Formal Verification of a Practical Lock-Free Queue Algorithm. FORTE 2004: 97-114
10		Robert 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
9		Simon 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
8		Lindsay Groves: Refinement and the Z schema calculus. Electr. Notes Theor. Comput. Sci. 70(3): 70-93 (2002)
	2000
7		Lindsay Groves: A formal approach to program modification. APSEC 2000: 274-281
6		Lindsay 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
5		Lindsay 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

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

Colors in the list of coauthors

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page