Shirley Goldrei

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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)

	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)

Coauthor Index

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 (Anthony Sloane, Tony Sloane) [1]

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page

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 (Anthony Sloane, Tony Sloane)	[1]