Yuri Gurevich
Partially supported by NSF grant DMS--9505118. Mathematics Department, University of Michigan

---

	Y. Gurevich, N. Soparkar, C. Wallace: Formalizing Database Recovery /jucs_3_4/formalizing_database	page 320 - 340 Vol.3 / Issue 4
	S. Dexter, P. Doyle, Y. Gurevich: Gurevich Abstract State Machines and Schoenhage Storage Modification Machines /jucs_3_4/gurevich_abstract_state_machines	page 279 - 303 Vol.3 / Issue 4
	A. Blass, Y. Gurevich: The Linear Time Hierarchy Theorems for Abstract State Machines and RAMs /jucs_3_4/linear_time_hierarchy	page 247 - 278 Vol.3 / Issue 4
	Y. Gurevich, N. Tillmann: Partial Updates: Exploration /jucs_7_11/partial_updates_exploration	page 917 - 951 Vol.7 / Issue 11
	Y. Gurevich, M. Spielmann: Recursive Abstract State Machines /jucs_3_4/recursiv_abstract	page 233 - 246 Vol.3 / Issue 4