Author: John A. Keane
Publications
Co-authors
Productive Colleagues
Publications
Hussak, Walter, Keane, John A. (1999): Formal Analysis of Memory Requirements. In Requir. Eng., 4 (4) pp. 188-197. https://springerlink.metapress.com/openurl.asp?genre=article&issn=1432-010X&volume=4&issue=4&spage=188
Hussak, Walter, Keane, John A. (1996): Expressing Requirements on a Parallel System Formally. In Requir. Eng., 1 (4) pp. . https://
Keane, John A., Franklin, T. N., Dipper, R., Grant, A. J., Sumner, R., Xu, Ming Q. (1995): Benchmarking financial database queries on a parallel machine. In: HICSS 1995 , 1995, . pp. 402-411. https://csdl.computer.org/comp/proceedings/hicss/1995/6935/00/69350402abs.htm
Keane, John A., Hussak, Walter (2000): A Method of Verification in Design. In: HICSS 2000 , 2000, . https://csdl.computer.org/comp/proceedings/hicss/2000/0493/08/04938009abs.htm
Palakvangsa-Na-Ayudhya, Srisupa, Keane, John A. (2006): Proximity within paragraph: a measure to enhance document retrieval performance. In: Proceedings of the 2006 International Conference on the World Wide Web , 2006, . pp. 1033-1034. https://doi.acm.org/10.1145/1135777.1136001