Skip to main page content - your browser does not fully support our CSS, or is text-only.
Research Enquiries

Computing Science Publications

Publications of current members of staff that appeared before they joined us are not given in the list below. A complete list of their publications will normally be found on their home page.

From 2001, our staff members are given in capitals.

To find publications from a specific staff member, enter their surname (e.g. Bloggs) and click "Show Publications" below:

Surname:

2015

Kenneth J. TURNER and Paul S. Lambert, Workflows for Quantitative Data Analysis in The Social Sciences, volume 17, issue 3, pp321-338, Software Tools for Technology Transfer, Springer, Berlin, May 2015

Kenneth J. TURNER, The Ecology of Home Sensor Networks for Telecare, pp51-66, Ecological Design of Smart Home Networks, editors Nabuo Saito and David Menga, May 2015, Woodhead Publishing, Sawston, UK, ISBN 978-1-78242-119-1

Kenneth J. TURNER, Explaining the Operation of A Home Care System, Assistive Technologies, Emerald, Bingley, UK, volume 9, issue 1, pp21-37, April 2015, DOI dx.doi.org/10.1108/JAT-02-2014-0011

2014

Gabriela OCHOA and others, Evolutionary Computation in Combinatorial Optimisation - EvoCOP 2014, Revised Selected Papers. Lecture Notes in Computer Science Volume 8600, Springer, Edited by Dr Gabriela Ochoa and others.

Kenneth J. TURNER, Managing Home Care with Loose Policies, Journal of Ambient Intelligence and Smart Environments, IOS Press, Amsterdam, Netherlands, August 2014, volume 6, number 5, pp489-506.

2013

E. López-Camacho, G. OCHOA, H. Terashima-Marin, E. K. BURKE, An Effective Heuristic for the Two-dimensional Irregular Bin Packing Problem, Annals of Operations Research. DOI:10.1007/s10479-013-1341-4. [PDF] [Online version] [bib entry]

E. López-Camacho, H. Terashima-Marin, G. OCHOA, and S. E. Conant-Pablos, Understanding the structure of bin packing problems through principal component analysis, *International Journal of Production **Economics*. Special Issue on Cutting and Packing, 2013. DOI: 10.1016/j.ijpe.2013.04.041.[Online version] [bib entry].

Claire MATERNAGHAN and Kenneth J. TURNER, Policy Conflicts in Home Automation, Computer Networks, Elsevier, Amsterdam, July 2013, Vol 57, number 10, pp2249-2261

G. OCHOA, M. Villasana, Population-based optimization of cytostatic/cytotoxic combination cancer chemotherapy, *Soft Computing*. Vol 17, No. 6, pp. 913-924. DOI:10.1007/s00500-013-1043-5, [PDF] [Online version] [bib entry]

G.L. Pappa, G. OCHOA, M.R. Hyde, A.A. Freitas, J. WOODWARD, J. SWAN, Contrasting meta-learning and hyper-heuristic research: the role of evolutionary algorithms, *Genetic Programming and Evolvable Machines**. *DOI:* 10.1007/s10710-013-9186-9, [PDF] [Online version] [bib entry]

Kenneth J. TURNER, Managing Telehealth and Telecare, Pervasive Health - State-of-The-Art and Beyond, editor Andreas Holzinger, Martina Ziefle and Carsten Röcker, April 2013, pp157-180, Springer Verlag, Berlin, ISBN 978-1-4471-6413-5.

Kenneth J. TURNER and Evan H. MAGILL, Guest Editorial on Feature Interaction in Communications and Software Systems Computer Networks, Elsevier, Amsterdam, July 2013, Vol 57, number 10, pp2215-2218

Kenneth J. Turner and Marilyn R. McGee-Lennon, Advances in Telecare over The Past Ten Years, Smart Homecare Technology and Telehealth, Dove Medical Press, Princeton, New Jersey, November 2013, volume 1, pp21-34

2012

F. Chicano, F. Daolio, G. OCHOA, S. Verel, M. Tomassini, E. Alba, Local Optima Networks, Landscape Autocorrelation and Heuristic Search Performance, . Parallel Problam Solving from Nature (PPSN 2012), Lecture Notes in Conputer Science, Vol. 7492, Springer, pp. 337-347. [PDF]

F. Daolio, S. Verel, G. OCHOA, M. Tomassini, Local Optima Networks and the Performance of Iterated Local Search, Genetic and Evolutionary Computation Conference (GECCO-2012), ACM, pp. 369-376. [PDF]

G. OCHOA, J. Walker, M. Hyde, and T. Curtois, Adaptive Evolutionary Algorithms and Extensions to the HyFlex Hyper-heuristic Framework, Parallel Problam Solving from Nature (PPSN 2012), Lecture Notes in Computer Science, Vol. 7492, Springer, pp. 418-427. [PDF]

Kenneth J. TURNER, Advances in Home Care Technologies: Results of The MATCH Project, IOS Press, Amsterdam, Netherlands, October 2012, ISBN 978-1-61499-126-7

Kenneth J. TURNER, Advances in Home Care Technologies: Results of The MATCH Project, Introduction and Context, editor Kenneth J. Turner, pages 1-10, October 2012, IOS Press, Amsterdam, Netherlands, ISBN 978-1-61499-126-7

Kenneth J. TURNER, Advances in Home Care Technologies: Results of The MATCH Project, Conclusion and Prospects, editor Kenneth J. Turner, pages 203-209, October 2012, IOS Press, Amsterdam, Netherlands, ISBN 978-1-61499-126-7

Kenneth J. TURNER, Gavin A. CAMPBELL, Feng WANG, Goals and Policies for Home Care in Advances in Home Care Technologies: Results of The MATCH Project, editor Kenneth J. Turner, pages 30-49, October 2012, IOS Press, Amsterdam, Netherlands, ISBN 978-1-61499-126-7

Kenneth J. TURNER, Claire MATERNAGHAN, Home Care Systems in Advances in Home Care Technologies: Results of The MATCH Project, editor Kenneth J. Turner, pages 11-29, October 2012, IOS Press, Amsterdam, Netherlands, ISBN 978-1-61499-126-7

2011

A. BRACCIALI, Modelling HIV Infection: A computational overview, In R. Breitling, A.M. Uhrmacher, F.J. Bruggeman and C. Priami editors Formal Methods in Molecular Biology (Dagstuhl Seminar 11151) 1(4), pages 41-64, 2011. (DOI: 10.4230/DagRep.1.4.41)

FURNESS, J., KOLBERG, M., Improving Wide Area P2P Service Discovery Mechanisms using Complex Queries, Future Internet Services and Service Architectures, River Publishers, ISBN 9788792329592, pp183-203, 2011.

FURNESS, J., KOLBERG, M., Considering Complex Search Techniques in DHTs Under Churn, 8th IEEE Consumer Communications and Networking Conference (CCNC), pp 559 - 564, 2011. http://dx.doi.org/10.1109/CCNC.2011.5766542.

I.A. GHEYAS and L. S. SMITH, A Novel Neural Network Ensemble Architecture for Time series Forecasting, Neurocomputing 74 3855-3864, 2011, doi:10.1016/j.neucom.2011.08.005.

Koickal, T.J.; Latif, R.; Gouveia, L.; Mastropaolo, E.; Wang, S.; Hamilton, A.; Cheung, R.; NEWTON, M.; SMITH, L.; Design of a spike event coded RGT microphone for neuromorphic auditory systems, Circuits and Systems (ISCAS), 2011 IEEE International Symposium on, 15-18 May 2011, pp 2465 - 2468, DOI: 10.1109/ISCAS.2011.5938103

KOLBERG, M., Buford, J.F., Application Layer Multicast Extensions to RELOAD, 8th IEEE Consumer Communications and Networking Conference (CCNC), pp. 1083 - 1087, 2011, http://dx.doi.org/10.1109/CCNC.2011.5766334.

Rhonira Latif, Enrico Mastropaolo, Andrew Bunting, Rebecca Cheung, Thomas Koickal, Alister Hamilton, Michael NEWTON and Leslie SMITH, Low frequency tantalum electromechanical systems for biomimetical applications, Journal of Vacuum Science & Technology B, 29, 06FE05 (2011); doi:10.1116/1.3662408 (6 pages)

Savi MAHARAJ, Tamsin McCaldin, Adam KLECZKOWSKI A Participatory Simulation Model for Studying Attitudes to Infection Risk in Proceedings of the Summer Computer Simulation Conference 2011 (SCSC 2011), ACM Digital Library, July 2011

M. Massink, D. Latella, A. BRACCIALI, M. D. Harrison and J. Hillston, Scalable Context-dependent Analysis of Emergency Egress Models, Formal Aspects of Computing, 2011. (DOI: 10.1007/s00165-011-0188-1).

M. Massink, D. Latella, A. BRACCIALI, and J. Hillston, Modelling Non-linear Crowd Dynamics in Bio-PEPA Fundamental Approaches to Software Engineering (FASE-ETAPS 2011), pages 96Ð110. Saarbrcken, Germany, 2011. Lecture Notes in Computer Science 6603. Springer. (ISBN 978-3-642-19810-6).

Claire MATERNAGHAN and Kenneth J. TURNER, Pervasive Computing for Home Automation and Telecare, Pervasive Communications Handbook, editors Syed Ijlal Ali Shah, Mohammad Ilyas and Hussein T. Mouftah, pp 17.1-17.25, November 2011, CRC Press, Boca Raton, Florida, USA, ISBN 978-1-4200-5109-4

Claire MATERNAGHAN and Kenneth J. TURNER, A Configurable Telecare System, Proc. 4th Int. Conf. on Pervasive Technologies related to Assistive Environments, editors Fillia Makedon, Margit Betke, Ilias Maglogiannis and Grammati Pantziou, May 2011, pp D.25-D.32, ACM Press, New York, USA, ISBN 978-1-4503-0772.

Claire MATERNAGHAN and Kenneth J. TURNER, Programming Home Care, Advances in Techniques and Technologies for Care at Home, editors Maria K. Wolters and Kenneth J. Turner and Heba Lakany, May 2011, pp5.1-5.7, IEEE Computer Society, ISBN 978-1-936968-14-5

C. McCAIG, M. Begon, R. NORMAN, and C. SHANKLAND, A rigorous approach to investigating common assumptions about disease transmission: Process algebra as an emerging modelling methodology for epidemiology, Theory in Biosciences 130(1):19-29, Special Issue on Emerging Modelling Methodologies in Medicine, 2011. DOI: 10.1007/s12064-010-0106-8. Available online.

C. McCAIG, C. SHANKLAND and R. NORMAN, From Individuals to Populations: a mean field semantics for process algebra, Theoretical Computer Science 412(17):1557-1580, 2011, doi:10.1016/j.tcs.2010.09.024.

M. J. NEWTON and L.S. SMITH, Biologically-inspired neural coding of sound onset for a musical sound classification task, Neural Networks (IJCNN), The 2011 International Joint Conference on, 1386-1393, 10.1109/IJCNN.2011.6033386.

M. NEWTON and L.S. SMITH, Using spiking onset neurons and a recurrent neural network for musical sound classification poster presented at 161st Meeting of the Acoustical Society of America, Seattle, 23-27 May 2011. Abstract is at J. Acoustical Soc America, 129, 4 part 2, p2486

Plamen L. Simeonov, Andree C. Ehresmann, Leslie S. SMITH, Jaime G. Ramirez, and Vaclav Repa, A New Biology: A Modern Perspective on the Challenge of Closing the Gap between the Islands of Knowledge in M. Cezon and Y. Wolfsthal (Eds.): ServiceWave 2011 Workshops, LNCS 6569, pp. 188--195. Springer, Heidelberg (2011). PDF is at www.cs.stir.ac.uk/~lss/recentpapers/Simeonovetal2011.pdf

David Sterratt, Bruce GRAHAM, Andrew Gillies and David Willshaw, Principles of Computational Modelling in Neuroscience. CUP. ISBN: 9780521877954. July 2011.

Leslie SMITH, Daniel Metz, Jungpen Bao, and Pedro Bizarro, Events, Neural Systems and Time Series in M. Cezon and Y. Wolfsthal (Eds.): ServiceWave 2011 Workshops, LNCS 6569, pp. 196--202. Springer, Heidelberg (2011). PDF is at www.cs.stir.ac.uk/~lss/recentpapers/SmithetalUCEP.pdf

Kenneth J. TURNER, Flexible Management of Smart Homes, Ambient Intelligence and Smart Environments, IOS Press, Amsterdam, Netherlands, May 2011 volume 3, number 2 pp 83-110.

Kenneth J. TURNER, Alex Gillespie and Lynne J. McMichael Rigorous Development of Prompting Dialogues, Biomedical Informatics volume 44, number 4, pp713-727, Elsevier Amsterdam, Netherlands, September 2011

2010

M. Aldinucci, A. BRACCIALI and P. LioÕ, Formal Synthetic Immunology, In ERCIM News (82). Pages 40-41, 2010. (ISSN 0926-4981).

J.M. BLUM and E.H. MAGILL, The Design and Evaluation of Personalised Ambient Mental Health Monitors, Proceedings of the 7th Annual IEEE Consumer Communications and Networking Conference, January 2010, IEEE 2010.

A. BRACCIALI, Modelling Infection Dynamics on Multi-cores, HPC-Europa 2 Science and Supercomputing in Europe - research highlights 2010 (ISBN 978-88-86037-24-2).

Buford, J.F., Dhara, K., Wu, X., Krishnaswamy, V, KOLBERG, M., A Communications-Enabled Collaboration Platform, IPTCOMM Conf. 2010, http://dx.doi.org/10.1145/1941530.1941552.

P. Degano and A. BRACCIALI, Process calculi, Systems Biology and Artificial Chemistry In G. Rozenberg, T.H.W. BŠck, and J.N. Kok editors Handbook of Natural Computing. Springer. 2010. (ISBN: 978-3-540-92911-6).

Marwan FAYED and Hussein T. Mouftah, On the Relevance of Alpha-hulls to the Boundary Detection Problem in Sensor Networks IEEE Canadian Journal of Electrical and Computer Engineering (CJECE) vol. 34, no. 3, pp 95-98, 2010.

I.A. GHEYAS and L.S. SMITH, A neural network-based framework for the reconstruction of incomplete data sets, Neurocomputing, 73, 3039-3065. Published online 9 September 2010, DOI information: 10.1016/j.neucom.2010.06.021

I.A. GHEYAS, L.S. SMITH, Feature subset selection in Large Dimensionality Domains, accepted for Pattern Recognition, 43(1), 5-13, doi:10.1016/j.patcog.2009.06.009<http://dx.doi.org/10.1016/j.patcog.2009.06.009>, 2010.

K. Khelil, A. HUSSAIN, F. Berrezzek, A. Djebbari, Multiple Description Transform Image Coder Using Correlating Transforms, International Review on Computers and Software, Vol. 5, No.2, ISSN: 1828-6003, pp.150-155, March 2010

KLECZKOWSKI A, MAHARAJ S., Stay at home, Wash Your Hands: Epidemic Dynamics with Awareness of Infection. In Proceedings of the Summer Computer Simulation Conference, Ottawa, July 2010, The Society for Modeling and Simulation International (SCS)

KOLBERG, M., Buford, J.F., Dhara, K., Wu, X., Krishnaswamy, V., Feature Interaction Analysis for Collaboration Spaces with Communication Endpoints, pp. 1-6, IEEE Globecom 2010, http://dx.doi.org/10.1109/GLOCOM.2010.5683537.

M. KOLBERG, J. Buford, An XCAST Multicast Implementation for the OverSim Simulator, 7th IEEE Consumer Communications and Networking Conference (CCNC), pp. 1-7, 2010, http://dx.doi.org/10.1109/CCNC.2010.5421604.

Latif, Rhonira; Mastropaolo, Enrico; Bunting, Andy; Cheung, Rebecca; Koickal, Thomas; Hamilton, Alister; NEWTON, Michael; SMITH, Leslie, Microelectromechanical systems for biomimetical applications, Journal of Vacuum Science & Technology B: Microelectronics and Nanometer Structures, 28 (6), C6N1-C6N6, 2010.

P. Li˜, A. Sorathiya, and A. BRACCIALI, An integrated modelling approach for R5-X4 mutation and HAART therapy assessment, Poster at International Conference on Systems Biology. Edinburgh, UK, 2010.

C. McCAIG, M. Begon, R. NORMAN, and C. SHANKLAND, A Symbolic Investigation of Superspreaders, Bulletin of Mathematical Biology, Special Issue on Algebraic Biology, 2010.

MUAZ NIAZI, AMIR HUSSAIN, Social Network Analysis Of Trends In The Consumer Electronics Domain (In-Press), 29th International Conference on Consumer Electronics (ICCE 2011), January 9-12, Las Vegas, USA (CONFERENCE proceedings)

MUAZ NIAZI, AMIR HUSSAIN, A novel agent-based simulation framework for sensing in complex adaptive environments (in-press). IEEE Sensors Journal, doi:10.1109/JSEN.2010.2068044. 2010 (JOURNAL)

MUAZ NIAZI, Qasim Siddique, AMIR HUSSAIN and MARIO KOLBERG, Verification & Validation Of An Agent-Based Forest Fire Simulation Model, Proceedings of the Agent Directed Simulation Symposium 2010, as part of the ACM SCS Spring Simulation Multiconference, pp142-149, Orlando, FL, April 11-15, 2010, (CONFERENCE proceedings)

ERIN SCOTT, Simmi M. Mahajan, Timothy Brand-Spencer, Judith E. Allen, RACHEL NORMAN, Andrea L. Graham, CARRON SHANKLAND, Modelling Immunological Systems using PEPA: a preliminary report, 9th Workshop on Process Algebra and Stochastically Timed Activities, pp 64-69, London, 2010. Available online

A. Sorathiya, P. Li˜ and A. BRACCIALI, An integrated modelling approach for R5-X4 mutation and HAART therapy assessment, Swarm Intelligence. Springer. 4(4), pages 319--340, 2010. ( DOI: 10.1007/s11721-010-0046-4 ).

KENNETH J. TURNER, Device Services for The Home, pp 41-48 in Proceedings of the 10th International Conference on New Technologies for Distributed Systems, IEEE Computer Society, ISBN 978-1-4244-7066-2, May 2010.

GUY C. WARNER, JESSE M. BLUM, SIMON B. JONES, Paul S. Lambert, KENNETH J. TURNER, LARRY TAN, Alison S. F. Dawson and David N. F. Bell, A Social Science Data Fusion Tool and the Data Management through e-Social Science (DAMES) infrastructure, Philosophical Transactions of the Royal Society A, Theme Issue 'e-Science: past, present and future I', Edited by Paul Watson, Anne Trefethen and Elizabeth Vander Meer, August 28, 2010, 368:3859-3873; doi:10.1098/rsta.2010.0159

2009

S BENKIRANE, C SHANKLAND, R NORMAN and C McCAIG, Modelling the bubonic plague in a prairie dog burrow: a work in progress in: 8th Workshop on Process Algebra and Stochastically Timed Activities :145-152, 2009. Edinburgh.

J.M. BLUM, and E.H.MAGILL, Dynamically Programmable m-Psychiatry System For Self-Management of Bipolar Disorder, Postgraduate Conference in Biomedical Engineering & Medical Physics (PGBioMed), 2009.

JESSE M. BLUM, GUY C. WARNER, SIMON B. JONES, Paul S. Lambert, Alison S. F. Dawson, KOON LEAI LARRY TAN and KENNETH J. TURNER, Metadata Creation, Transformation and Discovery for Social Science Data Management: The DAMES Project Infrastructure, IAssist Quarterly, volume 33 number 1 pp23-30, International Association for Social Science Information Services and Technology, May 2009

A. BROWN, M. KOLBERG, J. Buford. Chameleon: An adaptable 2-tier variable hop overlay, 6th IEEE Consumer Communications and Networking Conference (CCNC) 2009, IEEE, DOI: 10.1109/CCNC.2009.4784716.

J. Buford, M. KOLBERG. Hybrid Overlay Multicast Simulation and Evaluation, 6th IEEE Consumer Communications and Networking Conference (CCNC) 2009, IEEE, DOI: 10.1109/CCNC.2009.4784809.

COWIE, J., CAIRNS, D., BLUNN, M., Wilson, C., Pollard, E. & Davidson, D. (2009), A Mobile Knowledge Management And Decision Support Tool For Soil Analysis, International Journal Of Information Management, Elsevier.

Krishnan Dhara, Yang Guo, Mario KOLBERG, Xiaotao Wu, Overview of Structured Peer-to-Peer Overlay Algorithms, Handbook of Peer-to-peer Networking, Xuemin Shen, Heather Yu, John Buford, Mursalin Akon (eds), Springer, ISBN: 978-0387097503, Dec. 2009

M. Fletcher, B. Liang, L.S. SMITH, A. Knowles, T. Jackson, K. Jessop, J. Austin, Neural network based pattern matching and spike detection tools and services- in the CARMEN neuroinformatics project, Neural networks, 21, 8, 1076-1084, 2008.

I.A. GHEYAS, L.S. SMITH A Neural Network Approach to Time Series Forecasting, presented at the 2009 International Conference of Computational Statistics and Data Engineering (ICCSDE), part of the World Congress in Engineering 2009 (London). URL: http://www.iaeng.org/publication/WCE2009/

I.A. GHEYAS, L.S. SMITH A Novel Nonparametric Multiple Imputation Algorithm for Estimating Missing Data, presented at the 2009 International Conference of Computational Statistics and Data Engineering (ICCSDE), part of the World Congress in Engineering 2009 (London). URL: http://www.iaeng.org/publication/WCE2009/

F. Gibson, J. Austin, C. Ingram, M. Fletcher, T. Jackson, M. Jessop, A. Knowles, B. Liang, P. Lord, G. Pitsilis, P Periorellis, J. Simonoto, P. Watson, L. S. SMITH, The CARMEN Virtual Laboratory: Web-Based Paradigms for Collaboration in Neurophysiology, Proceedings MEA Meeting 2008, July 8-11, 2008, Reutlingen, Germany, BIOPRO Edition Vol 5, pp117-120, 2008 (ISBN3 938345 05 5).

Hultquist, C., Gain, J. & CAIRNS, D. (2009), An Adjectival Interface for Procedural Content Generation, In 12th International Conference on Computer Graphics and Artificial Intelligence, pp 105-114, Springer.

Hultquist, C., Gain, J. & CAIRNS, D. (2009), An Adjectival Interface for Procedural Content Generation, Intelligent Computer Graphics, Plemenos, D. (Ed), Springer.

M. KOLBERG, E. MAGILL, M. BLUNN, M. WILSON, P. Burtwistle. A Framework for Mobile Applications based on a structured P2P Overlay. In: 6th Consumer Communications and Networking Conference (CCNC 2009), Las Vegas, NV, IEEE 10-13 Jan. 2009, ISBN: 978-1-4244-2308-8, DOI: 10.1109/CCNC.2009.4785019.

M. KOLBERG, Employing Multicast in P2P Overlay Networks, Handbook of Peer-to-peer Networking, Xuemin Shen, Heather Yu, John Buford, Mursalin Akon (eds), Springer, ISBN: 978-0387097503, Dec. 2009.

KOLBERG, M.; Buford, J.F.; Dhara, K.; Wu, X.; Krishnaswamy, V; Managing Distributed Feature Interactions in Enterprise SIP Application Servers, IEEE International Conference Communications (ICC) 2009, IEEE, DOI: 10.1109/ICC.2009.5199162

V. Lally, E.H. MAGILL, J. Magill, B. Canavan, M. KOLBERG, M. Pomerantz, M. Sclater, J. Trinder, J. & S. Brindley. Inter-Life: Interoperability and Transition, CAL09: Learning in Digital Worlds, March 23-25th 2009, Brighton, UK.

J. Magill, E.H. MAGILL, B. Canavan, A. Devlin, J. Trinder, M. Pomerantz, InterLife: a fusion of mobile technology and Second Life in a learning environment to support the transition from school to university, Alt-C, Conference of the Association of learning technologists, Manchester, UK, September 2009.

S. MAHARAJ, C. McCAIG, and C. E. SHANKLAND, Studying the effects of adding spatiality to a process algebra model. 8th Workshop on Process Algebra and Stochastically Timed Activities :153-158, 2009. Edinburgh.

C McCAIG, M Begon, C SHANKLAND and R NORMAN, From individual behaviour to population dynamics: changing scale in models of superspreaders in: 8th Workshop on Process Algebra and Stochastically Timed Activities :159-164, 2009. Edinburgh.

McCAIG C, NORMAN R and SHANKLAND C., From Individuals to Populations: A Symbolic Process Algebra Approach to Epidemiology, Mathematics in Computer Science 2(3), 139-155 2009.

MUAZ NIAZI, AMIR HUSSAIN and MARIO KOLBERG , Verification and Validation of Agent-Based Simulation using the VOMAS approach, Proceedings of the Third Workshop on Multi-Agent Systems and Simulation'09 (MASS '09), as part of MALLOW 09, Sep 7-11, 2009, Torino, Italy (CONFERENCE proceedings)

MUAZ NIAZI, AMIR HUSSAIN, Agent based Tools for Modeling and Simulation of Self-Organization in Peer-to-Peer, Ad-Hoc and other Complex Networks, Feature Issue, IEEE Communications Magazine, Vol.47 No.3, March 2009, pp 163 - 173. (JOURNAL)

S. SHAHID, L. S. SMITH, Extracellular spike detection using Cepstrum of Bispectrum, Society for Neuroscience Meeting, Washington, 2008.

S. SHAHID and L.S. SMITH, Cepstrum of Bispectrum Spike Detection on Extracellular Signals with Concurrent Intracellular Signals presented at CNS 2009 (Berlin).

S. SHAHID, L.S. SMITH A Novel Technique for Spike Detection in Extracellular Neurophysiological Recordings using Cepstrum of Bispectrum European Conference on Signal Processing 2008 (EUSIPCO 2008), August 2008.

S. SHAHID & L.S. SMITH Assessing new techniques for Spike Detection on MEA data in Proceedings MEA Meeting 2008, July 8-11, 2008, Reutlingen, Germany, BIOPRO Edition Vol 5, pp133-134, 2008 (ISBN3 938345 05 5).

Amnah Siddiqah, MUAZ NIAZI , Farah Mustafa, Habib Bokhari, AMIR HUSSAIn, Noreen Akram, Shabnum Shaheen, Fouzia Ahmed and Sarah Iqbal, A new hybrid agent-based modeling decision support system for breast cancer research, IEEE ICICT, IBA, Karachi, August 15-16, 2009 (CONFERENCE proceedings)

TAN KLL, Lambert PS, TURNER KJ, BLUM J, Bowes A, Bell D, Gayle V, JONES SB, Maxwell M, Sinnott RO and WARNER G, Enabling Quantitative Data Analysis through e-Infrastructure, Social Science Computer Review (Special Issue on e-Social Science), Volume 27, number 4, November 2009, ISSN: 0894-4393 (online 1552-8286), DOI: 10.1177/0894439309332647

TURNER, K.J., Abstraction and Analysis of Clinical Guidance Trees, J. Biomedical Informatics, 42(2):237-250, 2009.

TURNER, K.J., DOCHERTY, L.S., WANG, F. and CAMPBELL, G.A., Managing Home Care Networks, pp 354-359 in Proc. 8th Int. Conf.on Networks, IEEE Computer Society, March 2009.

TURNER, K.J., TAN, K.L., BLUM, J., WARNER, G.C., JONES, S.B. and Lambert, PS, Managing Data in E-Social Science, pp 214-219 in Proc. 8th Int. Conf.on Networks, IEEE Computer Society, March 2009.

TURNER, K.J.and CAMPBELL, G.A., Goals and Conflicts in Telephony, pp 3-18 in Proc. 10th Int. Conf. on Feature Interactions in Software and Communications Systems, IOS Press, June 2009.

Xiaotao Wu, John Buford, Kishore Dhara, Venky Krishnaswamy, Mario KOLBERG, Feature Interactions Between Internet Services and Telecommunication Services, Proceedings of IPTCOMM Conference 2009, ACM, ISBN: 978-1-60558-767-7, DOI: 10.1145/1595637.1595651.

2008

S. BENKIRANE, J. Hillston, C. McCAIG, R. NORMAN and C. SHANKLAND, Improved Continuous Approximation of PEPA Models through Epidemiological Examples. In proceedings of From Biology to Concurrency and back, FBTC 2008. Electronic Notes in Theoretical Computer Science 229(1): 59-74, Elsevier 2008.

Brownlee, A., Wu, Y., McCall, J., GODLEY, P.M., CAIRNS, D. & COWIE, J., Optimisation and Fitness Modelling of Bio-control in Mushroom Farming Using a Markov Network EDA, In Proceedings Of the 2008 Conference on Genetic and Evolutionary Computation (GECCO), ACM.

Buford, J., Dhara, K., KOLBERG M., Krishnaswamy V., and Wu X., Feature Interactions in P2P Overlay Networks, 5th IEEE Consumer Communications and Networking Conference (CCNC) 2008.

Buford, J., BROWN, A. and KOLBERG M., Exploiting Parallelism in the Design of Peer-to-Peer Overlays, Computer Communications Journal, 31(3), 452-463, 2008.

CAMPBELL, G., Sensor Network Policy Conflicts, pp 195-198 in Proc. 9th Int. Conf. on Feature Interactions in Software and Communications Systems, May 2008.

CAMPBELL, G. and TURNER, K.J., Policy Conflict Filtering for Call Control, pp 83-98 in Proc. 9th Int. Conf. on Feature Interactions in Software and Communications Systems, May 2008.

CAMPBELL, G. and TURNER, K.J., Goals and Policies for Sensor Network Management, pp 354-359 in Proc. 2nd International Conference on Sensor Technologies and Applications, IEEE, August 2008.

CLARK, J.S. and McGee-Lennon, M., Involving Multiple Stakeholders in the Design of Home Care Technologies in Embracing the Challenge: Citizenship and Dementia, Belfast, Northern Ireland, May, 2008.

FEI, X. and MAGILL, E., Rule Execution and Event Distribution Middleware for PROSEN-WSN, pp 580-585 in Sensorcomm’08: Proceedings of the Second International Conference on Sensor Technologies and Applications, IEEE Computer Society, 2008.

GODLEY, P.M., COWIE, J., CAIRNS, D.E., McCall, J. & Howie, C. (2008), Optimisation of cancer chemotherapy schedules using directed intervention crossover approaches, In Proceedings Of the IEEE 2008 Congress On Evolutionary Computation (CEC), IEEE.

GODLEY, P.M., CAIRNS, D.E., COWIE, J. & McCall, J. (2008), Fitness Directed Intervention Crossover Approaches Applied to Bio-Scheduling Problems, In Proceedings of the IEEE Symposium on Computational Intelligence in Bioinformatics and Computational Biology, pp 120-127, IEEE.

GODLEY, P.M., CAIRNS, D.E., COWIE, J., McCall, J. & SWINGLER, K.M., The Effects of Mutation and Directed Intervention Crossover When Applied to Scheduling Chemotherapy, In Proceedings Of the 2008 Conference on Genetic and Evolutionary Computation (GECCO), IEEE.

Hospedales, T.M., van Rossum, M.C.W., GRAHAM, B.P. and Dutia, M.B., Implications of noise and neural heterogeneity for vestibule-ocular reflex fidelity, Neural Computation 20,756-778, 2008.

Huo, J., Murray, A.F., SMITH, L.S. and YANG, Z., Adaptation of Barn Owl Localization System with Spike Timing Dependent Plasticity, pp 155-160 in WCCI 2008/International Joint Conference on Neural Networks, Hong Kong, June 2008.

James, C.J., Crowe, J., MAGILL, E., Brailsford, S.C., Amor, J., Prociow, P., BLUM, J. and Mohiuddin, S., Personalised ambient monitoring (PAM) of the mentally ill, pp 1010-1013 in, 4th European Conference of the International Federation for Medical and Biological Engineering, Belgium, Springer, November 2008.

Layouni, A.F., Logrippo, L. and TURNER, K.J., Conflict Detection in Call Control using First-Order Logic Model Checking, pp 66-82 in Proc. 9th Int. Conf. on Feature Interactions in Software and Communications Systems, May 2008.

McCAIG, C., NORMAN, R. and SHANKLAND, C., Process Algebra Models of Population Dynamics, pp 139-155 in Proceedings of Algebraic Biology, 3rd International Conference, LNCS 5147, Springer-Verlag, 2008.

McGee-Lennon, M.R. and CLARK, J.S., Multi-Stakeholder Requirements on Home Care Technology Design in CHI 2008 Workshop on Distributed Participatory Design, Florence, Italy, April, 2008.

Morgan, M., Martin, C., McGee-Lennon., CLARK, J., Hine, N., Wolters, M. and Arnott, J., Requirements Gathering with Diverse User Groups and Stakeholders in Conference on Computer Human Interaction (CHI) 2008, Florence, Italy, April, 2008.

MUAZ NIAZI, AMIR HUSSAIN, Abdul Rauf Baig and Saeed Bhatti, Simulation Of The Research Process, Winter Simulation Conference 08, 7-10 December 08, Miami, Florida. (CONFERENCE proceedings)

SMITH, L.S., Artificial general intelligence: an organism and level based position statement, pp429-433 in Artificial General Intelligence 2008, IOS Press 2008.

TURNER, K.J., Lambert, PS, TAN, K.L., Gayle, V., Sinnott, RO, Prandy, K., Bihagen E. and van Leeuwen, M., Grid Computing for Virtual Organizations: An E-Social Science Case Study, pp 643-651 in Encyclopaedia of Networked and Virtual Organizations, IGI Global, Pennsylvania, USA, February 2008

WANG, F. and TURNER, K.J., Policy Conflicts in Home Care Systems, pp 54-65 in Proc. 9th Int. Conf. on Feature Interactions in Software and Communications Systems, May 2008.

WANG, F. and TURNER, K.J., Towards Personalised Home Care Systems, pp L2.1-L2.7 in Proc. 1st Int. Conf. on Pervasive Technologies related to Assistive Environments, ACM, July 2008.

Wilson, C., Davidson, D., Pollard, E., COWIE, J., CAIRNS, D. & BLUNN, M., Developing SASSA: a Soil Analysis Support System for Archaeologists, Internet Archaeology, December, 2008, Vol. 25, IA.

Wilson, M., KOLBERG, M. and MAGILL, E., Considering Side Effects in Service Interactions in Home Automation - An Online Approach, pp 172-187 in Proc. 9th Int. Conf. on Feature Interactions in Software and Communications Systems, May 2008.

WILSON, T., MAHARAJ, S. and CLARK, R.G., Flexible and Configurable Verification Policies with Omnibus , Software and Systems Modeling, 7(3), 257-272, 2008.

Wu, Y., McCall, J., GODLEY, P.M., Brownlee, A. & CAIRNS, D.E. (2008), Bio-control in Mushroom Farming Using a Markov Network EDA, In Proceedings of the IEEE 2008 Congress On Evolutionary Computation (CEC), IEEE.

2007

BLUNN, M., COWIE, J., CAIRNS, D., Wilson, C. and Davidson, D., Mobile Decision Making and Knowledge Management: Supporting Geoarchaeologists in the Field pp 57-62 in Proceedings of the 9th International Conference on Enterprise Information Systems, Madeira, June 2007.

Buford, J., BROWN, A. and KOLBERG, M., Parallelizing Peer-to-Peer Overlays with Multi-Destination Routing, 4th IEEE Consumer Communications and Networking Conference (CCNC), Las Vegas, 2007.

Buford, J., BROWN, A. and KOLBERG, M., Multi-Destination Routing and the Design of Peer-to-Peer Overlays, 4th IEEE Consumer Communications and Networking Conference (CCNC) 2007, 1st International Workshop on Peer-to-Peer Multicasting (P2PM'07), Las Vegas, 2007.

CAMERON, GJ, CAIRNS, DE and Wess, TJ, The variability in type I collagen helical pitch is reflected in the D periodic fibrillar structure, Journal of Molecular Biology, 372, 1097-1107, 2007.

CAMPBELL, G.A. and TURNER, K.J., Ontologies to support Call Control Policies, pp 5.1-5.6 in Proc. 3rd. Advanced International Conference on Telecommunications, IEEE Press, May 2007.

CAMPBELL, G.A. and TURNER, K.J., Policy Conflict Filtering for Call Control, pp 93-108 in Proc. 9th International Conference on Feature Interactions in Software and Communications Systems, University of Grenoble, September 2007.

CLARK, J. S and McGee-Lennon, M. R., MATCH: Mobilising Advanced Technologies for Care at Home in NHS Scotland Event 2007: Delivering Health Care for the 21st Century, Glasgow, June, 2007.

COWIE, J., OTENIYA, L. and Coles, R., Particle Swarm Optimisation For Learning Bayesian Networks pp 71-76 in Proceedings of the 2007 International Conference on Computational Intelligence and Intelligent Systems, London, July 2007.

GODLEY, P., CAIRNS, D. and COWIE, J., Maximising the Efficiency of Bio-Control Application Utilising Genetic Algorithms in the Proceedings of the 6th Biennial Conference of the European Federation of IT in Agriculture, Glasgow, July 2007.

GODLEY, P.M., COWIE, J. and CAIRNS, D.E., Novel Genetic Algorithm Approaches for Time-Series Problems, pp 47-51 in Proceedings of the Doctoral Symposium on Engineering Stochastic Local Search Algorithms, IRIDIA, Belgium, September 2007.

GODLEY, P.M., CAIRNS, D.E. and COWIE, J., Directed intervention crossover applied to bio-control scheduling, Proceedings of the IEEE Congress on Evolutionary Computation (CEC), Singapore, September 2007.

Hennig, M., Postlethwaite, M., Forsythe, I.D. and GRAHAM, B., A biophysical model of short-term plasticity at the calyx of Held, Neurocomputing, 70, 1626-1629, 2007

KOLBERG, M. and MAGILL, E., Managing Feature Interactions between Distributed SIP Call Control Services, The International Journal on Computer Networks, 51(2), 536-557, 2007.

KOLBERG, M., Kolberg, F., BROWN, A and Buford, J. A Markov Model for the EpiChord Peer-to-Peer Overlay in an XCAST enabled Network, IEEE International Conference on Communications (ICC) 2007, Glasgow.

Layouni, A.F., Logrippo, L. and TURNER, K.J., Conflict Detection in Call Control using First-Order Logic Model Checking, pp 77-92 in Proc. 9th International Conference on Feature Interactions in Software and Communications Systems, University of Grenoble, September 2007.

Postlethwaite, M., Hennig, M.H., Steinert, J.R., GRAHAM, B., and Forsythe, I.D., Acceleration of AMPA receptor kinetics underlies temperature- dependent changes in synaptic strength at the rat calyx of Held, Journal of Physiology, 579, 69-84, 2007.

Qaiser, N., HUSSAIN, A. and Iqbal, N., Dynamic Surface Control for stabilization of the Oscillating Eccentric Rotor, Proceedings of the Institution of Mechanical Engineers (IME): Part I, Journal of Systems and Control Engineering, 221(3) 311-319, 2007.

Qaiser, N., Iqbal, N., HUSSAIN, A. and Qaiser, N., Exponential stabilization of the inertia wheel pendulum using dynamic surface control, Journal of Circuits, Systems and Computers, 16(1) 81-92, 2007.

SMITH, L.S. and MTETWA, N., A tool for synthesizing spike trains with realistic interference, Journal of Neuroscience Methods, 159(1), 170-180, 2007.

SMITH, L.S. and Collins, S., Determining ITDs using two microphones on a flat panel during onset intervals with a biologically inspired spike based technique,IEEE Trans Audio, Speech and Language Processing, 15(8), 2278-2286, 2007.

SMITH, L.S. and Vernier, A. Testing spike detection techniques using synthetic data, Society for Neuroscience meeting, San Diego, November 2007.

SMITH, L.S., Shahid, S., Vernier, A., MTETWA, N., Finding events in noisy signals, pp 31-36 in The IET Irish Signals and Systems Conference, September 2007.

SMITH, L.S., Austin, J., S. Baker, R. Borisyuk, S. Eglen, J. Feng, K. Gurney, T. Jackson, M. Kaiser, P. Overton, S. Panzeri, R. Quian Quiroga, S.R. Schultz, E. Sernagor, V.A. Smith, T.V. Smulders, L. Stuart, M. Whittington, C. Ingram, The CARMEN e-Science pilot project: Neuroinformatics work packages, pp 591-598 in Proceedings of the UK e-Science All Hands Meeting 2007, September 2007.

TAN, K.L., Lambert, P.S., Gayle, V. and TURNER, K.J., Enabling Quantitative Data Analysis on Cyberinfrastructures and Grids, pp III.20--III.31 in Proc. Int. Conf. on e-Social Science, Ann Arbor, Michigan, USA, ESRC and NSF, October 2007.

TAN, K.L. and TURNER, K.J., Automated Analysis and Implementation of Composed Grid Services, pp 51-64 in Proc. 3rd South-East European Workshop on Formal Methods, South-East European Reseach Centre, Thessaloniki, Greece, November 2007.

TURNER, K.J. and Blair, L., Policies and Conflicts in Call Control, Computer Networks, 51(2), 496-514, 2007.

TURNER, K.J., Representing and Analysing Composed Web Services using CRESS, Network and Computer Applications, 30(2), 541-562, 2007.

TURNER, K.J., CAMPBELL, G.A. and WANG, F., Policies for Sensor Networks and Home Care Networks, pp 273-284 in Proc. 7th. Int. Conf. on New Technologies for Distributed Systems, Rabat, Morocco, Cana Print, June 2007.

TURNER, K.J. and TAN, K.L., Graphical Composition of Grid Services, pp 1-17 in Rapid Introduction of Software Engineering Techniques, LNCS 4401, Springer, 2007.

TURNER, K.J. and TAN, K.L., A Rigorous Approach to Orchestrating Grid Services, Computer Networks, 51(15), 4421-4441, 2007.

WANG, F. and TURNER, K.J., Policy Conflicts in Home Care Systems, pp 61-76 in Proc. 9th International Conference on Feature Interactions in Software and Communications Systems, University of Grenoble, September 2007.

WILSON, T., MAHARAJ, S. and CLARK, R.G., Flexible and Configurable Verification Policies with Omnibus, Software and Systems Modeling, Springer, published online June 2007, DOI 10.1007/s10270-007-0060-1, ISSN 1619-1374.

2006

ABDULLAH, R. A., HUSSAIN, A., ZAYED, A. S. and Warwick, K., A New Radial Basis Function Neural Network Based Multi-variable Adaptive Pole-Zero Placement Controller, Proceedings of IEEE International Conference on Engineering of Intelligent Systems (ICEIS), Islamabad, 22-23 April, 2006

Abdullah, A. and HUSSAIN, A., A new biclustering technique based on crossing minimization, Neurocomputing, 69(16), 1882-1896, October 2006.

Abdullah, A. and HUSSAIN, A., Data Mining a New Pilot Agriculture Extension Data Warehouse, Journal of Research and Practice in Information Technology, 38(3), 229-249, Aug. 2006.

BROWN, A., KOLBERG, M., Bushmitch, D., Lomako, G. and Ma, M., A SIP-based OSGi Device Communication Service for Mobile Personal Area Networks, IEEE Consumer Communications and Networking Conference (CCNC) 2006, Las Vegas, USA.

Bujorianu, M.L., Bujorianu, M.C. and MAHARAJ, S., Distributed Stochastic Hybrid Systems in Proceedings of the 16th IFAC World Congress, Elsevier Press, June 2006.

Buford, J., BROWN, A., KOLBERG, M., Meta Service Discovery, pp 124-129 in 4th IEEE International Conference on Pervasive Computing and Communications (PerCom), 3rd IEEE International Workshop on Mobile Peer-to-Peer Computing (MP2P'06), Pisa, Italy, 2006.

Chetouani, M., HUSSAIN, A., Gas, B. and Zarader, J. L., Non-Linear Predictors based on the Functionally Expanded Neural Networks for Speech Feature Extraction, Proceedings of IEEE International Conference on Engineering of Intelligent Systems (ICEIS), Islamabad, 22-23 April, 2006

CLARK, J.S., Mobilising Advanced Technologies for Care at Home, Proceedings of Recent Advances in Assistive Technology and Engineering (RAATE 2006), Birmingham, 27-28 November 2006.

CLARK, R.G., The Changing Nature of Programming Languages, pp 61-72 in Open Problems in Linguistics and Lexicography, Polimetrica, Italy, October 2006.

COWIE J., OTENIYA, L. and Coles, R., Diagnosis of Dementia and its Pathologies using Bayesian Belief Networks, pp 291-295 in Proceedings of the 8th International Conference on Enterprise Information Systems: Artificial Intelligence and Decision Support Systems, INSTICC Press, Cyprus, May 2006.

COWIE J. and GODLEY, P., Decision Support on the Move: Mobile Decision Making for Triage Management, pp 296-299 in Proceedings of the 8th International Conference on Enterprise Information Systems: Artificial Intelligence and Decision Support Systems, INSTICC Press, Cyprus, May 2006, .

GRAHAM, B.,Lauchlan, K., and McLEAN, D., Dynamics of outgrowth in a continuum model of neurite elongation, Journal of Computational Neuroscience, 20, 43-60, 2006.

GRAHAM, B. and van Ooyen, A., Mathematical modelling and numerical simulation of the morphological development of neurons. BMC Neuroscience, 7 (Suppl 1): S9, 2006

HUSSAIN, A., Squartini, S. and Piazza, F., Novel Sub-band Adaptive Systems Incorporating Wiener Filtering for Binaural Speech Enhancement, p318-327 in Nonlinear Analyses and Algorithms for Speech Processing: NOLISP 2005, Barcelona, LNCS 3817, Springer-Verlag 2006.

HUSSAIN, A., SMITH, L.S. and Alexander, I., Brain inspired cognitive systems (BICS), Neurocomputing, 69(16), 1825-1826, October 2006.

KOLBERG, M. and MAGILL, E., Using Pen and Paper to Control Networked Appliances, IEEE Communications Magazine, 44 (11) 148-154 (2006).

Lambert, P.S., TAN, K.L.L., TURNER, K.J., Gayle, V., Prandy, K. and Sinnott, R.O., Development of a Grid Enabled Occupational Data Environment, pp 1-12 in Proc. 2nd International Conference on e-Social Science, Manchester, June 2006.

Lambert,P.S., TAN, K.L.L., TURNER, K.J., Gayle,V., Sinnott, R. and Prandy, K., Data Curation Standards and the Messy World of Social Science Occupational Information Resources, , pp 2.1-2.8 in Proc. 2nd. International Digital Curation Conference, Glasgow, November 2006.

McLEAN, D. and GRAHAM, B., Stability in a mathematical model of neurite elongation, Mathematical Medicine and Biology, 23, 101-117, 2006.

MTETWA, N. and SMITH, L.S., Smoothing and thresholding in neuronal spike detection, Neurocomputing, 69 (10-12), 1366-1370, 2006.

Naveed, A., Qureshi, I. M., HUSSAIN, A. and Cheema, T. A., Blind Equalization of Communication Channels with Equal Energy Sources Using a Combined HOS-SOS Approach, Proceedings of IEEE International Conference on Engineering of Intelligent Systems (ICEIS), Islamabad, 22-23 April, 2006.

Qaiser, N., Hussain, M., HUSSAIN, A., Iqbal, N. and Qaiser, N., Dissimilarity Analysis of Signal Processing Methods for Texture Classification, Proceedings of IEEE International Conference on Engineering of Intelligent Systems (ICEIS), Islamabad, 22-23 April, 2006

Qaiser, N., Iqbal, N., HUSSAIN, A. and Qaiser, N., Stabilization of non-linear Inertia Wheel Pendulum system using a new Dynamic Surface Control based Technique, Proceedings of IEEE International Conference on Engineering of Intelligent Systems (ICEIS), Islamabad, 22-23 April, 2006

SMITH, L.S., Implementing neural models in silicon, pp 433-475 in Handbook of Innovative Computing (A.Y. Zomaya, editor), Springer 2006.

SMITH, L.S., Generating noisy spike trains for testing spike detection and sorting algorithms, pp 79-80 in Proceedings of the MEA meeting 2006 (5th International Meeting on Substrate-integrated Micro Electrode Arrays), July 2006, Reutlingen, Germany, BIOPRO Maden-Wuerttemberg GmbH, 2006.

SWINGLER, K. & CAIRNS, D.E., Making Decisions With Data: Using Computational Intelligence Within a Business Environment, in Voges, K.E. and Pope, N.K.L. (Eds), Business Applications of Computational Intelligence, Idea Group Inc., pp 19-37, 2006.

TAN, K.L.L., Gayle, V., Lambert, P.S., Sinnott, R.O. and TURNER, K.J., GEODE - Sharing Occupational Data Through The Grid pp 534-541 in Proc. 5th. UK e-Science All Hands Meeting, Edinburgh, September 2006.

TAN, K.L.L. and TURNER, K.J., Orchestrating Grid Services using BPEL and Globus Toolkit 4 pp 31-36 in Proc. 7th PGNet Symposium, Liverpool, June 2006.

TURNER, K.J., Teaching Protocols through Animation, pp 86-100 in Sarkar, N (Ed), Tools for Teaching Computer Networking and Hardware Concepts, Idea Group Inc., Pennsylvania, March 2006.

TURNER, K.J. and Sighireanu, M., E-Lotos: (Enhanced) Language Of Temporal Ordering Specification, Chapter 13 in Habrias, H. and Frappier, M. (Eds), Software Specification Methods, International Scientific and Technical Encyclopedia, April 2006.

TURNER, K.J., Reiff-Marganiec, S., Blair, L. Pang, J., Gray, T., Perry, P. and Ireland, J., Policy Support for Call Control, Computer Standards and Interfaces, 28(6), 635-649, 2006.

TURNER, K.J., Validating Feature-Based Specifications, Software Practice and Experience, 36(10), 999-1027, 2006.

TURNER, K.J. and TAN, K.L.L., Graphical Composition of Grid Services pp 1 - 16 in Proc. International Workshop on Rapid Introduction of Software Engineering Techniques, Geneva, September 2006.

WANG, F., DOCHERTY, L.S., TURNER, K.J., KOLBERG, M. and MAGILL, E., Services and Policies for Care at Home, pp 7.1-7.10 in Proc. 1st. International Conference on Pervasive Computing Technologies for Healthcare, New York, November, 2006.

ZAYED, A.S., HUSSAIN, A.,and ABDULLAH, R. A., A 2novel multiple-controller incorporating a radial basis function neural network based generalized learning model, Neurocomputing, 69 (16), 1868-1881, October 2006.

2005

Baral, C., Kolch, W., SHANKLAND, C. and Tran, N., Reasoning about the ERK signal transduction pathway using BioSigNet-RR. pp 79-90 in proceedings of Computational Methods in Systems Biology, CMSB 2005.

Billups, B., GRAHAM, B., Wong, A., and Forsythe, I. Unmasking group III metabotropic glutamate autoreceptor function at excitatory synapses in the rat CNS, Journal of Physiology, 565(3), 885-896, 2005.

Blair, L. and TURNER, K., Handling Policy Conflicts in Call Control, pp 39-57 in Proc. 8th. Feature Interactions in Telecommunications and Software Systems, IOS Press, 2005.

CAIRNS, D. E., CAMERON, G.J. &. Wess, T. J., Evolving an Improved Axial Structure for Fibrillar Collagen, pp 471-472 in Proceedings of Genetic and Evolutionary Computing Conference (GECCO), Vol 1, ACM Press, 2005

Cheema,T.A., Qureshi,I. and HUSSAIN,A., Blind Image Deconvolution using a new Space-variant Neural Network Approach, IEE Electronics Letters, 41(6) 376-377, 2005.

FRASER, D.S. and SMITH, L.S., Classification of initial segments of sounds using onset data structures (abstract), Journal of the Acoustical Society of America, 117(4), p2543, April 2005.

HODGKIN, J., Belton, V., Koulouri, A. Supporting the Intelligent MCDA user: A Case Study in Multi-person Multicriteria Decision Support, European Journal of Operational Research, 160(1), 172-189, 2005.

Huang, T. and TURNER, K. Policy Support for H.323 Call Handling, Computer Standards and Interfaces, 28(2), 204-217, 2005.

HUSSAIN,A., Naveed,A. and Qureshi,I., New Hybrid HOS-SOS Approach for Blind Equalization of Communication Channels, IEE Electronics Letters, 41(6) 308-309, 2005.

HUSSAIN,A., Durrani, T.S., Alkulaibi, A. and MTETWA, N, Nonlinear Adaptive Speech Enhancement Inspired by Early Auditory Processing, pp 291 in Nonlinear Speech Modeling and Applications, LNCS 3445, Springer-Verlag, 2005.

KIDDIE, G., McLEAN, D., van Ooyen, A. and GRAHAM, B., Biologically plausible models of neurite outgrowth pages 67-80 in van Pelt, J.,Kamermans, M., Levelt, C., van Ooyen, A., Ramakers, G., and Roelfsema, P., editors, Development, dynamics and pathology of neuronal networks: from molecules to functional circuits, Progress in Brain Research, 147, Elsevier 2005.

KOLBERG,M. and MAGILL, E.H., Detecting Interactions between SIP Call Control Services, pp 147-162 in Feature Interactions in Telecommunications and Software Systems VIII, IOS Press, 2005.

KOLBERG,M., MAGILL, E.H., WILSON, M.E., Burtwistle,P. and Ohlstenius, O., Controlling Appliances with Pen and Paper, IEEE Consumer Communications and Networking Conference (CCNC) 2005, Las Vegas, USA, 2005

KOLBERG,M., MAGILL, E.H. and WILSON, M.E. An Online Approach for the Service Interaction Problem in Home Automation, IEEE 2005 Consumer Communications and Networking Conference, Las Vegas, USA, Jan. 2005.

McLEAN, D., Lauchlan, K., and GRAHAM, B., On the existence of steady solutions in a moving boundary model of neurite morphogenesis with cellular autoregulation, WSEAS Transactions on Biology and Biomedicine, 1, 98-105, 2005.

MTETWA, N. and SMITH, L.S., Precision constrained stochastic resonance in a feed forward neural network, IEEE Transactions on Neural Networks, 16(1) 250-262, 2005.

MUHAMMAD, J., HUSSAIN, A., Neskovic, A. and MAGILL, E., New Neural Network Based Mobile Location Estimation in a Metropolitan Area, pp 935 - 941 in LNCS 3697, 2005.

OTENIYA, L., Coles, R., COWIE, J., DemNet: A Clinical Decision Support System to aid in the diagnosis of dementia, pp289 - 297 in Proceedings of the HealthCare Computing Conference 2005 (HC2005), Harrogate, 21-23 March 2005.

OTENIYA, L. and COWIE, J., DemNet and PathNet: Assisting Clinical Decision Makers with Dementia Diagnosis, Operational Research Conference (OR47), Chester, September 2005.

SMITH, L.S., Onsets, autocorrelation functions and spikes for direction-based sound source separation (abstract), Journal of the Acoustical Society of America, 117(4), p2485, April 2005.

SMITH, L.S., The auditory what and where tasks, AISB Quarterly, 120, p5-6, Spring 2005

Tran, N., Baral, C. and SHANKLAND, C., Issue in Reasoning about Interaction Networks in Cells: Necessity of Event Ordering Knowledge, pp 676-681 in Proceedings of the Twentieth National Conference on Artificial Intelligence (AAAI 2005), AAAI press, 2005.

THOMAS,C.S., HOWIE, C.A. and SMITH, L.S., A New Singly Connected Network Classifier based on Mutual Information, Intelligent Data Analysis, 9(2),189-205, 2005.

TURNER, K.J., Test Generation for Radiotherapy Accelerators, International Journal on Software Tools for Technology Tranfer, 7(4) 361-375, Springer, August 2005.

TURNER, K.J., Formalising Web Services, pp 473-488 in Formal Techniques for Networked and Distributed Systems, LNCS 3731, Springer-Verlag, 2005.

TURNER, K.J., Formalising Interactive Voice Services with SDL, pp 307-326 in Integrated Formal Methods 2005, LNCS 3771, Springer-Verlag, 2005.

Wess, T.J. & CAIRNS, D.E., Nano architectures of the animal extracellular matrix: opportunities for synchrotron studies on collagen and fibrillin, Journal of Synchroton Radiation, 2005

WILSON, T., MAHARAJ, S. and CLARK, R.G., Omnibus: a clean language and supporting tool for integrating different assertion-based verification techniques pp 43-52 in Proceedings of the Workshop on Rigorous Engineering of Fault-Tolerant Systems (REFT 2005), Newcastle, July 2005.

WILSON, T., MAHARAJ, S. and CLARK, R.G., Omnibus Verification Policies: A Flexible, Configurable Approach to Assertion-Based Software Verification, pp 150-159 in 3rd IEEE International Conference on Software Engineering and Formal Methods, Koblenz, Germany, IEEE Computer Society, September 2005.

2004

Belton, V., HODGKIN, J. and Montibeller, G., From Design to Decision: An Integrated Approach Linking Discrete Event Simulation, Evolutionary Multi-objective Optimisation and Multicriteria Decision Analysis Proc 2nd UK Operational Research Society Simulation Workshop, Birmingham, March 23-24, 2004.

Dowding D., Swanson V, BLAND R., Thomson P., Mair C., Morrison A., Taylor A., BEECHEY C., Simpson R. and Niven K., The development and preliminary evaluation of a decision aid based on decision analysis for two treatment conditions: Benign Prostatic Hyperplasia and Hypertension, Patient Education and Counseling, 52, 209-215, 2004.

GRAHAM, B.P., Dynamics of storage and recall in hippocampal associative memory networks pp 1-23 in Computational Neuroscience: Cortical Dynamics, LNCS 3146, Springer-Verlag 2004.

GRAHAM, B.P. and van Ooyen, A. Transport limited effects in a model of dendritic branching, J. Theor. Biol., 230, 421-432, 2004.

GRAHAM, B.P., Wong, A.Y.C. and Forsythe, I.D. A multi-component model of depression at the calyx of Held, Neurocomputing, 58-60, 449-454, 2004.

HODGKIN, J., Bowers, J. and Mould, G., A Decision Support System for the Design of Health Services Proceedings of the 9th International Symposium for Health Information Management Research, Sheffield, June, 2004.

HODGKIN, J., San Pedro, J. and Burstein, F., Quality of Data Model For Supporting Mobile Decision Making, Proceedings of Decision Support Systems Conference, Italy, July 2004.

KIDDIE, G.A., van Ooyen, A. and GRAHAM, B.P. Biologically plausible model of growing neurites Brain Inspired Cognitive Systems (BICS), Stirling, U.K., 2004.

MAGILL, E., Feature Interaction: Old Hat or Deadly New Menace? , pp 235-250, in Service Provision - Technologies for Next Generation Communications, John Wiley, 2004.

Marsden, G. and CAIRNS, D.E., Improving the Usability of the Hierarchical File System, South African Computer Journal, 32, 69-78, 2004.

Marples, D., TURNER, K. and MAGILL, E., Service Provision - Prospects, pp 301-313 in Service Provision - Technologies for Next Generation Communications, John Wiley, 2004.

McLEAN, D.R. and GRAHAM, B.P. Mathematical formulation and analysis of a continuum model for tubulin-driven neurite elongation, Proc. Royal Society London A, 460,2437-2456, 2004.

McLEAN, D.R., van Ooyen, A. and GRAHAM, B.P. Continuum model for tubulin-driven neurite elongation Neurocomputing, 58-60 511-516, 2004.

RATTRAY, C., MAHARAJ, S. and SHANKLAND, C. (editors), Algebraic Methodlogy and Software Technology, 10th International Conference, AMAST 2004, LNCS 3116, Springer-Verlag, July 2004.

REIFF-MARGANIEC, S. and TURNER, K.J., Feature Interaction in Policies, Computer Networks, 45(5) 569-584, 2004.

San Pedro, J., Burstein, F., Zaslavsky, A.and HODGKIN, J., Pay by Cash, Credit or EFTPOS? Supporting the User with Mobile Accounts Manager, Proceedings of the 3rd Mobile Business Conference, MBusiness Conference, New York, July, 2004.

SHANKLAND, C., Bryans, J. and Morel, L., Expressing Iterative Properties Logically in a Symbolic Setting, pp 460-476 in Algebraic Methodlogy and Software Technology: 10th International Conference, AMAST 2004, LNCS 3116, Springer-Verlag, July 2004.

Shaw D., Westcombe M., HODGKIN J., Montibeller G., Problem structuring methods for large group interventions, Journal of the Operational Research Society, 55(5), 453 - 463, 2004.

SMITH, L.S. and FRASER, D.S., Robust Sound Onset Detection Using Leaky Integrate-and-Fire Neurons With Depressing Synapses, IEEE Transactions on Neural Networks, 15(5) 1125- 1134, 2004.

SMITH, L.S., Towards Robot Audition, pp 15-20 in “Dynamic Perception”, U.J. Ilg, H.H. Buelthoff, H. A. Mallot (editors), IOS Press/Infix, 2004.

Swanson V, Dowding, D. and BLAND R., Impact of a Computerised Clinical Guidance Tree on Adherence to Treatment for Benign Prostatic Hyperplasia and Hypertension British Psychological Society Division of Health Psychology Conference, Edinburgh, September 2004.

TURNER, K., MAGILL, E. and Marples, D. (editors), Service Provision - Technologies for Next Generation Communications, John Wiley, 360pp, March 2004.

TURNER, K. Formal Methods for Services, pp 217-233 in Service Provision - Technologies for Next Generation Communications, John Wiley, 2004.

TURNER, K., Analysing Interactive Voice Services, Computer Networks, 45(5) 665-685, 2004.

TURNER, K., Formalising Graphical Behaviour Descriptions, pp 537-552 in Algebraic Methodlogy and Software Technology, 10th International Conference, AMAST 2004, LNCS 3116, Springer-Verlag, July 2004.

WILSON, M. and MAGILL, E., A Model for Service Interaction Avoidance in Home Networks, Proc. 5th Annual PostGraduate Symposium on the Convergence of Telecommunications, Networking and Broadcasting, Liverpool, June, 2004.

ZAYED, A., HUSSAIN, A., and SMITH, L., A New Multivariable Generalised Minimum-variance Stochastic Self-tuning with Pole-zero Placement, International Journal of Control and Intelligent Systems, 32(1) 35-44, 2004.

2003

Calder, M., KOLBERG, M., MAGILL, E.H. and REIFF-MARGANIEC, S., Feature Interaction: A Critical Review and Considered Forecast, The International Journal on Computer Networks, 41(1), 115-141, January 2003.

Calder, M., KOLBERG, M., MAGILL, E.H., Marples, D. and REIFF-MARGANIEC, S., Hybrid Solutions to the Feature Interaction Problem, pp 295-312 in Proc. 7th. Feature Interactions in Telecommunications and Software Systems, IOS Press, June 2003.

Fidge, C. and SHANKLAND, C., But What if I Don't Want to Wait Forever? Formal Aspects of Computing 14(3), 281-294, 2003.

HODGKIN, J. and Belton, V., Development and Evaluation of Two Decision Support Systems to Provide Intelligent User Support for Multicriteria Decision Making pp 201-204 in Bui, T., Sroka, H., Stanek, S., Goluchowski, J. (Eds.), Proceedings of the 7th International Conference of the International Society for Decision Support Systems, Ustron, Poland, 2003.

HUSSAIN, A., Squartini,S. and Piazza,F., Novel Weiner Sub-band Processing Schemes for Binaural Adaptive Speech Enhancement, Proceedings 7th IEEE International Multi-topic Conference (INMIC'2003), Islamabad, Dec 8-9, 2003.

KOLBERG, M., MAGILL, E., WILSON, M., Compatibility Issues between Services supporting Networked Appliances IEEE Communications Magazine, Vol. 41, No. 11, November 2003.

Marsden, G. and CAIRNS, D.E., Improving the Usability of the Hierarchical File System, pp 122-129 in Proceedings SAICSIT 2003, ACM Press, 2003.

MAHARAJ, S., Romijn, J. and SHANKLAND, C., IEEE 1394 Tree Identify Protocol: Introduction to the Case Study. Formal Aspects of Computing 14(3), 200-214, 2003.

MUHAMMAD, J., HUSSAIN, A. and Ahmad, W.M., Location Estimation in Cellular Networks using Neural Networks pp 243-247 in Proc 1st IEEE-IEE-ESF International Workshop on Signal Processing for Wireless Communication (SPWC'2003), King's College, London, May 2003.

MUHAMMAD, J., HUSSAIN, A. and Ahmad, W.M., New Neural Network based Mobile Location Estimtion in Urban Propagation Models Proceedings 7th IEEE International Multi-topic Conference (INMIC'2003), Islamabad, Dec 8-9, 2003

NORMAN, R. and SHANKLAND, C. Developing the Use of Process Algebra in the Derivation and Analysis of Mathematical Models of Infectious Disease. Proceedings of Computational Methods in Biomathematics, pp 404-414 in Computer Aided Systems Theory - EUROCAST 2003, 9th International Workshop on Computer Aided Systems Theory, LNCS 2809, Springer-Verlag, February 2003.

OLIVIER, A. and HUSSAIN, A., Computational Intelligence Techniques for Overcoming Co-Channel Interference in Mobile Cellular Networks, pp 266-273 in Proc 1st IEEE-IEE-ESF International Workshop on Signal Processing for Wireless Communication (SPWC'2003), King's College, London, May 2003.

REIFF-MARGANIEC, S. and TURNER, K.J., A Policy Architecture for Enhancing and Controlling Features, pp 239-246 in Proc. 7th. Feature Interactions in Telecommunications and Software Systems, IOS Press, June 2003.

Robinson, P. and SHANKLAND, C., Combating Infinite State Using Ergo, pp 144-159 in Formal Techniques for Networked and Distributed Systems - FORTE 2003, LNCS 2767, Springer-Verlag, September, 2003.

Shaw, D., Westcombe, M., HODGKIN, J. and Montibeller, G., Modelling large group knowledge pp 292-303 in: Edwards, J. S. (Eds.), Proceedings of Knowledge Management Aston Conference, Birmingham, U.K. 2003.

SMITH, L.S., Biologically inspired robust onset detection, Journal of the Acoustical Society of America, 113, 4 (Part 2), p2198, April 2003.

Squartini,S., HUSSAIN, A., and Piazza,F., New Recurrent Multi-scale Architecture for Long-term Memory Prediction Task, ICASSP'2003, Hong Kong, April 2003.

Squartini,S., HUSSAIN, A., and Piazza,F., Pre-processing based solution for the vanishing gradient problem in recurrent neural networks, ISCAS'2003, Bangkok, May 2003.

TURNER, K.J., Representing New Voice Services and Their Features, pp 123-140 in Proc. 7th. Feature Interactions in Telecommunications and Software Systems, IOS Press, June 2003.

TURNER, K.J., Formalising Graphical Service Descriptions using SDL, pp 183-202 in SDL 2003, LNCS 2708, Springer-Verlag, July 2003.

TURNER, K.J., Specifying and Realising Interactive Voice Services, pp 15-30 in Proc Formal Techniques for Networked and Distributed Systems, LNCS 2767, Springer-Verlag, September 2003.

van Pelt, J., GRAHAM, B.P. and Uylings, H.B.M., Formation of dendretic branching patterns, Chapter 4 in Modelling Neuronal Development, MIT Press, Sep, 2003.

Wong, A.Y.C., GRAHAM, B.P., Billups, B., and Forsythe, I.D., Distinguishing between presynaptic and postsynaptic mechanisms of short-term depression during action potential trains, Journal of Neuroscience 23, 4868-4877, 2003.

ZAYED, A. and HUSSAIN, A. Novel Non-linear PID based Multiple Controller incorporating a Neural Network Learning Sub-Model Proceedings 7th IEEE International Multi-topic Conference (INMIC'2003), Islamabad, Dec 8-9, 2003

ZAYED, A. and HUSSAIN, A. Stability Analysis of a New Non-linear Pole-zero Placement Controller incorporating Neural Networks Proceedings 7th IEEE International Multi-topic Conference (INMIC'2003), Islamabad, Dec 8-9, 2003

2002

Blair, L., Jones, T. and REIFF-MARGANIEC, S., A Feature Manager Approach to the Analysis of Component-Interactions pp 233-248 in Formal Methods for Open Object-Based Distributed Systems V, Kluwer, 2002.

Bujorianu, Marius, BUJORIANU, MANUELA and MAHARAJ, S., Towards a Formalization of Viewpoints Testing, pp 137-151 in Proceedings of Formal Approaches to Testing of Software, Brno, August 2002.

Calder, M., MAHARAJ, S. and SHANKLAND, C., A Modal Logic for Full LOTOS based on Symbolic Transition Systems, The Computer Journal 45(1), 55-61, 2002.

Calder, M., MAGILL, E.H., REIFF-MARGANIEC, S. and Thayananthan, V., Theory and Practice of Enhancing a Legacy Software System pp 120-137 in Systems Engineering for Business Process Change -- New Directions (ed. Peter Henderson), Springer Verlag, 2002.

Fandez-Zanuy M., McLaughlin S., Esposito A., HUSSAIN A., Schoentgen J., Kubin G., Kleijn W.B., Maragos P., Non-linear Speech Processing: Overview and Applications, Journal of Control & Intelligent Systems, Vol.30, no.1, pp1-10, 2002.

Glover, M., Hamilton, A. and SMITH, L.S., Analogue VLSI Leaky Integrated-and-fire Neurons and their Use in a Sound Analysis System, Microelectronics for Bio-inspired Systems, 30(2), 91-100, 2002.

GRAHAM, B., Multiple Forms of Activity-Dependent Plasticity Enhance Information Transfer, pp45-50 in Artificial Neural Networks - ICANN 2002, LNCS 2415, Springer Verlag, 2002.

Hammond, K. and CURTIS, S., (Editors) Trends in Functional Programming (volume 3), Intellect, 2002.

HODGKIN, J. and Belton, V., Visualising Sensitivity Analysis in MCDA: A case study, 16th Triennial Conference of the International Federation of Operational Research Societies, Edinburgh, July 2002.

HUSSAIN, A., Non-linear Speech Processing, Guest Editorial, Journal of Control and Intelligent Systems, Vol.30, no.1, 2002.

KOLBERG, M. and MAGILL, E.H., A pragmatic approach to service interaction filtering between call control services, Computer Networks 38, 591-602, 2002.

KOLBERG, M., MAGILL, E., Marples, D. and Tsang, S., Feature Interactions in Services for Internet Personal Appliances, pp 2613-2618 in IEEE International Conference on Communications, New York, April, 2002.

MTETWA, N., SMITH, L.S. and HUSSAIN, A., Stochastic resonance and finite resolutions in a leaky integrate and fire neuron, pp 343-348 in Proceedings of ESANN 2002 (10th European Symposium on Artificial Neural Networks), Bruges, 2002.

MTETWA, N., SMITH, L.S. and HUSSAIN, A., Stochastic resonance and finite resolutions in a network of leaky integrate and fire neurons, pp 117-122 in Artificial Neural Networks - ICANN 2002, LNCS 2415, Springer Verlag, 2002.

RATTRAY, C., Sveda, M. and Rozenblit, J., (Editors) Joint Workshop on Formal Specification of Computer-Based Systems, Lund, Sweden, April 2002.

REIFF-MARGANIEC, S. and TURNER, K.J., Use of Logic to describe Enhanced Communications Services, pp 130-145 in Proc. Formal Techniques for Networked and Distributed Systems, LNCS 2529, Springer-Verlag, November 2002.

RICHMOND, NA., Graphical Service Description, pp384-389 in Proceedings of 3rd Annual PostGraduate Symposium on the Convergence of Telecommunications, Networking & Broadcasting, Liverpool, June 2002.

SMITH, L.S., Using Beowulf clusters to speed up neural simulations, TRENDS in Cognitive Sciences, 6(6), 231-232, 2002.

SMITH, L.S., Phase-locked onset detectors for monaural sound grouping and binaural direction finding (abstract) Journal of the Acoustical Society of America, 111, 5 (Part 2), p2467, May 2002.

SMITH, L.S., Using IIDs to Estimate Sound Source Direction, pp 60-61 in From Animals to Animats 7, Edited by B. Hallam, D. Floreano, J. Hallam, G. Hayes, and J-A Meyer, MIT Press, 2002.

Soraghan J., HUSSAIN A., Alkulaibi A., Durrani T.S., Higher Order Statistics based non-linear speech analysis, Journal of Control and Intelligent Systems, Vol.30, no.1, pp11-18, 2002.

TURNER, K. and JENNINGS, M.A., The Rules of Sailing Races for Hand-Held Devices, Navigation 55, 263-275, 2002.

TURNER, K. and BING, Q., Systematic Testing of Radiotherapy Accelerators, pp 33.1-33.8 in Proc. IDPT (Integrated Design and Process Technology) 02, Grandview, Texas, USA, June 2002.

TURNER, K.J., Modelling SIP services using Cress, pp 162-177 in Proc. Formal Techniques for Networked and Distributed Systems, LNCS 2529, Springer-Verlag, November 2002.

TURNER, K.J. and BING, Q., Protocol Techniques for Testing Radiotherapy Accelerators, pp 81-96 in Proc. Formal Techniques for Networked and Distributed Systems, LNCS 2529, Springer-Verlag, November 2002.

WILSON, M. and MAGILL, E., Service Interaction in Home Networks: A Resource Centric Approach, pp372-377 in Proceedings of 3rd Annual PostGraduate Symposium on the Convergence of Telecommunications, Networking & Broadcasting, Liverpool, June 2002.

ZAYED A.S., HUSSAIN A. and SMITH L.S., Adaptive control of non-linear system using a new pole-zero placement generalised minimum-variance technique, Proceedings 3rd International NAISO Congress on Engineering Intelligent Systems (EIS\2222002), Malaga, Spain, 24-27 Sep 2002.

ZAYED A.S., HUSSAIN A. and SMITH L.S., A new non-linear self-tuning controller incorporating neural networks, Proceedings 3rd International NAISO Congress on Engineering Intelligent Systems (EIS\2222002), Malaga, Spain, 24-27 Sep 2002.

Zeleznikow, J., Bellucci, E. and HODGKIN, J., Building Decision Support Systems to Support Legal Negotiation pp 112-117 in Lesavich, S. (Ed.), Proceedings of the IASTED International Conference, ACTA Press, Anaheim, USA, 2002.

2001

Ahmed, W.I., HUSSAIN, A. and Shah, S.I., Location Estimation in Cellular Networks using Neural Networks, Proceedings International NAISO Congress on Information Science Innovations (ISI'2001), Dubai, March 2001.

BRYANS, J., Verdejo, A. and SHANKLAND, C., Using Rewriting Logic to implement the modal logic FULL, Proceedings AVoCS'01: Workshop on Automated Verification of Critical Systems, Oxford, April 2001.

BRYANS, J. and SHANKLAND, C., Implementing a Modal Lodal over Data and Processes using XTL, pp 201-218 in Proceedings of FORTE 2001 IFIP TC6/WG6.1 - 21st International Conference on Formal Techniques for Networked and Distributed Systems, Kluwer Academic Publishers, August 2001.

Bowman, H., BRYANS, J. and Derrick, J., Analysis of a Multimedia Stream using Stochastic Process Algebra, Computer Journal, 44(4), 230-245, 2001.

Calder, M., MAHARAJ, S. and SHANKLAND, C., An Adequate Logic for Full LOTOS, pp 384-395 in FME 2001: Formal Methods for Increasing Software Productivity, LNCS 2021, Springer-Verlag, March 2001.

Calder, M. and SHANKLAND, C., A Symbolic Semantics and Bisimulation for Full LOTOS , pp 184-200 in Proceedings of FORTE 2001 IFIP TC6/WG6.1 - 21st International Conference on Formal Techniques for Networked and Distributed Systems, Kluwer Academic Publishers, August 2001.

CLARK, R.G., Transformations of UML Concurrency Constructs to E-LOTOS in WTUML: Workshop on Transformations in UML, Genoa, Italy, April 2001.

CLARK, R.G., Comparative Programming Languages (Third Edition, first two editions were Wilson, L.B. and Clark, R.G.), Addison-Wesley, January 2001, ISBN 0-201-71012-9.

CURTIS, S., Laziness, Drugs and Jam Jars pp 1-8 in Draft Proc. of the 3rd Scottish Functional Programming Workshop, Stirling, 2001.

Fidge, C. and SHANKLAND, C., But what if I don't want to wait forever?, pp 15-18 in Proc. BCS-FACS IEEE 1394 (FireWire) Workshop, Berlin, March, 2001.

GRAHAM, B.P., Pattern recognition in a compartmental model of a CA1 pyramidal neuron Network: Computation in Neural Systems 12, 473-492, 2001.

GRAHAM, B.P. and Dutia, M.B., Cellular basis of vestibular compensation: analysis and modelling of the role of the commissural inhibitory system., Experimental Brain Research, 137, 387-396, 2001.

GRAHAM, B.P. and van Ooyen, A., Compartmental models of growing neurites, Neurocomputing, 38-40, 31-36, 2001.

GRAHAM, B.P., Wong, A.Y.C. and Forsythe, I.D., A computational model of synaptic transmission at the calyx of Held, Neurocomputing, 38-40, 37-42, 2001.

HE, J. and TURNER, K.J., Specifying Hardware Timing with ET-LOTOS, pp 161-166 in Proc. 11th. Conference on Correct Hardware Design and Verification Methods, LNCS 2144, Springer-Verlag, September 2001.

Hely, T.A., GRAHAM, B.P. and van Ooyen, A., A computational model of dendrite elongation and branching based on MAP2 phosphorylation, Journal of Theoretical Biology 210, 375-384, 2001.

HUSSAIN, A. and Campbell D.R., Intelligibility improvements using binaural diverse sub-band processing applied to speech corrupted with automobile noise, IEE Proceedings - Vision, Image and Signal Processing, 148(2) 127-132, 2001.

HUSSAIN, A. and Soraghan, J., A new Recurrent Neural Network for Temporal Signal Processing, Proceedings International NAISO Congress on Information Science Innovations (ISI'2001), Dubai, March 2001.

HUSSAIN, A., ZAYED, A.S. and SMITH, L.S., A new neural network and pole placement based adaptive composite controller, pp 267 - 271 in Proc. 5th IEEE National Multi-Topic Conference (INMIC 2001), Lahore, Pakistan, Dec 2001

KELLY, F., Simple Three-State Logic Probe, Electronics World, 107(1788), 960, December 2001.

KOLBERG, M. and MAGILL, E.H., Handling Incompatibilities between Services deployed on IP-based Networks, pp 360-370 in Proceedings of IEEE Intelligent Networks 2001 Workshop, Boston, USA, 2001.

MAGILL, E.H., Feature Interaction - a hybrid approach, Proc MICON 2001, Ottawa, Canada, August 2001.

MAHARAJ, S., Romijn, J. and SHANKLAND, C. (Editors), BCS-FACS IEEE 1394 (FireWire) Workshop, Berlin, March, 2001.

MAHARAJ, S., A PVS Theory of Symbolic Transition Systems pp 255-266 in Supplemental Proceedings of Theorem Proving in Higher Order Logics 2001, Edinburgh, 2001.

RATTRAY, C., Sveda, M. and Rozenblit, J. (Editors), Proc. IEEE/IFIP Joint Workshop on Formal Specifications of Computer-Based Systems, Washington DC, April 2001.

Robinson, P. and SHANKLAND, C., Implementing the modal logic FULL using Ergo, Proceedings AVoCS'01: Workshop on Automated Verification of Critical Systems, Oxford, April 2001.

SHANKLAND, C. and Verdejo, A., A case study in abstraction using E-LOTOS and the FireWire, Computer Networks, 37 481-502, 2001.

SMITH, L.S., Using depressing synapses for phase locked auditory onset detection, pp 1103-1108 in Artificial Neural Networks - ICANN 2001, LNCS 2130, Springer Verlag 2001.

TURNER, K.J., Structuring Telecommunications Features, pp 1-9 in Language Constructs for Describing Features, S.T. Gilmore and M.D. Ryan (editors), Springer-Verlag, January, 2001.

TURNER, K.J., The N-Body Problem in LOTOS, Electronic Notes in Theoretical Computer Science, 34, 1-23, 2001.

TURNER, K.J., Modular Feature Specification, pp 1-16 in Proc. MICON 2001, Mitel Networks Corporation, Ottawa, Canada, August 2001.

TURNER, K.J. and HE, J., Formally-Based Design Evaluation, pp 104-109 in Proc. 11th. Conference on Correct Hardware Design and Verification Methods, LNCS 2144, Springer-Verlag, September 2001.

TURNER, K.J. and Robin, I.A., An Interactive Visual Protocol Simulator, Computer Standards and Interfaces, 23, 279-310, October 2001.

TURNER, K.J., Les Normes pour la Qualite de Service, pp 49-81 in Ingenerie des Protocoles et Qualite de Service, Librairie Lavoisier, October 2001.

TURNER, K.J. and Sinnott, R.O., Specification Architectures, pp 427-450 in Formal Methods for Distributed Processing, Cambridge University Press, 2001.

ZAYED, A.S., HUSSAIN, A. and SMITH, L.S. A modified generalised minimum-variance stochastic self tuning controller with pole zero placement, pp 252-256 in Proc. 5th IEEE National Multi-Topic Conference (INMIC 2001), Lahore, Pakistan, Dec 2001.

2000

Chandler, C., Experiences in Multimedia Authoring, Position Paper CHI 2000, The Hague, April 2000.

Chandler, C., Self-modifying Interfaces: a Simple approach, Proc. Gemisis Conference, Salford, May 2000.

Clark, R.G. and Moreira, A.M.D., Use of E-LOTOS in Adding Formality to UML, pp 33-36 in Proc. IEEE/IFIP Joint Workshop on Formal Specifications of Computer-Based Systems, Edinburgh, April 2000.

Clark, R.G. and Moreira, A.M.D., Use of E-LOTOS in Adding Formality to UML, Journal of Universal Computer Science, 6(11), 1071-1087, 2000.

Curtis, S., Functional Programming and Quilting, pp 145-158 in Trends in Functional Programming, (S. Gilmore, editor), Proc. of the 2nd Scottish Functional Programming Workshop, St. Andrews, July 2000, Intellect, December 2000.

Dearle, A. and Hulse., Operating systems support for persistent systems: past, present and future, Software Practice and Experience, 30(4), 295-324, 2000.

Graham, B.P. and van Ooyen, A., Compartmental models of growing neurites, Computational Neuroscience, Bruges, Belgium, July, 2000 (to appear in Neural Computing, 2001)

Hussain, A., Multi-sensor Adaptive Speech Enhancement using Diverse Sub-band Processing, International Journal of Robotics & Automation, 15(2), pp78-84, 2000.

Hussain, A., Locally-Recurrent Neural Networks for real-time Adaptive Non-linear Prediction of Non-stationary Signals, Control & Intelligent Systems, 28(2), 65-71, 2000.

Hussain, A., Non-linear Speech Processing using Neural Networks based Adaptive Filtering, pp 155-160 in Proceedings 4th IEEE National Multi-Topic Conference (INMIC'2000), Islamabad, September 2000.

Kashif, F.M., Qadeer, W., Hussain, A. and Shah, S.I., Performance Analysis of a time-varying filter for the removal of baseline wander from ECG signals, pp 123-127 in Proceedings 4th IEEE National Multi-Topic Conference (INMIC'2000), Islamabad, September 2000.

Maharaj, S. and Shankland, C., A Survey of Formal Methods Applied to the IEEE 1394, pp 25-26 in Proc. IEEE/IFIP Joint Workshop on Formal Specifications of Computer-Based Systems, Edinburgh, April 2000.

Maharaj, S. and Shankland, C., A Survey of Formal Methods Applied to Leader Election in IEEE 1394, Journal of Universal Computer Science, 6(11), 1145-1163, 2000.

Rattray, C. and Sveda, M. (Editors), Proc. IEEE/IFIP Joint Workshop on Formal Specifications of Computer-Based Systems, Edinburgh, April 2000.

Smith, L.S., Eriksson, B.E., Glover, M. and Hamilton, A., Spike I and Spike II: Experiences with analogue VLSI chips Proceedings of the 2nd ICSC Symposium on Neural Computation, NC2000, Berlin, May 2000.

Turner, K.J., Formalising the Chisel Feature Notation, pp 241-256 in Proc 6th. Feature Interactions in Telecommunications and Software Systems, IOS Press, Amsterdam, May 2000.

Turner, K.J., Argul-Marin, F.J. and Laing, S.D., Concurrent Specification and Timing Analysis of Digital Hardware using SDL, pp 1001-1008 in Proc. International Parallel and Distributed Processing Symposium 2000, LNCS 1800, Springer-Verlag, May 2000.

Turner, K.J., Structuring Telecommunications Features, pp 3-6 in Proc. Workshop on Language Constructs for describing Features, Edinburgh, May 2000.

Turner, K.J., Relating Architecture and Specification, pp 337-374 in Encyclopaedia of Microcomputers, Marcel Dekker, New York, 2000.

1999

Blackburn, S., Daynes, L., Nettles, S., Hulse, D. and Anfindsen, O., Concurrency - The Fly in The Ointment?, Keynote Discussion , pp 215-222 in Proc 8th International Conference on Persistent Object Systems, Tiburon, CA, USA, Morgan-Kaufman, 1999.

Breslin, C. Neuromorphic Engineering and a Successor Notion of Computation, in proceedings New Trends in Cognitive Science, Vienna, MIT Press, May 1999.

Breslin, C. and Smith, L.S. Neuromorphic Design by Physical Equivalence: Simple Animal and Neuron Models, in proceedings Third International Conference on Cognitive and Neural Systems, Boston, May 1999.

Breslin, C. and Smith, L.S. Silicon Cellular Morphology, International Journal of Neural Systems, 9(5), 491-495, 1999.

Clark, R.G. and Moreira, A.M.D., SDL in Rigorous Object-Oriented Analysis, pp 205-212 in Formal Methods for Open Object-based Distributed Systems: Proc FMOODS'99, Florence, Kluwer, Feb 1999.

Clark, R.G. and Moreira, A.M.D., Formal Specifications of User Requirements, Automated Software Engineering, 6(3), 217-232, 1999.

Curtis, S., Uses of Relational Operators in Algorithm Development, Draft Proc. of the 1st Scottish Functional Programming Workshop, Stirling, August 1999.

He, J and Turner, K.J., Protocol-Inspired Hardware Testing, pp 131-147 in Proc. Testing Communicating Systems XII, Kluwer, Sep 1999.

He, J and Turner, K.J., Specification and Verification of Synchronous Hardware using LOTOS, pp 295-312 in Proc. Formal Methods for Protocol Engineering and Distributed Systems (FORTE XII/PSTV XIX), Kluwer Academic Publishers, October, 1999.

Hulse, D. and Dearle, A., Lumberjack: A Log-Structured Persistent Object Store, pp 187-198 in Proc 8th International Conference on Persistent Object Systems, Tiburon, CA, USA, Morgan-Kaufman, 1999.

Maharaj, S., Towards a Method of Test Case Extraction from Correctness Proofs, pp 45-46 in Proc. 14th International Workshop on Algebraic Development Techniques, France, September 1999.

O'Lenskie, A., Dearle, A. and Hulse, D., Persistent Operating System Support for Persistent CORBA Objects, pp 92-111 in Proc 8th International Conference on Persistent Object Systems, Tiburon, CA, USA, Morgan-Kaufman, 1999.

Reeves, A.C. and Rattray, C., A sketch-based technique for the derivation of self-interpreters, Computer Languages, 25(1), 1-37, 1999.

Resconi, G., Rattray, C. and Hill, G. The Language of General Systems Logical Theory, International Journal of General Systems, 28(4-5), 383-416, 1999.

Shankland, C., Using E-LOTOS to pick a leader, pp 143-162 in Proc. Workshop on Formal Methods in Computation, Ullapool, UK, August 1999.

Shankland, C. and Verdejo, A., Time, E-LOTOS and the FireWire, pp 103-119 in Proc. Workshop on Formal Methods and Telecommunications: Zaragoza 99, Zaragoza, Spain, Prensas Univerisitarias de Zaragoza, August 1999.

Smith, L.S., Eriksson, B.E., Hamilton, A. and Glover, M., SPIKEII: an integrate-and-fire aVLSI chip International Journal of Neural Systems, 9(5), 479-484.

Smith, L.S., Onset/offset coding for interpretation and segmentation of sound, UK Patent GB 2 299 247 B, Date of filing 23/03/1995, Patent granted 29/09/1999.

1998

Agerholm, S., Bicarregui, J. and Maharaj, S., The Verification of VDM Specification and Refinement with PVS, pp 157-189 in Bicarregui, J. (Editor), Proof in VDM: Case Studies, Springer-Verlag, March 1998.

Dearle, A., Towards Ubiquitous Environments for Mobile Users, IEEE Internet Computing, 2(1), 23-32, 1998.

Glover M.A., Hamilton A. and Smith L.S., Analog VLSI integrate and fire neural network for clustering onset and offset signals in a sound segmentation system, pp 238-250 in Smith L.S. and Hamilton A. (editors), Neuromorphic Systems: Engineering Silicon from Neurobiology, World Scientific, 1998.

Rattray, C., Abstractly modelling complex systems, pp 1-12 in Albrecht R. (editor), Systems: Theory and Practice, Advances in Computing Science, Springer, 1998.

Shankland C., The Tree Identify Protocol IEEE 1394, pp 299-319 in Groote, J. F., Luttik, B. and van Wamel, J. (editors), Proc. Third International Workshop on Formal Methods for Industrial Critical Systems, Amsterdam, June 1998.

Shankland, C. and van der Zwaag, M., The Tree Identify Protocol of IEEE 1394 in muCRL, Formal Aspects of Computing, 10, 509-531, 1998.

Smith L.S., Extracting features from the short-term time-structure of cochlear filtered sound, pp 113-125 in Bullinaria, J.A., Glasspool, D.W. and Houghton, G. (Editors), Proc. 4th Neural Computation and Psychology Workshop, London, Springer-Verlag, 1998.

Smith L.S., Adding lateral inhibition to a simple feedforward network enables it to perform exclusive-or, Neural Computation, 10(2), 277-280, 1998.

Smith L.S. and Hamilton A. (editors), Neuromorphic Systems: Engineering Silicon from Neurobiology, World Scientific (Progress in Neural Computing 10), 1998.

Smith L.S. and Hamilton A., Neuromorphic systems, neural models and silicon, pp 5-11 in Smith L.S. and Hamilton A. (editors), Neuromorphic Systems: Engineering Silicon from Neurobiology, World Scientific, 1998.

Smith L.S., A One-dimensional Frequency Map Implemented using a Network of Integrate-and-fire Neurons, pp 991-996 in ICANN 98: Proceedings of the 8th International Conference on Artificial Neural Networks, Skovde, Sweden, Springer, 1998.

Smith L.S., Glover M.A. and Hamilton A., A Comparison of a Hardware and a Software Integrate and Fire Neural Network for Clustering Onsets in Cochlear Filtered Sound, in T. Constantinides, S. Y. Kung, M. Niranjan, E. Wilson (editors) Neural Networks for Signal Processing VIII, IEEE Press, 1998.

Turner, K.J., The Invoicing Case Study in (E-)LOTOS, pp 83-98 in Allemand, M., Attiogbe, C. and Habrias, H. (Editors), Proc. Intnl Workshop on Comparing Systems Specification Techniques, Nantes, March 1998.

Turner, K.J., Validating Architectural Feature Descriptions using LOTOS, pp 247-261 in K Kimbler and W Bouma (Editors), Proc. 5th. International Workshop on Feature Interactions in Telecommunication Networks and Software Systems, IOS Press, 1998.

Turner, K.J., An Architectural Description of Intelligent Network Features and Their Interactions, Computer Networks and ISDN Systems, 30(15), 1389-1419, 1998.

1997

Booth, S.P. and Jones, S.B., Walk Backwards to Happiness - Debugging by Time Travel, in 3rd International Workshop on Automated Debugging: AADEBUG'97, Linkoping, Sweden, May 1997.

Clark, R.G., Formal Methods Should Complement Industrial Practice, pp 63-64 in Software Engineering Association Easter Workshop, Imperial College, London, April 1997.

Clark, R.G. and Moreira, A.M.D., Constructing Formal Specifications from Informal Requirements, pp 68-75 in Budgen, D., Hoffnagle, G. and Trienekens, J. (Editors), Software Technology and Engineering Practice: Proc STEP'97, IEEE Press, July 1997.

Clark, R.G. and Moreira, A.M.D., Formal user-centred models, pp 215-230 in Bowman, H. and Derrick, J. (Editors), Formal Methods for Open Object-based Distributed Systems 2: Proc FMOODS'97, Chapman and Hall, July 1997.

Csopaki, G. and Turner, K.J., Modelling Digital Logic in SDL, pp 367-382 in Mizuno, T., Shiratori, N., Higashino, T. and Togashi, A. (Editors), Proc. Formal Description Techniques X/Protocol Specification, Testing and Verification XVII, Chapman and Hall, November 1997.

Curtis, S. Dynamic Programming: a different perspective, pp 1-23 in Meertens, L. Bird, R. (editors), Algorithmic Languages and Calculi, Chapman and Hall, 1997.

Farkas, A., Dearle, A. and Hulse, D., Operating System Support for Inter-Domain Type Checking, pp 23-32 in Connor, R. and Nettles, S. (Editors), Proc 7th International Workshop on Persistent Object Systems, Morgan Kaufmann, 1997.

Kirkwood, C. and Thomas, M., Towards a Symbolic Temporal Logic for Full LOTOS, in Duke, D. and Evans, A.S. (editors), Proceedings of the BCS-FACS Northern Methods Workshop, Electronic Workshops in Computing, Springer-Verlag, 1997.

Kosmas, N. and Turner, K.J., Requirements for Service Creation Environments, pp 133-137 in Proc. 2nd International Workshop on Applied Formal Methods in System Design, Zagreb, Croatia, June 1997.

Maharaj, S. and Bicarregui, J., On the Verification of VDM Specification and Refinement with PVS, pp 280-289 in Proc. 12th IEEE Int. Conf. Automated Software Engineering, Nevada, USA, November 1997.

Marsh, S., A Different Approach to Information Provision and Retrieval, in Frohmann, B. (Editor), Proc CAIS'97, Newfoundland, June 1997.

Marsh, S., A Community of Autonomous Agents for the Search and Distribution of Information in Networks, in J. Furner and D. Harper (Editors), Proc. 19th BCS-IRSG Annual Colloquium, Springer Verlag, 1997.

Marsh, S., Smart Documents, Mobile Queries: Information Provision and Retrieval using a Multi-Agent System, IJCAI workshop on AI in Digital Libraries, Nagoya, Japan. August 1997.

Marsh, S. and Masrour, Y., Agent Augmented Community Information - The ACORN Architecture, Proc. CASCON'97, November 1997.

Moreira, A.M.D. and Clark, R.G., Formal Specification of Aggregates, Sistemas de Informação, 7, 7-25, December 1997.

Reed, D.A. and Turner, K.J., Support Components for Quality of Service in Distributed Environments: Monitoring Service, pp 255-258 in Campbell, A. and Nahrstedt, K. (editors), Proc. 5th International Workshop on Quality of Service, Columbia University, New York, USA, May 1997.

Shankland, C. and Thomas, M., Symbolic Bisimulation for Full LOTOS, pp 479-493 in Johnson, M. (editor), Algebraic Methodology and Software Technology; Proc AMAST'97, LNCS 1349, Springer-Verlag, December 1997.

Sinnott, R.O. and Turner, K.J., Applying the Architectural Semantics of ODP to develop a Trader Specification, Computer Networks and ISDN Systems, 29(4), 457-471, 1997.

Sinnott, R.O. and Turner, K.J., Specifying ODP computational objects in Z, pp 375-390 in Najm, E. and Stefani, J-B. (Editors), Formal Methods for Open Object-based Distributed Systems: Proc FMOODS'96, Chapman and Hall, 1997.

Smith, L.S., A neurally motivated technique for voicing detection in speech, (abstract), British Journal of Audiology, 31(2), 112, 1997.

Smith, L.S., IT systems for safety monitoring, Lloyds Shipping Economist, IT in Shipping supplement, pp 23-24, March 1997.

Smith, L.S., A noise-robust auditory modelling front end for voiced speech, pp 97-102 in Gerstner W., Germond A., Hasler M., J-D Nicoud (Editors), Proc ICANN97, LNCS 1327, Springer-Verlag, October 1997.

Turner, K.J., Specification Architecture illustrated in a Communications Context, Computer Networks and ISDN Systems, 29(4), 397-411, 1997.

Turner, K.J., Relating Architecture and Specification, Computer Networks and ISDN Systems, 29(4), 437-456, 1997.

Turner, K.J., Relating Services and Features in the Intelligent Network, pp 235-243 in Proc. 4th International Conference on Telecommunications, Zagreb, Croatia, June 1997.

Turner, K.J., An Architectural Foundation for Relating Features, pp 226-241 in Dini, P., Boutaba, R. and Logrippo, L. (Editors), Feature Interactions in Telecommunication Networks IV, IOS Press, June 1997.

Turner, K.J., Incremental Requirements Specification with LOTOS, Requirements Engineering Journal, 2, 132-151, 1997.

1996

Booth, Simon P and Jones, Simon B., Are Ours Really Smaller Than Theirs. In 1996 Glasgow Workshop on Functional Programming, Ullapool, Scotland, pages II.1-II.6, July 1996.

Curtis, S and Lowe, G. Proofs with Graphs, Science of Computer Programming, 26, 197-216, 1996.

Dearle, A, Hulse, D and Farkas, A M., Persistant Operating Support for Java. In First International Workshop on Persistence and Java, Sun Microsystems Laboratories Technical Report TR-96-58, November 1996.

Farkas, A M, Dearle, A and Hulse, D., Delivering the Benefits of Browser Enabling Technology to the Operating System. In Proc 7th International Workshop on Persistent Object Systems, Cape May, USA, May 1996.

D Hulse and A Dearle, A log-structured persistent store. In K Ramamohanarao, editor, 19th Australasian Computer Science Conference, pages 563-572, February 1996.

Jones, Simon B., Experiences with Clean I/O. In Functional Programming, Glasgow 1995, 1-11, Springer-Verlag, electronic Workshops in Computing, 1996. ISBN 3-540-14580-X

Jones, Simon B. and Booth, Simon P., Towards a Purely Functional Debugger for Functional Programs. In Functional Programming, Glasgow 1995, 1-12, Springer-Verlag, electronic Workshops in Computing, 1996. ISBN 3-540-14580-X

Jones, Simon B and Mark Robinson, Implementing Object Oriented Systems in Clean1.1. In 1996 Glasgow Workshop on Functional Programming, Ullapool, Scotland, pages VII.1-VII.12, July 1996.

C Kirkwood, Specifying Properties of Basic LOTOS Specifications Using Temporal Logic. Proceedings FORTE'95, Chapman & Hall, 1996.

Marsh, S., Why Agents could Help. A Different Method of Information Provision and Retrieval, In Workshop on Global Information Gathering, AI/GI/VI '96, Toronto, 1996.

Ana M D Moreira and Robert G Clark, LOTOS in the object-oriented analysis process. In S Goldsack and S Kent, editors, Formal Methods and Object Technology, chapter 3, pages 33-46. Springer-Verlag, April 1996.

Ana M D Moreira and Robert G Clark, Adding Rigour to Object-Oriented Analysis , Software Engineering Journal, 11(5), 270-280, 1996.

Charles M I Rattray, Identification and recognition through shape in complex systems. In F. Pichler, R. Moreno Diaz, and R. Albrecht, editors, Computer Aided Systems Theory - EUROCAST 95, number 1030 in Lecture Notes in Computer Science, pages 19-29. Springer-Verlag, February 1996.

Charles M I Rattray, Modelling Complex Systems with Learning Capabilities. J. of Mathematical Modelling and Scientific Computing , vol 6, April 1996.

J Rosenberg, A Dearle, D Hulse, A Lindstrom and S Norris, Operating System Support for Persistent and Recoverable Computations. Comm ACM, 39(9), 62-69, 1996.

Sinnott, R.O. and Turner, K.J., Specifying Multimedia Binding Objects in Z, pp 244-257 in Spaniol, O., Linnhoff-Popien and Meyer, B. (Editors), Trends in Distributed Systems, LNCS 1161, Springer-Verlag, 1996.

Leslie S Smith, Using an onset-based representation for sound segmentation. In Proceedings Neurap'95/96, Marseilles, pages 274-281, March 1996.

Leslie S Smith, Onset based sound segmentation. In Touretzky D.S. and Mozer M.C. and Hasselmo M.E., editors, Advances in Neural Information Processing Systems 8, pages 729-735, MIT Press, July 1996.

Leslie S Smith, Using a framework to specify a network of temporal neurons. In Sincak P, editor, Intelligent Technologies, Proceedings of the 1st Slovak Neural Networks Symposium, Herlany, Slovakia, Vol 2, pp 111-127, November 1996.

Kevin Swingler and Leslie S Smith, Producing a neural network for monitoring driver alertness from steering actions. Neural Computing and Applications, 4:96-104, March 1996.

Kenneth J. Turner, Introducing Open Distributed Systems. In Bourgois, M, editor, Proc. European Air Traffic Management System Workshop Brussels, pages 10/1--10/13, June 1996.

Kenneth J. Turner, Ashley McClenaghan and Colin Chan, Specification and animation of reactive systems. In Volkan Atalay, Ugur Halici, Kemal Inan, Nese Yalabik and Adnan Yazici, editors, Proc. International Symposium on Computer and Information Systems XI, Antalya, pages 355-364, November 1996.

1995

Dimitrios Bairaktaris, Temporal chunking and synchronization using a modular recurrent network architecture. In J Levy, D Bairaktaris, J Bullinaria, and P Cairns, editors, Connectionist models of memory and language, pages 31-40. UCL Press, December 1995.

J Bushell, A Dearle, A L Brown, and F Vaughan, Using C as a compiler target language for native code generation in persistent systems. In Proc 6th International Conference on Persistent Object Systems, Workshops in Computing. pages 164-183, Springer-Verlag, 1995.

Robert G Clark, Type safety and behavioural inheritance. Information and Software Technology, 37(10):539-545, October 1995.

A Dearle, R di Bona, J Farrow, F Henskens, D Hulse, A Lindstrom, S Norris, J Rosenberg, and F Vaughan, Protection in Grasshopper: A Persistent Operating System. In Proc 6th International Conference on Persistent Object Systems, Workshops in Computing. pages 60-78, Springer-Verlag, 1995.

A Dearle and D Hulse, On page-based optimistic process checkpointing. In L-F Cabrera and M Theimer, editors, 4th International Workshop on Object Orientation in Operating Systems, pages 24-32. IEEE Press, August 1995.

R di Bona, A Dearle, D Hulse, A Lindstrom, J Rosenberg and F Vaughan, Naming and Causal Delivery in the Grasshopper Operating System. In Ramamohanarao (editor) Proc Eighteenth Australasian Computer Science Conference, pp 136-150, February 1995.

A J M Donaldson and P L Simeonov, Addressing real time with temporal logic in multimedia communications. In B. Furht and M.H. Hamza, editors, Proc 2nd IASTED/ISMM International Conference on Distributed Multimedia Systems and Applications, pages 215-219, Stanford University, California, August 1995. ACTA PRESS.

A M Farkas and A Dearle, Changing persistent applications. In M Atkinson, D Maier, and V Benzaken, editors, Proc 6th International Conference on Persistent Object Systems, Workshops in Computing, pages 302-315. Springer-Verlag, February 1995.

E Gunter and S Maharaj, Studying the ML module system in HOL. Computer Journal, 38(2):142-151, 1995.

Alan G Hamilton, Interactive theorem-proving. In Proc. Workshop on Automated Reasoning: Bridging the gap between theory and practice, AISB-95, Sheffield, April 1995.

Valerie M Jones, Realization of CCR in C. In T Bolognesi, J van de Lagemaat, and C A Vissers, editors, LOTOSphere: Software Development Using LOTOS, pages 349-368. Kluwer Academic Publishers, 1995.

T R Jordan, L S Smith, and W A Phillips, Exploring the structure of the word recognition module: psychological and computational investigations. Language and Cognitive Processes, 10(3/4):393-400, August 1995.

C Kirkwood and M Thomas, Experiences with LOTOS Verification: A Report on Two Case Studies. Workshop on Industrial-Strength Formal Specification Techniques, pages 159-171. IEEE Computer Society Press, 1995.

P B Ladkin and S Leue, Interpreting Message Flow Graphs. Formal Aspects of Computing, 7(5):473-509, 1995.

J Levy and D Bairaktaris, Connectionist dual-weight architectures. Language and Cognitive Processes, 10(3/4):265-283, August 1995.

J Levy, D Bairaktaris, J Bullinaria, and P Cairns, editors, Connectionist models of memory and language. UCL Press, December 1995.

J P Levy and Dimitrios Bairaktaris, Interactions between short- and long-term weights: applications for cognitive modelling. In J Levy, D Bairaktaris, J Bullinaria, and P Cairns, editors, Connectionist models of memory and language, pages 95-111. UCL Press, December 1995.

A Lindstrom, J Rosenberg, and A Dearle, The grand unified theory of address spaces. In Proc 5th Workshop on Hot Topics in Operating Systems, pages 66-71. IEEE Press, May 1995.

P Lovatt and Dimitrios Bairaktaris, A computational account of phonologically mediated free recall. In Leslie S Smith and Peter J B Hancock, editors, Neural Computation and Psychology, 1994, pages 191-208. Springer-Verlag, April 1995.

Ana M D Moreira and Robert G Clark, O método ROOA. Sistemas de Informação, 3:33-45, May 1995.

Richard O. Sinnott and Kenneth J. Turner, Applying formal methods to standard development: The Open Distributed Processing experience. Computer Standards and Interfaces, 17:615-630, October 1995.

Leslie S Smith and Peter J B Hancock, editors, Neural Computation and Psychology, 1994. Workshops in Computing. Springer-Verlag, April 1995.

Stephen P Marsh, Exploring the socially adept agent. In 1st Int Workshop on Decentralized and Multi-Agent Systems, pages 301-308, Krakow, Poland, November 1995.

Leslie S Smith, Data-driven sound interpretation: its application to voiced sounds. In Leslie S Smith and Peter J B Hancock, editors, Neural Computation and Psychology, 1994, pages 147-154. Springer-Verlag, April 1995.

Leslie S Smith, Onset/offset filters for the segmentation of sound. In J Levy, D Bairaktaris, J Bullinaria, and P Cairns, editors, Connectionist models of memory and language, pages 247-267. UCL Press, December 1995.

Kenneth J Turner and Ashley McClenaghan, Visual animation of LOTOS using SOLVE. In D Hogrefe and S Leue, editors, Formal Description Techniques VII, pages 283-285. Chapman and Hall, March 1995.

Kenneth J Turner and Marten van Sinderen, LOTOS specification style for OSI. In T Bolognesi, J van de Lagemaat, and C A Vissers, editors, LOTOSphere: Software Development Using LOTOS, pages 137-159. Kluwer Academic Publishers, January 1995.

1994

R J Baddeley, David E Cairns, and Leslie S Smith, Phase constraints on synchronizing oscillator networks. In M Oaksford and G Brown, editors, Neurodynamics and Psychology, pages 237-254. Academic Press, January 1994.

Dimitrios Bairaktaris, The problem of temporal order in connectionist networks and its implications in short-term memory modelling. In M Oaksford and G Brown, editors, Neurodynamics and Psychology, pages 323-344. Academic Press, January 1994.

Dimitrios Bairaktaris and J P Levy, Using old memories to store new ones. In World Congress on Neural Networks - San Diego 1994, pages IV, 9-14. Lawrence Erlbaum Associates, Inc, June 1994.

R di Bona, A Dearle, J Farrow, F Henskens, A Lindstrom, J Rosenberg, and F Vaughan, Generic interface for configurable disk I/O systems. In 17th Australasian Computer Science Conference, pages 355-362, January 1994.

Robert G Clark and Ana M D Moreira, Behavioural inheritance in ROOA. In R Wieringa and R Feenstra, editors, International Workshop on Information Systems - Correctness and Reusability: IS-Core '94, pages 346-356, Amsterdam, September 1994.

A Dearle, M Oudshoorn, and K Wyrwas, Using persistence to support the generation of environments from formal specifications. In 17th Australian Computer Science Conference, pages 217-228, January 1994.

A Dearle, R di Bona, J Farrow, F Henskens, A Lindstrom, J Rosenberg, and F Vaughan, Grasshopper: An orthogonally persistent operating system. Computer Systems, 7(3):289-312, July 1994.

A J M Donaldson, Formal specification of QoS properties. In G v.Bochmann, J de Meer, and A Vogel, editors, Proceedings of Workshop on Distributed Multimedia Applications and QoS Verification. CRIM, Montreal, June 1994.

A M Farkas and A Dearle, Octopus: a reflective language mechanism for object manipulation. In 4th International Conference on Database Programming languages, Workshops in Computing, pages 50-64. Springer-Verlag, April 1994.

A M Farkas and A Dearle, The octopus model and its implementation. In 17th Australian Computer Science Conference, pages 581-590, January 1994.

Simon B Jones and Andrew S Tyas, The implementer's dilemma: A mathematical model of compile time garbage collection. In John T O'Donnell and Kevin Hammond, editors, Functional Programming, Glasgow 1993, Workshops in Computing, pages 138-144. Springer-Verlag, August 1994.

A Lindstrom, A Dearle, R di Bona, J Farrow, F Henskens, J Rosenberg, and F Vaughan, A model for user-level memory management in a distributed, persistent environment. In 17th Australian Computer Science Conference, pages 343-354, January 1994.

S Maharaj, Encoding Z-style schemas in UTT. In Types for Proofs and Programs, number 806 in Lecture Notes in Computer Science, pages 238-261. Springer-Verlag, 1994.

S Maharaj and E Gunter, Studying the ML module system in HOL. In Higher Order Logic Theorem Proving and Its Applications, number 859 in Lecture Notes in Computer Science, pages 346-361. Springer-Verlag, 1994.

Stephen P Marsh, Trust in distributed artificial intelligence. In Cristiano Castelfranchi and Eric Werner, editors, Artificial Social Systems, number 830 in Lecture Notes in AI, pages 94-112. Springer Verlag, September 1994.

Stephen P Marsh, Optimism and pessimism in trust. In J Ramirez, editor, Proceedings Iberamia 94, pages 286-297. McGraw-Hill, October 1994.

I Miloucheva, P L Simeonov, K Rebensberg, Kenneth J Turner, and A J M Donaldson, Prototype performance evaluation of multimedia service components. In Third International Conference on Computer Communications and Networks, San Francisco, September 1994.

Ana M D Moreira and Robert G Clark, Combining object-oriented analysis and formal description techniques. In M. Tokoro and R. Pareschi, editors, 8th European Conference on Object-Oriented Programming: ECOOP 94, number 821 in Lecture Notes in Computer Science, pages 344-364. Springer-Verlag, July 1994.

Ana M D Moreira and Robert G Clark, Rigorous object-oriented analysis. In E Bertino and S Urban, editors, ISOOMS: International Symposium on Object Oriented Methodologies and Systems, number 858 in Lecture Notes in Computer Science, pages 65-78. Springer-Verlag, September 1994.

Ana M D Moreira and Robert G Clark, O método ROOA. In A Vaz-Velho and P G Guedes, editors, Object-Oriented Portugal '94, pages 67-76, September 1994.

Charles M I Rattray, Emergence of software development processes for complex systems. In Proc. InterSymp '93, Advances in Synergetics, Vol 1, pages 79-84, Baden-Baden, August 1994. IIAS.

Charles M I Rattray, Complex systems with normative learning capabilities. In International Systems Dynamics Conference, Stirling, July 1994.

Teodor Rus and Charles M I Rattray, editors, Theories and Experiences for Real-Time System Development. AMAST Series in Computing: Vol 2. World Scientific, December 1994.

Richard O Sinnott and Kenneth J Turner, Modelling ODP viewpoints. In H Kilov, B Harvey, and H Mili, editors, OOPSLA'94 Workshop on Precise Behavioural Specifications in OO Information Modelling, pages 121-128. Robert Morris College, Pittsburgh, October 1994.

Leslie S Smith, Sound segmentation using onsets and offsets. Journal of New Music Research, 23(1):11-23, March 1994.

Leslie S Smith, A Nischwitz, and David E Cairns, Synchronization of integrate-and-fire neurons with delayed inhibitory lateral connections. In Maria Marinaro and Pietro G Morassi, editors, ICANN94: Proceedings of the International Conference on Artificial Neural Networks, pages 141-144. Springer-Verlag, May 1994.

Harold W Thimbleby, Stephen P Marsh, Steven R Jones, and Andrew J G Cockburn, Trust in CSCW. In S Scrivener, editor, Computer Supported Cooperative Work, pages 253-271. Ashgate Publishing, August 1994.

Kenneth J Turner and Richard O Sinnott, DILL: Specifying digital logic in LOTOS. In Richard L Tenney, Paul D Amer, and M Umit Uyar, editors, Formal Description Techniques VI, pages 71-86. North-Holland, July 1994.

F A Vaughan, A Dearle, J Cao, R di Bona, J Farrow, F Henskens, A Lindstrom, and J Rosenberg, Causality considerations in distributed persistent operating systems. In 17th Australian Computer Science Conference, pages 409-420, January 1994.

Christopher J Woodcock and Robert G Clark, Defining object-oriented design patterns within frameworks. In P-Y Schobbens, editor, Proceedings MeDiCiS'94 : Methodology for the Development of Computer System Specifications, pages 113-125, Namur, Belgium, December 1994.