Statistics
Publications
3
Citations
160
H-Index
3
Active since
1988
Affiliations
The University of Texas at Austin(Current)
Gregory D. Speegle is an author at The University of Texas at Austin specializing in transactions, concurrency control, and formal methods.
Publications per year
1988–2002
3
3
Formal model of correctness without serializabilty
H. K. Korth, Gregory D. Speegle · ACM SIGMOD Record · 1988 · 103 citations
Long-duration transactions in software design projects
Henry F. Korth, Gregory D. Speegle · 2002 · 32 citations
Formal model of correctness without serializabilty
H. K. Korth, Gregory D. Speegle · 1988 · 25 citations · Full text
1–3 of 3