Author: Radharamanan Radhakrishnan

Publications

Co-authors

Christopher H. Young

1

Nael B. Abu-Ghazaleh

1

Philip A. Wilsey

2

Productive Colleagues

Nael B. Abu-Ghazaleh

3

Perry Alexander

4

Philip A. Wilsey

5

Publications

Frey, Peter, Radhakrishnan, Radharamanan, Wilsey, Philip A., Alexander, Perry, Carter, Harold W. (1999): An Extensible Formal Framework for the Specification and Verification of an Optimistic Sim. In: HICSS 1999 , 1999, . https://csdl.computer.org/comp/proceedings/hicss/1999/0001/03/00013049abs.htm

Young, Christopher H., Abu-Ghazaleh, Nael B., Radhakrishnan, Radharamanan, Wilsey, Philip A. (1999): Performance Benefits of Optimism in Fossil Collection. In: HICSS 1999 , 1999, . https://csdl.computer.org/comp/proceedings/hicss/1999/0001/08/00018050abs.htm