The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Lindsay Groves: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Lindsay Groves
    A formal approach to program modification. [Citation Graph (0, 0)][DBLP]
    APSEC, 2000, pp:274-281 [Conf]
  2. Lindsay Groves
    Deriving Programs by Combining and Adapting Refinement Scripts. [Citation Graph (0, 0)][DBLP]
    APSEC, 1995, pp:354-363 [Conf]
  3. Lindsay Groves, Ray Nickson, Greg Reeve, Steve Reeves, Mark Utting
    A Survey of Software Development Practices in the New Zealand Software Industry . [Citation Graph (0, 0)][DBLP]
    Australian Software Engineering Conference, 2000, pp:189-202 [Conf]
  4. Lin Wang, Gillian Dobbie, Jing Sun, Lindsay Groves
    Validating ORA-SS Data Models using Alloy. [Citation Graph (0, 0)][DBLP]
    ASWEC, 2006, pp:231-242 [Conf]
  5. Robert Colvin, Lindsay Groves, Victor Luchangco, Mark Moir
    Formal Verification of a Lazy Concurrent List-Based Set Algorithm. [Citation Graph (0, 0)][DBLP]
    CAV, 2006, pp:475-488 [Conf]
  6. Simon Doherty, Lindsay Groves, Victor Luchangco, Mark Moir
    Formal Verification of a Practical Lock-Free Queue Algorithm. [Citation Graph (0, 0)][DBLP]
    FORTE, 2004, pp:97-114 [Conf]
  7. Robert Colvin, Lindsay Groves
    Formal Verification of an Array-Based Nonblocking Queue. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2005, pp:507-516 [Conf]
  8. Zbigniew Michalewicz, Lindsay Groves
    Sets and Uncertainty in Relational Databases. [Citation Graph (0, 0)][DBLP]
    IPMU, 1988, pp:127-137 [Conf]
  9. Robert Colvin, Lindsay Groves, Ian J. Hayes, David Hemer, Ray Nickson, Paul A. Strooper
    Developing Logic Programs from Specifications Using Stepwise Refinement. [Citation Graph (0, 0)][DBLP]
    Program Development in Computational Logic, 2004, pp:66-89 [Conf]
  10. Scott Uk-Jin Lee, Gillian Dobbie, Jing Sun, Lindsay Groves
    A PVS Approach to Verifying ORA-SS Data Models. [Citation Graph (0, 0)][DBLP]
    SEKE, 2006, pp:126-131 [Conf]
  11. 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. [Citation Graph (0, 0)][DBLP]
    SPAA, 2004, pp:216-224 [Conf]
  12. Lindsay Groves
    Practical Data Refinement for the Z Schema Calculus. [Citation Graph (0, 0)][DBLP]
    ZB, 2005, pp:393-413 [Conf]
  13. James Noble, Lindsay Groves
    An Introduction to the Tarraingím Program Animation Environment. [Citation Graph (0, 0)][DBLP]
    TOOLS (6), 1992, pp:37-50 [Conf]
  14. James Noble, Lindsay Groves, Robert Biddle
    Object Oriented Program Visualisation in Tarraingim. [Citation Graph (0, 0)][DBLP]
    Australian Computer Journal, 1995, v:27, n:4, pp:138-149 [Journal]
  15. Robert Colvin, Simon Doherty, Lindsay Groves
    Verifying Concurrent Data Structures by Simulation. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:137, n:2, pp:93-110 [Journal]
  16. Lindsay Groves
    Refinement and the Z schema calculus. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:70, n:3, pp:- [Journal]
  17. Lindsay Groves
    Using Simple English Sentences to Call Procedures. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 1982, v:17, n:11, pp:31-38 [Journal]
  18. Lindsay Groves
    Reasoning about Nonblocking Concurrency using Reduction. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2007, pp:107-116 [Conf]
  19. Bernhard K. Aichernig, Eerke A. Boiten, John Derrick, Lindsay Groves
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:187, n:, pp:1- [Journal]
  20. Lindsay Groves, Robert Colvin
    Derivation of a Scalable Lock-Free Stack Algorithm. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:187, n:, pp:55-74 [Journal]

  21. Translating Z to Alloy. [Citation Graph (, )][DBLP]


  22. Correctness Criteria for Normalization of Semistructured Data. [Citation Graph (, )][DBLP]


  23. Verifying Michael and Scott's Lock-Free Queue Algorithm using Trace Reduction. [Citation Graph (, )][DBLP]


  24. Verifying Semistructured Data Normalization Using PVS. [Citation Graph (, )][DBLP]


  25. Towards Automating Class-Splitting Using Betweenness Clustering. [Citation Graph (, )][DBLP]


  26. A Scalable Lock-Free Stack Algorithm and its Verification. [Citation Graph (, )][DBLP]


  27. Trace-based Derivation of a Lock-Free Queue Algorithm. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002