Skip navigation

Items where Faculty / Department / Research Groups is "School of Computing & Mathematical Sciences > Department of Computer Science"

Items where Faculty / Department / Research Groups is "School of Computing & Mathematical Sciences > Department of Computer Science"

Up a level
Export as [feed] RSS
Jump to: 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 | 1999 | 1998 | 1997 | 1996 | 1994 | 1991 | 1988
Number of items at this level: 297.

2014

Kehl, Doris, Knuth, Daniela, Galea, Edwin, Hulse, Lynn, Sans, Jordi, Valles, Lola, Seidler, Frank, Diebe, Eberhard, Kecklund, Lena, Petterson, Sara, Wolanin, Jerzy, Beltowski, Grzergorz, Preiss, Marek, Holubova, Marketa, Sofuoglu, Turhan, Sofuoglu, Zeynep Baskaya, Pietrantoni, Luca, Saccinto, Elisa and Schmidt, Silke (2014) Advancing disaster relief: Development of a self-report questionnaire for firefighters. International Perspectives in Psychology: Research, Practice, Consultation, 3 (3). pp. 167-183. ISSN 2157-3883 (Print), 2157-3891 (Online) (doi:10.1037/a0036423)

Rennolls, Keith, Ibrahim, Moh and Smith, Peter (2014) A forest model archive? In: Proceedings: Forest Biometry, Modelling and Information Systems. Proceedings: Forest Biometry, Modelling and Information Systems, Greenwich, London, UK.

2013

Costello, S., Strusevich, N., Flynn, D., Kay, R.W., Patel, M.K., Bailey, C., Price, D., Bennet, M., Jones, A.C. and Desmulliez, M.P.Y. (2013) Electrodeposition of copper into high aspect ratio PCB micro-via using megasonic agitation. Microsystem Technologies, 19 (6). pp. 783-790. ISSN 0946-7076 (Print), 1432-1858 (Online) (doi:10.1007/s00542-013-1746-7)

Doh, Y., Chapelle, P., Jardy, A., Djambazov, G., Pericleous, K., Ghazal, G. and Gardin, P. (2013) Toward a full simulation of the basic oxygen furnace: Deformation of the bath free surface and coupled transfer processes associated with the post-combustion in the gas region. Metallurgical and Materials Transactions B, 44 (3). pp. 653-670. ISSN 1073-5615 (Print), 1543-1916 (Online) (doi:10.1007/s11663-013-9817-9)

Gwynne, S.M.V. (2013) Improving the collection and use of human egress data. Fire Technology, 49 (1). pp. 83-99. ISSN 0015-2684 (doi:10.1007/s10694-010-0210-9)

Pericleous, Koulis, Djambazov, Georgi, Ward, Mark, Yuan, Lang and Lee, Peter D. (2013) A multiscale 3D model of the vacuum arc remelting process. Metallurgical and Materials Transactions A, 44 (12). pp. 5365-5376. ISSN 1073-5623 (Print), 1543-1940 (Online) (doi:10.1007/S11661-013-1680-4)

Strusevich, Nadezhda, Desmulliez, Marc P.Y., Abraham, Eitan, Flynn, David, Jones, Thomas, Patel, Mayur and Bailey, Christopher (2013) Electroplating for high aspect ratio vias in PCB manufacturing: enhancement capabilities of acoustic streaming. Advances in Manufacturing, 1 (3). pp. 211-217. ISSN 2095-3127 (Print), 2195-3597 (Online) (doi:10.1007/s40436-013-0039-9)

2012

Grimm, Anna, Hulse, Lynn and Schmidt, Silke (2012) Human responses to disasters: a pilot study on peritraumatic emotional and cognitive processing. Europe’s Journal of Psychology, 8 (1). pp. 112-138. ISSN 1841-0413 (doi:10.5964/ejop.v8i1.303)

Jiang, Hongjun (2012) The development of a scenario independent method for evaluating the evacuation complexity of a building. PhD thesis, University of Greenwich.

Rajaguru, Pushparajah, Lu, Hua and Bailey, Chris (2012) Application of Kriging and radial basis function in power electronic module wire bond structure reliability under various amplitude loading. International Journal of Fatigue, 45. pp. 61-70. ISSN 0142-1123 (doi:10.1016/j.ijfatigue.2012.06.013)

Ronchi, Enrico, Nilsson, D. and Gwynne, S.M.V. (2012) Modelling the impact of emergency exit signs in tunnels. Fire Technology, 48 (4). pp. 961-988. ISSN 0015-2684 (Print), 1572-8099 (Online) (doi:10.1007/s10694-012-0256-y)

2011

Anthony, Richard and Ghassemian, Mona (2011) Automatic mobility status estimation in wireless self-organised networks. Journal of Computer and System Sciences, 77 (2). pp. 305-321. ISSN 0022-0000 (doi:10.1016/j.jcss.2010.01.009)

Burton, Daniel, Grandison, Angus, Patel, Mayur, Galea, Edwin and Ewer, John (2011) Development of a hybrid field/zone fire model. In: Fire Safety Science - Proceedings of the Tenth International Symposium. IAFSS Symposiums (10). International Association for Fire Safety Science, Greenwich, London, UK, pp. 1373-1385. ISSN 1817-4299 (doi:10.3801/IAFSS.FSS.10-1373)

Kokulan, Natkunam, Lai, Choi-Hong and Jaipu-Persad, David (2011) Design of an image processing interface to existing CFD software platforms. Advances in Intelligent and Soft Computing, 102. pp. 93-103. ISSN 1867 5662 (online) (doi:10.1007/978-3-642-23154-4_11)

Sun, Jun, Fang, Wei, Wu, Xiaojun, Lai, Choi-Hong and Xu, Wenbo (2011) Solving the multi-stage portfolio optimization problem with a novel particle swarm optimization. Expert Systems with Applications, 38 (6). pp. 6727-6735. ISSN 0957-4174 (online) (doi:10.1016/j.eswa.2010.11.061)

Turk, Vicky, Khattran, Sukhjinder, Kerry, Sally, Corney, Roslyn and Painter, Kerry (2011) Reporting of health problems and pain by adults with an intellectual disability and by their carers. Journal of Applied Research in Intellectual Disabilities, 25 (2). pp. 155-165. ISSN 1360-2322 (Print), 1468-3148 (Online) (doi:10.1111/j.1468-3148.2011.00642.x)

Veeraswamy, A., Galea, E.R. and Lawrence, P.J. (2011) Wayfinding behavior within buildings - An international survey. In: Fire Safety Science. Proceedings of the Tenth International Symposium, 10 . Interscience Communications Ltd, Guildford Grove, London SE10 8JT, pp. 735-748. (doi:10.3801/IAFSS.FSS.10-735)

Xie, Hui, Filippidis, Lazaros, Galea, Edwin R., Blackshields, Darren and Lawrence, Peter J. (2011) Experimental analysis of the effectiveness of emergency signage and its implementation in evacuation simulation. Fire and Materials, 36 (5-6). pp. 367-382. ISSN 0308-0501 (Print), 1099-1018 (Online) (doi:10.1002/fam.1095)

Zhou, Di, Sun, Jun, Lai, Choi-Hong, Xu, Wenbo and Lee, Xiaoguang (2011) An improved quantum-behaved particle swarm optimization and its application to medical image registration. International Journal of Computer Mathematics, 88 (6). pp. 1208-1223. ISSN 0020-7160 (Print), 1029-0265 (Online)

2010

Bacon, Liz, Axtell, Neil and Windall, Gill (2010) COMPACT – An industry originated modeling technique for web development. ACIS International Journal of Computer & Information Science, 11 (3). pp. 1-14. ISSN 1525-9293

Bacon, Liz and MacKinnon, Lachlan (2010) EU 2020: developing the IT profession to meet the vision for Europe. CEPIS UPGRADE: The European Journal for the Informatic Professional, 11 (5). pp. 17-23. ISSN 1684-5285

Bailey, C., Lee, Y., Lu, H., Strusevich, N. and Yin, C. (2010) Packaging of LED backlights for ruggedised displays. In: International Symposium on Advanced Packaging Materials: Microtech, 2010. APM '10. Institute of Electrical and Electronics Engineers, Inc., Piscataway, NJ, USA, pp. 98-101. ISBN 9781424467563 (doi:10.1109/ISAPM.2010.5441377)

Bailey, Chris, Lu, Hua, Yin, Chunyan and Lee, Yek (2010) Multi-physics modelling for packaging of liquid crystal displays in harsh environments. In: Electronics System Integration Technology Conference, ESTC 2010 - Proceedings. IEEE Computer Society, Piscataway, USA, pp. 1-6. ISBN 9781424485536 (Print), 9781424485543 (Online) (doi:10.1109/ESTC.2010.5642898)

Guo, Qingping, Lai, Choi-Hong and Douglas, Craig (2010) Preface. In: Proceedings: The Ninth International Symposium on Distributed Computing and Applications to Business, Engineering and Science, DCABES 2010. The Institute of Electrical and Electronics Engineers, Inc., Piscataway, NJ, USA, xv-xvi. ISBN 978-0-7695-4110-5 (doi:10.1109/DCABES.2010.5)

Kamara, E., Lu, H., Bailey, C., Hunt, C., Di Maio, D. and Thomas, O. (2010) A multi-disciplinary study of vibration based reliability of lead-free electronic interconnects. Microelectronics Reliability, 50 (9-11). pp. 1706-1710. ISSN 0026-2714 (doi:10.1016/j.microrel.2010.07.152)

Kellerer, Hans, Soper, Alan J. and Strusevich, Vitaly A. (2010) Transporting jobs through a processing center with two parallel machines. In: Wu, Weili and Daescu, Ovidiu, (eds.) Combinatorial Optimization and Applications: 4th International Conference, COCOA 2010, Kailua-Kona, HI, USA, December 18-20, 2010, Proceedings, Part I. Lecture Notes in Computer Science (6508). Springer Berlin Heidelberg, Berlin, Germany, pp. 408-422. ISBN 978364274575 ISSN 0302-9743 (doi:10.1007/978-3-642-17458-2_33)

Khalid, Omer, Maljevic, Ivo, Anthony, Richard, Petridis, Miltos, Parrott, Kevin and Schulz, Markus (2010) Deadline aware virtual machine scheduler for grid and cloud computing. In: Proceedings: 24th IEEE International Conference on Advanced Information Networking and Applications Workshops WAINA 2010. IEEE Computer Society, Conference Publications Services, Los Alamitos, CA, USA, pp. 85-90. ISBN 978 0 7695 4019 1 (doi:10.1109/WAINA.2010.107)

Ma, Chaoying, Caldera, Andrea, Petridis, Miltos, Bacon, Liz and Windall, Gill (2010) Integration of BPM systems. In: Pomffyová, Mária, (ed.) Process Management. Intech, Vukovar, Croatia, pp. 197-222. ISBN 978-953-307-085-8

Rizvi, M.J., Bailey, C. and Lu, H. (2010) Damage predictions in a chip resistor solder joint on flexible circuit board. Microelectronic Engineering, 87 (10). pp. 1889-1895. ISSN 0167-9317 (doi:10.1016/j.mee.2009.11.023)

Rosunally, Yasmine, Stoyanov, Stoyan, Bailey, Christopher, Mason, Peter, Campbell, Sheelagh, Monger, George and Bell, Ian (2010) Bayesian networks for predicting remaining life. International Journal of Performability Engineering, 6 (5). pp. 499-512. ISSN 0973-1318

Schagaev, Igor, Bacon, Elisabeth and Ioannides, Nicholas (2010) Curriculum design and development for computer science and similar disciplines. International Journal of Knowledge Society Research, 1 (3):2. pp. 17-32. ISSN 1947-8429 (Print), 1947-8437 (Online) (doi:10.4018/jksr.2010070102)

Tilford, T., Ferenets, M., Morris, J.E., Krumme, A., Pavuluri, S., Rajaguru, P.R., Desmulliez, M.P.Y. and Bailey, C. (2010) Application of particle swarm optimisation to evaluation of polymer cure kinetics models. Journal of Algorithms & Computational Technology, 4 (1). pp. 121-146. ISSN 1748-3018 (doi:10.1260/1748-3018.4.1.121)

Toril, Matías, Molina-Fernández, Iñigo, Wille, Volker and Walshaw, Chris (2010) Analysis of heuristic graph partitioning methods for the assignment of packet control units in GERAN. Wireless Personal Communications, 60 (4). pp. 611-633. ISSN 0929-6212 (Print), 1572-834X (Online) (doi:10.1007/s11277-010-9963-1)

Woollard, Christopher (2010) Post Production, RED Digital Film. University of Greenwich.

Zheng, Aihua, Ma, Jixin, Petridis, M. and Xiao, Bai (2010) Order, duration and gap - take them all. In: Proceedings 2010 3rd IEEE International Conference on Computer Science and Information Technology, ICCSIT 2010. Institute of Electrical and Electronics Engineers, Inc., Piscataway, USA, pp. 647-651. ISBN 9781424455386 (doi:10.1109/ICCSIT.2010.5564860)

Zheng, Aihua, Ma, Jixin, Petridis, Miltos, Tang, Jin and Luo, Bin (2010) Structure based feature extraction in basketball zone-defense strategies. International Journal of Computer Science and Applications, 7 (3). pp. 18-32. ISSN 0972-9038

Zheng, Aihua, Ma, Jixin, Zhou, Xiaoyi and Luo, Bin (2010) Efficient and effective state-based framework for news video retrieval. International Journal of Advancements in Computing Technology, 2 (4). pp. 151-161. ISSN 2005-8039 (Print), 2233-9337 (Online) (doi:10.4156/ijact.vol2.issue4.16)

Zheng, Aihua, Zhou, Xiaoyi, Ma, Jixin and Petridis, Miltos (2010) The optimal temporal common subsequence. In: 2nd International Conference on Software Engineering and Data Mining, SEDM 2010. IEEE Computer Society, Piscataway, USA, pp. 316-321. ISBN 9781424473243 (print), 9788988678220 (online)

Zhou, Xiangming, Ma, Jixin, Du, Wencai and Zhao, Yongzhe (2010) A hybrid-key based image encryption and authentication scheme with the use of ergodic matrix. In: 2nd International Symposium on Computer Network and Multimedia Technology, 24-26 December 2010, Wuhan, China.

Zhou, Xiaoyi, Ma, Jixin, Du, Wencai and Chen, Mingrui (2010) An efficient algorithm to solve linear equations over finite field IFq. Natural Science Journal of Hainan University, 28 (4). pp. 45-49. ISSN 1004-1729

Zhou, Xiaoyi, Ma, Jixin, Du, Wencai, Zhao, Bo, Chen, Mingrui and Zhao, Youngzhe (2010) Cryptanalysis of the bisectional MQ equations system. In: Proceedings - 10th IEEE International Conference on Computer and Information Technology, CIT-2010, 7th IEEE International Conference on Embedded Software and Systems, ICESS-2010, ScalCom-2010. IEEE Computer Society, Piscataway, USA, pp. 1038-1043. ISBN 9781424475476 (doi:10.1109/CIT.2010.190)

Zhou, Xiaoyi, Ma, Jixin, Du, Wencai, Zhao, Bo, Petridis, Miltos and Zhao, Yongzhe (2010) BMQE system: a MQ equations system based on ergodic matrix. In: SECRYPT 2010: Proceedings of the International Conference on Security and Cryptography. SciTePress – Science and Technology Publications, Portugal, pp. 431-435. ISBN 9789898425188

2009

Anthony, Richard and Ghassemian, Mona (2009) Mobility status as dynamic context for behaviour optimisation in self-organised networks. 2009 International Conference on Complex, Intelligent and Software Intensive Systems (CISIS 2009). IEEE Computer Society, Piscataway, NJ, USA, pp. 878-885. ISBN 978-1-4244-3569-2 (print) 978-0-7695-3575-3 (doi:10.1109/CISIS.2009.98)

Bailey, C., Lu, H., Tilford, T., Rizvi, J. and Yin, C. (2009) Co-design and multi-physics analysis for power electronic modules. In: 2009 10th International Conference on Thermal, Mechanical and Multi-Physics Simulation and Experiments in Microelectronics and Microsystems, EuroSimE 2009. IEEE Computer Society, Piscataway, NJ USA. ISBN 9781424441600 (doi:10.1109/ESIME.2009.4938505)

Ferenets, M., Tilford, Tim, Sinclair, Keith I., Bailey, Christopher and Desmulliez, Marc P.Y. (2009) Microwave curing of thermosetting polymer materials in microelectronics applications. In: Baltic Polymer Symposium 2009, 22-25 September 2009, Ventspils, Latvia.

Gwynne, S.M.V. and Boswell, D.L. (2009) Pre-evacuation data collected from a mid-rise evacuation exercise. Journal of Fire Protection Engineering, 19 (1). pp. 5-29. ISSN 1042-3915 (Print), 1532-172X (Online) (doi:10.1177/1042391508095093)

Khalid, Omer, Anthony, Richard, Nilsson, Paul, Keahey, Kate, Schulz, Markus, Parrott, Kevin and Petridis, Miltos (2009) Enabling and optimizing pilot jobs using xen based virtual machines for the HPC grid applications. In: Virtualization technologies in distributed computing. ACM, New York, NY, USA, pp. 1-8. ISBN 9781605585802 (doi:10.1145/1555336.1555338)

Khalid, Omer, Maljevic, Ivo, Anthony, Richard, Petridis, Miltos, Parrott, Kevin and Schulz, Markus (2009) Dynamic scheduling of virtual machines running HPC workloads in scientific grids. 3rd International Conference on New Technologies, Mobility and Security, NTMS 2009. IEEE Computer Society, Piscataway, NJ USA. ISBN 97814244 6273 5 (doi:10.1109/NTMS.2009.5384725)

MacKinnon, Lachlan and Bacon, Liz (2009) 'Re-using an existing wheel' developing data architecture for cooperating autonomous and semi-autonomous, agent-based web services. IETE Technical Review, 26 (5). pp. 330-334. ISSN 0256-4602 (Print), 0974-5971 (Online) (doi:10.4103/0256-4602.55277)

Morris, J.E., Tilford, T., Bailey, C., Sinclair, K.I. and Desmulliez, M.P.Y. (2009) Polymer cure modeling for microelectronics applications. In: 32nd International Spring Seminar on Electronics Technology, 2009. ISSE 2009. Institute of Electrical and Electronics Engineers, Inc., Piscataway, NJ, USA. ISBN 978-1-4244-4260-7 (print) (doi:10.1109/ISSE.2009.5206929)

Morris, James E., Tilford, Tim, Ferenets, M. and Bailey, Christopher (2009) A critical analysis of polymer cure modeling for microelectronics applications. In: IMAPS Nordic Conference 2009, 13-15 September 2009, Tønsberg, Norway.

Muhdi, Rani, Gwynne, Steve and Davis, Jerry (2009) The incorporation and validation of empirical crawling data into the buildingEXODUS model. Safety Science, 47 (1). pp. 97-104. ISSN 0925-7535 (doi:10.1016/j.ssci.2007.12.003)

Rizvi, M.J., Lu, Hua and Bailey, Christopher (2009) Modeling the diffusion of solid copper into liquid solder alloys. Thin Solid Films, 517 (5). pp. 1686-1689. ISSN 0040-6090 (doi:10.1016/j.tsf.2008.09.105)

Rizvi, M.J., Skuriat, R., Tilford, Tim, Bailey, Christopher, Johnson, C. Mark and Lu, Hua (2009) Modelling of jet-impingement cooling for power electronics. In: 10th International Conference on Thermal, Mechanical and Multi-Physics Simulation and Experiments in Microelectronics and Microsystems, 2009. EuroSimE 2009. Institute of Electrical and Electronics Engineers, Inc., Piscataway, NJ, USA. ISBN 978-1-4244-4160-0 (doi:10.1109/ESIME.2009.4938428)

Rosunally, Yasmine, Stoyanov, Stoyan, Bailey, Chris, Mason, Peter, Campbell, Sheelagh, Monger, George and Bell, Ian (2009) Development of a prognostics framework for the iron structural material of the s.v. Cutty Sark. In: Proceedings of Sixth International Conference on Condition Monitoring and Machinery Failure Prevention Technologies – CM/MFPT 2009. The British Institute of Non-Destructive Testing / Coxmoor Publishing, Northampton, UK, pp. 674-685.

Rosunally, Yasmine, Stoyanov, Stoyan, Bailey, Christopher, Mason, Peter, Campbell, Sheelagh and Monger, George (2009) Prognostics framework for remaining life prediction of Cutty Sark iron structures. Annual Conference of the Prognostics and Health Management Society 2009. Prognostics and Health Management Society, 6 pages.

Tilford, Tim, Pavuluri, S., Bailey, Christopher and Desmulliez, Marc P.Y. (2009) On variable frequency microwave processing of heterogeneous chip-on-board assemblies. International Conference on Electronic Packaging Technology & High Density Packaging, 2009. ICEPT-HDP '09. Institute of Electrical and Electronics Engineers, Inc., Piscataway, NJ, USA, pp. 927-931. ISBN 978-1-4244-4659-9 (doi:10.1109/ICEPT.2009.5270558)

Walshaw, Chris (2009) Variable partition inertia: Graph repartitioning and load balancing for adaptive meshes. In: Parashar, Manish and Li, Xiaolin, (eds.) Advanced Computational Infrastructures for Parallel and Distributed Adaptive Applications. John Wiley & Sons, Inc., Hoboken, NJ, USA, pp. 357-380. ISBN 9780470072943 (doi:10.1002/9780470558027.ch17)

Zheng, Aihua, Ma, Jixin, Luo, Bin, Petridis, Miltos, Zhai, Sulan and Tang, Jin (2009) Temporal pattern recognition in video clips detection. In: Proceedings of the 8th IEEE/ACIS International Conference on Computer and Information Science (ICIS 2009). Computer Society Press, Los Alamitos, CA, USA, pp. 416-421. ISBN 9780769536415 (doi:10.1109/ICIS.2009.144)

Zheng, Aihua, Ma, Jixin, Petridis, Miltos, Tang, Jin and Luo, Bin (2009) A robust approach to subsequence matching. In: Lee, Roger and Ishii, Naohiro, (eds.) Software Engineering Research, Management and Applications 2009. Studies in Computational Intelligence (253). Springer-Verlag, Berlin / Heidelberg, Germany, pp. 39-49. ISBN 9783642054402 (doi:10.1007/978-3-642-05441-9_4)

2008

Bradshaw, Noel-Ann (2008) [BSHM meetings] Topics in the history of financial mathematics: early commerce to chaos in modern stock markets. BSHM Bulletin: Journal of the British Society for the History of Mathematics, 23 (3). pp. 185-187. ISSN 1749-8430 (Print), 1749-8341 (Online) (doi:10.1080/17498430802304057)

Bradshaw, Noel-Ann (2008) [Reviews] Finding moonshine: a mathematician's journey through symmetry. The London Mathematical Society Newsletter (No. 37). p. 25.

Bradshaw, Noel-Ann (2008) [Reviews] Super crunchers. The London Mathematical Society Newsletter, 367. pp. 26-27.

Galea, E. R., Finney, K. M., Dixon, A. J. P., Siddiqui, A. and Cooney, D. P. (2008) CAA paper 2006/01: a database to record human experience of evacuation in aviation accidents: the aircraft accident statistics and knowledge database (AASK). Project Report. Civil Aviation Authority, London, UK.

Ghassemian, Mona and Aghvami, Hamid (2008) A cross-layer optimisation solution to improve routing protocol performance for dense wireless sensor environment. Proceedings of the 2007 International Conference on Intelligent Sensors, Sensor Networks and Information Processing, ISSNIP,. IEEE, Piscataway, NJ USA, pp. 43-48. ISBN 9781424415014 (Print) (doi:10.1109/ISSNIP.2007.4496817)

Ghassemian, Mona and Aghvami, Hamid (2008) An investigation of the impact of mobility on the protocol performance in wireless sensor networks. 24th Biennial Symposium on Communications, BSC 2008. IEEE, Piscataway, NJ USA, pp. 310-315. ISBN 9781424419456 (doi:10.1109/BSC.2008.4563264)

Gwynne, Steve (2008) Helping people on their own terms: developing inclusive emergency procedures. Fire Technology, 44 (4). pp. 439-461. ISSN 0015-2684 (doi:10.1007/s10694-007-0039-z)

Lushchakova, Irina N., Soper, Alan J. and Strusevich, Vitaly A. (2008) Transporting jobs through a two-machine open shop. Naval Research Logistics (NRL), 56 (1). pp. 1-18. ISSN 0894-069X (Print), 1520-6750 (Online) (doi:10.1002/nav.20323)

Ma, Jixin (2008) A framework for state-based time-series analysis and prediction. International Journal of Computer & Information Science, 9 (1). pp. 21-28. ISSN 1525-9293

Ma, Jixin, Bie, Rongfang and Zhao, Guoxing (2008) An ontological characterization of time-series and state-sequences for data mining. Fifth International Conference on Fuzzy Systems and Knowledge Discovery, 2008. FSKD '08. Institute of Electrical and Electronics Engineers, Inc., Piscataway, NJ, USA, pp. 325-329. ISBN 978-0-7695-3305-6 (doi:10.1109/FSKD.2008.2)

Ma, Jixin, Knight, Brian and Petridis, Miltos (2008) Characterizing the most general temporal constraint. In: ECAI-08 Workshop on Spatial and Temporal Reasoning, 22 Jul 2008, University of Patras, Patras, Greece. (Unpublished)

Ma, Jixin, Knight, Brian and Petridis, Miltos (2008) Deriving explanations from partial temporal information. In: Proceedings of the Third International Workshop on Explanation-aware Computing (ExaCt-2008), Patras, Greece, July 21-22, 2008. CEUR-WS.org (391). CEUR Workshop Proceedings (CEUR-WS.org), Aachen, Germany. ISBN 9789606843037 ISSN 1613-0073

Petridis, Miltos and Teodorescu, Elena I. (2008) An architecture of multiple heterogeneous case-based reasoning employing agent technologies. CIMA'08: Combinations of Intelligent Methods and Applications, 375. pp. 65-68. ISSN 1613-0073

Rizvi, M.J., Bailey, Christopher and Lu, Hua (2008) Failure mechanisms of ACF joints under isothermal ageing. Microelectronics Journal, 39 (9). pp. 1101-1107. ISSN 0026-2692 (doi:10.1016/j.mejo.2008.01.045)

Rodney, Demane, Soper, Alan and Walshaw, Chris (2008) Multilevel approaches applied to the capacitated clustering problem. In: Proceedings of the 2008 International Conference on Scientific Computing, CSC 2008, July 14-17, 2008, Las Vegas, Nevada, USA. CSREA Press, USA, pp. 271-277. ISBN 9781601320599

Sinclair, K.I., Goussetis, G., Desmulliez, M.P.Y., Sangster, A.J., Tilford, T., Bailey, C. and Parrott, A.K. (2008) Optimization of an open-ended microwave oven for microelectronics packaging. IEEE Transactions on Microwave Theory and Techniques, 56 (11). pp. 2635-2641. ISSN 0018-9480 (doi:10.1109/TMTT.2008.2005925)

Sinclair, K.I., Tilford, T., Desmulliez, M.Y.P., Goussetis, G., Bailey, C., Parrott, K. and Sangster, A.J. (2008) Open ended microwave oven for packaging. In: Symposium on Design, Test, Integration and Packaging of MEMS/MOEMS, 2008 (MEMS/MOEMS 2008). Institute of Electrical and Electronics Engineers, Inc., Piscataway, NJ, USA, pp. 16-20. ISBN 978-2-3550-0006-5 (doi:10.1109/DTIP.2008.4752943)

Sinclair, Keith I., Tilford, Tim, Goussetis, George, Bailey, Christopher, Desmulliez, Marc P.Y., Parrott, Kevin and Sangster, Alan J. (2008) Advanced microwave oven for rapid curing of encapsulant. 2nd Electronics System-Integration Technology Conference, 2008. ESTC 2008. Institute of Electrical and Electronics Engineers, Inc., Piscataway, NJ, USA, pp. 551-556. ISBN 978-1-4244-2814-4 (print) 978-1-4244-2813-7 (online) (doi:10.1109/ESTC.2008.4684409)

Stoyanov, Stoyan, Strusevitch, Nadia, Rizvi, Jahir, Georgel, Vincent, Yannou, Jean-Marc and Bailey, Chris (2008) Design for reliability for wafer level system in package. In: 2nd Electronics System-Integration Technology Conference, 2008. ESTC 2008. Institute of Electrical and Electronics Engineers, Inc., Piscataway, NJ, USA, pp. 293-298. ISBN 978-1-4244-2814-4 (Print), 978-1-4244-2813-7 (Online) (doi:10.1109/ESTC.2008.4684364)

Tilford, T., Parrott, A.K., Bailey, C. and Pericleous, K.A. (2008) Multiphysics simulation of microwave processing using a multidomain coupled solver approach. In: 8th World Congress on Computational Mechanics (WCCM8) and 5th European Congress on Computational Methods in Applied Sciences and Engineering (ECCOMAS 2008). International Center for Numerical Methods in Engineering (CIMNE), Barcelona, Spain. ISBN 978-84-96736-55-9

Tilford, T., Sinclair, K.I., Goussetis, G., Bailey, C., Desmulliez, M.P.Y., Parrott, A.K. and Sangster, A.J. (2008) Numerical analysis of thermal stresses induced during VFM encapsulant curing. In: 31st International Spring Seminar on Electronics Technology, 2008. ISSE '08. Institute of Electrical and Electronics Engineers, Inc., Piscataway, NJ, USA, pp. 348-353. ISBN 978-1-4244-3972-0 (doi:10.1109/ISSE.2008.5276666)

Tilford, T., Sinclair, K.I., Goussetis, G., Bailey, C., Desmulliez, M.P.Y., Parrott, A.K. and Sangster, A.J. (2008) Numerical simulation of encapsulant curing within a variable frequency microwave processing system. In: Thermal, Mechanical and Multi-Physics Simulation and Experiments in Microelectronics and Micro-Systems, 2008. EuroSimE 2008. International Conference on. Institute of Electrical and Electronics Engineers, Inc., Piscataway, NJ, USA, pp. 447-454. ISBN 978-1-4244-2127-5 (doi:10.1109/ESIME.2008.4525086)

Tilford, Tim, Bailey, Christopher, Parrott, Kevin, Rizvi, M.J., Yin, Chunyan, Sinclair, Keith I. and Desmulliez, Marc P.Y. (2008) Impact of assembly process technologies on electronic packaging materials. International Conference on Electronic Packaging Technology & High Density Packaging, 2008. ICEPT-HDP 2008. Institute of Electrical and Electronics Engineers, Inc., Piscataway, NJ, USA, pp. 1-6. ISBN 978-1-4244-2739-0 (online) 978-1-4244-2740-6 (print) (doi:10.1109/ICEPT.2008.4607039)

Tilford, Tim, Sinclair, Keith I., Goussetis, George, Bailey, Christopher, Desmulliez, Marc P.Y., Parrott, Kevin and Sangster, Alan J. (2008) Comparison of encapsulant curing with convention and microwave systems. 33rd IEEE/CPMT International Electronic Manufacturing Technology Symposium (IEMT), 2008. IEEE, Piscataway, NJ, USA. ISBN 9781424433926 (print) 9781424433933 (electronic) (doi:10.1109/IEMT.2008.5507869)

Wolf, Markus and Petridis, Miltiadis (2008) Measuring similarity of software designs using graph matching for CBR. In: Proceedings of the Artificial Intelligence Techniques in Software Engineering Workshop (AISEW 2008). IOS Press, pp. 16-20.

Zhao, Guoxing, Ma, Jixin and Petridis, Miltos (2008) The completeness and soundness of temporal theories. In: ECAI-08 Workshop on Spatial and Temporal Reasoning, 22 Jul 2008, University of Patras, Patras, Greece.

Zhao, Guoxing, Ma, Jixin, Shen, Fuxing and Petridis, Miltos (2008) A sound and complete reified temporal logic. In: Ninth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing, 2008. SNPD '08. IEEE Conference Publications . Institute of Electrical and Electronics Engineers, Inc., Piscataway, NJ, USA, pp. 111-116. ISBN 978-0-7695-3263-9 (doi:10.1109/SNPD.2008.16)

Zhao, Guoxing, Petridis, Miltos, Sidorov, Grigori and Ma, Jixin (2008) A critical examination of node-similarity based graph matching algorithms. Research In Computing Science, 40. pp. 73-82. ISSN 1870-4069

2007

Anthony, Richard, Butler, Alun and Ibrahim, Mohammed (2007) Exploiting emergence in autonomic systems. In: Parashar, Manish and Hariri, Salim, (eds.) Autonomic computing: concepts, infrastructure and applications. CRC Press, pp. 121-148. ISBN 9780849393679

Bailey, Christopher, Rizvi, M.J., Yin, Chunyan, Lu, Hua and Stoyanov, Stoyan (2007) Application of modelling for predicting the behaviour of polymers and adhesives in microelectronic and photonic devices. 6th International Conference on Polymers and Adhesives in Microelectronics and Photonics. Institute of Electrical and Electronics Engineers, Inc., Piscataway, NJ, USA, pp. 240-244. ISBN 9781424411863 (doi:10.1109/POLYTR.2007.4339175)

Chadwick, David, Gan, Diane and Frangiskatos, Dimitrios (2007) Universities - victims or perpetrators of cyber crime? In: Jahankhani, Hamid and Palmer-Brown, Dominic, (eds.) Global e-Security, proceedings of the 3rd annual international conference, 2007. ICGeS, London, pp. 197-204. ISBN 978 0 9550008 4 3

Galea, E., Lawrence, P., Blake, S., Dixon, A. and Westeng, H. (2007) The 2001 World Trade Centre evacuation. In: Pedestrian and Evacuation Dynamics 2005. Springer, Berlin / Heidelberg, pp. 225-238. ISBN 9783540470625 (doi:10.1007/978-3-540-47064-9_20)

Goussetis, George, Sinclair, Keith I., Sangster, Alan J., Desmulliez, Marc P.Y., Tilford, Tim, Parrott, Kevin and Bailey, Christopher (2007) Microwave curing for high density package. 2007 International Symposium on High Density Design Packaging and Microsystem Integration. Institute of Electrical and Electronics Engineers, Inc., New York, p. 1. ISBN 9781424412525 (doi:10.1109/HDP.2007.4283552)

Kao, David, Graham, Deryn, Knight, Brian and Pericleous, Koulis A. (2007) A mathematical description of the acoustic coupling of the mass/spring model. Applied Mathematical Modelling, 31 (12). pp. 2684-2695. ISSN 0307-904X (doi:10.1016/j.apm.2006.10.016)

Ma, Chaoying, Bacon, Liz, Petridis, Miltos and Windall, Gill (2007) A design pattern for integration of business process management systems. In: Chang, Weide and Joshi, James B.D., (eds.) IRI 2007: Proceedings of the 2007 IEEE International Conference on Information Reuse and Integration. Institute of Electrical and Electronics Engineers, Inc., Piscataway, NJ, pp. 239-244. ISBN 9781424414994 (doi:10.1109/IRI.2007.4296627)

Ma, Jixin (2007) Ontological considerations of time, meta-predicates and temporal propositions. Applied Ontology, 2 (1). pp. 37-66. ISSN 1570-5838

Parrott, Kevin and Tilford, Tim (2007) Numerical simulation of microwave thawing using a coupled solver approach. PAMM - Proceedings in Applied Mathematics and Mechanics, 7 (1). pp. 1150601-1150602. ISSN 1617-7061 (online) (doi:10.1002/pamm.200700212)

Rizvi, M.J., Bailey, Christopher, Chan, Y.C., Islam, M. and Lu, Hua (2007) Effect of adding 0.3wt% Ni into the Sn-0.7wt% Cu solder - Part II: Growth of intermetallic layer with Cu during wetting and aging. Journal of Alloys and Compounds, 438 (1-2). pp. 122-128. ISSN 0925-8388 (doi:10.1016/j.jallcom.2006.08.071)

Rizvi, M.J., Bailey, Christopher, Chan, Y.C. and Lu, Hua (2007) Effect of adding 0.3 wt% Ni into the Sn–0.7 wt%Cu solder: part I: wetting behavior on Cu and Ni substrates. Journal of Alloys and Compounds, 438 (1-2). pp. 116-121. ISSN 0925-8388 (doi:10.1016/j.jallcom.2006.08.048)

Rizvi, M.J., Lu, H., Bailey, C., Chan, Y.C., Lee, M.Y. and Pang, C.H. (2007) Role of bonding time and temperature on the physical properties of coupled anisotropic conductive–nonconductive adhesive film for flip chip on glass technology. Microelectronic Engineering, 85 (1). pp. 238-244. ISSN 0167-9317 (doi:10.1016/j.mee.2007.05.045)

Rizvi, M.J., Yin, C.Y, Bailey, C. and Lu, H. (2007) Performance and reliability of flexible substrates when subjected to lead-free processing. In: 16th European Microelectronics and Packaging Conference and Exhibition 2007(EMPC 2007). Curran Associates, Inc., Red Hook, NY, USA, pp. 589-594. ISBN 9781622764662

Rizvi, M.J., Yin, Chunyan, Bailey, Christopher and Lu, Hua (2007) Modelling the reliability of components on flexible substrates. IPACK 2007: proceedings of the ASME Interpack Conference 2007. American Society of Mechanical Engineers, New York, pp. 375-380. ISBN 9780791842775 (doi:10.1115/IPACK2007-33820)

Rodney, Demane, Soper, Alan and Walshaw, Christopher (2007) The application of multilevel refinement to the vehicle routing problem. 2007 IEEE Symposium on Computational Intelligence in Scheduling. Institute of Electrical and Electronics Engineers, Inc., New York, USA, pp. 212-219. ISBN 9781424407040 (doi:10.1109/SCIS.2007.367692)

Sinclair, Keith I., Sangster, Alan J., Goussetis, George, Desmulliez, Marc P.Y., Tilford, Tim, Parrott, Kevin and Bailey, Christopher (2007) Open ended microwave oven for flip-chip assembly. 2007 European Microwave Conference. Institute of Electrical and Electronics Engineers, Inc., New York, pp. 620-623. ISBN 9782874870019

Soper, Alan and Strusevich, Vitaly A. (2007) An approximation algorithm for the two-machine flow shop with a single transporter. International Journal of Foundations of Computer Science (ijfcs), 18 (3). pp. 565-591. ISSN 0129-0541 (doi:10.1142/S012905410700484X)

Soper, Alan and Strusevich, Vitaly A. (2007) An improved approximation algorithm for the two-machine flow shop scheduling problem with an interstage transporter. International Journal of Foundations of Computer Science, 18 (3). pp. 565-591. ISSN 0129-0541 (doi:10.1142/S012905410700484X)

Tilford, Tim, Baginski, Ed, Kelder, Jasper, Parrott, Kevin and Pericleous, Koulis A. (2007) Microwave modelling and validation in food thawing applications. Journal of Microwave Power & Electromagnetic Energy, 41 (4). pp. 30-45. ISSN 0832-7823

Tilford, Tim, Sinclair, Keith I., Bailey, Christopher, Desmulliez, Marc P.Y., Goussetis, George, Parrott, Kevin and Sangster, Alan J. (2007) Multiphysics simulation of microwave curing in micro-electronics packaging applications. Soldering & Surface Mount Technology, 19 (3). pp. 26-33. ISSN 0954-0911 (doi:10.1108/09540910710843757)

Tilford, Tim, Sinclair, Keith I., Bailey, Christopher, Desmulliez, Marc P.Y., Parrott, Kevin and Sangster, Alan J. (2007) Coupled FDTD-FVM simulation of microwave heating of polymer materials for micro-systems packaging applications. Annual microwave heating symposium (41st). pp. 7-11. ISSN 1070-0129

Tilford, Tim, Sinclair, Keith I., Goussetis, George, Bailey, Christopher, Desmulliez, Marc P.Y., Parrott, Kevin and Sangster, Alan J. (2007) Variable frequency microwave curing of polymer materials in microelectronics packaging applications. 2007 9th Electronics Packaging Technology Conference. Electronics Packaging Technology Conference Proceedings . Institute of Electrical and Electronics Engineers, Inc., New York, pp. 791-796. ISBN 9781424413232 (doi:10.1109/EPTC.2007.446975)

Walshaw, Christopher and Cross, Mark (2007) JOSTLE: multilevel graph partitioning software: an overview. Mesh partitioning techniques and domain decomposition techniques. Saxe-Coburg Publications, Stirling, Scotland, UK, pp. 27-58. ISBN 9781874672296 (doi:10.4203/csets.17.2)

Wang, Mingliang, Ramesh, Nadarajah I. and Rennolls, Keith (2007) The Richit-Richards family of distributions and its use in forestry. Canadian Journal of Forest Research, 37 (10). pp. 2052-2062. ISSN 0045-5067 (doi:10.1139/X07-023)

Wang, Mingliang and Rennolls, Keith (2007) Bivariate distribution modeling with tree diameter and height data. Forest Science, 53 (1). pp. 16-24. ISSN 0015-749X

2006

Al-A'ali, Mansoor, Al Mahmood, Seema and Al-Zobaidie, Ala (2006) A study of user requirements for COTS: computer off the shelf software solutions. Software Quality Professional, 9 (1). pp. 32-39. ISSN 1522-0540

Al-Zobaidie, Ala and Al-Sudani, Sahar (2006) Managing digital libraries using semantic web technologies. Proceedings of the 10th IASTED International Conference on Artificial Intelligence and Soft Computing, ASC 2006. Acta Press, Anaheim, pp. 190-196. ISBN 9780889866102

Galea, E.R., Finney, K.M., Dixon, A.J.P., Siddiqui, A. and Cooney, D.P. (2006) An analysis of exit availability, exit usage and passenger exit selection behaviour exhibited during actual aviation accidents. The Aeronautical Journal, 110 (1106). ISSN 0001-9240

Galea, Edwin R., Finney, Kate M., Dixon, Andrew J., Siddiqui, Asim and Cooney, David P. (2006) Aircraft accident statistics and knowledge database: analyzing passenger behavior in aviation accidents. Journal of Aircraft, 43 (5). pp. 1272-1281. ISSN 0021-8669 (Print), 1533-3868 (Online) (doi:10.2514/1.19388)

Ibrahim, M, Anthony, Richard, Taleb-Bendiab, A and Gruenwald, L (2006) Exploring adaptation & self-adaptation in autonomic computing systems. Proceedings of the 17th International Conference on Database and Expert Systems Applications (DEXA'06). IEEE Computer Society, pp. 129-135. ISBN 0 7695 2641 1

Jin, Xin, Liu, Zhaodong, Bie, Rongfang, Zhao, Guoxing and Ma, Jixin (2006) Support vector machines for regression and applications to software quality prediction. In: Alexandrov, Vassil N., van Albada, Geert Dick, Sloot, Peter M.A. and Dongarra, Jack, (eds.) Computational Science – ICCS 2006. 6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part IV. Lecture Notes in Computer Science (3994). Springer Berlin Heidelberg, Berlin / Heidelberg, Germany, pp. 781-788. ISBN 978-3-540-34385-1 ISSN 0302-9743 (Print), 1611-3349 (Online) (doi:10.1007/11758549_105)

Jin, Xin, Xu, Anbang, Zhao, Guoxing, Ma, Jixin and Bie, Rongfang (2006) Event models for tumor classification with SAGE gene expression data. Lecture Notes in Computer Science, 3992. pp. 775-782. ISSN 0302-9743 (doi:10.1007/11758525_104)

Kao, D, Pericleous, Koulis A., Graham, Deryn and Knight, Brian (2006) Use of a coupled mechanical-acoustic computational model to identify failure mechanisms in paper production. In: Proceedings of the Thirteenth International Congress on Sound and Vibration, ICSV13, 2-6 Jul 2006, Vienna, Austria.

Kao, D., Graham, D., Knight, B., Pericleous, K. and Patel, M.K. (2006) Identifying the damage mechanisms in paper using the acoustic emission monitoring technique. In: Proceedings of the 5th International Conference on Engineering Computational Technology. Civil-Comp Proceedings, 47 (84). Civil-Comp Press Ltd., Stirling, UK. ISBN 1905088116 ISSN 1759-3433 (doi:10.4203/ccp.84.47)

Lee, Yek, Bailey, Christopher, Lu, Hua, Riches, Steve, Bartholomew, Martin and Tebbit, Nigel (2006) Analysis of the thermo mechanical effects on packaging process of performance enhanced AMLCD's and the optical performance of the display. Proceedings of the 1st Electronics Systemintegration Technology Conference, 2006. IEEE, pp. 1214-1217. ISBN 9781424405527 (doi:10.1109/ESTC.2006.280164)

Lee, Yek, Bailey, Christopher, Lu, Hua, Riches, Steve, Bartholomew, Martin and Tebbit, Nigel (2006) Thermo-mechanical analysis of the packaging process for micro-electronic displays. 7th International Conference on Thermal, Mechanical and Multiphysics Simulation and Experiments in Micro-Electronics and Micro-Systems, 2006. EuroSime 2006. IEEE Computer Society, pp. 190-195. ISBN 1 4244 0275 1 (doi:10.1109/ESIME.2006.1644051)

Lee, Yek, Bailey, Christopher, Riches, Steve and Bartholomew, Martin (2006) Predicting the behaviour of micro-electronic displays using computational mechanics. In: 14th Annual Joint Conference of the Association for Computational Mechanics in Engineering (ACME) and the Irish Society for Scientific and Engineering Computation (ISSEC), Queen's University of Belfast.

Ma, Chaoying, Bacon, Liz, Petridis, Miltos and Windall, Gill (2006) Towards the design of a portal framework for web services integration. 2006 Advanced International Conference on Telecommunications and International Conference on Internet and Web Applications and Services. Institute of Electrical and Electronics Engineers, Inc., New York, USA, pp. 163-169. ISBN 0769525229 (doi:10.1109/AICT-ICIW.2006.199)

Ma, Jixin and Knight, Brian (2006) Using set operations to deal with the frame problem. In: Yao, Yiyu, (ed.) Proceedings of the Fifth IEEE International Conference on Cognitive Informatics. IEEE Computer Society, Los Alamitos, CA, USA, pp. 447-452. ISBN 1424404754 (doi:10.1109/COGINF.2006.365530)

Ma, Jixin, Knight, Brian and Petridis, Miltos (2006) A versatile characterization of causal relationships. Research In Computing Science, 26. pp. 15-24. ISSN 1870-4069

Malik, Asif, Hughes, Michael and Bailey, Christopher (2006) Optoelectronic packaging interfaces for submicron alignment (OPISA) and the dynamics of laser spot weld formation. Proceedings of the 1st Electronics Systemintegration Technology Conference, 2006. IEEE, pp. 387-391. ISBN 1 4244 0552 1 (doi:10.1109/ESTC.2006.280031)

Parrott, Kevin and Rout, Sweta (2006) Semi-Lagrange time integration for PDE models of asian options. Progress in Industrial Mathematics at ECMI 2004. Mathematics in Industry, 8 . Springer Berlin / Heidelberg, Berlin, pp. 432-436. ISBN 9783540280729 (doi:10.1007/3-540-28073-1)

Rennolls, Keith and Laumonier, Yves (2006) A new local estimator of regional species diversity, in terms of ‘shadow species’, with a case study from Sumatra. Journal of Tropical Ecology, 22 (3). pp. 321-329. ISSN 0266-4674 (Print), 1469-7831 (Online) (doi:10.1017/S0266467406003142)

Rizvi, M.J., Bailey, Christopher, Chan, Y.C. and Lu, Hua (2006) Comparative wetting behavior of Sn-0.7Cu and Sn-0.7Cu-0.3Ni solders on Cu and Ni substrates. 1st Electronics Systemintegration Technology Conference. Dresden, Saxony, Germany. 2006 proceedings. IEEE, Piscataway, NJ, USA, pp. 145-151. ISBN 142440553X (doi:10.1109/ITHERM.2006.1645436)

Rizvi, M.J., Bailey, Christopher, Chan, Y.C. and Lu, Hua (2006) Effects of thermal cycling profiles on the performance of chip-on-flex assembly using anisotropic conductive films. Thermal and Thermomechanical Phenomena in Electronics Systems, 2006. ITHERM '06. The Tenth Intersociety Conference on. IEEE, pp. 855-860. ISBN 0780395247 (doi:10.1109/ITHERM.2006.1645436)

Rizvi, M.J., Chan, Y.C., Bailey, Christopher, Lu, Hua and Islam, M.N. (2006) Effect of adding 1 wt% Bi into the Sn–2.8Ag–0.5Cu solder alloy on the intermetallic formations with Cu-substrate during soldering and isothermal aging. Journal of Alloys and Compounds, 407 (1-2). pp. 208-214. ISSN 0925-8388 (doi:10.1016/j.jallcom.2005.06.050)

Rizvi, M.J., Yin, Chunyan and Bailey, Christopher (2006) Modeling the effect of lead-free soldering on flexible substrates. Electronic Materials and Packaging, 2006, EMAP 2006, International Conference on 11-14 Dec. 2006. IEEE, Piscataway, NJ, USA, pp. 1038-1042. ISBN 1424408334; 1424408342 (doi:10.1109/EMAP.2006.4430695)

Rodney, Demane, Soper, Alan and Walshaw, Christopher (2006) Multilevel refinement for the vehicle routing problem. In: Odysseus 2006, Third International Workshop on Freight Transportation and Logistics, 23-26 May, 2006, Altea, Spain.

Soper, Alan and Strusevich, Vitaly A. (2006) Two-machine flow shop scheduling with an interstage transporter: two shipments. In: Dolgui, Alexandre, Morel, Gerard and Pereira, Carlos Eduardo, (eds.) Information Control Problems in Manufacturing 2006: A Proceedings volume from the 12th IFAC International Symposium, St Etienne, France, 17-19 May 2006. IFAC Proceedings Volumes, 3 . Elsevier Ltd., Oxford, UK, pp. 27-32. ISBN 978-0-08-044654-7

Tilford, Tim, Baginski, E., Kelder, J., Pericleous, Koulis A. and Parrott, Kevin (2006) Microwave modeling and validation in food applications. Annual microwave heating symposium (40th). pp. 208-212. ISSN 1070-0129

Yin, Chunyan, Rizvi, M.J., Lu, Hua and Bailey, Christopher (2006) Thermal-mechanical analysis of flexible substrates during lead-free solder reflow. Proceedings of the 1st Electronics Systemintegration Technology Conference, 2006. IEEE, pp. 1007-1011. ISBN 1 4244 0552 1 (doi:10.1109/ESTC.2006.280134)

Zhao, Guoxing, Luo, Bin and Ma, Jixin (2006) Matching case history patterns in case-based reasoning. In: Huang, De-Shuang, Li, Kang and Irwin, G.W., (eds.) Intelligent computing in signal processing and pattern recognition: International Conference on Intelligent Computing, ICIC 2006, Kunming, China, August 16-19, 2006. Lecture notes in control and information sciences, 345 (345). Springer Verlag, Berlin, pp. 312-321. ISBN 9783540372578 ISSN 0170-8643 (doi:10.1007/978-3-540-37258-5_32)

2005

Anthony, Richard, Butler, Alun and Ibrahim, Mohammad (2005) Layered autonomic systems. Proceedings - Second International Conference on Autonomic Computing, ICAC 2005. IEEE Computer Society, Los Alamitos, pp. 383-384. ISBN 0 7695 2276 9 (doi:10.1109/ICAC.2005.36)

Galea, E.R., Blake, S.J. and Lawrence, P.J. (2005) Report on the Testing and Systematic Evaluation of the airEXODUS Aircraft Evacuation Model. Technical Report. Civil Aviation Authority (CAA). (doi:CAA Paper 2004/05)

Galea, Edwin R., Finney, Kate M., Dixon, Andrew J., Siddiqui, Asim and Cooney, David P. (2005) An analysis of the passenger to cabin crew ratio and exit reliability based on past survivable aviation accidents. Human Factors and Aerospace Safety, 5 (3). pp. 239-256. ISSN 1468-9456

Knight, Brian, Woon, Fei Ling, Coenen, Frans and Allen, Tony (2005) Case based adaptation using interpolation over nominal values. In: Research and Development in Intelligent Systems XXI: Proceedings of AI-2004, the Twenty-fourth SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence. Springer, London, UK, pp. 73-86. ISBN 9781852339074 (doi:10.1007/1-84628-102-4_6)

Lai, C.-H., Parrott, A.K., Rout, S. and Honnor, M.E. (2005) A distributed algorithm for European options with nonlinear volatility. Computers & Mathematics with Applications, 49 (5-6). pp. 885-894. ISSN 0898-1221 (doi:10.1016/j.camwa.2004.03.014)

Lee, Yek Bing, Bailey, Christopher, Lu, Hua, Riches, Steve and Bartholomew, Martin (2005) Modelling the Lamination Process for Ruggedised Displays. In: International Symposium on Electronic Materials and Packaging 2005 (EMAP 2005). IEEE, pp. 243-246. ISBN 1424401070 (doi:10.1109/EMAP.2005.1598269)

Ma, Jixin and Hayes, Pat (2005) Addressing time intervals. In: Nineteenth International Joint Conference on Artificial Intelligence (IJCAI-05) [Proceedings]. International Joint Conferences on Artificial Intelligence, Edinburgh, UK, pp. 29-38.

Ma, Jixin and Hayes, Pat (2005) Primitive intervals versus point-based intervals: rivals or allies? The Computer Journal, 49 (1). pp. 32-41. ISSN 0010-4620 (Print), 1460-2067 (Online) (doi:10.1093/comjnl/bxh151)

Ma, Jixin, Knight, Brian, Petridis, Miltiadis and Mineh, Amin (2005) Visualizing a temporal consistency checker. In: Proceedings. Ninth International Conference on Information Visualisation. IEEE Computer Society, Los Alamitos, CA, USA, pp. 686-691. ISBN 0769523978 ISSN 1550-6037 (doi:10.1109/IV.2005.151)

Ma, Jixin and Luo, Bin (2005) Representing and recognizing scenario patterns. In: Fuzzy Systems and Knowledge Discovery: Second International Conference, FSKD 2005, Changsha, China, August 27-29, 2005, Proceedings, Part II. Lecture Notes in Computer Science (3614). Springer Berlin Heidelberg, Berlin, Heidelberg, Germany, pp. 140-149. ISBN 9783540283317 ISSN 0302-9743 (doi:10.1007/11540007_18)

McManus, Kevin, Williams, Alison, Cross, Mark, Croft, Nick and Walshaw, Chris (2005) Assessing the scalability of multiphysics tools for modeling solidification and melting processes on parallel clusters. The International Journal of High Performance Computing Applications, 19 (1). pp. 1-27. ISSN 1094-3420 (Print), 1741-2846 (Online) (doi:10.1177/1094342005051198)

Rennolls, Keith and Wang, Mingliang (2005) A new parameterization of Johnson's SB distribution with application to fitting forest tree diameter data. Canadian Journal of Forest Research, 35 (3). pp. 575-579. ISSN 0045-5067 (Print), 1208-6037 (Online) (doi:10.1139/x05-006)

Rizvi, M.J., Chan, Y.C., Bailey, C., Lu, H., Islam, M.N. and Wu, B.Y. (2005) Wetting and Reaction of Sn-2.8Ag-0.5Cu-1.0Bi Solder with Cu and Ni Substrates. IEEE/TMS Journal of Electronic Materials, 34 (8). pp. 1115-1122. ISSN 0361-5235 (Print), 1543-186X (Online) (doi:10.1007/s11664-005-0239-6)

Rizvi, M.J., Chan, Y.C., Bailey, C., Lu, H. and Sharif, A. (2005) The effect of curing on the performance of ACF bonded chip-on-flex assemblies after thermal ageing. Soldering & Surface Mount Technology, 17 (2). pp. 40-48. ISSN 0954-0911 (doi:10.1108/09540910510597492)

Rizvi, M.J., Chan, Y.C., Bailey, Christopher and Lu, Hua (2005) Study of Anisotropic Conductive Adhesive Joint Behaviour under 3-Point Bending. Microelectronics Reliability, 4 (5). pp. 589-596. ISSN 0026-2714 (doi:10.1016/j.microrel.2004.10.015)

Rodney, Demane, Soper, Alan and Walshaw, Christopher (2005) Multilevel refinement for the vehicle routing problem. Proceedings of PlanSIG 2005, 24th Annual Workshop of UK Planning & Scheduling Special Interest Group. pp. 96-97. ISSN 1368 5708

Wang, Mingliang and Rennolls, Keith (2005) Tree diameter distribution modelling: introducing the logitlogistic distribution. Canadian Journal of Forest Research, 35 (6). pp. 1305-1313. ISSN 0045-5067 (Print), 1208-6037 (Online) (doi:10.1139/x05-057)

Woon, Fei Ling (2005) Using CBR to improve the usability of numerical models. PhD thesis, University of Greenwich.

Woon, Fei Ling, Knight, Brian, Petridis, Miltos and Patel, Mayur (2005) CBE-conveyor: a case-based reasoning system to assist engineers in designing conveyor systems. In: Case-Based Reasoning Research and Development: 6th International Conference on Case-Based Reasoning, ICCBR 2005, Chicago, IL, USA, August 23-26, 2005. Proceedings. Lecture Notes in Computer Science (3620). Springer Berlin Heidelberg, Berlin, Heidelberg, Germany, pp. 640-651. ISBN 9783540281740 (doi:10.1007/11536406_48)

Zhao, Guang, Shao, Guofan, Reynolds, Keith M., Wimberly, Michael C., Warner, Tim, Moser, John W., Rennolls, Keith, Magnussen, Steen, Köhl, Michael, Anderson, Hans-Erik, Mendoza, Guillermo A., Dai, Limin, Huth, Andreas, Zhang, Liangjun, Brey, James, Sun, Yujun, Ye, Ronghua, Martin, Brett A. and Li, Fengri (2005) Digital Forestry: A white paper. Journal of Forestry, 103 (1). pp. 47-50. ISSN 0022-1201

2004

Blake, S., Galea, E., Westang, H. and Dixon, A. (2004) An analysis of human behaviour during the WTC disaster of 9/11 based on published survivor accounts. In: 3rd International Symposium on Human Behaviour in Fire: Conference Proceedings. Interscience Communications Ltd., Greenwich, London, UK, pp. 181-192. ISBN 095412166X

Burnell, D., Al-Zobaidie, A., Windall, G. and Butler, A. (2004) Self-optimising data farming for web applications. In: Proceedings: 15th International Workshop on Database and Expert Systems (DEXA 2004). IEEE Computer Society, Los Alamitos, California, USA, pp. 436-440. ISBN 0769521959 ISSN 1529-4188 (doi:10.1109/DEXA.2004.1333513)

Butler, Alun R., Ibrahim, Mohamed, Rennolls, Keith and Bacon, Liz (2004) On the persistence of computer dreams: an application framework for robust adaptive deployment. In: Proceedings: 15th International Workshop on Database and Expert Systems Applications. IEEE Computer Society, Los Alamitos, California, USA, pp. 716-720. ISBN 0769521959 ISSN 1529-4188 (doi:10.1109/DEXA.2004.1333559)

Chen, Anyue, Zhang, Hanjun, Liu, Kai and Rennolls, Keith (2004) Birth-death processes with disaster and instantaneous resurrection. Advances in Applied Probability, 36 (1). pp. 267-292. ISSN 0001-8678 (doi:10.1239/aap/1077134473)

Dinčov, D.D., Parrott, K.A. and Pericleous, K.A. (2004) Heat and mass transfer in two-phase porous materials under intensive microwave heating. Journal of Food Engineering, 65 (2). pp. 403-412. ISSN 0260-8774 (doi:10.1016/j.jfoodeng.2004.02.011)

Dinčov, D.D., Parrott, K.A. and Pericleous, K.A. (2004) A new computational approach to microwave heating of two-phase porous materials. International Journal of Numerical Methods for Heat & Fluid Flow, 14 (6). pp. 783-802. ISSN 0961-5539 (doi:10.1108/09615530410544319)

Frangiskatos, D. and Mckenzie, S. (2004) ReSend: A Diffserv enabled router. In: 5th Annual Postgraduate Symposium on the Convergence of Telecommunications, Networking & Broadcasting, 28-29 Jun 2004, Liverpool John Moores University, UK,.

Galea, E.R., Blake, S. and Dixon, A. (2004) An analysis of passenger performance on stairs and upper deck slides during evacuation trials: a report from the VERRES project. In: Fourth Triennial International Fire and Cabin Safety Research Conference, 15–19 Nov 2004, Lisbon, Portugal.

Galea, E.R., Blake, S. and Lawrence, P. (2004) Computer simulation of VLTA evacuation performance: a report from the VERRES project. In: Fourth Triennial International Fire and Cabin Safety Research Conference, 15–19 Nov 2004, Lisbon, Portugal.

Galea, E.R., Blake, S.J., Gwynne, S. and Lawrence, P.J. (2004) Simulating the interaction of cabin crew with passengers during aircraft emergency evacuation conditions. In: Fourth Triennial International Fire and Cabin Safety Research Conference, 15–19 Nov 2004, Lisbon, Portugal.

Galea, E.R., Finney, K.M., Dixon, A.J.P, Siddiqui, A. and Cooney, D.P. (2004) The AASK database V4.0: aircraft accident statistics and knowledge. A database to record human experience of evacuation in aviation accidents. In: Fourth Triennial International Fire and Cabin Safety Research Conference, 15–19 Nov 2004, Lisbon, Portugal.

Galea, E.R., Lawrence, P.J., Blake, S.J., Gwynne, S. and Westeng, H. (2004) A preliminary investigation of the evacuation of the WTC North Tower using computer simulation. In: 3rd International Symposium on Human Behaviour in Fire: Conference Proceedings. Interscience Communications Ltd., Greenwich, London, UK, pp. 167-180. ISBN 095412166X

Ibrahim, Mohamed T., Telford, Ric, Dini, Petre, Lorenz, Pascal, Vidovic, Nino and Anthony, Richard (2004) Self-adaptability and man-in-the-loop: a dilemma in autonomic computing systems. In: Proceedings: 15th International Workshop on Database and Expert Systems Applications. IEEE Computer Society, Los Alamitos, California, USA, pp. 722-729. ISBN 0769521959 ISSN 1529-4188 (doi:10.1109/DEXA.2004.1333560)

Ma, C., Lin, Y., Bacon, E., Petridis, M. and Windall, G. (2004) Powering the virtual university with standard portal technology. IADAT Journal of Advanced Technology on Education, 1 (1). pp. 35-38. ISSN 1696-1073

Ma, C., Lin, Y., Bacon, E., Petridis, M. and Windall, G. (2004) An advance framework for the European networked university. In: IADAT-e2004 Conference International Conference on Education, 7-9 Jul 2004, Bilbao, Spain. (Unpublished)

Ma, Jixin (2004) Temporal Representation and Reasoning in Information Systems. In: Proceedings of the Eighth Pacific Asia Conference on Information Systems. Electronic Commerce Research Center, China, pp. 15-16.

Mann, Tony and Fedorec, Alex (2004) Computer Museum, School of Computing and Mathematical Sciences, University of Greenwich. IEEE Annals of the History of Computing, 26 (1). pp. 69-70. ISSN 1058-6180 (doi:10.1109/MAHC.2004.1278853)

Rennolls, Keith (2004) Towards the sustainable use of Europe’s forests: a centre for European forest science! – Some missing catalytic elements? EFI Proceedings, 49. pp. 317-322. ISSN 1237-8801 (Print), 1457-0610 (Online)

Rennolls, Keith, Richards, Tim, Fedorec, Alex, Ibrahim, Moh, McManus, Kevin and Butler, Alun (2004) Models and tools for an integrated European environmental management and decision support system, (IEEMDSS). In: Proceedings: 15th International Workshop on Database and Expert Systems Applications. IEEE Computer Society, Los Alamitos, California, USA, pp. 615-619. ISBN 0769521959 ISSN 1529-4188 (doi:10.1109/DEXA.2004.1333543)

Rennolls, Keith, Richards, Tim, Fedorec, Alex, Ibrahim, Moh, McManus, Kevin and Butler, Alun (2004) Requirements and design of an integrated European environmental information communication system, (IEEICS). In: Proceedings: 15th International Workshop on Database and Expert Systems Applications. IEEE Computer Society, Los Alamitos, California, USA, pp. 610-614. ISBN 0769521959 ISSN 1529-4188 (doi:10.1109/DEXA.2004.1333542)

Soper, A. J., Walshaw, C. and Cross, M. (2004) A combined evolutionary search and multilevel optimisation approach to graph-partitioning. Journal of Global Optimization, 29 (2). pp. 225-241. ISSN 0925-5001 (Print), 1573-2916 (Online) (doi:10.1023/B:JOGO.0000042115.44455.f3)

Teodorescu, Elena I. and Petridis, Miltos (2004) Towards heterogeneous multiple case-based reasoning: an investigation. Expert Update, 7 (2). pp. 29-33. ISSN 1465-4091

Walshaw, Chris (2004) Multilevel refinement for combinatorial optimisation problems. Annals of Operations Research, 131 (1-4). pp. 325-372. ISSN 0254-5330 (Print), 1572-9338 (Online) (doi:10.1023/B:ANOR.0000039525.80601.15)

Wolf, Markus and Petridis, Miltos (2004) Applying CBR to measure similarity of software design structures. Expert Update, 7 (2). pp. 8-12. ISSN 1465-4091

Woon, Fei Ling, Knight, Brian, Petridis, Miltos, Chapelle, Pierre and Patel, Mayur (2004) Enhancing the usability of numerical models with case-based reasoning. Journal of Expert Update, 7 (2). pp. 17-20. ISSN 1465-4091

2003

Blake, Simon (2003) The development and use of aircraft evacuation modelling as a viable tool for the certification and safety analysis of passenger aircraft. PhD thesis, University of Greenwich.

Butler, Alun, Bacon, Liz and Ibrahim, Mohamed (2003) SOFT – generating highly flexible object code from XML specifications. In: Database and Expert Systems Applications: 14th International Conference, DEXA 2003, Prague, Czech Republic, September 1-5, 2003. Proceedings. Lecture Notes in Computer Science (2736). Springer Berlin Heidelberg, Berlin, Heidelberg, Germany, pp. 8-17. ISBN 978-3-540-40806-2 ISSN 0302-9743 (doi:10.1007/978-3-540-45227-0_2)

Cross, M., Walshaw, C., Williams, A., Slone, A., Croft, T. and McManus, K. (2003) Parallel processing for non-linear problems. In: VII International Conference on Computational Plasticity, 7-10 Apr 2003, Barcelona.

Diekmann, Ralf, Preis, Robert, Schlimbach, Frank and Walshaw, Chris (2003) Shape-optimized mesh partitioning and load balancing for parallel adaptive FEM. Parallel Computing, 26 (12). pp. 1555-1581. ISSN 0167-8191 (doi:10.1016/S0167-8191(00)00043-0)

Galea, E.R, Finney, K.M., Dixon, A.J.P., Siddiqui, A. and Cooney, D.P. (2003) An analysis of human behaviour during aircraft evacuation situations using the AASK v3.0 database. The Aeronautical Journal, 107 (1070). pp. 219-231. ISSN 0001-9240

Galea, E.R., Blake, S.J., Gwynne, S, and Lawrence, P.J. (2003) The use of evacuation modelling techniques in the design of very large transport aircraft and blended wing body aircraft. The Aeronautical Journal, 107 (1070). pp. 207-218. ISSN 0001-9240

Galea, E.R., Blake, S.J., Lawrence, P.J. and Gwynne, S. (2003) The airEXODUS evacuation model and its application to aircraft safety. In: RTO AVT (Research and Technology Organisation. Applied Vehicle Technology) Specialists' Meeting on "Fire Safety and Survivability",, 23-26 Sep 2002, Aalborg, Denmark.

Galea, E.R., Finney, K.M., Dixon, A.J.P., Cooney, D.P. and Siddiqui, A. (2003) The AASK Database V3.0: a database of human experience during aircraft evacuation incidents. In: Fire Safety Science - Proceedings of the Seventh International Symposium. IAFSS Symposiums (7). International Association for Fire Safety Science, Greenwich, London, UK, pp. 865-876. ISBN 0954534808 ISSN 1817-4299 (doi:10.3801/IAFSS.FSS.7-865)

Knight, Brian and Woon, Fei Ling (2003) Case base adaptation using solution-space metrics. In: Proceedings of the 18th International Joint Conference on Artificial intelligence. Morgan Kaufmann Publishers Inc., San Francisco, CA, USA, pp. 1347-1348. ISBN 0127056610

Ma, Jixin and Knight, Brian (2003) Representing the dividing instant. The Computer Journal, 46 (2). pp. 213-222. ISSN 0010-4620 (Print), 1460-2067 (Online) (doi:10.1093/comjnl/46.2.213)

Ma, Jixin and Knight, Brian (2003) A framework for historical case-based reasoning. In: Case-Based Reasoning Research and Development: 5th International Conference on Case-Based Reasoning, ICCBR 2003 Trondheim, Norway, June 23–26, 2003 Proceedings. Lecture Notes in Computer Science (2689). Springer Berlin Heidelberg, Berlin, Heidelberg, Germany, pp. 246-260. ISBN 9783540404330 ISSN 0302-9743 (doi:10.1007/3-540-45006-8_21)

Nissan, Ephraim and Ma, Jixin (2003) Identification and doing without it, V: A formal mathematical analysis for a case of mix-up of individuals, and of recovery from failure to attain identification. Cybernetics and Systems: An International Journal, 34 (6-7). pp. 531-549. ISSN 0196-9722 (Print), 1087-6553 (Online) (doi:10.1080/01969720302858)

Njovu, Chiyaba and Ibrahim, Mohammed T. (2003) A design pattern approach to bitemporal data modeling. In: Proceedings: 14th International Workshop on Database and Expert Systems Applications (DEXA 2003). IEEE Computer Society, Los Alamitos, California, USA, pp. 758-761. ISBN 0769-199-8 ISSN 1529-4188 (doi:10.1109/DEXA.2003.1232112)

Walshaw, C. (2003) An exploration of multilevel combinatorial optimisation. In: Cong, Jingsheng Jason and Shinnerl, Joseph R., (eds.) Multilevel Optimization in VLSICAD. Combinatorial Optimization (14). Kluwer Academic Publishers, Boston, MA, USA, pp. 71-123. ISBN 1402010818

Walshaw, Chris (2003) A multilevel algorithm for force-directed graph-drawing. Journal of Graph Algorithms and Applications, 7 (3). pp. 253-285. ISSN 1526-1719 (doi:10.7155/jgaa.00070)

Woon, Fei Ling, Knight, Brian and Petridis, Miltos (2003) Case base reduction using solution-space metrics. In: Case-Based Reasoning Research and Development: 5th International Conference on Case-Based Reasoning, ICCBR 2003 Trondheim, Norway, June 23–26, 2003 Proceedings. Lecture Notes in Computer Science (2689). Springer Berlin Heidelberg, Berlin, Heidelberg, Germany, pp. 652-664. ISBN 9783540404330 ISSN 0302-9743 (doi:10.1007/3-540-45006-8_49)

2002

Blake, S.J., Galea, E.R., Gwynne, S., Lawrence, P.J. and Filippidis, L. (2002) Examining the effect of exit separation on aircraft evacuation performance during 90-second certification trials using evacuation modelling techniques. The Aeronautical Journal, 106 (1055). pp. 1-16. ISSN 0001-9240

Dinčov, Duško D., Parrott, Kevin A. and Pericleous, Koulis A. (2002) Coupled 3-D finite difference time domain and finite volume methods for solving microwave heating in porous media. In: Sloot, Peter A., Hoekstra, Alfons G., Tan, C.J. Kenneth and Dongarra, Jack J., (eds.) Computational Science - ICCS 2002: International Conference Amsterdam, The Netherlands, April 21–24, 2002 Proceedings. Lecture Notes in Computer Science, I (2329). Springer-Verlag, Berlin, Heidelberg, Germany, pp. 813-822. ISBN 9783540435914 (doi:10.1007/3-540-46043-8_82)

McManus, Kevin, Cross, Mark, Walshaw, Chris, Croft, Nick and Williams, Alison (2002) Parallel performance in multi-physics simulation. In: Computational Science - ICCS 2002: International Conference Amsterdam, The Netherlands, April 21–24, 2002 Proceedings. Lecture Notes in Computer Science, II (2330). Springer Berlin Heidelberg, Berlin, Heidelberg, Germany, pp. 806-815. ISBN 9783540435938 ISSN 0302-9743 (doi:10.1007/3-540-46080-2_85)

Mileman, Tony, Knight, Brian, Petridis, Miltos, Cowell, Don and Ewer, J. (2002) Case-based retrieval of 3-dimensional shapes for the design of metal castings. Journal of Intelligent Manufacturing, 13 (1). pp. 39-45. ISSN 0956-5515 (Print), 1572-8145 (Online) (doi:10.1023/A:1013676928961)

Walshaw, C. and Cross, M. (2002) Dynamic mesh partitioning and load-balancing for parallel computational mechanics codes. In: Topping, B.H.V., (ed.) Computational Mechanics using High Performance Computing. Computational Science, Engineering & Technology (9). Saxe-Coburg Publications, Kippen, Stirling, Scotland, pp. 79-94. ISBN 1874672075 (doi:10.4203/csets.9.4)

Walshaw, C. and Cross, M. (2002) Parallel mesh partitioning on distributed memory systems. In: Topping, B.H.V., (ed.) Computational Mechanics using High Performance Computing. Computational Science, Engineering & Technology (9). Saxe-Coburg Publications, Kippen, Stirling, Scotland, pp. 59-78. ISBN 1874672075 (doi:10.4203/csets.9.3)

Walshaw, C., Cross, M. and McManus, K. (2002) Multiphase mesh partitioning for parallel computational mechanics codes. In: Computational Science — ICCS 2002: International Conference Amsterdam, The Netherlands, April 21–24, 2002 Proceedings. Lecture Notes in Computer Science, II (2330). Springer Berlin Heidelberg, Berlin, Heidelberg, Germany, pp. 943-952. ISBN 9783540435938 ISSN 0302-9743 (doi:10.1007/3-540-46080-2_99)

Walshaw, Chris (2002) A multilevel approach to the travelling salesman problem. Operations Research, 50 (5). pp. 862-877. ISSN 0030-364X (Print), 1526-5463 (Online) (doi:10.1287/opre.50.5.862.373)

Woon, Fei Ling, Knight, Brian, Petridis, Miltos and Ward, Graham (2002) A case based model to assist in the design process in the manufacture of furniture products. Expert Update - The Specialist Group on Artificial intelligence, 5 (2). pp. 37-43. ISSN 1465-4091

2001

Basermann, A., Fingberg, J., Lonsdale, G., Maerten, G. and Walshaw, C. (2001) Dynamic multi-partitioning for parallel finite element applications. Parallel Computing, 27 (7). pp. 869-881. ISSN 0167-8191 (doi:10.1016/S0167-8191(01)00072-2)

Blake, S., Galea, E.R., Gwynne, S., Lawrence, P. and Filippidis, L. (2001) Examining the effect of exit separation on aircraft evacuation performance using evacuation modelling techniques: "Is the 60 foot rule relevant?". CMS Press, Greenwich, London, UK. ISBN 1899991727

Fingberg, J., Nakajima, K. and Walshaw, C. (2001) Load-balancing for mesh-based applications on heterogeneous cluster computers. In: Computational Fluid and Solid Mechanics. Elsevier Science Ltd., Philadelphia, PA, USA, pp. 1561-1564. ISBN 0060439446

Janes, D., Ewer, J., Galea, E., Patel, M. and Knight, B. (2001) Automatic dynamic control of CFD base fire modelling simulations. In: Conference Proceedings: Interflam 2001: 9th International Fire Science and Engineering Conference. Interscience Communications Ltd., Greenwich, London, UK, pp. 811-822. ISBN 0953231283

Ma, J. and Knight, B. (2001) Reified temporal logics: an overview. Artificial Intelligence Review, 15 (3). pp. 189-217. ISSN 0269-2821 (Print), 1573-7462 (Online) (doi:10.1023/A:1011018426725)

Mejasson, Patrick, Petridis, Miltos, Knight, Brian, Soper, Alan and Norman, Phil (2001) Intelligent design assistant (IDA): a case base reasoning system for material and design. Materials and Design, 22 (3). pp. 163-170. ISSN 0261-3069 (doi:10.1016/S0261-3069(00)00066-2)

Monk, Peter and Parrott, Kevin (2001) Phase-accuracy comparisons and improved far-field estimates for 3-D edge elements on tetrahedral meshes. Journal of Computational Physics, 170 (2). pp. 614-641. ISSN 0021-9991 (doi:10.1006/jcph.2001.6753)

Nissan, Ephraim, Galperin, Alex, Soper, Alan, Knight, Brian and Zhao, Jun (2001) Future states for a present-state estimate, in the contextual perspective of in-core nuclear fuel management. CASYS: International Journal of Computing Anticipatory Systems, 9. pp. 256-271. ISSN 1373-5411

Peng, Taoxin (2001) A general approach to temporal reasoning about action and change. PhD thesis, University of Greenwich.

Petridis, Miltos and Knight, Brian (2001) A blackboard architecture for a hybrid CBR system for scientific software. In: 4th International Conference on Case-Based Reasoning, ICCBR 2001 Vancouver, BC, Canada, July 30 - August. Navy Centre for Applied Research in Artificial Intelligence, Naval Research Laboratory, Washington DC, USA, pp. 189-195.

Rennolls, Keith (2001) Components of error of maps from remotely sensed images. In: Proceedings: Forest Biometry, Modelling and Information Systems. Proceedings: Forest Biometry, Modelling and Information Systems, Greenwich, London, UK.

Rennolls, Keith (2001) Likelihood, entropy and species diversity; some comparisons in a Sumatran forest. In: Proceedings: Forest Biometry, Modelling and Information Systems. Proceedings: Forest Biometry, Modelling and Information Systems, Greenwich, London, UK.

Soper, Alan and Walshaw, Christopher (2001) A generational scheme for partitioning graphs. In: Spector, Lee and Goodman, Erik D., (eds.) GECCO-2001: proceedings of the Genetic and Evolutionary Computation Conference: a joint meeting of the sixth annual Genetic Programming Conference (GP-2001) and the tenth International Conference on Genetic Algorithms (ICGA-2001): July 7-11, 2001. Morgan Kaufmann Publishers, San Francisco, USA, pp. 607-614. ISBN 978-1558607743

Taylor, Stephen, Knight, Brian, Petridis, Miltos, Ewer, John and Galea, Edwin (2001) A case based reasoning system capturing fire modelling expertise. Computing and Informatics, 20 (3). pp. 269-288. ISSN 1335-9150

Walshaw, C. (2001) A multilevel algorithm for force-directed graph drawing. In: Graph Drawing: 8th International Symposium, GD 2000 Colonial Williamsburg, VA, USA, September 20–23, 2000 Proceedings. Lecture Notes in Computer Science (1984). Springer Berlin Heidelberg, Berlin, Heidelberg, Germany, pp. 171-182. ISBN 9783540415541 ISSN 0302-9743 (doi:10.1007/3-540-44541-2_17)

Walshaw, Christopher and Cross, Mark (2001) Multilevel mesh partitioning for heterogeneous communication networks. Future Generation Computer Systems, 17 (5). pp. 601-623. ISSN 0167-739X (doi:10.1016/S0167-739X(00)00107-2)

2000

Basermann, A., Clinckemaillie, J., Coupez, T., Fingberg, J., Digonnet, H., Ducloux, R., Gratien, J.-M., Hartmann, U., Lonsdale, G., Maerten, B., Roose, D. and Walshaw, C. (2000) Dynamic load-balancing of finite element applications with the DRAMA library. Applied Mathematical Modelling, 25 (2). pp. 83-98. ISSN 0307-904X (doi:10.1016/S0307-904X(00)00043-3)

Ewer, J.A.C., Galea, E.R., Patel, M.K. and Knight, B. (2000) The development of group solvers in the SMARTFIRE fire field model. In: ACME '2000 The 8th Annual Conference of the Association for Computational Mechanics in Engineering. Extended Abstracts. University of Greenwich, Greenwich, London, UK, pp. 54-57. ISBN 1861661509

McManus, K., Cross, M., Walshaw, C., Johnson, S., Bailey, C., Pericleous, K., Slone, A. and Chow, P. (2000) Virtual manufacturing and design in the real world - implementation and scalability on HPPC systems. In: Parallel Computational Fluid Dynamics 1999: Towards Teraflops, Optimization and Novel Formulations. North-Holland, Amsterdam, The Netherlands, pp. 47-56. ISBN 978044482851 (doi:10.1016/B978-044482851-4.50009-8)

McManus, Kevin, Cross, Mark, Walshaw, Chris, Johnson, Steve and Leggett, Peter (2000) A scalable strategy for the parallelization of multiphysics unstructured mesh-iterative codes on distributed-memory systems. The International Journal of High Performance Computing Applications, 14 (2). pp. 137-174. ISSN 1094-3420 (Print), 1741-2846 (Online) (doi:10.1177/109434200001400203)

Mileman, Tony, Knight, Brian, Petridis, Miltos, Preddy, Keith and Mejasson, Patrick (2000) Maintenance of a case-base for the retrieval of rotationally symmetric shapes for the design of metal castings. In: Blanzieri, Enrico and Portinale, Luigi, (eds.) Advances in Case-Based Reasoning: 5th European Workshop, EWCBR 2000 Trento, Italy, September 6–9, 2000 Proceedings. Lecture Notes in Computer Science: Lecture Notes in Artificial Intelligence (1898). Springer Berlin Heidelberg, Berlin, Heidelberg, Germany, pp. 418-430. ISBN 9783540679332 ISSN 0302-9743 (doi:10.1007/3-540-44527-7_36)

Nissan, Ephraim, Galperin, Alex, Zhao, Jun, Knight, Brian and Soper, Alan (2000) From FUELCON to FUELGEN: tools for fuel reload pattern design. In: Ruan, Da, (ed.) Fuzzy Systems and Soft Computing in Nuclear Engineering, ed. Da Ruan, Publ. Springer Verlag,. Physica Verlag Heidelberg, pp. 432-448. ISBN 978-3790812510

Norowi, H. Mohd, Perry, Joe N., Powell, W. and Rennolls, K. (2000) The effect of spatial scale on interactions between two weevils and their parasitoid. Ecological Entomology, 25 (2). pp. 188-196. ISSN 0307-6946 (Print), 1365-2311 (Online) (doi:10.1046/j.1365-2311.2000.00242.x)

Perry, Joe N., Noh, Maeng Seok, Lee, Youngjo, Alston, Robert D., Norowi, H. Mohd., Powell, Wilf and Rennolls, Keith (2000) Fitting host-parasitoid models with CV² > 1 using hierarchical generalized linear models. Proceedings of The Royal Society B: Biological Sciences, 267 (1457). pp. 2043-2048. ISSN 1471-2954 (doi:10.1098/rspb.2000.1247)

Rennolls, Keith and Laumonier, Yves (2000) Species diversity structure analysis at two sites in the tropical rain forest of Sumatra. Journal of Tropical Ecology, 16 (2). pp. 253-270. ISSN 0266-4674 (Print), 1469-7831 (Online)

Rodrigues, J.N., Johnson, S.P., Walshaw, C. and Cross, M. (2000) An automatable generic strategy for dynamic load balancing in parallel structured mesh CFD codes. In: Parallel Computational Fluid Dynamics 1999: Towards Teraflops, Optimization and Novel Formulations. North-Holland, Amsterdam, The Netherlands, pp. 345-353. ISBN 978044482851 (doi:10.1016/B978-044482851-4.50043-8)

Soper, Alan, Walshaw, Christopher and Cross, Mark (2000) A combined evolutionary search and multilevel approach to graph partitioning. GECCO-2000: proceedings of the Genetic and Evolutionary Computation Conference : a joint meeting of the Ninth International Conference on Genetic Algorithms (ICGA-2000) and the Fifth Annual Genetic Programming Conference (GP-2000), July 10-12, 2000, Las V. Morgan Kaufmann Publishers, San Francisco, USA, pp. 674-681. ISBN 978-1558607088

Soper, Alan, Walshaw, Christopher and Cross, Mark (2000) A combined evolutionary search and multilevel optimisation approach to graph partitioning. Technical Report. CMS Press, London, UK. (doi:Tech. Rep. 00/IM/58)

Walshaw, C. and Cross, M. (2000) Mesh partitioning: a multilevel balancing and refinement algorithm. SIAM Journal on Scientific Computing, 22 (1). pp. 63-80. ISSN 1064-8275 (Print), 1095-7197 (Online) (doi:10.1137/S1064827598337373)

Walshaw, C. and Cross, M. (2000) Parallel optimisation algorithms for multilevel mesh partitioning. Parallel Computing, 26 (12). pp. 1635-1660. ISSN 0167-8191 (doi:10.1016/S0167-8191(00)00046-6)

Walshaw, C., Cross, M. and McManus, K. (2000) Multiphase mesh partitioning. Applied Mathematical Modelling, 25 (2). pp. 123-140. ISSN 0307-904X

1999

Aravinthan, V., Johnson, S.P., McManus, K., Walshaw, C. and Cross, M. (1999) Dynamic load balancing for multi-physical modelling using unstructured meshes. In: Eleventh International Conference on Domain Decomposition Methods. Domain Decomposition Methods, pp. 374-381. ISBN 82-994951-1-3

Clarke, Nigel and Parrott, Kevin (1999) Multigrid for American option pricing with stochastic volatility. Applied Mathematical Finance, 6 (3). pp. 177-195. ISSN 1350-486X (Print), 1466-4313 (Online) (doi:10.1080/135048699334528)

Cross, M., McManus, K., Johnson, S.P., Ierotheou, C.S., Walshaw, C., Bailey, C. and Pericleous, K.A. (1999) Computational modelling of multi-physics processes on high performance parallel computer systems. In: Allan, R.J., Guest, M.F., Simpson, A.D., Henty, D.S. and Nicole, D.A., (eds.) High-Performance Computing. Springer US, pp. 91-102. ISBN 978-0-306-46034-0 (doi:10.1007/978-1-4615-4873-7_10)

Ewer, J., Galea, E.R., Patel, M.K., Taylor, S., Knight, B. and Petridis, M. (1999) SMARTFIRE: an intelligent CFD based fire model. Journal of Fire Protection Engineering, 10 (1). pp. 13-27. ISSN 1042-3915 (Print), 1532-172X (Online) (doi:10.1177/104239159901000102)

Ewer, J.A.C., Galea, E.R., Patel, M.K. and Knight, B. (1999) The development and application of group solvers in the SMARTFIRE fire field model. In: Conference Proceedings: Interflam 1999: 8th International Fire Science and Engineering Conference. Interscience Communications Ltd., Greenwich, London, UK, pp. 939-950. ISBN 0953231232

Finney, K., Fenton, N. and Fedorec, A. (1999) Effects of structure on the comprehensibility of formal specifications. IEE Proceedings Software, 146 (4). pp. 193-202. ISSN 1462-5970 (doi:10.1049/ip-sen:19990600)

Knight, Brian and Nissan, Ephraim (1999) A forum on case-based reasoning. Guest editorial. New Review of Applied Expert Systems, 5. pp. 141-142. ISSN 1361-0244

Knight, Brian, Taylor, Steve, Petridis, Miltos, Ewer, John and Galea, Edwin (1999) A knowledge-based system to represent spatial reasoning for fire modelling. Engineering Applications of Artificial Intelligence, 12 (2). pp. 213-219. ISSN 0952-1976 (doi:10.1016/S0952-1976(98)00057-8)

Ma, Jixin (1999) An Approach to the Frame Problem Based on Set Operations. In: IJCAI-99 Workshop on Nonmonotonic Reasoning, Action and Change, 31 July - 6 August 1999, Stockholm, Sweden.

Ma, Jixin, Knight, Brian and Nissan, Ephraim (1999) Temporal representation of state transitions. AI EDAM, 13 (2). pp. 67-78. ISSN 0890-0604 (Print), 1469-1760 (Online) (doi:10.1017/S0890060499132025)

McManus, K., Johnson, S.P. and Cross, M. (1999) Converting best manual practice into generic automatable strategies for unstructured mesh parallelisation. Concurrency: Practice and Experience, 11 (11). pp. 593-614. ISSN 1040-3108 (doi:10.1002/(SICI)1096-9128(199909)11:11<593::AID-CPE446>3.0.CO;2-L)

Rennolls, Keith (1999) Data requirements for forest modelling. In: Amaro, Ana and Tomé, Margarida, (eds.) Empirical and Process Based Models for Forest Tree and Stand Growth Simulation. Edições Salamandra, Lisbon, Portugal, pp. 11-22. ISBN 9789726891543

Rennolls, Keith and Laumonier, Yves (1999) Tree species-area and species-diameter relationships at three lowland rain forest sites in Sumatra. Journal of Tropical Forest Science, 11 (4). pp. 784-800. ISSN 0128-1283

Tyler, M., Knight, B., Norman, P., Mejasson, P. and Petridis, M. (1999) An intelligent assistant for design and material engineers in the submarine cable industry. New Review of Applied Expert Systems, 5. pp. 203-212. ISSN 1361-0244

Walshaw, C., Cross, M., Diekmann, R. and Schlimbach, F. (1999) Multilevel mesh partitioning for optimising aspect ratio. In: Hernández, Vicente, Palma, José M.L.M. and Dongarra, Jack J., (eds.) Vector and Parallel Processing – VECPAR’98: Third International Conference, Porto, Portugal, June 21-23, 1998. Selected Papers and Invited Talks. Lecture Notes in Computer Science (1573). Springer Berlin Heidelberg, Berlin, Heidelberg, Germany, pp. 285-300. ISBN 9783540662280 (doi:10.1007/10703040_23)

Walshaw, C., Cross, M., Diekmann, R. and Schlimbach, F. (1999) Multilevel mesh partitioning for optimizing domain shape. The International Journal of High Performance Computing Applications, 13 (4). pp. 334-353. ISSN 1094-3420 (Print), 1741-2846 (Online) (doi:10.1177/109434209901300404)

Walshaw, C., Cross, M. and Everett, M. (1999) Mesh partitioning and load balancing for distributed memory parallel architectures. In: Topping, B.H.V., (ed.) Parallel and Distributed Processing for Computational Mechanics: Systems and Tools. Civil-Comp Press, Edinburgh, UK, pp. 110-123. ISBN 1-874672-03-2

1998

Ewer, J., Galea, E.R., Knight, B., Patel, M., Janes, D. and Petridis, M. (1998) Fire field modelling using the SMARTFIRE automated dynamic solution control environment. CMS Press, Greenwich, London, UK. ISBN 1899991387

Finney, Kate, Rennolls, Keith and Fedorec, Alex (1998) Measuring the comprehensibility of Z specifications. Journal of Systems and Software, 42 (1). pp. 3-15. ISSN 0164-1212 (doi:10.1016/S0164-1212(98)00003-X)

Janssen, R., Dracopoulos, M., Parrott, K., Slessor, E., Alotto, P., Molfino, P., Nervi, M. and Simkin, J. (1998) Parallelisation of electromagnetic simulation codes. IEEE Transactions on Magnetics, 34 (5). pp. 3423-3426. ISSN 0018-9464 (doi:10.1109/20.717806)

Knight, B., Ma, J. and Nissan, E. (1998) Representing temporal knowledge in legal discourse. Information & Communications Technology Law, 7 (3). pp. 199-211. ISSN 1360-0834 (Print), 1469-8404 (Online) (doi:10.1080/13600834.1998.9965791)

Mileman, T.J., Knight, B., Cowell, D.F. and Preddy, K.L. (1998) Cast-aid: a decision support system for designing castings. In: 8th International conference on Modeling of Casting and Welding Processes. Minerals, Metals & Materials Society, Warrendale, PA, USA, pp. 1087-1094. ISBN 0873394070

Nissan, Ephraim, Soper, Alan, Zhao, Jun, Knight, Brian and Petridis, Miltos (1998) Fuel reload pattern design within a family of hybrid architectures. In: 3rd International FLINS Workshop on Fuzzy Logic and Intelligent Technologies for Nuclear Science and Industry, 14-16 September, 1998, Antwerp, Belgium.

Rennolls, Keith and Laumonier, Yves (1998) Analysis of species hyper-diversity in the tropical rain forests of Indonesia: the problem of non-observance. In: Sassa, Kyoji, (ed.) Environmental Forest Science. Proceedings of the IUFRO Division 8 Conference Environmental Forest Science, held 19–23 October 1998, Kyoto University, Japan. Forestry Sciences (54). Springer Netherlands, pp. 355-362. ISBN 978-94-010-6237-4 (doi:10.1007/978-94-011-5324-9_38)

Rennolls, Keith, Zhang, Yong, Ramesh, Nadarajah, Chen, Anyue and Patel, Swatee (1998) Spatial models of pollution exposure from a road network: the effect on asthma. In: Barnett, Vic, Stein, Albert and Turkman, K. Feridun, (eds.) Statistical Aspects of Health and the Environment. Statistics for the Environment (4). Wiley-Blackwell, Chichester, UK, pp. 137-150. ISBN 9780471976455

Soper, Alan (1998) Exploring genetic alternative concepts for FUELGEN. New Review of Applied Expert Systems, 4. pp. 185-194. ISSN 1361-0244

Soper, Alan (1998) A higher order Hopfield network for vector quantisation. Neural Computing & Applications, 7 (2). pp. 99-106. ISSN 0941-0643 electronic 1433-3058

Soper, Alan and Robbins, P. (1998) A redundant representation for use by genetic algorithms on parameter optimisation problems. In: International Conference on Artificial Neural Net and Genetic Algorithms, 1997, 1-4 April, 1997, Norwich, England.

Taylor, S., Galea, E.R., Ewer, J., Patel, M.K., Petridis, M. and Knight, B. (1998) SMARTFIRE: an intelligent CFD-based fire model. CMS Press, Greenwich, London, UK. ISBN 1899991301

Zhao, J., Knight, B., Nissan, E., Petridis, M. and Soper, A.J. (1998) The FUELGEN alternative: an evolutionary approach. The architecture. New Review of Applied Expert Systems, 4. pp. 177-183. ISSN 1361-0244

Zhao, J., Knight, B., Nissan, E. and Soper, A. (1998) FUELGEN: effective evolutionary design of refuellings for pressurized water reactors. Computers and Artificial Intelligence, 17 (2-3). pp. 105-125. ISSN 0232-0274

Zhao, Jun, Knight, Brian, Nissan, Ephraim and Soper, Alan (1998) FuelGen: a genetic algorithm-based system for fuel loading pattern design in nuclear power reactors. Expert Systems with Applications, 14 (4). pp. 461-470. ISSN 0957-4174 (doi:10.1016/S0957-4174(98)00005-0)

1997

Dracopoulos, M., Parrott, K., Molinari, G., Nervi, M. and Simkin, J. (1997) Results of parallelisation of existing electromagnetic finite codes on some different parallel architectures. Applied Computational Electromagnetics Society Journal, 12 (2). pp. 107-112. ISSN 1054-4887

Dracopoulos, Mike C., Glasgow, Craig, Parrott, A. Kevin, Janssen, Rick, Alotto, Pergiorgio and Simkin, John (1997) Bulk synchronous parallelization of industrial electromagentic software. International Journal of High Performance Computing Applications, 11 (4). pp. 344-358. ISSN 1078-3482 (Print), 1741-2846 (Online) (doi:10.1177/109434209701100408)

Knight, Brian and Ma, Jixin (1997) Temporal management using relative time in knowledge-based process control. Engineering Applications of Artificial Intelligence, 10 (3). pp. 269-280. ISSN 0952-1976 (doi:10.1016/S0952-1976(97)00003-1)

Ma, J., Knight, B. and Peng, T. (1997) Representing temporal relationships between events and their effects. In: Proceedings: Fourth International Workshop on Temporal Representation and Reasoning. IEEE Computer Society Press, Los Alamitos, California, USA, pp. 148-152. ISBN 0818679379 (doi:10.1109/TIME.1997.600796)

McCready, M., Patel, S. and Rennolls, K. (1997) An investigation of the effect of road traffic pollution on asthma, using Geographical Information Systems. In: Barnett, Vic and Feridun Turkman, K., (eds.) Statistics for the Environment 3. Pollution Assessment and Control. John Wiley & Sons, Ltd., Chichester, UK, pp. 287-300. ISBN 978-0-471-96435-3

Preddy, Keith, Knight, Brian, Cowell, Donald and Mileman, Tony (1997) Cais-Aid: A complementary Partner to Numerical Modelling of Casting Simulation. In: The Institute of British Foundrymen 94th Annual Conference [Castcon'97], 26-27th June 1997, Stratford-upon-Avon, UK.

Soper, Alan and McKenzie, S. (1997) The use of a biased heuristic by a genetic algorithm applied to the design of multipoint connections in a local access network. IET Seminar Digest, 446. pp. 113-116. ISSN 0537-9989 (doi:10.1049/cp:19971165)

Taylor, S., Petridis, M., Knight, B., Ewer, J., Galea, E.R. and Patel, M. (1997) SMARTFIRE: an integrated computational fluid dynamics code and expert system for fire field modelling. In: Fire Safety Science: Proceedings of the Fifth International Symposium. International Association for Fire Safety Science, Greenwich, London, UK, pp. 1285-1296. ISBN 4990062555 (doi:10.3801/IAFSS.FSS.5-1285)

Walshaw, C., Cross, M. and Everett, M.G. (1997) Parallel dynamic graph-partitioning for unstructured meshes. Journal of Parallel and Distributed Computing, 47 (2). pp. 102-108. ISSN 0743-7315 (doi:10.1006/jpdc.1997.1407)

1996

Cross, M., Lyster, C, Bailey, C., Croft, N., Ewer, J., Leggett, P., McManus, K., Pericleous, K.A. and Patel, M.K. (1996) PHYSICA - A software environment for the modelling of multi-physics phenomena. ZAMM - Journal of Applied Mathematics and Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik, 76 (S4). pp. 105-108. ISSN 0044-2267 (Print), 1521-4001 (Online) (doi:10.1002/zamm.19960761408)

Finney, Kate (1996) Mathematical notation in formal specification: Too difficult for the masses? [Correspondence]. IEEE Transactions on Software Engineering, 22 (2). pp. 158-159. ISSN 0098-5589 (doi:10.1109/32.485225)

Finney, Kate and Fenton, Norman (1996) Evaluating the effectiveness of Z: The claims made about CICS and where we go from here. Journal of Systems Software, 35 (3). pp. 209-216. ISSN 0164-1212 (doi:10.1016/S0164-1212(96)00122-7)

Finney, Kate M. and Fedorec, Alex M. (1996) An empirical study of specification readability. In: Dean, C. Neville and Hinchey, Michael G., (eds.) Teaching and Learning Formal Methods. Academic Press International Series in Formal Methods . Academic Press, pp. 117-130. ISBN 9780123490407

Ma, J., Knight, B. and Ibrahim, M. (1996) A qualitative temporal information system for process control. Advances in Engineering Software, 25 (2-3). pp. 235-241. ISSN 0965-9978 (doi:10.1016/0965-9978(95)00090-9)

Ma, Jixin and Knight, Brian (1996) Building temporal constraints into knowledge bases for process control: an examination [Reply to author's reply]. Engineering Applications of Artificial Intelligence, 9 (1). pp. 95-96. ISSN 0952-1976 (doi:10.1016/0952-1976(95)00065-8)

Ma, Jixin and Knight, Brian (1996) A reified temporal logic. The Computer Journal, 39 (9). pp. 800-807. ISSN 0010-4620 (doi:10.1093/comjnl/39.9.800)

Petridis, M. and Knight, B. (1996) The integration of an intelligent knowledge-based system into engineering software using the blackboard structure. Advances in Engineering Software, 25 (2-3). pp. 141-147. ISSN 0965-9978 (doi:10.1016/0965-9978(95)00101-8)

Reed, Joy, Parrott, Kevin and Lanfear, Tim (1996) Portability, predictability and performance for parallel computing: BSP in practice. Concurrency: Practice and Experience, 8 (10). pp. 799-812. ISSN 1040-3108 (Print), 1096-9128 (Online) (doi:10.1002/(SICI)1096-9128(199612)8:10<799::AID-CPE274>3.0.CO;2-7)

Taylor, S., Galea, E., Patel, M. and Petridis, M. (1996) SMARTFIRE: an intelligent fire field model. In: Conference Proceedings: Interflam '96: Seventh International Fire Science and Engineering Conference. Interscience Communications Ltd., Greenwich, London, UK, pp. 671-680. ISBN 0951632094

Zhao, Jun, Kearney, Garrett and Soper, Alan (1996) Emotional expression classification by genetic programming. In: Genetic Programming 1996 Conference (GP-96), 28-31 July 1996, Stanford University, United States. (Unpublished)

Zhao, Jun, Patel, Mayur and Knight, Brian (1996) A self-organising neural network for optimal grid distribution. CMS Paper S, 9 (6). CMS Press, London. ISBN 1899991115 (doi:978-1899991112)

1994

Ma, Jixin (1994) Towards a general temporal theory. PhD thesis, University of Greenwich.

1991

Kearney, Garrett Donough Anthony (1991) Design of a memory based expert system for interpreting facial expressions in terms of signalled emotions. PhD thesis, Thames Polytechnic.

1988

Mehrtens, Ian Nigel (1988) Time prediction: an alternative approach. MPhil thesis, Thames Polytechnic.

This list was generated on Thu Oct 13 05:44:39 2016 BST.