- CSB - MetaPress - Google - Bing - Yahoo
 | 2011 | |
|---|---|---|
| c23 |      | Keith Cassell, Craig Anslow, Lindsay Groves, Peter Andreae: Visualizing the Refactoring of Classes via Clustering. ACSC 2011: 63-72 |
| c22 |  | Keith Cassell, Peter Andreae, Lindsay Groves: A Dual Clustering Approach to the Extract Class Refactoring. SEKE 2011: 77-82 |
| 2010 | ||
| j11 | | 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) |
| c21 | | |
| c20 | | |
| 2009 | ||
| j10 | | Lindsay Groves, Robert Colvin: Trace-based derivation of a scalable lock-free stack algorithm. Formal Asp. Comput. 21(1-2): 187-223 (2009) |
| j9 | | |
| j8 | | 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) |
| c19 | | Keith Cassell, Peter Andreae, Lindsay Groves, James Noble: Towards Automating Class-Splitting Using Betweenness Clustering. ASE 2009: 595-599 |
| 2008 | ||
| j7 | | Lindsay Groves: Trace-based Derivation of a Lock-Free Queue Algorithm. Electr. Notes Theor. Comput. Sci. 201: 69-98 (2008) |
| c18 | | 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 |
| c17 | | Lindsay Groves: Verifying Michael and Scott's Lock-Free Queue Algorithm using Trace Reduction. CATS 2008: 133-142 |
| c16 | | Scott Uk-Jin Lee, Jing Sun, Gillian Dobbie, Lindsay Groves: Verifying Semistructured Data Normalization Using PVS. ICECCS 2008: 15-24 |
| 2007 | ||
| j6 | | Bernhard K. Aichernig, Eerke A. Boiten, John Derrick, Lindsay Groves: Preface. Electr. Notes Theor. Comput. Sci. 187: 1 (2007) |
| j5 | | Lindsay Groves, Robert Colvin: Derivation of a Scalable Lock-Free Stack Algorithm. Electr. Notes Theor. Comput. Sci. 187: 55-74 (2007) |
| c15 | | |
| c14 | | Robert Colvin, Lindsay Groves: A Scalable Lock-Free Stack Algorithm and its Verification. SEFM 2007: 339-348 |
| 2006 | ||
| c13 | | Lin Wang, Gillian Dobbie, Jing Sun, Lindsay Groves: Validating ORA-SS Data Models using Alloy. ASWEC 2006: 231-242 |
| c12 | | Robert Colvin, Lindsay Groves, Victor Luchangco, Mark Moir: Formal Verification of a Lazy Concurrent List-Based Set Algorithm. CAV 2006: 475-488 |
| c11 | | Scott Uk-Jin Lee, Gillian Dobbie, Jing Sun, Lindsay Groves: A PVS Approach to Verifying ORA-SS Data Models. SEKE 2006: 126-131 |
| 2005 | ||
| j4 | | Robert Colvin, Simon Doherty, Lindsay Groves: Verifying Concurrent Data Structures by Simulation. Electr. Notes Theor. Comput. Sci. 137(2): 93-110 (2005) |
| c10 | | Robert Colvin, Lindsay Groves: Formal Verification of an Array-Based Nonblocking Queue. ICECCS 2005: 507-516 |
| c9 | | |
| 2004 | ||
| c8 | | Simon Doherty, Lindsay Groves, Victor Luchangco, Mark Moir: Formal Verification of a Practical Lock-Free Queue Algorithm. FORTE 2004: 97-114 |
| c7 | | 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 |
| c6 | | 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 | ||
| j3 | | Lindsay Groves: Refinement and the Z schema calculus. Electr. Notes Theor. Comput. Sci. 70(3): 70-93 (2002) |
| 2000 | ||
| c5 | | |
| c4 | | 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 | ||
| j2 | | James Noble, Lindsay Groves, Robert Biddle: Object Oriented Program Visualisation in Tarraingim. Australian Computer Journal 27(4): 138-149 (1995) |
| c3 | | |
| 1992 | ||
| c2 | | James Noble, Lindsay Groves: An Introduction to the Tarraingím Program Animation Environment. TOOLS (6) 1992: 37-50 |
| 1988 | ||
| c1 | | Zbigniew Michalewicz, Lindsay Groves: Sets and Uncertainty in Relational Databases. IPMU 1988: 127-137 |
| 1982 | ||
| j1 | | Lindsay Groves: Using Simple English Sentences to Call Procedures. SIGPLAN Notices 17(11): 31-38 (1982) |
Data released under the ODC-BY 1.0 license — See also our legal information page