2009 | ||
---|---|---|
3 | Alan Fekete, Shirley Goldrei, Jorge Perez Asenjo: Quantifying Isolation Anomalies. PVLDB 2(1): 467-478 (2009) | |
2008 | ||
2 | Leonard G. C. Hamey, Shirley Goldrei: Implementing a Domain-Specific Language Using Stratego/XT: An Experience Paper. Electr. Notes Theor. Comput. Sci. 203(2): 37-51 (2008) | |
2004 | ||
1 | Shirley Goldrei, Anthony M. Sloane: Using Off-the-Shelf Formal Methods to Verify Attribute Grammar Properties. Electr. Notes Theor. Comput. Sci. 110: 33-54 (2004) |
1 | Jorge Perez Asenjo | [3] |
2 | Alan Fekete (Alan David Fekete, A. D. Fekete) | [3] |
3 | Leonard G. C. Hamey | [2] |
4 | Anthony M. Sloane | [1] |