Philip A. Wilsey

Personal Homepage

Publication Statistics

Publication period start
Publication period end
Number of co-authors

Number of publications with favourite co-authors

Productive Colleagues
Most productive colleagues in number of 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, .

Young, Christopher H., Abu-Ghazaleh, Nael B., Radhakrishnan, Radharamanan, Wilsey, Philip A. (1999): Performance Benefits of Optimism in Fossil Collection. In: HICSS 1999 , 1999, .

Andersen, Peter J., Wilsey, Philip A. (1998): A Comparison of Alternative Extensions for Data Modeling in VHDL. In: HICSS 1998 , 1998, . pp. 207-215.

Martin, Dale E., McBrayer, Timothy J., Wilsey, Philip A. (1996): WARPED: Time Warp Simulation Kernel for Analysis and Application Development. In: HICSS 1996 , 1996, . pp. 383-386.

Young, Christopher H., Wilsey, Philip A. (1996): Optimistic Fossil Collection for Time Warp Simulation. In: HICSS 1996 , 1996, . pp. 364-372.