Skip to navigation | Skip to main content | Skip to footer
Menu
Menu Search the University of Manchester siteSearch
Search type

Alternatively, use our A–Z index

Prof John Keane - publications

List of publications

2017

2016

  • Al-Riyami, A., Zhang, N., & Keane, J. (2016). Impact of Hash Value Truncation on ID Anonymity in Wireless Sensor Networks. Ad Hoc Networks, 45, 80-103. DOI: 10.1016/j.adhoc.2016.02.019. Publication link: 85a9bf6d-e6a6-4900-9a09-ea6b28fe8388
  • Gledson, A., Asfiandy, D., Mellor, J., Ba-Dhfari, T. O. F., Stringer, G., Couth, S., ... Keane, J. (2016). Combining mouse and keyboard events with higher level desktop actions to detect mild cognitive impairment. Paper presented at IEEE International Conference on Healthcare Informatics , Chicago, United States.DOI: 10.1109/ICHI.2016.22. Publication link: 40f27686-70c8-4d23-8993-70288dc277b5
  • Al-Riyami, A., Zhang, N., & Keane, J. (2016). An Adaptive Early Node Compromise Detection Scheme for Hierarchical WSNs. IEEE Access, 4. DOI: 10.1109/ACCESS.2016.2594478. Publication link: 2f8f4fc4-8c2d-4748-8016-62fa62df06b6
  • Stivaros, S., Radon, M., Keane, J., Griffiths, P., Mileva, R., Connolly, D., ... Batty, R. (2016). Quantification of structural changes in the corpus callosumin children with profound hypoxic–ischaemic brain injury. Pediatric Radiology, 1-9. . Publication link: a1b93708-979c-484f-aed3-669c9ea328f7

2015

2014

2013

  • Tian, D., Gledson, A., Antoniades, A., Aristodimou, A., Dimitrios, N., Sahay, R., ... Keane, J. (2013). A bayesian association rule mining algorithm. In Proceedings - 2013 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2013|Proc. - IEEE Int. Conf. Syst., Man, Cybern., SMC. (pp. 3258-3264). IEEE Xplore. DOI: 10.1109/SMC.2013.555. Publication link: 046f4cec-681b-468a-b0d4-09e1780e4385
  • Kovačević, A., Dehghan, A., Filannino, M., Keane, J. A., & Nenadic, G. (2013). Combining rules and machine learning for extraction of temporal expressions and events from clinical narratives. Journal of the American Medical Informatics Association, 20(5), 859-866. DOI: 10.1136/amiajnl-2013-001625. Publication link: 6c459eae-4583-455d-9ec6-80adb154ef39
  • Wang, D., Zeng, X. J., & Keane, J. A. (2013). A simplified structure evolving method for Mamdani fuzzy system identification and its application to high-dimensional problems. Information Sciences, 220, 110-123. DOI: 10.1016/j.ins.2011.12.033. Publication link: abbbb8e8-72fd-4916-a317-283f9ad46c34

2012

2011

  • Tian, D., Zeng, X. J., & Keane, J. (2011). Core-generating approximate minimum entropy discretization for rough set feature selection in pattern classification. International Journal of Approximate Reasoning, 52(6), 863-880. DOI: 10.1016/j.ijar.2011.03.001. Publication link: e6f3a548-e838-42d9-9b97-8fe7cd25be1d
  • Wang, D., Zeng, X. J., & Keane, J. A. (2011). An output-constrained clustering approach for the identification of fuzzy systems and fuzzy granular systems. IEEE Transactions on Fuzzy Systems, 19(6), 1127-1140. [5951753]. DOI: 10.1109/TFUZZ.2011.2161612. Publication link: bef5375c-75b7-43c0-b263-4aa129479ef2
  • Tian, D., Zeng, X. J., & Keane, J. (2011). Core-generating discretization for rough set feature selection. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 6499, 135-158. DOI: 10.1007/978-3-642-18302-7_9. Publication link: f90bd784-888c-4f59-b631-4a5d8b67ff82
  • Thompson, P., Kano, Y., McNaught, J., Pettifer, S., Attwood, T., Keane, J., & Ananiadou, S. (2011). Promoting Interoperability of Resources in META-SHARE. In C. N, I. T, P. S, & S. V (Eds.), IJCNLP 2011 Proceedings of the Workshop on Language Resources,Technology and Services in the Sharing Paradigm. (pp. 50-58). Asian Federation of Natural Language Processing. . Publication link: 1fd6fc11-3f33-43e2-8695-2aab079e467f
  • Ananiadou, S., Thompson, P., Kano, Y., McNaught, J., Attwood, T., Day, P. J. R., ... Pettifer, S. (2011). Towards Interoperability of European Language Resources. Ariadne, 67. . Publication link: 3defeb41-695d-44b8-8044-5654c807c6e5

2010

2009

  • Mao, H., Zeng, X. J., Leng, G., Zhai, Y. J., & Keane, J. A. (2009). Short-term and midterm load forecasting using a bilevel optimization model. IEEE Transactions on Power Systems, 24(2), 1080-1090. DOI: 10.1109/TPWRS.2009.2016609. Publication link: 8a39c21c-1c96-49dc-9396-aea69e4ad614
  • Zhang, S., Tjortjis, C., Zeng, X., Qiao, H., Buchan, I., & Keane, J. (2009). Comparing data mining methods with logistic regression in childhood obesity prediction. Information Systems Frontiers, 11(4), 449-460. DOI: 10.1007/s10796-009-9157-0. Publication link: 47b72e23-f9d6-4b04-90c4-94d930725f3c
  • Yang, H., Spasic, I., Keane, J. A., & Nenadic, G. (2009). A Text Mining Approach to the Prediction of Disease Status from Clinical Discharge Summaries. Journal of the American Medical Informatics Association, 16(4), 596-600. DOI: 10.1197/jamia.M3096. Publication link: df75d334-0f3f-45bb-a7af-ccb95f1e9873
  • Wang, D., Zeng, X. J., & Keane, J. A. (2009). Intermediate variable normalization for gradient descent learning for hierarchical fuzzy system. IEEE Transactions on Fuzzy Systems, 17(2), 468-476. DOI: 10.1109/TFUZZ.2009.2014940. Publication link: ce297ba6-e0d0-4b02-b117-14ccd1031530
  • Haglin, D. J., Mayes, K., Manning, A., Feo, J., Gurd, J. R., Elliot, M., & Keane, J. A. (2009). Factors affecting the performance of parallel mining of minimal unique itemsets on diverse architectures. Concurrency and Computation: Practice & Experience, 21(9), 1131-1158. DOI: 10.1002/cpe.1379. Publication link: ab2fc09b-f657-483d-9391-b428257f8872
  • Ayubi, S., Muyeba, M. K., Baraani, A., & Keane, J. (2009). An algorithm to mine general association rules from tabular data. Information Sciences, 179(20), 3520-3539. DOI: 10.1016/j.ins.2009.06.021. Publication link: 9a3cc3e3-077b-4cdd-8011-8b777a4f2b75

2008

  • Yang, H., Nenadic, G., & Keane, J. A. (2008). Identification of transcription factor contexts in literature using machine learning approaches. In BMC Bioinformatics|BMC Bioinform.. (Vol. 9). BioMed Central. DOI: 10.1186/1471-2105-9-S3-S11. Publication link: 7607fa8a-e0e7-4dd9-a1f5-6032eef3b793
  • Zeng, X. J., Goulermas, J. Y., Liatsis, P., Wang, D., & Keane, J. A. (2008). Hierarchical fuzzy systems for function approximation on discrete input spaces with application. IEEE Transactions on Fuzzy Systems, 16(5), 1197-1215. DOI: 10.1109/TFUZZ.2008.924343. Publication link: 6ff2ba39-6ddf-45c5-9291-2c66209877ff
  • Stivaros, S., Nenadic, G., Zeng, X., Keane, J., & Jackson, A. (2008). Decision support system for treatment planning and outcome prediction in aneurysmal subarachnoid haemorrhage. Poster session presented at Computer Assisted Radiology and Surgery 2008, Barcelona, .. Publication link: 5dd887c5-d2ef-48ee-97e3-1f7c0178f34f
  • Stivaros, S., Nenadic, G., Zeng, X., Keane, J., & Jackson, A. (2008). Computational Treatment Prediction of Subarachnoid Haemorrhage. Poster session presented at British Society of Neuroradiologists (BSNR) 2008, Manchester, .. Publication link: 8f2f743c-d075-4572-ac63-1ec6a563963e
  • Cao, X. B., Qiao, H., & Keane, J. (2008). A low-cost pedestrian-detection system with a single optical camera. IEEE Transactions on Intelligent Transportation Systems, 9(1), 58-67. [4391026]. DOI: 10.1109/TITS.2007.909239. Publication link: 86652750-5a44-44c2-bb1d-19c98af99f8c
  • Yiapanis, P., Haglin, D. J., Manning, A. M., Mayes, K., & Keane, J. (2008). Variable-grain and dynamic work generation for minimal unique itemset mining. In Proceedings - IEEE International Conference on Cluster Computing, ICCC|Proc. IEEE Int. Conf. Cluster Comput. ICCC. (pp. 33-41). IEEE. DOI: 10.1109/CLUSTR.2008.4663753. Publication link: e85a9652-d7b9-40f0-b40e-4ab9754844fd
  • Wang, D., Zeng, X. J., & Keane, J. A. (2008). An incremental construction learning algorithm for identification of T-S fuzzy systems. In IEEE International Conference on Fuzzy Systems|IEEE Int Conf Fuzzy Syst. (pp. 1660-1666). IEEE. DOI: 10.1109/FUZZY.2008.4630594. Publication link: db7cebc6-f85c-4ba0-8cab-95145acb0741
  • Yang, H., Nenadic, G., & Keane, J. A. (2008). Identification of transcription factor contexts in literature using machine learning approaches. BMC Bioinformatics, 9(3), [S11]. DOI: 10.1186/1471-2105-9-S3-S11. Publication link: a68d5907-218c-40ae-abd4-a77a259f91d0

2007

2006

  • Tian, D., Keane, J., & Zeng, X. J. (2006). Evaluating the effect of rough set feature selection on the performance of decision trees. In 2006 IEEE International Conference on Granular Computing|2006 IEEE Int. Conf. Granular Comp.. (pp. 57-62). IEEE. . Publication link: 01b51d5c-0cb0-4df4-8ebe-246468e83573
  • Palakvangsa-Na-Ayudhya, S., & Keane, J. A. (2006). Proximity within paragraph: A measure to enhance eocument retrieval performance. In Proceedings of the 15th International Conference on World Wide Web|Proc. Int. Conf. World Wide Web. (pp. 1033-1034). ACM. DOI: 10.1145/1135777.1136001. Publication link: 18060652-2b14-4efd-a8b3-4c3aa13be6b7
  • Zeng, X-J., & Keane, J. A. (2006). Approximation capabilities of hierarchical hybrid systems. IEEE Transactions on Systems, Man, and Cybernetics, Part A, 36(5), 1029-1039. DOI: 10.1109/TSMCA.2006.878972. Publication link: 872dc74e-af29-4f31-9a8f-faa0b6f3b408

2005

2004

  • Zhu, F., Turner, M., Kotsiopoulos, I., Bennett, K., Russell, M., Budgen, D., ... Xu, T. (2004). Dynamic data integration using web services. In Proceedings - IEEE International Conference on Web Services|Proc. IEEE Int. Conf. Web Serv.. (pp. 262-269). IEEE Computer Society. . Publication link: 49e9afb1-2726-4391-be52-1bca9326f384
  • Turner, M., Zhu, F., Kotsiopoulos, I., Russell, M., Budgen, D., Bennett, K., ... Rigby, M. (2004). Using web service technologies to create an information broker: An experience report. In Proceedings - International Conference on Software Engineering|Proc Int Conf Software Eng. (Vol. 26, pp. 552-561). IEEE Computer Society. . Publication link: 3215fd1d-ce9b-40c7-a0f7-decbfd97ab91
  • Qiao, H., Keane, J., Zhang, S., & Zhang, B. (2004). A comparative study of two svm decomposition methods in face recognition. In IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2004), 28 September - 2 October, Sendai, Japan 2004.. Publication link: 87d906e3-a30d-4fb2-905d-3dd3a1c7ab64

2003

  • Bennett, K. H., Gold, N. E., Layzell, P. J., Zhu, F., Brereton, O. P., Budgen, D., ... Owrak, A. (2003). A broker architecture for integrating data using a web services environment. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 2910, pp. 409-422). (Lecture Notes in Computer Science). Springer Verlag. . Publication link: b48d9f6f-df11-44cf-9039-1b685fddcbc6

2002

  • Keane, J., Ye, X., Zhang, G., Yin, H. (Ed.), Allinson, N. M. (Ed.), Freeman, R. T. (Ed.), ... Hubbard, S. J. (Ed.) (2002). Transactional Multiple Agents. In H. Yin, N. M. Allinson, R. T. Freeman, J. A. Keane, & S. J. Hubbard (Eds.), IDEAL. (Vol. 2412, pp. 237-242). (Lecture Notes in Computer Science). Springer Verlag. . Publication link: 1e1d67a5-fcb1-4f6c-b81c-71fe59e25ad8
  • Keane, J. A., & Ward, T. A. (2002). A computational framework for location analysis. IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems & Humans, 32(5), 574-581. DOI: 10.1109/TSMCA.2002.804819. Publication link: ac6022b6-4414-4e24-a82c-ff2f6db1a671
  • Yin, H., Allinson, N. M., Freeman, R. T., Keane, J. A., & Hubbard, S. J. (Eds.) (2002). Intelligent Data Engineering and Automated Learning - IDEAL 2002, Third International Conference, Manchester, UK, August 12-14, Proceedings. In Lecture Notes in Computer Science. (Vol. 2412). (Lecture Notes in Computer Science). Springer Verlag. . Publication link: d16a59b1-f443-4f6f-9b86-42f44629456a

2001

  • Sakellariou, R., Keane, J. A., Gurd, J. R., & Freeman, L. (Eds.) (2001). Euro-Par 2001: Parallel Processing, 7th International Euro-Par Conference Manchester, UK August 28-31, 2001, Proceedings. In Lecture Notes in Computer Science. (Vol. 2150). (Lecture Notes in Computer Science). Springer Verlag. . Publication link: 12193119-c1a1-4202-8ea9-deacfcecc8a7

2000

  • Muyeba, M. K., Keane, J. A., Terano, T. (Ed.), Liu, H. (Ed.), & Chen, A. L. P. (Ed.) (2000). A Concurrent Approach to the Key-Preserving Attribute-Oriented Induction Method. In T. Terano, H. Liu, & A. L. P. Chen (Eds.), PAKDD. (Vol. 1805, pp. 306-316). (Lecture Notes in Computer Science). Springer Verlag. . Publication link: 684a1115-f0e2-476c-97d8-df1887383456
  • Muyeba, M. K., Keane, J. A., Zighed, D. A. (Ed.), Komorowski, H. J. (Ed.), & Zytkow, J. M. (Ed.) (2000). Interestingness in Attribute-Oriented Induction (AOI): Multiple-Level Rule Generation. In D. A. Zighed, H. J. Komorowski, & J. M. Zytkow (Eds.), PKDD. (Vol. 1910, pp. 542-549). (Lecture Notes in Computer Science). Springer Verlag. . Publication link: e3c751ed-2b28-4822-b087-d0953fc564c6

1999

  • Keane, J. A. (1999). A co-ordination framework for distributed financial applications. Concurrency - Practice and Experience, 11(4), 205-219. . Publication link: b5479df1-e1e6-4e5c-9a55-e29c0933dd4c
  • Muyeba, M. K., Keane, J. A., Zytkow, J. M. (Ed.), & Rauch, J. (Ed.) (1999). Extending Attribute-Oriented Induction as a Key-Preserving Data Mining Method. In J. M. Zytkow, & J. Rauch (Eds.), PKDD. (Vol. 1704, pp. 448-455). (Lecture Notes in Computer Science). Springer Verlag. . Publication link: 16471085-313b-4eca-bb4e-3d49bab04a85
  • Fotis, S., Keane, J. A., & Scott, R. I. (1999). Parallel data mining in the HYPERBANK project. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 1685, pp. 1195-1198). (Lecture Notes in Computer Science). Springer Verlag. . Publication link: 101c3146-af69-4cd9-afba-789fc913af9d
  • Manning, A. M., & Keane, J. A. (1999). Inducing load balancing and efficient data distribution prior to association rule discovery in a parallel environment. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 1685, pp. 1460-1463). (Lecture Notes in Computer Science). Springer Verlag. . Publication link: 086887b6-97e8-4620-9f27-1dceca6907e6
  • Keane, J. A., & Hussak, W. (1999). A Design Phase Directed Formal Verification Process. Software Quality Journal, 8(4), 255-269. . Publication link: 91206a6f-d55f-435f-9f81-f312a81840bf
  • Hussak, W., & Keane, J. A. (1999). Formal analysis of memory requirements. Requirements Engineering, 4(4), 188-197. . Publication link: 8f8c5aa8-81f3-4d3f-b27c-e6f43d173d49

1998

  • Scott, R. I., Fisher, M. D., & Keane, J. A. (1998). Parallel temporal tableaux. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 1470, pp. 852-861). (Lecture Notes in Computer Science). Springer Verlag. . Publication link: b235bb87-c4ad-4dc0-95fc-884902bfb891

1997

  • Ye, X., & Keane, J. A. (1997). Collecting Cyclic Garbage in Distributed Systems. In ISPAN. (pp. 227-231). IEEE Computer Society. . Publication link: 5ae952ae-b47b-4cea-9189-1cd358add21e
  • Keane, J. A., Watson, I., Zuo, L., Luque, E. (Ed.), Hurson, A. R. (Ed.), & El-Rewini, H. (Ed.) (1997). Dynamic Load Balancing in a Variable-Grained Parallel Computational Model. In E. Luque, A. R. Hurson, & H. El-Rewini (Eds.), Euro-PDS. (pp. 131-136). IASTED/ACTA Press. . Publication link: 5fcdcac2-e8d8-41b0-9278-c53c89c417f0
  • Roantree, M., & Keane, J. (1997). A Three-Layer Model for Schema Management in Federated. In HICSS (1). (pp. 44-53). Publication link: 7331a1ea-f344-4242-8ba0-f68c766e46c7
  • Manning, A. M., Brass, A., Goble, C. A., Keane, J. A., Komorowski, H. J. (Ed.), & Zytkow, J. M. (Ed.) (1997). Clustering Techniques in Biological Sequence Analysis. In H. J. Komorowski, & J. M. Zytkow (Eds.), PKDD. (Vol. 1263, pp. 315-322). (Lecture Notes in Computer Science). Springer Verlag. . Publication link: 290037b1-24d0-4e7c-bdf1-308be53eed86

1996

  • Keane, J., Watson, I., & Ye, X. (1996). Locality issues in a fine-grained parallel machine. Simulation Practice and Theory, 4(2-3), 67-80. DOI: 10.1016/0928-4869(95)00037-2. Publication link: 8801624f-a444-4136-9407-1ecce70a738c
  • Ye, X., Keane, J. A., Dekker, L. (Ed.), Smit, W. (Ed.), & Zuidervaart, J. C. (Ed.) (1996). A concurrent hierarchical approach to global snapshots. In L. Dekker, W. Smit, & J. C. Zuidervaart (Eds.), EUROSIM. (pp. 389-396). Elsevier. . Publication link: 5445f526-7b9d-4db5-9889-f8d22cf230c9
  • Keane, J. A., Xu, M. Q., Dekker, L. (Ed.), Smit, W. (Ed.), & Zuidervaart, J. C. (Ed.) (1996). Supporting a parallel functional language computational model. In L. Dekker, W. Smit, & J. C. Zuidervaart (Eds.), EUROSIM. (pp. 135-140). Elsevier. . Publication link: 200336da-4efd-42fb-9161-437a27b985f0
  • Hussak, W., & Keane, J. A. (1996). Expressing requirements on a parallel system formally. Requirements Engineering, 1(4), 199-209. . Publication link: 1aa336b9-7807-47a7-a0e1-58654e695ab8
  • Ye, X., Keane, J. A., Dekker, L. (Ed.), Smit, W. (Ed.), & Zuidervaart, J. C. (Ed.) (1996). Concurrent checkpointing and rollback recovery for distributed systems. In L. Dekker, W. Smit, & J. C. Zuidervaart (Eds.), EUROSIM. (pp. 211-218). Elsevier. . Publication link: e820ffeb-7712-4b40-a9f8-d65245bff342
  • Keane, J. A., Grant, A. J., Dekker, L. (Ed.), Smit, W. (Ed.), & Zuidervaart, J. C. (Ed.) (1996). Identifying parallelism in pattern matching. In L. Dekker, W. Smit, & J. C. Zuidervaart (Eds.), EUROSIM. (pp. 119-126). Elsevier. . Publication link: 9f31e570-5b53-4069-91eb-d2901d0b3d22
  • Keane, J. A., Ye, X., Dekker, L. (Ed.), Smit, W. (Ed.), & Zuidervaart, J. C. (Ed.) (1996). A fault tolerant model for a parallel database system. In L. Dekker, W. Smit, & J. C. Zuidervaart (Eds.), EUROSIM. (pp. 127-134). Elsevier. . Publication link: a6f6d5f1-90d8-46e6-9d76-2e8474a806bc
  • Ye, X., Keane, J. A., Dekker, L. (Ed.), Smit, W. (Ed.), & Zuidervaart, J. C. (Ed.) (1996). Delivering multicast message to mobile hosts. In L. Dekker, W. Smit, & J. C. Zuidervaart (Eds.), EUROSIM. (pp. 353-360). Elsevier. . Publication link: a493f9a9-2c01-4901-9fea-784b8af37c31

1995

  • Fisher, M., Johnson, R., Keane, J. A., & Hamza, M. H. (Ed.) (1995). Graph Structure Management in Parallel Symbolic Systems. In M. H. Hamza (Ed.), Parallel and Distributed Computing and Systems. (pp. 210-215). IASTED/ACTA Press. . Publication link: c83f958f-22ab-4387-975b-c57d21929fee
  • Keane, J. A., Franklin, T. N., Dipper, R., Grant, A. J., Sumner, R., & Xu, M. Q. (1995). Benchmarking financial database queries on a parallel machine. In HICSS (2). (pp. 402-411). Publication link: de82cfbc-0691-4d35-a761-1f1751d28930
  • Goble, C. A., & Keane, J. A. (Eds.) (1995). Advances in Databases, 13th British National Conference on Databases, BNCOD 13, Manchester, United Kingdom, July 12-14, 1995, Proceedings. In Lecture Notes in Computer Science. (Vol. 940). (Lecture Notes in Computer Science). Springer Verlag. . Publication link: de5c0389-62ea-4f56-9e73-06c9f4635a8e
  • Ellman, T., Keane, J., Murata, T., & Schwabacher, M. (1995). A Transformation System for Interactive Reformulation of Design Optimization Strategies. In KBSE. (pp. 44-51). Publication link: 25f875a7-933b-4759-83ad-6490e356b781
  • Keane, J. A., Ye, X., & Hamza, M. H. (Ed.) (1995). A Parallel Termination Detection Algorithm. In M. H. Hamza (Ed.), Parallel and Distributed Computing and Systems. (pp. 147-150). IASTED/ACTA Press. . Publication link: 3bc1b347-182a-4193-80e3-bc56c565fe7a
  • Ye, X., Keane, J. A., Kanchanasut, K. (Ed.), & Lévy, J-J. (Ed.) (1995). Detecting Distributed Termination in the Presence of Node Failure. In K. Kanchanasut, & J-J. Lévy (Eds.), ASIAN. (Vol. 1023, pp. 195-209). (Lecture Notes in Computer Science). Springer Verlag. . Publication link: 6f2eff8f-699e-4b0f-b60c-8288c71a5e61
  • Keane, J., & Hussak, W. (1995). Concurrency Control of Tiered Flat Transactions. In C. A. Goble, & J. A. Keane (Eds.), BNCOD. (Vol. 940, pp. 172-182). (Lecture Notes in Computer Science). Springer Verlag. . Publication link: 895398a4-0f35-48a3-b4cf-28ebca7d7ef3

1994

  • Keane, J. A., Watson, I., Dekker, L. (Ed.), Smit, W. (Ed.), & Zuidervaart, J. C. (Ed.) (1994). Increasing Locality in a Fine-Grained Parallel Machine. In L. Dekker, W. Smit, & J. C. Zuidervaart (Eds.), EUROSIM. (pp. 179-186). Elsevier. . Publication link: 12ff4ef1-a364-4f1a-9cb0-01d1ca07a5af
  • Keane, J. A., Ye, X., & Hamza, M. H. (Ed.) (1994). Parallelisation as Adaptive and Preventive Maintenance. In M. H. Hamza (Ed.), Applied Informatics. (pp. 302-305). IASTED/ACTA Press. . Publication link: 132d5f90-fb0f-44ae-829a-e8e16f0199ce
  • Ye, X., & Keane, J. A. (1994). A Fault Tolerant Distributed Termination Detection Scheme. In IFIP Congress (1). (pp. 300-305). Publication link: 47395ffd-923d-4a5e-af45-7654d525aca9
  • Keane, J. A., Sa, J., Warboys, B., Naftalin, M. (Ed.), Denvir, B. T. (Ed.), & Bertran, M. (Ed.) (1994). Applying a Concurrent Formal Framework to Process Modelling. In M. Naftalin, B. T. Denvir, & M. Bertran (Eds.), FME. (Vol. 873, pp. 291-305). (Lecture Notes in Computer Science). Springer Verlag. . Publication link: 5787ffa0-7979-4dec-9d1e-cd00d0d695f6
  • Keane, J. A. (1994). An Overview of the Flagship System. J. Funct. Program, 4(1), 19-45. . Publication link: a1fe0b93-5e19-4f9b-bf8e-1ad58475067e
  • Keane, J. A., & Hussak, W. (1994). A Formal Approach to Determining Parallel Resource Bindings: Experience Report. In ICSE. (pp. 15-22). Publication link: b5a42828-4cf1-4877-bb75-cf8948a7b256

1993

  • Hussak, W., & Keane, J. A. (1993). Representation of coherency classes for parallel systems. In Anon (Ed.), Proceedings of the 5th IEEE Symposium on Parallel and Distributed Processing|Proc 5 IEEE Symp Parallel Distrib Proc. (pp. 391-398). Los Alamitos, CA, United States: Publ by IEEE. . Publication link: 5d0108cf-73f4-4196-a8ec-84cf7ad66460
  • Mayes, K. R., & Keane, J. A. (1993). Levels of atomic action in the Flagship parallel system. Concurrency: Practice and Experience, 5(3), 193-212. DOI: 10.1002/cpe.4330050303. Publication link: 452dc495-4d05-45f7-9261-6b46d9f633ae
  • Ellman, T., Keane, J., & Schwabacher, M. (1993). Intelligent model selection for hillclimbing search in computer-aided design. In Proceedings of the National Conference on Artificial Intelligence|Proc Natl Conf Artif Intell. (pp. 594-599). Menlo Park, CA, United States: Publ by AAAI. . Publication link: a6097ab4-e877-489d-b0c8-58bd3009f24c

1992

  • Ye, X., Keane, J. A., & Leeuwen, J. V. (Ed.) (1992). Token Scheme: An Algorithm for Distributed Termination Detection and Its Proof of Correctness. In J. V. Leeuwen (Ed.), IFIP Congress (1). (Vol. A-12, pp. 357-364). (IFIP Transactions). North-Holland Publishing Company. . Publication link: 8bef170f-e646-494a-995a-f2ac6821897d
  • Keane, J. A., Mayes, K. R., Bougé, L. (Ed.), Cosnard, M. (Ed.), Robert, Y. (Ed.), & Trystram, D. (Ed.) (1992). Resource Management on a Packet-Based Parallel Graph Reduction Machine. In L. Bougé, M. Cosnard, Y. Robert, & D. Trystram (Eds.), CONPAR. (Vol. 634, pp. 417-422). (Lecture Notes in Computer Science). Springer Verlag. DOI: 10.1007/3-540-55895-0_439. Publication link: 0a274181-5878-4bc0-bad1-6b45dc1b85be