Items where Research Area is "A. > School of Science and Technology > Computer Science"

See full list of headings
Export as [feed] RSS 1.0
Jump to: 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 | 1999 | 1997 | 1996 | 1995 | 1994 | 1993 | 1992 | 1989 | 1984 | 1982
Number of items at this level: 1157.

2017

Barat, Souvik and Clark, Tony and Barn, Balbir and Kulkarni, Vinay (2017) A model-based approach to systematic reviews of research literature. In: ISEC 2017: Innovations in Software Engineering Conference, 05-07 Feb 2017, Jaipur, India.

Barat, Souvik and Kulkarni, Vinay and Clark, Tony and Barn, Balbir (2017) A model based realisation of actor model to conceptualise an aid for complex dynamic decision-making. In: MODELSWARD 2017 - 5th International Conference on Model-Driven Engineering and Software Development, 19-21 Feb 2017, Porto, Portugal. (Published online first)

Cook, Stephen (2017) Designing precise and flexible graphical modelling languages for software development. [Doctorate by Public Works]

Gao, Xiaohong W. and Hui, Rui and Tian, Zengmin (2017) Classification of CT brain images based on deep learning networks. Computer Methods and Programs in Biomedicine, 138 . pp. 49-56. ISSN 0169-2607

Gao, Xiaohong W. and Li, Wei and Loomes, Martin J. and Wang, Lianyi (2017) A fused deep learning architecture for viewpoint classification of echocardiography. Information Fusion, 36 . pp. 103-113. ISSN 1566-2535

Khan, Nawaz and Alegre, Unai and Kramer, Dean and Augusto, Juan Carlos (2017) Is Context-aware Reasoning = Case-based Reasoning? In: Tenth Interdisciplinary Conference on Modelling and Using Context, 20-23 Jun 2017, Paris, France. (Accepted/In press)

Mitchell, Ian and Anandaraja, Tharmila and Hara, Sukhvinder and Hadzhinenov, George and Neilson, David (2017) Deconstruct and preserve (DaP): a method for the preservation of digital evidence on solid state drives (SSD). In: 11th International Conference on Global Security, Safety and Sustainability, 18-20 Jan 2017, Greenwich, London, England.

Neilson, David and Hara, Sukhvinder and Mitchell, Ian (2017) Bitcoin forensics: a tutorial. In: 11th International Conference on Global Security, Safety & Sustainability (ICGS3-17), 18-20 Jan 2017, Greenwich, London, England.

Sacha, Dominik and Sedlmair, Michael and Zhang, Leishi and Lee, John A. and Peltonen, Jaakko and Weiskopf, Daniel and North, Stephen C. and Keim, Daniel A. (2017) What you see is what you can change: human-centred machine learning by interactive visualization. Neurocomputing . ISSN 0925-2312 (Accepted/In press)

Spiteri, Christine and De Raffaele, Clifford and Smith, Serengul (2017) Bridging the digital divide for e-learning students through adaptive VLEs. In: 2016 IEEE International Conference on Teaching, Assessment, and Learning for Engineering (TALE 2016), 07-09 Dec 2016, Bangkok, Thailand.

2016

Abbaszadeh, Mohsen (2016) Smartdevices development for visual impairment and colour vision deficiency. Masters thesis, Middlesex University.

Albrecht, Andreas A. and Day, Luke and Souki, Ouala Abdelhadi Ep and Steinhofel, Kathleen (2016) A new heuristic method for approximating the number of local minima in partial RNA energy landscapes. Computational Biology and Chemistry, 60 . pp. 43-52. ISSN 1476-9271

Barbon, Gianluca and Margolis, Michael and Palumbo, Filippo and Raimondi, Franco and Weldin, Nick (2016) Taking Arduino to the Internet of things: the ASIP programming model. Computer Communications, 89-90 . pp. 128-140. ISSN 0140-3664

Barn, Balbir (2016) Do you own a Volkswagen? Values as non-functional requirements. In: HCSE + HESSD 2016: Joint 6th International Working Conference on Human-Centred Software Engineering and 8th International Working Conference on Human Error, Safety, and System Development, 29-31 Aug 2016, Stockholm, Sweden.

Barn, Balbir and Barn, Ravinder (2016) An exploration of resilience and values in the co-design of sociotechnical systems. International Journal of Systems and Society (IJSS), 3 (1). pp. 1-17. ISSN 2327-3984

Barn, Ravinder and Barn, Balbir (2016) An ontological representation of a taxonomy for cybercrime. In: 24th European Conference on Information Systems (ECIS 2016), 12-15 June 2016, Istanbul, Turkey.

Bharat, Souvik and Kulkarni, Vinay and Clark, Tony and Barn, Balbir (2016) A simulation-based aid for organisational decision-making. In: ICSOFT-EA 2016: 11th International Conference on Software Engineering and Applications, 24-26 July 2016, Lisbon, Portugal.

Brown, Mark and Windridge, David and Guillemaut, Jean-Yves (2016) A generalised framework for saliency-based point feature detection. Computer Vision and Image Understanding . ISSN 1077-3142 (Accepted/In press)

Chen, Taolue and Song, Fu and Wu, Zhilin (2016) Global model checking on pushdown multi-agent systems. In: Thirtieth AAAI Conference on Artificial Intelligence (AAAI-16), 12-17 Feb 2016, Phoenix, Arizona USA. (Published online first)

Clark, Tony and Kulkarni, Vinay and Barat, Souvik and Barn, Balbir (2016) Actor monitors for adaptive behaviour. In: 30th European Simulation and Modelling Conference - ESM'2016, 26-28 October 2016, Gran Canaria, Spain.

Day, Luke and Souki, Ouala Abdelhadi Ep and Albrecht, Andreas A. and Steinhofel, Kathleen (2016) Random versus deterministic descent in RNA energy landscape analysis. Advances in Bioinformatics, 2016 . ISSN 1687-8035

De Raffaele, Clifford and Smith, Serengul and Gemikonakli, Orhan (2016) Teaching and learning queueing theory concepts using tangible user interfaces. In: 2016 IEEE International Conference on Teaching, Assessment, and Learning for Engineering (TALE 2016), 07-09 Dec 2016, Bangkok, Thailand.

De Raffaele, Clifford and Smith, Serengul and Gemikonakli, Orhan (2016) The application of TUI of teaching and learning in HE. In: Innovative Teaching and Learning in Higher Education. LiHE’2016 Copenhagen Summit – Innovative Teaching and Learning in Higher Education. (Accepted/In press)

De Raffaele, Clifford and Smith, Serengul and Gemikonakli, Orhan (2016) The aptness of tangible user interfaces for explaining abstract computer network principles. In: FIE 2016 -The 46th Annual Frontiers in Education (FIE) Conference, 12-15 Oct 2016, Erie, PA, USA.

ElKheshin, Sara Abdelsalam (2016) Determinants of e-government services adoption in developing countries (Egypt). PhD thesis, Middlesex University.

Exman, Iaakov and Perry, Dewayne E. and Barn, Balbir and Ralph, Paul (2016) Separability principles for a general theory of software engineering: report on the GTSE 2015 workshop. ACM SIGSOFT Software Engineering Notes, 41 (1). pp. 25-27. ISSN 0163-5948

Gao, Xiaohong W. and Hui, Rui (2016) A deep learning based approach to classification of CT brain images. In: SAI Computing Conference 2016, 13-15 Jul 2016, London, UK. (Accepted/In press)

Gao, Xiaohong W. and Loomes, Monica (2016) A new approach to image enhancement for the visually impaired. In: EI 2016: IS&T International Symposium on Electronic Imaging 2016 - Color Imaging XXI: Displaying, Processing, Hardcopy, and Applications, 14-18 Feb 2016, San Francisco, CA, USA.

Ghosh, Arindam (2016) Investigating seamless handover in VANET systems. PhD thesis, Middlesex University.

Helke, Steffen and Kammueller, Florian (2016) Verification of statecharts using data abstraction. International Journal of Advanced Computer Science and Applications, 7 (1). pp. 571-583. ISSN 2158-107X

Helke, Steffen and Kammueller, Florian and Probst, Christian (2016) Secure refactoring with Java information flow. In: 10th International Workshop on Data Privacy Management (DPM 2015), 21- 22 Sept 2015, Vienna, Austria.

Huang, Liqin and Li, Wei and Currie, Edward and Guo, Wenzhong (2016) Improving the precision of omni-directional M-mode echocardiography systems. Neurocomputing, 195 . pp. 123-128. ISSN 0925-2312

Islam, Junayed and Anslow, Craig and Xu, Kai and Wong, B. L. William and Zhang, Leishi (2016) Towards analytical provenance visualization for criminal intelligence analysis. In: Computer Graphics & Visual Computing (CGVC) 2016, 15-16 Sept 2016, Bournemouth University, United Kingdom.

Juneja, Prabhjot and Evans, Philip and Windridge, David and Harris, Emma (2016) Classification of fibroglandular tissue distribution in the breast based on radiotherapy planning CT. BMC Medical Imaging, 16 (1). ISSN 1471-2342

Kammueller, Florian and Kerber, Manfred (2016) Investigating airplane safety and security against insider threats using logical modeling. In: 2016 IEEE Security and Privacy Workshops SPW'16: Workshop on Research in Insider Threats WRIT'16, 22-26 May 2016, San Jose, CA, USA.

Kammueller, Florian and Nurse, Jason R. C. and Probst, Christian (2016) Attack tree analysis for insider threats on the IoT using Isabelle. In: 4th International Conference on Human Aspects of Security, Privacy and Trust, HCII-HAS 2016, 17-24 Jul 2016, Toronto, ON, Canada. (Accepted/In press)

Kammueller, Florian and Probst, Christian (2016) Modeling and verification of insider threats using logical analysis. IEEE Systems Journal . ISSN 1932-8184 (Accepted/In press)

Khan, Nawaz and Lakshmi Sabih, Vijay and Georgiadou, Elli and Repanovich, Angela (2016) Big data to optimise product strategy in electronic industry. In: 3rd International Conference on Advances in Big Data Analytics, 25-28 July, 2016, Las Vegas, USA. (Published online first)

Langari, Bahareh and Vaseghi, Saeed and Prochazka, Ales and Vaziri, Babak and Tahmasebi Aria, Farzad (2016) Edge-guided image gap interpolation using multi-scale transformation. IEEE Transactions on Image Processing, 25 (9). pp. 4394-4405. ISSN 1057-7149

Laurence, Sean Xavier (2016) Analyzing non-collocated synchronous shared visual workspace-mediated interaction and effects on conversational grounding. A study on collaborative intelligence analysis. PhD thesis, Middlesex University.

Li, Wei (2016) An improved classification approach for echocardiograms embedding temporal information. PhD thesis, Middlesex University.

Mapp, Glenford E. and Ghosh, Arindam and Paranthaman, Vishnu Vardhan and Iniovosa, Victor Otite and Loo, Jonathan and Vinel, Alexey (2016) Exploring seamless connectivity and proactive handover techniques in VANET systems. In: Intelligent transportation systems: dependable vehicular communications for improved road safety. Studies in Systems, Decision and Control, 52 . Springer International Publishing, Switzerland, pp. 195-220. ISBN 9783319281810

Moseley, Ralph (2016) Immersive brain entrainment in virtual worlds: actualizing meditative states. In: Studies in Computational Intelligence. Studies in Computational Intelligence, 647 . Springer, pp. 315-346. ISBN 9783319333533

Nachmanson, Lev and Nocaj, Arliond and Bereg, Sergey and Zhang, Leishi and Holroyd, Alexander (2016) Node overlap removal by growing a tree. In: GD16, 24th International Symposium on Graph Drawing & Network Visualization, 19-21 September 2016, Athens, Greece. (Published online first)

Nguyen, Phong H. and Xu, Kai and Wheat, Ashley and Wong, B. L. William and Attfield, Simon and Fields, Bob (2016) SensePath: understanding the sensemaking process through analytic provenance. IEEE Transactions on Visualization and Computer Graphics, 22 (1). pp. 41-50. ISSN 1077-2626

Nichols, Barry D. (2016) A comparison of action selection methods for implicit policy method reinforcement learning in continuous action-space. In: International Joint Conference on Neural Networks (IJCNN 2016), 24-29 Jul 2016, Vancouver, Canada.

Probst, Christian and Kammueller, Florian and Hansen, Rene Rydhof (2016) Formal modelling and analysis of socio-technical systems. In: Semantics, Logics, and Calculi. Springer International.

Qazi, Nadeem and Wong, B. L. William and Kodagoda, Neesha and Rick, Adderley (2016) Associative search through formal concept analysis in criminal intelligence analysis. In: IEEE SMC 2016: International Conference on Systems, Man, and Cybernetics, 09-12 Oct 2016, Budapest, Hungry.

Raimondi, Franco (2016) Using multi-agent systems to go beyond temporal patterns verification. ACM SIGLOG News, 3 (2). pp. 69-77.

Rozzi, Simone (2016) The organisational precursors to human automation interaction issues in safety-critical domains: the case of an automated alarm system from the air traffic management domain. PhD thesis, Middlesex University.

Sacha, Dominik and Zhang, Leishi and Sedlmair, Michael and Lee, John A. and Peltonen, Jaakko and Weiskopf, Daniel and North, Stephen C. and Keim, Daniel A. (2016) Visual interaction with dimensionality reduction: a structured literature analysis. IEEE Transactions on Visualization and Computer Graphics . ISSN 1077-2626 (Accepted/In press)

Selvaraj, Nallini (2016) Collaborative decision making in complex work settings: a process of managing inter dependencies. PhD thesis, Middlesex University.

Slum Ally, Selemani and Khan, Nawaz (2016) Data Warehouse and BI to catalize information use in health sector for decision making: a case study. In: The 2016 International Conference on Computational Science and Computational Intelligence, 15-17 Dec 2016, Las Vegas, USA. (Published online first)

Wheat, Ashley and Attfield, Simon and Fields, Bob (2016) Developing a model of distributed sensemaking: a case study of military analysis. Informatics, 3 (1). ISSN 2227-9709

Windridge, David and Yan, Fei (2016) Kernel combination via debiased object correspondence analysis. Information Fusion, 27 . pp. 228-239. ISSN 1566-2535

Yoon, Young Sik and Ham, Dong-Han and Yoon, Wan Chul (2016) Application of activity theory to analysis of human-related accidents: method and case studies. Reliability Engineering and System Safety, 150 . pp. 22-34. ISSN 0951-8320

Zafeiriou, Stefanos and Papaioannou, Athanasios and Kotsia, Irene and Nicolaou, Michalis and Zhao, Guoying (2016) Facial affect "in the wild": a survey and a new database. In: IEEE International Conference on Computer Vision and Pattern Recognition (CVPR) Workshops, Affect "in-the-wild" Workshop, 26 June - 01 July 2016, Las Vegas, USA.

Zayouna, Ammar (2016) Optical flow estimation using steered-L1 norm. PhD thesis, Middlesex University.

Zhang, Leishi and Rooney, Chris and Nachmanson, Lev and Wong, B. L. William and Kwon, Bum Chul and Stoffel, Florian and Hund, Michael and Qazi, Nadeem (2016) Spherical similarity explorer for comparative case analysis. In: IS&T Electronic Imaging 2016 Conference on Visualization and Data Analysis 2016, 16-18 Feb 2016, San Francisco, CA, USA.

2015

Aiash, Mahdi and Colson, Robert and Kallash, Muhammad Muneer (2015) Introducing a hybrid infrastructure and information-centric approach for secure cloud computing. In: IEEE 29th International Conference on Advanced Information Networking and Applications Workshops (WAINA-2015), 24-27 Mar 2015, Gwangju, Korea.

Aiash, Mahdi and Loo, Jonathan (2015) A formally verified access control mechanism for information centric networks. In: The 12th International Conference on Security and Cryptography (SECRYPT 2015), 20-22 Jul 2015, Colmar, Alsace, France.

Aiash, Mahdi and Mapp, Glenford E. and Kallash, Muhammad Muneer (2015) Supporting communication in information centric networks using the location/ID split protocol and time released caching. In: 2015 International Conference on Cloud Computing (ICCC), 26-29 Apr 2015, Riyadh, Saudi Arabia.

Alechina, Natasha and Logan, Brian and Nguyen, Hoang Nga and Raimondi, Franco (2015) Symbolic model checking for one-resource RB±ATL. In: 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), 25-31 Jul 2015, Buenos Aires, Argentina.

Alechina, Natasha and Logan, Brian and Nguyen, Hoang Nga and Raimondi, Franco and Mostarda, Leonardo (2015) Symbolic model-checking for resource-bounded ATL. In: 2015 International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2015, 4-8 May 2015, Istanbul, Turkey.

Alotaibi, Basma and Dafoulas, George (2015) Assessing social media adoption: learning needs analysis for SMEs in Saudi Arabia. In: 7th International Conference on Education and New Learning Technologies, 6-8 Jul 2015, Barcelona, Spain.

Alotaibi, Basma and Dafoulas, George and Loveday, Joanna (2015) Challenges associated with the adoption of social media: towards training needs analysis in the web-marketing sector. In: 8th annual International Conference of Education, Research and Innovation (ICERI2015), 18-20 Nov 2015, Seville, Spain.

Alsobhi, Aisha and Khan, Nawaz and Rahanu, Harjinder (2015) DAEL framework: a new adaptive e-learning framework for students with dyslexia. In: International Conference On Computational Science, ICCS 2015 — Computational Science at the Gates of Nature, 01-03 Jun 2015, Reykjavík, Iceland.

Alsobhi, Aisha and Khan, Nawaz and Rahanu, Harjinder (2015) Dyslexia adaptive e-learning system based on multi-layer architecture. In: Science and Information Conference 2015, 28-30 Jul 2015, London, United Kingdom.

Alsobhi, Aisha and Khan, Nawaz and Rahanu, Harjinder (2015) Personalised learning materials based on dyslexia types: ontological approach. In: 19th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems (KES 2015), 7-9 Sept. 2015, Singapore.

Attfield, Simon and Fields, Bob and Wheat, Ashley and Hutton, R. J. B. and Nixon, Jim and Leggatt, Andrew and Blackford, Hanna (2015) Distributed sensemaking: a case study of military analysis. In: 12th International Conference on Naturalistic Decision Making, 9– 12 June, 2015, McClean, VA, USA. (Accepted/In press)

Baber, Chris and Conway, Gareth and Rooney, Chris and Attfield, Simon (2015) How military intelligence personnel collaborate on a sense-making exercise. In: 12th International Conference on Naturalistic Decision Making, 9– 12 June, 2015, McLean, Virginia, USA. (Accepted/In press)

Baber, Chris and Duncan, Adam and Attfield, Simon and Kodagoda, Neesha and Rooney, Chris and Walker, Rick (2015) Collaborative sense-making during simulated Intelligence Analysis exercises. International Journal of Human-Computer Studies . ISSN 1071-5819 (Accepted/In press)

Barn, Balbir and Barn, Ravinder (2015) Resilience and values: antecedents for effective co-design of information systems. In: European Conference on Information Systems (ECIS 2015), May 26-29, Munster.

Barn, Balbir and Barn, Ravinder (2015) An approximate theory for value sensitivity. In: General Theory of Software Engineering, 18 May 2015, Florence. (Accepted/In press)

Barn, Balbir and Barn, Ravinder and Raimondi, Franco (2015) On the role of value sensitive concerns in software engineering practice. In: 37th International Conference on Software Engineering, ICSE Companion, 22-24 May 2015, Florence, Italy. (Accepted/In press)

Barn, Balbir and Primiero, Giuseppe and Barn, Ravinder (2015) An approach to early evaluation of informational privacy requirements. In: ACM Conference on Applied Computing 2015, Apr 2015, Salamanca, Spain. (Accepted/In press)

Brown, Mark and Windridge, David and Guillemaut, Jean-Yves (2015) Globally optimal 2D-3D registration from points or lines without correspondences. In: 2015 IEEE International Conference on Computer Vision (ICCV), 7-13 Dec 2015, Santiago, Chile.

Brown, Mark and Windridge, David and Guillemaut, Jean-Yves (2015) A generalisable framework for saliency-based line segment detection. Pattern Recognition, 48 (12). pp. 3993-4011. ISSN 0031-3203

Carnielli, Antonio and Aiash, Mahdi (2015) Will ToR achieve its goals in the "future internet"? : an empirical study of using ToR with cloud computing. In: IEEE 29th International Conference on Advanced Information Networking and Applications Workshops (WAINA-2015), 24-27 Mar 2015, Gwangju, Korea.

Chen, Taolue and Kammueller, Florian and Nemli, Ibrahim and Probst, Christian (2015) A probabilistic analysis framework for malicious insider threats. In: 3rd International Conference on Human Aspects of Information Security, Privacy and Trust, HAS 2015, held as part of HCI International 2015, 2-7 Aug 2015, Los Angeles, California, USA.

Chen, Taolue and Yu, Nengkun and Han, Tingting (2015) Continuous-time orbit problems are decidable in polynomial-time. Information Processing Letters, 115 (1). pp. 11-14. ISSN 0020-0190

Clark, Tony (2015) XPL: a language for modular homogeneous language embedding. Science of Computer Programming, 98 (4). pp. 589-616. ISSN 0167-6423

Da Lio, Mauro and Biral, Francesco and Bertolazzi, Enrico and Galvani, Marco and Bosetti, Paolo and Windridge, David and Saroldi, Andrea and Tango, Fabio (2015) Artificial co-drivers as a universal enabling technology for future intelligent vehicles and transportation systems. IEEE Transactions on Intelligent Transportation Systems, 16 (1). pp. 244-263. ISSN 1524-9050

Da Lio, Mauro and Biral, Francesco and Bosetti, Paolo and Windridge, David (2015) Artificial co-drivers as a universal enabling technology for future intelligent vehicles and transportation systems. IEEE Transactions on intelligent transportation systems, 16 (1). pp. 244-263. ISSN 1524-9050

Dafoulas, George and Loveday, Joanna and Neilson, David (2015) Using data mining for assessing the impact of social media in higher education: the case of integrating social media in the curriculum. In: 8th annual International Conference of Education, Research and Innovation (ICERI2015), 18-20 Nov 2015, Seville, Spain.

Dracopoulos, Dimitris C. and Nichols, Barry D. (2015) Genetic programming for the minimum time swing up and balance control acrobot problem. Expert Systems . ISSN 1468-0394 (Published online first)

Fields, Bob and Bardill, Andrew and Marzano, Lisa and Herd, Kate (2015) Hard-to-get-at data from difficult-to-access users. In: Interact 2015, 14-18 September 2015, Bamberg, Germany. (Accepted/In press)

Gandhi, Vaibhav and Prasad, Girijesh and Coyle, Damien and Behera, Laxmidhar and McGinnity, Thomas Martin (2015) Evaluating Quantum Neural Network filtered motor imagery brain-computer interface using multiple classification techniques. Neurocomputing . ISSN 0925-2312 (Accepted/In press)

Gao, Xiaohong W. and Khodamoradi, Elham (2015) Evaluation of colour appearances displaying on smartphones. In: AIC 2015, Colour and Image, Midterm meeting of the International Colour Association (AIC), 19-22 May 2015, Tokyo, Japan.

Georgieva Ivanova, Marieta and Hansen, Rene Rydhof and Kammueller, Florian and Probst, Christian (2015) Attack tree generation by policy invalidation. In: 9th WISTP International Conference on Information Security Theory and Practice (WISTP'2015). Springer. (Accepted/In press)

Georgieva Ivanova, Marieta and Probst, Christian and Hansen, Rene Rydhof and Kammueller, Florian (2015) Transforming graphical system models to graphical attack models. In: The Second International Workshop on Graphical Models for Security, GraMSec'15, co-located with CSF2015. LNCS . Springer. (Accepted/In press)

Gulden, Jens and Attfield, Simon (2015) Business process models for visually navigating process execution data. In: 4th International Workshop on Theory and Application of Visualizations and Human-centric Aspects in Processes (TAProViz2015), 31 August 2015, Innsbruck, Austria.

Haider, Johanna and Pohl, Margit and Hillemann, Eva and Attfield, Simon and Passmore, Peter J. and Wong, B. L. William (2015) Exploring the challenges of implementing guidelines for the design of visual analytics systems. In: Human Factors and Ergonomics Society 2015 Annual Meeting, 26th - 30th October, Los Angeles. (Accepted/In press)

Ham, Dong-Han (2015) Modelling work domain knowledge with the combined use of abstraction hierarchy and living systems theory. Cognition, Technology & Work, 17 (4). pp. 575-591. ISSN 1435-5558

Jones, Simon and Hara, Sukhvinder and Augusto, Juan Carlos (2015) eFRIEND: an ethical framework for intelligent environments development. Ethics and Information Technology, 17 (1). pp. 11-25. ISSN 1388-1957

Kolar, Irena and Whitney, Gill (2015) Can we fix the web? In: 13th AAATE (Association for the Advancement of Assistive Technology in Europe) Conference, 9-12 Sept 2015, Budapest, Hungary.

Kos, Jernej and Aiash, Mahdi and Loo, Jonathan and Trček, Denis (2015) U-sphere: strengthening scalable flat-name routing for decentralized networks. Computer Networks, 89 . pp. 14-31. ISSN 1389-1286

Kulkarni, Vinay and Barat, Souvik and Clark, Tony and Barn, Balbir (2015) An approach to address the intrinsic complexity in multi-modelling of enterprises for decision making. In: 2015 Summer Simulation Multi-Conference, July 26-29 2015, Chicago, Illinois, USA. (Accepted/In press)

Kulkarni, Vinay and Barat, Souvik and Clark, Tony and Barn, Balbir (2015) A wide-spectrum approach to modelling and analysis of organisation for machine-assisted decision-making. In: 11th International Workshop on Enterprise & Organizational Modeling and Simulation (EOMAS 2015), 8-9 June, 2015, Stockholm, Sweden. (Accepted/In press)

Lai, Hung-Ming and Albrecht, Andreas A. and Steinhofel, Kathleen (2015) Robust signature discovery for affymetrix GeneChip® cancer classification. In: 6th International Conference on Agents and Artificial Intelligence, 6-8 Mar 2014, Angers, France.

Lai, Hung-Ming and Albrecht, Andreas A. and Steinhofel, Kathleen (2015) iRDA: a new filter towards predictive, stable, and enriched candidate genes. BMC Genomics, 16 . ISSN 1471-2164

Lai, Hung-Ming and Otzturk, Celal and Albrecht, Andreas A. and Steinhofel, Kathleen (2015) A new vision of evaluating gene expression signatures. Computational Biology and Chemistry, 57 . pp. 54-60. ISSN 1476-9271

Lano, Kevin and Clark, Tony and Kolahdouz-Rahimi, S. (2015) A framework for model transformation verification. Formal Aspects of Computing, 27 (1). pp. 193-235. ISSN 0934-5043

Li, Wei and Qian, Yu and Loomes, Martin J. and Gao, Xiaohong W. (2015) The application of KAZE features to the classification echocardiogram videos. In: First International Workshop Multimodal Retrieval in the Medical Domain (MRMD 2015), 29 Mar 2015, Vienna, Austria.

Lomuscio, Alessio and Qu, Hongyang and Raimondi, Franco (2015) MCMAS: an open-source model checker for the verification of multi-agent systems. International Journal on Software Tools for Technology Transfer . pp. 1-22. ISSN 1433-2779 (Published online first)

Luo, Linbo and Cai, Wentong and Zhou, Suiping and Lees, Michael and Yin, Haiyan (2015) A review of interactive narrative systems and technologies: a training perspective. Simulation: Transactions of The Society for Modeling and Computer Simulation International, 91 (2). pp. 126-147. ISSN 0037-5497

Mihajlov, Martin and Lai-Chong Law, Effie and Springett, Mark (2015) Intuitive learnability of touch gestures for technology-naïve older adults. Interacting with Computers, 27 (3). pp. 344-356. ISSN 0953-5438

Mitchell, Ian and Hara, Sukhvinder (2015) Computer forensics: challenges to evidential integrity. In: Integrated vehicle health management: implementation and lessons learned. Jennions, Ian, ed. Integrated Vehicle Health Management, 3 . SAE, Warrendale, PA, USA, pp. 91-100. (Accepted/In press)

Moseley, Ralph (2015) Immersive brain entrainment in virtual worlds: actualizing meditative states. In: Studies in computational intelligence. Studies in Computational Intelligence . Springer. (Accepted/In press)

Nguyen, Phong H. and Xu, Kai and Walker, Rick and Wong, B. L. William (2015) TimeSets: timeline visualization with set relations. Information Visualization . ISSN 1473-8716 (Accepted/In press)

Nichols, Barry D. (2015) Continuous action-space reinforcement learning methods applied to the minimum-time swing-up of the acrobot. In: Systems, Man and Cybernetics (SMC), 2015 IEEE International Conference on. Institute of Electrical and Electronics Engineers (IEEE), pp. 2084-2089. ISBN 9781479986965

Nwokeji, Joshua Chibuike and Clark, Tony and Barn, Balbir and Kulkarni, Vinay and Anum, Sheena O. (2015) A data-centric approach to change management. In: 19th IEEE International Enterprise Distributed Object Computing Conference, EDOC 2015, 21-25 Sept 2015, Adelaide, Australia.

Primiero, Giuseppe (2015) Realist consequence, epistemic inference, computational correctness. In: The road to universal logic: Festschrift for the 50th Birthday of Jean-Yves Béziau Volume II. Koslow, Arnold and Buchsbaum, Arthur, eds. Studies in Universal Logic . Springer International Publishing, pp. 573-588. ISBN 9783319153674

Primiero, Giuseppe and Raimondi, Franco (2015) Software theory change for resilient near-complete specifications. Procedia Computer Science, 52 . pp. 988-995. ISSN 1877-0509

Pérez, Daniel and Zhang, Leishi and Schaefer, Matthias and Schreck, Tobias and Keim, Daniel and Díaz, Ignacio (2015) Interactive feature space extension for multidimensional data projection. Neurocomputing, 150 (Part B). pp. 611-626. ISSN 0925-2312

Rahanu, Harjinder and Georgiadou, Elli and Khan, Nawaz and Colson, Robert and Hill, Vanessa and Edwards, J. Adam (2015) The development of student learning and information literacy: a case study [conference item]. In: 12th International Scientific Conference "Western Balkan Information Literacy", 18-20 Jun 2015, Bihac, Bosnia and Herzegovina.

Rooney, Chris and Ruddle, Roy (2015) HiReD: a high-resolution multi-window visualisation environment for cluster-driven displays. In: EICS '15 Proceedings of the 7th ACM SIGCHI symposium on Engineering interactive computing systems. ACM.

Shokri, Azam and Dafoulas, George (2015) Guidelines for determining an effective role for social media in e-learning enhancement. In: 8th annual International Conference of Education, Research and Innovation (ICERI2015), 18-20 Nov 2015, Seville, Spain.

Souki, Ouala Abdelhadi Ep and Day, Luke and Albrecht, Andreas A. and Steinhofel, Kathleen (2015) MicroRNA target prediction based upon metastable RNA secondary structures. In: 3rd International Work-Conference on Bioinformatics and Biomedical Engineering (IWBBIO 2015), 15-17 Apr 2015, Granada, Spain.

Spiteri, M. and Lewis, E. and Windridge, David and Avula, S. (2015) Longitudinal MRI assessment: the identification of relevant features in the development of posterior fossa syndrome in children. In: Medical imaging 2015: Computer-Aided Diagnosis, 21 Feb 2015, Orlando, Florida, United States.

Spiteri, Michaela and Windridge, David and Avula, Shivaram and Kumar, Ram and Lewis, Emma (2015) Identifying quantitative imaging features of posterior fossa syndrome in longitudinal MRI. Journal of Medical Imaging, 2 (4). 044502. ISSN 2329-4302

Springett, Mark and Law, Effie Lai-Chong and Coulson, Mark (2015) Integrating the strengths of cognitive emotion models with traditional HCI analysis tools. Universal Access in the Information Society, 14 (2). pp. 203-214. ISSN 1615-5289

Tahmasebi Aria, Farzad and Dafoulas, George and Alotaibi, Basma (2015) The role of Web 2.0 technologies in higher education: a case of teaching customer relationship management concepts. In: 7th International Conference on Education and New Learning Technologies, 6-8 Jul 2015, Barcelona, Spain.

Tahmasebi Aria, Farzad and Dafoulas, George and Shokri, Azam (2015) Investigating the impact of social customer relationship management in higher education. In: 8th annual International Conference of Education, Research and Innovation (ICERI2015), 18-20 Nov 2015, Seville, Spain.

Tirunagari, Santosh and Poh, Norman and Abdulrahman, Hajara and Nemmour, Nawal and Windridge, David (2015) Breast cancer data analytics with missing values: a study on ethnic, age and income groups. ArXiv e-prints: Quantitative Biology > Quantitative Methods .

Tirunagari, Santosh and Poh, Norman and Bober, Miroslaw and Windridge, David (2015) Windowed DMD as a microtexture descriptor for finger vein counter-spoofing in biometrics. In: 2015 IEEE International Workshop on Information Forensics and Security (WIFS), 16-19 Nov 2015, Rome, Italy.

Tirunagari, Santosh and Poh, Norman and Windridge, David and Iorliam, Aamo and Suki, Nik and Ho, Anthony T. S. (2015) Detection of face spoofing using visual dynamics. IEEE Transactions on Information Forensics and Security, 10 (4). pp. 762-777. ISSN 1556-6013

Whitney, Gill (2015) Accessible web design – the power of the personal message. In: 13th AAATE (Association for the Advancement of Assistive Technology in Europe) Conference, 9-12 Sept 2015, Budapest, Hungary.

Wilson, Judy and Curzon, Paul and Duncker, Elke (2015) Exploring older women's confidence during route planning. Behaviour and Information Technology, 34 (7). pp. 725-740. ISSN 0144-929X

Windridge, David and Kittler, Josef and De Campos, Teofilo and Yan, Fei and Christmas, William and Khan, Aftab (2015) A novel Markov logic rule induction strategy for characterizing sports video footage. IEEE MultiMedia, 22 (2). pp. 24-35. ISSN 1070-986X

Wong, B. L. William and Kodagoda, Neesha and Attfield, Simon (2015) How analysts think (?): inference making strategies. In: Human Factors and Ergonomics Society Annual Meeting 2015, October 26–30, 2015, Los Angeles. (Accepted/In press)

Xu, Kai and Attfield, Simon and Jankun-Kelly, T. J. and Wheat, Ashley and Nguyen, Phong H. and Selvaraj, Nallini (2015) Analytic provenance for sensemaking: a research agenda. IEEE Computer Graphics and Applications, 35 (3). pp. 56-64. ISSN 0272-1716 (Accepted/In press)

2014

Alechina, Natasha and Logan, Brian and Nguyen, Hoang Nga and Raimondi, Franco (2014) Decidable model-checking for a resource logic with production of resources. In: 21st European Conference on Artificial Intelligence (ECAI-2014), 18-22 Aug 2014, Prague, Czech Republic.

Alegre, Unai and Augusto, Juan Carlos and Aztiria, Asier (2014) Temporal reasoning for intuitive specification of context-awareness. In: 10th International Conference on Intelligent Environments - IE'14, 30 Jun - 4 Jul 2014, Shanghai, China.

Alsobhi, Aisha and Khan, Nawaz and Rahanu, Harjinder (2014) Toward linking dyslexia types and symptoms to the available assistive technologies. In: The 14th IEEE International Conference on Advanced Learning Technologies - ICALT2014, 06 - 09 Jul 2014, Athens, Greece.

Androutsopoulos, Kelly and Clark, David and Dan, Haitao and Hierons, Robert M. and Harman, Mark (2014) An analysis of the relationship between conditional entropy and failed error propagation in software testing. In: 36th International Conference on Software Engineering, ICSE '14, 31 May - 07 Jun 2014, Hyderabad, India.

Androutsopoulos, Kelly and Gorogiannis, Nikos and Loomes, Martin J. and Margolis, M. and Primiero, Giuseppe and Raimondi, Franco and Varsani, Puji and Weldin, N. and Zivanovic, Aleksandar (2014) A racket-based robot to teach first-year computer science. In: 7 th European Lisp Symposium, May 5 – 6 2014, IRCAM, Paris, France.

Augusto, Juan Carlos (2014) Reflections on ambient intelligence systems handling of user preferences and needs. In: The 10th International Conference on Intelligent Environments (IE'14), 29 Jun - 04 Jul 2014, Shanghai, P.R. China.

Augusto, Juan Carlos (2014) A user-centric software development process. In: The 10th International Conference on Intelligent Environments (IE'14), 29 Jun - 04 Jul 2014, Shanghai, P.R. China.

Augusto, Juan Carlos and Mulvenna, M. and Zheng, H. and Wang, H. and Martin, S. and McCullagh, P. and Wallace, J. (2014) Night optimised care technology for users needing assisted lifestyles. Behaviour and Information Technology, 33 (12). pp. 1261-1277. ISSN 0144-929X

Barn, Balbir and Barn, Ravinder and Tan, Jo-Pei (2014) Young people and smart phones: an empirical study on information security. In: 2014 47th Hawaii International Conference on System Sciences (HICSS), 6-9 Jan 2014, Waikoloa, Hawaii, USA.

Barn, Balbir and Clark, Tony and Kulkarni, Vinay (2014) Next generation enterprise modelling: the role of organizational theory and multi-agent systems. In: ICSOFT-EA 2014: 9th International Conference on Software Engineering and Applications, 29-31 Aug 2014, Vienna, Austria.

Barn, Balbir and Raimondi, Franco and Athiappan, Lalith and Clark, Tony (2014) Slrtool: a tool to support collaborative systematic literature reviews. In: ICEIS 2014 - 16th International Conference on Enterprise Information Systems, 27-30 Apr 2014, Lisbon, Portugal.

Belavkin, Roman V. (2014) On variational definition of quantum entropy. In: 34th International Workshop on Bayesian Inference and Maximum Entropy Methods in Science and Engineering (MaxEnt 2014), 21–26 Sep 2014, Clos Lucé, Amboise, France.

Belavkin, Roman V. (2014) Asymmetry of risk and value of information. In: Dynamics of Information Systems : Computational and Mathematical Challenges. Vogiatzis, Chrysafis and Walteros, Jose L. and Pardalos, Panos M., eds. Springer Proceedings in Mathematics and Statistics, 105 . Springer, pp. 1-20. ISBN 9783319100456

Bittman, Sebastian and Barn, Balbir and Clark, Tony (2014) Domain-specific reasoning for method engineering based on Toulmin's argumentation theory. International Journal of Knowledge and Learning (IJKL),, 9 (1/2). pp. 104-123. ISSN 1741-1009

Blandford, Ann and Faisal, Sarah and Attfield, Simon (2014) Conceptual design for sensemaking. In: Handbook of human centric visualization. Huang, Weidong, ed. Springer, New York, pp. 253-283. ISBN 9781461474845 (Accepted/In press)

Boender, Jaap and Fernandes, Sara (2014) Small world characteristics of FLOSS distributions. In: Software Engineering and Formal Methods : SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers. Counsell, Steve and Núñez, Manuel, eds. Lecture Notes in Computer Science . Springer International Publishing, pp. 417-429. ISBN 9783319050317

Boender, Jaap and Kammueller, Florian and Ivanova, Marieta Georgieva and Primiero, Giuseppe (2014) Modeling human behaviour with higher order logic: insider threats. In: 4th Workshop on Socio-Technical Aspects in Security and Trust, 18 July 2014, Vienna Technical University, Vienna, Austria.

Boender, Jaap and Kammueller, Florian and Nagarajan, Rajagopal (2014) Verification of quantum protocols using Coq. In: 17th Conference on Quantum Information Processing (QIP), 3-7 Feb 2014, Barcelona, Spain.

Boender, Jaap and Sacerdoti Coen, Claudio (2014) On the correctness of a branch displacement algorithm. In: Tools and Algorithms for the Construction and Analysis of Systems : 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings. Ábrahám, Erika and Havelund, Klaus, eds. Lecture Notes in Computer Science (8413). Springer, pp. 605-619. ISBN 9783642548611

Busard, Simon and Pecheur, Charles and Qu, Hongyang and Raimondi, Franco (2014) Improving the model checking of strategies under partial observability and fairness constraints. In: 16th International Conference on Formal Engineering Methods, ICFEM 2014, 3-5 Nov 2014, Luxembourg.

Campuzano, Francisco and Doumanis, Ioannis and Smith, Serengul and Botia, Juan A. (2014) Intelligent environments simulations, towards a smart campus. In: The University as a Context Platform, Workshop, 14 Nov 2014, University of West London, London, United Kingdom.

Chen, Shuwei and Liu, Jun and Wang, Hui and Augusto, Juan Carlos (2014) A linguistic multi-criteria decision making approach based on logical reasoning. Information Sciences, 258 . pp. 266-276. ISSN 0020-0255

Chen, Taolue and Feng, Yuan and Rosenblum, David S. and Su, Guoxin (2014) Perturbation analysis in verification of discrete-time Markov chains. In: 25th Conference on Concurrency Theory (CONCUR 2014), 2-5 Sept 2014, Rome, Italy.

Chen, Taolue and Kiefer, Stefan (2014) On the total variation distance of labelled Markov chains. In: Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - CSL-LICS 2014, 14-18 Jul 2014, Vienna, Austria.

Chernousova, Elena and Levdik, Pavel and Tatarchuk, Alexander and Mottl, Vadim and Windridge, David (2014) Non-enumerative cross validation for the determination of structural parameters in feature-selective SVMs. In: 22nd International Conference on Pattern Recognition ICPR 2014, 24-28 Aug 2014, Stockholm, Sweden.

Chernousova, Elena and Razin, Nikolay and Krasotkina, Olga and Mottl, Vadim and Windridge, David (2014) Linear regression via elastic net: non-enumerative leave-one-out verification of feature selection. In: Clusters, Orders, and Trees: Methods and Applications: In Honor of Boris Mirkin's 70th Birthday. Aleskerov, Fuad and Goldengorin, Boris and Pardalos, Panos M., eds. Springer Optimization and Its Applications, 92 . Springer, New York, pp. 377-390. ISBN 9781493907410

Chernousova, Elena and Razin, Nikolay and Krasotkina, Olga and Mottl, Vadim and Windridge, David (2014) Linear regression via elastic net: non-enumerative leave-one-out verification of feature selection. In: Clusters, Orders, and Trees: Methods and Applications: In Honor of Boris Mirkin's 70th Birthday. Aleskerov, Fuad and Goldengorin, Boris and Pardalos, Panos M., eds. Springer Optimization and Its Applications, 92 . Springer, New York, pp. 377-390. ISBN 9781493907410

Clark, Tony (2014) A declarative approach to heterogeneous multi-mode modelling languages. In: 2nd International Workshop on The Globalization of Modeling Languages co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems, GEMOC@Models 2014, 28 Sept 2014, Valencia, Spain.

Clark, Tony and Barn, Balbir (2014) Outsourcing service provision through step-wise transformation. In: 7th India Software Engineering Conference, ISEC '14,, 19 - 21 Feb 2014, Chennai, India.

Clark, Tony and Barn, Balbir and Kulkarni, Vinay (2014) Dynamic reconfiguration of component-based systems: a feature reification approach. In: Handbook of Research on Architectural Trends in Service-Driven Computing. IGI Global, p. 76.

Clark, Tony and Barn, Balbir and Kulkarni, Vinay (2014) Modelling, simulation, and analysis for enterprise architecture. In: Handbook of Research on Innovations in Systems and Software Engineering. IGI Global, p. 202.

Clark, Tony and Gonzalez-Perez, Cesar and Henderson-Sellers, Brian (2014) A foundation for multi-level modelling. In: Proceedings of the Workshop on Multi-Level Modelling co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2014), 28 Sept 2014, Valencia, Spain.

Clark, Tony and Kulkarni, Vinay and Barn, Balbir and France, Robert B. and Frank, Ulrich and Turk, Dan (2014) Towards the model driven organization. In: 47th Hawaii International Conference on System Sciences, HICSS 2014, 6-9 Jan 2014, Waikoloa, HI, USA.

Dafoulas, George (2014) Investigating virtual teams: patterns of communication and collaboration in software engineering learning teams. In: ICERI 2014 : 7th International Conference of Education, Research and Innovation.

Dafoulas, George (2014) Piloting global software development in software engineering student teams. In: 2nd World Congress on Multimedia and Computer Science.

Dafoulas, George and Barn, Balbir and Zheng, Yongjun (2014) Curriculum design for e-education: make effective use of course data. In: International Conference on eBusiness, eCommerce, eManagement, eLearning and eGovernance 2014.

Dafoulas, George and Barn, Balbir and Zheng, Yongjun (2014) Improving student employability by utilising semantic analysis of course data. In: ICERI 2014 : 7th International Conference of Education, Research and Innovation.

Dafoulas, George and Barn, Balbir and Zheng, Yongjun (2014) Making sense of course data: towards the standardisation of curriculum design and course related information. In: 6th International Conference on Education and New Learning Technologies (EDULEARN 2014).

Dafoulas, George and Barn, Balbir and Zheng, Yongzun (2014) Skills and education planning tools for curriculum design. In: 2nd World Congress on Multimedia and Computer Science.

Dafoulas, George and Saleeb, Noha and Loomes, Martin J. (2014) Design of ubiquitous 3D virtual spaces: matching with behavioural patterns. In: 11th International Conference on Web Based Communities and Social Media 2014.

Dafoulas, George and Shokri, Azam (2014) Integrating web 2.0 technologies in higher education learning. In: 6th International Conference on Education and New Learning Technologies (EDULEARN 2014).

Day, Luke and Abdelhadi Ep Souki, Ouala and Albrecht, Andreas A. and Steinhofel, Kathleen (2014) Accessibility of microRNA binding sites in meta-stable RNA secondary structures in the presence of SNPs. Bioinformatics, 30 (3). pp. 343-352. ISSN 1367-4803

Doumanis, Ioannis and Smith, Serengul (2014) Evaluating the impact of embodied conversational agents (ECAs) attentional behaviors on user retention of cultural content in a simulated mobile environment. In: 16th ACM International Conference on Multimodal Interaction, 12-16 Nov 2014, Istanbul, Turkey. (Accepted/In press)

Drevin, Lynette (2014) Making sense of information systems failures. PhD thesis, Middlesex University.

Ellis, Stephanie and Makri, Stephann and Attfield, Simon (2014) Keeping up with the law: investigating lawyers’ monitoring behaviour. New Library World, 115 (7/8). pp. 292-313. ISSN 0307-4803

Evans, Carl and Brodie, Lindsey and Augusto, Juan Carlos (2014) Requirements engineering for intelligent environments. In: The 10th International Conference on Intelligent Environments, 29 Jun - 04 Jul 2014, Shanghai, China.

Evans, Carl and Brodie, Lindsey and Augusto, Juan Carlos (2014) Requirements for context-aware systems. In: 20th International Working Conference on Requirements Engineering: Foundations for Software Quality (REFSQ), 07-10 Apr 2014, Essen, Germany.

Gao, Xiaohong W. (2014) Feature-wise representation for both still and motion 3D medical images. In: 2014 IEEE Southwest Symposium on Image Analysis and Interpretation (SSIAI), April 6-9, 2014, San Diego, USA.

Gao, Xiaohong W. and Wang, Yuanlei and Qian, Yu and Gao, Alice (2014) Modelling of chromatic contrast for retrieval of wallpaper images. Color Research and Application . ISSN 0361-2317 (Accepted/In press)

Georgiadou, Elli and Khan, Nawaz and Rahanu, Harjinder and Colson, Robert and Sule, Clifford (2014) Bridging the digital divide: towards shortening the road from illiteracy to information literacy Elli Georgiadou, Harjinder Rahanu, Nawaz Khan, Robert Colson, Clifford Sule Conference: 11th International Scientific Confernce @Western Balkan Information Literacy" June 2014, At Bihac, Bosnia Hertzegovina, Volume: ISSN 2233-1689. Conference Proceedings . ISSN 2233-1689

Ham, Dong-Han (2014) A model-based framework for classifying and diagnosing usability problems. Cognition, Technology & Work, 16 (3). pp. 373-388. ISSN 1435-5558

Huyck, Christian R. and Primiero, Giuseppe and Raimondi, Franco (2014) Programming the MIRTO robot with neurons. Procedia Computer Science, 41 . pp. 75-82. ISSN 1877-0509

Jankun-Kelly, T. J. and Dwyer, Tim and Holten, Danny and Hurter, Christophe and Nollenburg, Martin and Weaver, Chris and Xu, Kai (2014) Scalability considerations for multivariate graph visualization. In: Multivariate Network Visualization. Lecture Notes in Computer Science (8380). Springer International Publishing, pp. 207-235.

Jones, Simon and Augusto, Juan Carlos and Hara, Sukhvinder (2014) eFRIEND: an ethical framework for intelligent environment development. In: The 7th ACM International Conference on Pervasive Technologies Related to Assistive Environments: PETRA 2014, 27-30 May 2014, Rhodes, Greece.

Kammueller, Florian (2014) Reviews for the American Mathematical Society (AMS): Paul Howells, Mark d’Inverno. Specifying termination in CSP. Theoretical Computer Science, 503:31–61, 2013. MathSciNet: Mathematical Reviews . ISSN 2167-5163

Kammueller, Florian (2014) Verification of DNSsec delegation signatures. In: 21st International IEEE Conference on Telecommunication, 4-7 May 2014, Lisbon.

Kammueller, Florian and Probst, Christian (2014) Combining generated data models with formal invalidation for insider threat analysis. In: 2014 IEEE Security and Privacy Workshops (SPW): Workshop on Research for Insider Threat (WRIT 2014), 17-18 May 2014, San Jose, California, USA.

Kanav, Sudeep and Lammich, Peter and Popescu, Andrei (2014) A conference management system with verified document confidentiality. In: 26th International Conference on Computer Aided Verification (CAV) 2014, 18-24 Jul 2014, Vienna, Austria.

Kandl, Thomas and Khan, Nawaz (2014) Trusted information supply chain framework in clinical studies. Advanced Science Letters, 20 (1). pp. 103-110. ISSN 1936-6612 (Accepted/In press)

Kandle, Thomas and Khan, Nawaz (2014) Information integration of drug discovery and clinical studies to support complex queries using an information supply chain framework. Journal of Software, 9 (5). pp. 1348-1356.

Katerinchuk, Valeri and Albrecht, Andreas A. and Steinhofel, Kathleen (2014) Energy-efficient multicast routing by using genetic local search. In: 6th International Conference on Agents and Artificial Intelligence, 06-08 Mar 2014, Angers, France.

Khan, Aftab and Windridge, David and Kittler, Josef (2014) Multilevel Chinese takeaway process and label-based processes for rule induction in the context of automated sports video annotation. IEEE Transactions on Cybernetics, 44 (10). pp. 1910-1923. ISSN 2168-2267

Kim, Huhn and Ham, Dong-Han (2014) Development of a frequency-separated knob with variable change rates by rotation speed. Applied Ergonomics, 45 (6). pp. 1518-1529. ISSN 0003-6870

Kittler, Josef and Christmas, William and De Campos, Teofilo and Windridge, David and Yan, Fei and Illingworth, J. and Osman, M. (2014) Domain anomaly detection in machine perception: a system architecture and taxonomy. Pattern Analysis and Machine Intelligence, IEEE Transactions on, 36 (5). pp. 845-859. ISSN 0162-8828

Kittler, Josef and Christmas, William and De Campos, Teofilo and Windridge, David and Yan, Fei and Illingworth, J. and Osman, M. (2014) Domain anomaly detection in machine perception: a system architecture and taxonomy. Pattern Analysis and Machine Intelligence, IEEE Transactions on, 36 (5). pp. 845-859. ISSN 0162-8828

Kodagoda, Neesha and Attfield, Simon and Nguyen, Phong H. and Zhang, Leishi and Xu, Kai and Wong, B. L. William and Wagstaff, Adrian and Phillips, Graham and Bulloch, James and Marshall, John and Bertram, Stewart (2014) POLAR - an interactive patterns of life visualisation tool for intelligence analysis. In: IEEE Joint Conference on Intelligence and Security Informatics Conference, 24-26 Sept. 2014, The Hague, Netherlands.

Krašovec, Rok and Belavkin, Roman V. and Aston, John and Channon, Alastair and Aston, Elizabeth and Rash, Bharat M. and Kadirvel, Manikandan and Forbes, Sarah and Knight, Christopher (2014) Where antibiotic resistance mutations meet quorum-sensing. Microbial Cell, 1 (7). pp. 250-252. ISSN 23112638

Krašovec, Rok and Belavkin, Roman V. and Aston, John A. D. and Channon, Alastair and Aston, Elizabeth and Rash, Bharat M. and Kadirvel, Manikandan and Forbes, Sarah and Knight, Christopher G. (2014) Mutation rate plasticity in rifampicin resistance depends on Escherichia coli cell–cell interactions. Nature Communications, 5 . ISSN 2041-1723

Kulkarni, Vinay and Clark, Tony and Barat, Souvik and Barn, Balbir (2014) Model based enterprise simulation and analysis. In: Advances in Conceptual Modeling. Springer, pp. 3-12.

Lai, Hung-Ming and Albrecht, Andreas A. and Steinhöfel, Kathleen (2014) A framework for high-throughput gene signatures with microarray-based brain cancer gene expression profiling data. In: Proceedings of: 6th International Conference on Agents and Artificial Intelligence (ICAART 2014 ) At Angers, France. Scitepress, pp. 211-220.

Lano, Kevin and Kolahdouz-Rahimi, Shekoufeh and Clark, Tony (2014) Language-independent model transformation verification. In: Proceedings of the Third International Workshop on Verification of Model Transformations co-located with Software Technologies: Applications and Foundations, VOLT@STAF 2014, 21 Jul 2014, York, UK.

Le, Hoang H. and Loureiro, Rui C. V. and Dussopt, Florian and Phillips, Nicholas and Zivanovic, Aleksandar and Loomes, Martin J. (2014) Soundscape and haptic cues in an interactive painting: a study with autistic children. In: IEEE International Conference on Biomedical Robotics and Biomechatronics, August 12-15, 2014., Anhembi Convention Center in São Paulo, Brazil.

Luo, Linbo and Yin, Haiyan and Cai, Wentong and Lees, Michael and Othman, Nasri Bin and Zhou, Suiping (2014) Towards a data-driven approach to scenario generation for serious games. Computer Animation and Virtual Worlds, 25 (3-4). pp. 393-402. ISSN 1546-4261

Lyamin, Nikita and Vinel, Alexey and Jonsson, Magnus and Loo, Jonathan (2014) Real-time detection of denial-of-service attacks in IEEE 802.11p vehicular networks. IEEE Communication Letters, 18 (1). pp. 110-113. ISSN 1089-7798

Magazzeni, Daniele and Mercorio, Fabio and Barn, Balbir and Clark, Tony and Raimondi, Franco and Kulkarni, Vinay (2014) Temporal planning for business process optimisation. In: ICAPS 2014: 8th Scheduling and Planning Application woRKshop (SPARK 2014), 22 Jun 2014, Portsmouth, New Hampshire, USA.

Maher, Brian and Albrecht, Andreas A. and Loomes, Martin J. and Yang, Xin-She and Steinhofel, Kathleen (2014) A Firefly-inspired method for protein structure prediction in lattice models. Biomolecules, 4 (1). pp. 56-75. ISSN 2218-273X

Nguyen, Phong H. and Xu, Kai and Walker, Rick and Wong, B. L. William (2014) SchemaLine: timeline visualization for sensemaking. In: 18th International Conference on Information Visualisation (IV).

Nguyen, Phong H. and Xu, Kai and Walker, Rick and Wong, B. L. William (2014) TimeSets: timeline visualization for sensemaking. In: IEEE VIS Workshop on Provenance for Sensemaking, 10 Nov 2014, Paris, France.

Nichols, Barry D. and Dracopoulos, Dimitris C. (2014) Application of Newton's method to action selection in continuous state- and action-space reinforcement learning. In: ESANN 2014 Proceedings: 22nd European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning. Bruges April 23-24-25, 2014. ESANN, pp. 141-146. ISBN 9782874190957

Poh, Norman and Tirunagari, Santosh and Windridge, David (2014) Challenges in designing an online healthcare platform for personalised patient analytics. In: 2014 IEEE Symposium on Computational Intelligence in Big Data (CIBD), 9-12 Dec 2014, Orlando, FL., USA.

Rooney, Chris and Attfield, Simon and Wong, B. L. William and Choudhury, Sharmin (Tinni) (2014) INVISQUE as a tool for intelligence analysis: the construction of explanatory narratives. International Journal of Human-Computer Interaction, 30 (9). pp. 703-717. ISSN 1044-7318

Sakellari, Georgia (2014) Strengthening the security of cognitive packet networks. International Journal of Advanced Intelligence Paradigms .

Tatarchuk, Alexander and Sulimova, Valentina and Torshin, Ivan and Mottl, Vadim and Windridge, David (2014) Supervised selective kernel fusion for membrane protein prediction. In: 9th IAPR International Conference Pattern Recognition in Bioinformatics (PRIB 2014), 21-23 Aug 2014, Stockholm, Sweden.

Tirunagari, Santosh and Poh, Norman and Aliabadi, Kouros and Windridge, David and Cooke, Deborah (2014) Patient level analytics using self-organising maps: a case study on type-1 diabetes self-care survey responses. In: 2014 IEEE Symposium on Computational Intelligence and Data Mining (CIDM), 9-12 Dec 2014, Orlando, FL., USA.

Whitney, Gill and Keith, Suzette and Selvaraj, Nallini and Maguire, Martin and Nicolle, Colette (2014) Employable knowledge: benchmarking education about standardization in the UK. British Standards Institute, London, UK.

Windridge, David and Bober, Miroslaw (2014) A kernel-based framework for medical big-data analytics. In: Interactive Knowledge Discovery and Data Mining in Biomedical Informatics: State-of-the-Art and Future Challenges. Lecture Notes in Computer Science, 8401 . Springer, pp. 197-208. ISBN 9783662439678

Wong, B. L. William and Zhang, Leishi and Shepherd, Ifan D. H. (2014) VALCRI: addressing European needs for information exploitation of large complex data in criminal intelligence analysis. In: European Data Forum 2014, March 19-20, 2014, Athens, Greece.

Wu, Jigang and Jiang, Guiyuan and Zheng, Lili and Zhou, Suiping (2014) Algorithms for balanced graph bi-partitioning. In: 2014 IEEEInternational Conference on High Performance Computing and Communications (HPCC), 20-22 Aug 2014, Paris, France.

Xu, Kai and Attfield, Simon and Jankun-Kelly, T. J., eds. (2014) Proceedings of the IEEE VIS workshop on provenance for sensemaking 2014. http://www.cs.mdx.ac.uk/prov4sense/.

Xu, Kai and Nguyen, Phong H. and Fields, Bob (2014) Visual analysis of streaming data with SAVI and SenseMAP. In: 2014 IEEE Conference on Visual Analytics Science and Technology (VAST).

Yan, Fei and Kittler, Josef and Windridge, David and Christmas, William and Mikolajczyk, Krystian and Cox, Stephen and Huang, Qiang (2014) Automatic annotation of tennis games: an integration of audio, vision, and learning. Image and Vision Computing, 32 (11). pp. 896-903. ISSN 0262-8856

Yang, Xin-She and Huyck, Christian R. and Karamanoglu, Mehmet and Khan, Nawaz (2014) True global optimality of the pressure vessel design problem: a bench-mark for bio-inspired optimisation algorithms. International Journal of Bio-Inspired Computation, 5 (6). pp. 329-335. ISSN 1758-0366

Zafeiriou, Stefanos and Kotsia, Irene and Pantic, Maja (2014) Unconstrained face recognition. In: Face recognition n adverse conditions. IGI.

Zheng, Yongjun and Dafoulas, George and Abeysinghe, Geetha and Maia, Cristiano Cardoso (2014) Curriculum design within a semantic information system. Key Engineering Materials, 572 . pp. 562-565. ISSN 1013-9826

2013

Abbey, Craig K. and Hope, Chris and Sterr, Annette and Elangovan, Premkumar and Geades, Nicholas and Windridge, David and Young, Ken and Wells, Kevin and Mello-Thoms, Claudia R. (2013) High throughput screening for mammography using a human-computer interface with rapid serial visual presentation (RSVP). In: SPIE Proceedings Vol. 8673.

Abeysinghe, Geetha and Alsobhi, Aisha (2013) Social media readiness in small businesses. In: International Conference Information Systems, 13-15 Mar 2013, Lisbon, Portugal.

Alghothami, Alwaleed and Kammueller, Florian (2013) Network information flow control: proof of concept. In: IEEE Int. Conf. on Systems, Man, and Cybernetics, SMC.

Androutsopoulos, Kelly and Clark, David and Harman, Mark and Hierons, Robert M. and Li, Zheng and Tratt, Laurence (2013) Amorphous slicing of extended finite state machines. IEEE Transactions on Software Engineering, 39 (7). pp. 892-909. ISSN 0098-5589

Androutsopoulos, Kelly and Clark, David and Harman, Mark and Krinke, Jens and Tratt, Laurence (2013) State-based model slicing: a survey. ACM Computing Surveys (CSUR), 45 (4). p. 53. ISSN 0360-0300

Apel, Sven and Beyer, Dirk and Friedberger, Karlheinz and Raimondi, Franco and von Rhein, Alexander (2013) Domain types: abstract-domain selection based on variable usage. Hardware and Software: Verification and Testing, 8244 (1). pp. 262-278. ISSN 0302-9743

Ardeshir-Larijani, Ebrahim and Gay, Simon J. and Nagarajan, Rajagopal (2013) Equivalence checking of quantum protocols. In: Tools and Algorithms for the Construction and Analysis of Systems : 19th International Conference Proceedings (TACAS 2013). Piterman, Nir and Smolka, Scott A., eds. Lecture Notes in Computer Science (7795). Springer, Berlin, pp. 478-492. ISBN 9783642367410

Augusto, Juan Carlos and Bourdakis, Vassilis and Braga, Daniela and Egerton, Simon and Fujinami, Kaori and Hunter, Gordon and Kawsar, Fahim and Lotfi, Ahmad and Preuveneers, Davy and Rahm, Abdul Wahab bin Abdul and Zamudio, Victor, eds. (2013) Proceedings of the 9th international conference on intelligent environments (IE '13). IEEE Press. ISBN 9781479907458

Augusto, Juan Carlos and Callaghan, Vic and Kameas, Achilles and Cook, Diane and Satoh, Ichiro (2013) Intelligent environments: a manifesto. Human-centric Computing and Information Sciences, 3 (12). ISSN 2192-1962

Augusto, Juan Carlos and Grimstad, Terje and Wichert, Reiner and Schulze, Eva and Braun, Andreas and Rødevand, Gro Marit and Ridley, Vanda (2013) Personalized smart environments to increase inclusion of people with Down's Syndrome. In: International Joint Conference on Ambient Intelligence, 3-5 of Dec 2013, Dublin, Ireland.

Augusto, Juan Carlos and Hornos, Miguel J. (2013) Software simulation and verification to increase the reliability of intelligent environments. Advances in Engineering Software, 58 . pp. 18-34. ISSN 0965-9978

Augusto, Juan Carlos and Wichert, R. and Collier, R. and Keyson, D. and Salah, A. and Tan, A., eds. (2013) Ambient intelligence : proceedings of the 4th international joint conference. Lecture Notes in Computer Science, 8309 . Springer. ISBN 9783319036465

Aztiria, Asier and Augusto, Juan Carlos and Basagoiti, Rosa and Izaguirre, Alberto and Cook, Diane J. (2013) Learning frequent behaviours of the users in intelligent environments. IEEE Transactions on Systems Man and Cybernetics: Systems, 43 (6). pp. 1265-1278. ISSN 2168-2216

Aztiria, Asier and Augusto, Juan Carlos (2013) Context-aware discovery of human frequent behaviours through sensor information interpretation. In: Human Behavior Recognition Technologies: Intelligent Applications for Monitoring and Security. Guesgen, Hans W. and Marsland, Stephen, eds. IGI Global, pp. 14-32. ISBN 9781466636828

Baber, Chris and Attfield, Simon and Wong, B. L. William and Rooney, Chris (2013) Exploring sensemaking through an Intelligence Analysis exercise. In: Proceedings of the 11th International Conference on Naturalistic Decision Making. Chaudet, H. and Pellegrin, L. and Bonnardel, N., eds. Arpege Science Publishing, Paris, pp. 125-131. ISBN 9791092329001

Barn, Balbir and Barn, Ravinder and Tan, Jo-Pei (2013) Smart phone activity: risk-taking behaviours and perceptions on data security among young people in England. International Journal of Social and Organizational Dynamics in IT (IJSODIT), 3 (4). pp. 43-58. ISSN 2155-6334

Belavkin, Roman V. (2013) Minimum of information distance criterion for optimal control of mutation rate in evolutionary systems. In: Quantum Bio-Informatics V : Proceedings of the Quantum Bio-Informatics 2011. Tokyo University of Science, Japan, 7 – 12 March 2011. Accardi, Luigi and Freudenberg, Wolfgang and Ohya, Masanori, eds. QP-PQ: Quantum Probability and White Noise Analysis, 30 (30). World Scientific, pp. 95-115. ISBN 9789814460019

Belavkin, Roman V. (2013) Law of Cosines and Shannon-Pythagorean theorem for quantum information. In: Geometric Science of Information : First International Conference, GSI 2013, Paris, France, August 28-30, 2013. Proceedings. Nielsen, Frank and Barbaresco, Frédéric, eds. Lecture Notes in Computer Science, Part X (8085). Springer Verlag, Berlin, pp. 369-376. ISBN 9783642400193

Bettinelli, Andrea and Liberti, Leo and Raimondi, Franco and Savourey, David (2013) The anonymous subgraph problem. Computers and Operations Research, 40 (4). pp. 973-979. ISSN 0305-0548

Blower, J. D. and Gemell, A. L. and Griffiths, G. H. and Haines, K. and Santokhee, Adityarajsingh and Yang, Xiaoyu (2013) A web map service implementation for the visualization of multidimensional gridded environmental data. Environmental Modelling and Software, 47 . pp. 218-224. ISSN 1364-8152

Busard, Simon and Pecheur, Charles and Qu, Hongyang and Raimondi, Franco (2013) Reasoning about strategies under partial observability and fairness constraints. In: 1st International Workshop on Strategic Reasoning, 16-17 Mar 2013, Rome, Italy.

Chen, Shuwei and Liu, Jun and Wang, Hui and Augusto, Juan Carlos (2013) Ordering based decision making: a survey. Information Fusion, 14 (4). pp. 521-531. ISSN 1566-2535

Chen, Shuwei and Liu, Jun and Wang, Hui and Augusto, Juan Carlos (2013) An evidential reasoning based approach for decision making with partially ordered preference under uncertainty. In: International Conference on Machine Learning and Cybernetics (ICMLC2013), 14-17 July, 2013, Tianjin, China.

Chen, Shuwei and Liu, Jun and Wang, Hui and Augusto, Juan Carlos (2013) A hierarchical human activity recognition framework based on automated reasoning. In: IEEE International Conference on Systems, Man and Cybernetics (SMC2013), 13-16 October, 2013, Manchester, UK.

Chen, Taolue and Forejt, Vojtěch and Kwiatkowska, Marta and Parker, David and Simaitis, Aistis (2013) Automatic verification of competitive stochastic systems. Formal Methods in System Design, 43 (1). pp. 61-92. ISSN 0925-9856

Clark, Tony (2013) Joint Proceedings of the First International Workshop On the Globalization of Modeling Languages (GEMOC 2013) and the First International Workshop: Towards the Model Driven Organization (AMINO 2013) Co-located with the 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013), Miami, USA, September 29 - October 04, 2013. In: First International Workshop: Towards the Model Driven Organization (AMINO 2013), 29 Sep - 04 Oct 2013, Miami, FL, USA. (Accepted/In press)

Clark, Tony and Barn, Balbir (2013) Dynamic reconfiguration of event driven architecture using reflection and higher-order functions. International Journal of Software and Informatics, 7 (2). pp. 137-168. ISSN 1673-7288

Clark, Tony and Gonzalez-Perez, Cesar and Henderson-Sellers, Brian (2013) On the search for a level-agnostic modelling language. In: Advanced Information Systems Engineering - 25th International Conference, CAiSE 2013, Valencia, Spain, June 17-21, 2013. Proceedings.

Clark, Tony and Willans, James (2013) Software language engineering with XMF and XModeler. In: Formal and practical aspects of domain-specific languages: recent developments. Mernik, Marjan, ed. IGI Global, pp. 311-340. ISBN 9781466620926

Dantchev, Stefan and Martin, Barnaby (2013) Rank complexity gap for Lovász-Schrijver and Sherali-Adams proof systems. Computational Complexity, 22 (1). pp. 191-213. ISSN 1016-3328

Di Marco, A. and Gallo, F. and Gemikonakli, Orhan and Mostarda, Leonardo and Raimondi, Franco (2013) Implementing adaptation and reconfiguration strategies in heterogeneous WSN. In: 27th IEEE International Conference on Advanced Information Networking and Applications (AINA-2013).

Doumanis, Ioannis and Smith, Serengul (2013) Beyond Artificial Intelligence Markup Language (AIML) rapid prototyping of a Q&A system. In: The 9th International Conference on Intelligent Environments – IE'13 – Future Intelligent Educational Environments, 16-17July 2013, Athens.

Doumanis, Ioannis and Smith, Serengul (2013) Evaluating the impact of ECAs on user navigation performance and perception. In: Thirteenth International Conference on Intelligent Virtual Agents, 29-31 August 2013, Edinburg.

Doumanis, Ioannis and Smith, Serengul (2013) An empirical study on the effects of embodied conversational agents on user retention performance and perception in a simulated mobile environment. In: Workshop proceedings of the 9th international conference on intelligent environments. Botía, Juan A. and Charitos, Dimitris, eds. Ambient Intelligence and Smart Environments (17). IOS Press, pp. 431-442. ISBN 9781614992851

Dracopoulos, Dimitris C. and Effraimidis, Dimitrios and Nichols, Barry D. (2013) Genetic programming as a solver to challenging reinforcement learning problems. In: Horizons in computer science research. Horizons in Computer Science Research, 8 . Nova Publications, Hauppauge, NY, USA, pp. 145-174.

Duncker, Elke and Sheikh, Javed Anjum and Fields, Bob (2013) From global terminology to local terminology: a review of cross-cultural interface design solutions. In: Cross-Cultural Design. Methods Practice and Case-Studies: Proceedings of the 5th International Conference CCD 2013, held as part of HCI Inernational 2013, Las Vegas. Rau, P. L. Patrick, ed. Lecture Notes in Computer Science, 1 (8023). Springer, pp. 197-206. ISBN 9783642391422

Duquenoy, Penny and Mekawie, Nermeen Magdi and Springett, Mark (2013) Patients, trust and ethics in information privacy in eHealth. In: eHealth: legal, ethical and governance challenges. George, Carlisle and Whitehouse, Diane and Duquenoy, Penny, eds. Springer, Germany, pp. 275-295. ISBN 9783642224737

Gao, Alice and Li, Wei and Lin, Chiang and Loomes, Martin J. and Gao, Xiaohong W. (2013) Cardiac motion reconstruction using LKT algorithm from 2D and 3D echocardiography. In: IPCV'13 - The 2013 International Conference on Image Processing, Computer Vision, and Pattern Recognition. CSRES Press. ISBN 1601322542

Gay, Simon J. and Nagarajan, Rajagopal (2013) Techniques for formal modelling and analysis of quantum systems. In: Computation, logic, games, and quantum foundations. The many facets of Samson Abramsky. Springer Verlag, pp. 264-276.

George, Carlisle (2013) The Internet and pharmaceutical drugs in the era of interoperable eHealth systems across the European Union. In: eHealth: Legal, Ethical and Governance Challenges. George, Carlisle and Whitehouse, Diane and Duquenoy, Penny, eds. Springer, Berlin, Germany, pp. 135-164. ISBN 9783642224737

George, Carlisle and Whitehouse, Diane and Duquenoy, Penny (2013) Assessing legal, ethical and governance challenges in eHealth. In: eHealth: Legal, Ethical and Governance Challenges. George, Carlisle and Whitehouse, Diane and Duquenoy, Penny, eds. Springer, Berlin, Germany, pp. 3-22. ISBN 9783642224737

Heath, Andy and Whitney, Gill and Kolar, Irena and Springett, Mark (2013) The case for integrating needs and preferences in the internet of things. In: The Sixth International Conference on Advances in Human Oriented and Personalized Mechanisms, Technologies, and Services: CENTRIC 2013, 27 Oct - 01 Nov 2013, Venice, Italy.

Henderson-Sellers, Brian and Clark, Tony and Gonzalez-Perez, Cesar (2013) On the search for a level-agnostic modelling language. In: Advanced Information Systems Engineering - 25th International Conference, CAiSE 2013, June 17-21, 2013, Valencia, Spain.

Hunter, Josie and Raimondi, Franco and Rungta, Neha and Stocker, Richard (2013) A synergistic and extensible framework for multi-agent system verification. In: AAMAS 2013 :12th International Conference on Autonomous Agents and Multiagent Systems, 6-10 May 2013, Saint Paul, Minnesota, USA..

Kammueller, Florian and Kirsal, Yoney and Cheng, Xiaochun (2013) DNSsec in Isabelle – replay attack and origin authentication. In: IEEE Int. Conf. on Systems, Man, and Cybernetics, SMC, 2013..

Kammueller, Florian and Preibusch, Sören (2013) Privacy analysis of a hidden friendship protocol. In: The 8th International Workshop on Data Privacy Management, DPM 2013, 12-13 Sep 2013, Egam, UK.

Kammueller, Florian and Probst, Christian (2013) Invalidating policies using structural information. In: IEEE CS Security and Privacy Workshops, SPW, WRIT'13.

Khan, Nawaz and Dhara, Gaurav and Kandl, Thomas (2013) Performance evaluation of Levenberg-Marquardt technique in error reduction for diabetes condition classification. Procedia Computer Science, 18 . pp. 2629-2637. ISSN 1877-0509

Kodagoda, Neesha and Attfield, Simon and Choudhury, Sharmin (Tinni) and Rooney, Chris and Mapp, Glenford E. and Nguyen, Phong H. and Slabbert, Louis and Wong, B. L. William and Aiash, Mahdi and Zheng, Yongjun and Xu, Kai and Lasebae, Aboubaker (2013) Concern level assessment: building domain knowledge into a visual system to support network-security situation awareness. Information Visualization . ISSN 1473-8716 (Accepted/In press)

Kotsia, Irene and Zafeiriou, Stefanos and Fotopoulos, Spiros (2013) Affective gaming: a comprehensive survey. Conference on Computer Vision and Pattern Recognition Workshops (CVPR) Behavior Analysis in Games and modern Sensing devices (BAGS) workshop .

Kramer, Dean and Oussena, Samia and Komisarczuk, Peter and Clark, Tony (2013) Using document-oriented GUIs in dynamic software product lines. In: The 12th International Conference on Generative Programming: Concepts & Experiences (GPCE'13), 27-29 Oct 2013, Indianapolis, Indiana, USA.

Kurt, Aygen and Duquenoy, Penny (2013) Governance in technology development. In: Ethical governance of emerging technologies development. Doridot, Fernand and Duquenoy, Penny and Goujon, Philippe and Kurt, Aygen and Lavelle, Sylvain and Patrignani, Norberto and Rainey, Stephen and Santuccio, Alessia, eds. IGI Global, Hershey, pp. 149-165. ISBN 9781466636705

Lai, Hung-Ming and Albrecht, Andreas A. and Steinhofel, Kathleen (2013) Gene selection guided by feature interdependence. World Academy of Science, Engineering and Technology (WASET) (79). pp. 1432-1438. ISSN 2070-3724

Le, Hoang H. and Loomes, Martin J. and Loureiro, Rui C. V. (2013) Mapping arm movements to robotic sonic interaction promote group dynamics and increase engagement at a task. In: Converging Clinical and Engineering Research on Neurorehabilitation. Pons, José L. and Torricelli, Diego and Pajaro, Marta, eds. Biosystems & Biorobotics (1). Springer, pp. 843-846. ISBN 9783642345456

Li, Chunping and Chen, Ziniu and Du, Hao and Wang, Hui and Wilkie, George and Augusto, Juan Carlos and Liu, Jun (2013) Using patterns position distribution for software failure detection. International Journal of Computational Intelligence Systems, 6 (2). pp. 234-243. ISSN 1875-6891

Liu, Guoqing and Wu, Jianxin and Zhou, Suiping (2013) Probabilistic classifiers with a generalized Gaussian scale mixture prior. Pattern Recognition, 46 (1). pp. 332-345. ISSN 0031-3203

Martin, Suzanne and Augusto, Juan Carlos and McCullagh, Paul and Carswell, William and Zheng, Huiru and Wang, Haiying and Wallace, Jonathan and Mulvenna, Maurice (2013) Participatory research to design a novel system to support the night-time needs of people with dementia; NOCTURNAL. International Journal of Environmental Research and Public Health (IJERPH), 10 (12). pp. 6764-6782. ISSN 1660-4601

Martinez Madrid, N. and Martinez Fernandez, J. and Seepold, R. and Augusto, Juan Carlos (2013) Sensors for Ambient Assisted Living (AAL) and smart homes. In: Autonomous Sensor Networks: Collective Sensing Strategies for Analytical Purposes. Filippini, Daniel, ed. Springer, pp. 39-72. ISBN 9783642346484

Martínez Fernández, Javier and Augusto, Juan Carlos and Trombino, Giuseppe and Seepold, Ralf and Martinez Madrid, Natividad (2013) Self-aware trader: a new approach to safer trading. Journal of Universal Computer Science, 19 (15). pp. 2292-2319. ISSN 0948-695X

Qian, Yu and Hui, Rui and Gao, Xiaohong W. (2013) 3D CBIR with sparse coding for image-guided neurosurgery. Signal Processing, 93 (6). pp. 1673-1683. ISSN 0165-1684

Qian, Yu and Wang, Lianyi and Wang, Chunyan and Gao, Xiaohong W. (2013) The synergy of 3D SIFT and sparse codes for classification of viewpoints from echocardiogram videos. In: Medical Content-Based Retrieval for Clinical Decision Support. Lecture Notes In Computer Science, 7723 . Springer-Verlag, Berlin, pp. 68-79. ISBN 9783642366772

Reinhartz-Berger, Iris and Sturm, Arnon and Clark, Tony and Cohen, Sholom and Bettin, Jorn, eds. (2013) Domain engineering : product lines, languages, and conceptual models. Springer. ISBN 9783642366543

Rungta, Neha and Brat, Guillaume and Clancey, William J. and Linde, Charlotte and Raimondi, Franco and Seah, Chin and Shafto, Michael (2013) Aviation safety: modeling and analyzing complex interactions between humans and automated systems. In: ATACCS 2013, 28-30 May 2013, Naples, Italy.

Sakellari, Georgia (2013) Energy-aware admission control for wired networks. In: 28th International Symposium on Computer and Information Sciences (ISCIS2013).

Sakellari, Georgia (2013) A survey of mathematical models, simulation approaches and testbeds used for research in cloud computing. The Simulation Modelling Practice and Theory Journal .

Saleeb, Noha and Dafoulas, George (2013) Artificial intelligence in 3D virtual environments as technological support for pedagogy. In: 2nd Workshop on Future Intelligent Educational Environments Conference (WOFIEE’13), 16-17 Jul 2013, Athens, Greece.

Sallavaci, Oriola and George, Carlisle (2013) New admissibility regime for expert evidence: the likely impact on digital forensics. International Journal of Electronic Security and Digital Forensics, 5 (1). pp. 67-79. ISSN 1751-911X

Sallavaci, Oriola and George, Carlisle (2013) Procedural aspects of the new regime for the admissibility of expert evidence: what the digital forensic expert needs to know. International Journal of Electronic Security and Digital Forensics . ISSN 1751-911X (Accepted/In press)

Salmanpour Rahmdel, Payam (2013) A parallel windowing approach to the Hough transform for line segment detection. PhD thesis, Middlesex University.

Shi, Daming and Gao, Junbin and Rahmdel, Payam S. and Antolovich, Michael and Clark, Tony (2013) UND: unite-and-divide method in Fourier and Radon domains for line segment detection. IEEE Transactions on Image Processing, 22 (6). pp. 2500-2505. ISSN 1057-7149

Shi, Daming and Gao, Junbin and Rahmdel, Payam S. and Antolovich, Michael and Clark, Tony (2013) UND: unite-and-divide method in Fourier and Radon domains for line segment detection. IEEE Transactions on Image Processing, 22 (6). pp. 2500-2505. ISSN 1057-7149

Sial, Sara Baber (2013) Communicating simulated emotional states of robots by expressive movements. Masters thesis, Middlesex University.

Tian, Kai and Guo, Ben and Liu, Guoqing and Mitchell, Ian and Cheng, Dansong and Zhao, Wei (2013) KCMAC-BYY: Kernel CMAC using Bayesian Ying-Yang learning. Neurocomputing, 101 . pp. 24-31. ISSN 0925-2312

Vuckovic, Anita and Sanderson, Penelope and Neal, Andrew and Gaukrodger, Stephen and Wong, B. L. William (2013) Relative position vectors: an alternative approach to conflict detection in air traffic control. Human Factors . ISSN 0018-7208

Walker, Rick and Slingsby, Aidan and Dykes, Jason and Xu, Kai and Wood, Jo and Nguyen, Phong H. and Stephens, Derek and Zheng, Yongjun (2013) An extensible framework for provenance in human terrain visual analytics. IEEE Transactions on Visualization and Computer Graphics . ISSN 1077-2626 (Accepted/In press)

Whitney, Gill (2013) Working internationally to meet the academic needs of accessibility professionals. In: 12th European AAATE Conference, 19-22 September 2013, Vilamoura, Portugal.

Whitney, Gill (2013) The use and usability of accessibility standardization. In: 12th European AAATE Conference, 19-22 September 2013, Vilamoura, Portuga.

Wong, B. L. William and Kodagoda, Neesha and Rooney, Chris and Attfield, Simon and Choudhury, Sharmin (Tinni) (2013) Trialling the SMART approach: identifying and assessing sense-making. In: 2013 International Annual Meeting of the Human Factors and Ergonomics Society, 30 Sep - 04 Oct 2013, San Diego, CA, USA.

Yang, Xin-She, ed. (2013) Artificial intelligence, evolutionary computing and metaheuristics : in the footsteps of Alan Turing. Studies in Computational Intelligence, 427 . Springer. ISBN 9783642296932

Yang, Xin-She and Cui, Zhihua and Xiao, Renbin and Gandomi, Amir Hossein and Karamanoglu, Mehmet, eds. (2013) Swarm intelligence and bio-inspired computation: theory and applications. Elsevier. ISBN 9780124051638

Zafeiriou, Stefanos and Kotsia, Irene (2013) On one-shot kernels: explicit feature maps and properties. Proceedings of IEEE Int’l Conf. on Computer Vision (ICCV 2013) .

2012

Abouelhoda, Mohamed and Issa, Shadi and Ghanem, Moustafa (2012) Tavaxy: integrating Taverna and Galaxy workflows with cloud computing support. BMC Bioinformatics, 13 (1). p. 77. ISSN 1471-2105

Augusto, Juan Carlos (2012) AAL4DS (Can AAL technology help people with Down’s Syndrome to live better lives?). In: Proceedings of AALForum2012 (Tomorrow in Sight: from Design to Delivery), 26 Sep 2012, Eindhoven, The Netherlands.

Aztiria, Asier and Augusto, Juan Carlos and Basagoiti, Rosa and Izaguirre, Alberto and Cook, Diane J. (2012) Discovering frequent user-environment interactions in intelligent environments. Personal and Ubiquitous Computing, 16 (1). pp. 91-103. ISSN 1617-4909

Barn, Balbir and Clark, Tony (2012) Goal based alignment of enterprise architectures. In: 7th International Conference on Software Paradigm Trends (ICSOFT 2012), 24 - 27 July, 2012, Rome, Italy.

Barn, Balbir and Clark, Tony and Hearne, Gary (2012) Business and ICT alignment in higher education: a case study in measuring maturity. In: 21st International Conference on Information Systems Development (ISD2012), 29-30 Aug 2012, Prato, Italy.

Barn, Balbir and Clark, Tony and Oussena, Samia (2012) A model based approach to systems requirements for event driven enterprise architecture. In: 5th India Software Engineering Conference (ISEC 2012), 22 - 25 February, 2012, IIT Kanpur, India.

Belavkin, Roman V. (2012) Optimal measures and Markov transition kernels. Journal of Global Optimization, 55 (2). pp. 387-416. ISSN 0925-5001

Belavkin, Roman V. (2012) Maximal connectivity and constraints in the human brain. In: Optimization and data analysis in biomedical informatics. Pardalos, Panos M. and Coleman, Thomas F. and Xanthopoulos, Petros, eds. Fields Institute Communications (63). Springer, New York, pp. 191-198. ISBN 9781461441335

Belavkin, Roman V. (2012) Dynamics of information and optimal control of mutation in evolutionary systems. In: Dynamics of information systems: mathematical foundations. Sorokin, Alexey and Murphey, Robert and Thai, My T. and Pardalos, Panos M., eds. Springer Proceedings in Mathematics & Statistics, 20 (20). Springer, New York, pp. 3-21. ISBN 9781461439059

Bernaschina, Paula and Smith, Serengul (2012) Embedded writing instruction in the first year curriculum. Journal of Learning Development in Higher Education . pp. 1-10. ISSN 1759-667X

Bodirsky, Manuel and Kara, Jan and Martin, Barnaby (2012) The complexity of surjective homomorphism problems - a survey. Discrete Applied Mathematics, 160 (12). pp. 1680-1690. ISSN 0166-218X

Choudhury, Sharmin (Tinni) and Kodagoda, Neesha and Nguyen, Phong H. and Rooney, Chris and Attfield, Simon and Xu, Kai and Zheng, Yongjun and Wong, B. L. William and Chen, Raymond and Mapp, Glenford E. and Slabbert, Louis and Aiash, Mahdi and Lasebae, Aboubaker (2012) M-Sieve: a visualisation tool for supporting network security analysts. In: VisWeek 2012, 14-19 Oct 2012, Seattle, WA, USA.

Clark, Tony and Barn, Balbir (2012) bCMS in LEAP. In: Comparing Modeling Approaches, 30 September 2012, Innsbruck, Austria.

Clark, Tony and Barn, Balbir and Oussena, Samia (2012) Simulating enterprise architecture models. Infosys Journal of Research, 10 (3). pp. 3-20.

Clark, Tony and Barn, Balbir and Oussena, Samia (2012) A method for enterprise architecture alignment. In: Practice-Driven Research on Enterprise Transformation : 4th Working Conference, PRET 2012, Gdańsk, Poland, June 27, 2012. Proceedings. Proper, E and Gaaloul, K and Harmsen, F and Wrycza, S, eds. Lecture Notes in Business Information Processing (120). Springer, pp. 48-76. ISBN 9783642311338

Clark, Tony and Bettin, Jorn (2012) Editorial for the theme issue on model-based interoperability. Software and Systems Modeling, 11 (1). pp. 7-10. ISSN 1619-1366

Clark, Tony and Muller, Pierre-Alain (2012) Exploiting model driven technology: a tale of two startups. Software and Systems Modeling, 11 (4). pp. 481-493. ISSN 1619-1366

Coronato, Antonio and De Pietro, Giuseppe and Augusto, Juan Carlos (2012) Modeling eating disorders of cognitive impaired people. In: HumanCom'2012, 6-8 of September 2012, Gwangju, South Korea.

Dack, John (2012) The nature of the instrument: Luciano Berio, instrumental thought and Schaefferian theory. In: Luciano Berio: nuove prospettive / new perspectives. De Benedictis, Angela Ida, ed. Chigiana (XLVIII). Leo S. Olschki, Florence, Italy, pp. 337-358. ISBN 9788822261106

Dantchev, Stefan and Martin, Barnaby (2012) Cutting planes and the parameter cutwidth. Theory of Computing Systems, 51 (1). pp. 50-64. ISSN 1432-4350

Dantchev, Stefan and Martin, Barnaby (2012) The limits of tractability in resolution-based propositional proof systems. Annals of Pure and Applied Logic, 163 (6). pp. 656-668. ISSN 0168-0072

Davidson, Tim and Gay, Simon J. and Mlnařík, Hynek and Nagarajan, Rajagopal and Papanikolaou, Nikolaos K. (2012) Model checking for communicating quantum processes. International Journal of Unconventional Computing, 8 (1). pp. 73-98. ISSN 1548-7199

Dayem Ullah, Abu Z. M. and Sahoo, Sudhakar and Steinhofel, Kathleen and Albrecht, Andreas A. (2012) Derivative scores from site accessibility and ranking of miRNA target predictions. International Journal of Bioinformatics Research and Applications, 8 (3/4). pp. 171-191. ISSN 1744-5485

Dracopoulos, Dimitris C. and Nichols, Barry D. (2012) Swing up and balance control of the acrobot solved by genetic programming. In: Research and Development in Intelligent Systems XXIX. Springer London, pp. 229-242. ISBN 9781447147381

Duong, Nguyen Binh Ta and Nguyen, Thang and Zhou, Suiping and Tang, Xueyan and Cai, Wentong and Ayani, R. (2012) Interactivity-constrained server provisioning in large-scale distributed virtual environments. IEEE Transactions on Parallel and Distributed Systems, 23 (2). pp. 304-312. ISSN 1045-9219

Fernandez, Javier Martinez and Augusto, Juan Carlos and Seepold, Ralf and Madrid, Natividad Martinez (2012) A sensor technology survey for a stress aware trading process. Transactions on Systems, Man and Cybernetics - Part C, 42 (6). pp. 809-824. ISSN 1094-6977

Flick, Catherine and Duquenoy, Penny and Jones, Matt (2012) Designing for child resilience. In: CHI '12 extended abstracts on human factors in computing systems. Association for Computing Machinery (ACM), pp. 761-764. ISBN 9781450310161

Gao, Xiaohong W. and Loomes, Martin J. and Comley, Richard A. (2012) Bridging the abridged – the diffusion of Telemedicine in Europe and China. In: Telemedicine and e-health services, policies, and applications: avancements and developments. Rodrigues, Joel J. P. C. and Díez, Isabel de la Torre and Abajo, Beatriz Sainz de, eds. IGI Global, USA, pp. 451-495. ISBN 9781466608887

Gao, Xiaohong W. and Qian, Yu and Loomes, Martin J. and Barn, Balbir and Comley, Richard A. and Chapman, Alex and Rix, Janet and Hui, Rui and Tian, Zengmin (2012) Retrieval of 3D medical images via their texture features. International Journal On Advances in Software, 4 (3&4). pp. 499-509. ISSN 1942-2628

Golovach, Petr A. and Lidický, Bernard and Martin, Barnaby and Paulusma, Daniël (2012) Finding vertex-surjective graph homomorphisms. In: 7th International Computer Science Symposium (CSR 2012), 3-7 Jul 2012, Nizhny Novgorod, Russia.

Guo, Weiwei and Kotsia, Irene and Patras, Ioannis (2012) Tensor learning for regression. IEEE Transactions on Image Processing, 21 (2). pp. 816-827. ISSN 1057-7149

Ham, Dong-Han and Park, Jinkyun and Jung, Wondea (2012) Model-based identification and use of task complexity factors of human integrated systems. Reliability Engineering & System Safety, 100 . pp. 33-47. ISSN 0951-8320

Han, Rui and Ghanem, Moustafa and Guo, Li and Guo, Yike and Osmond, Michelle (2012) Enabling cost-aware and adaptive elasticity of multi-tier cloud applications. Future Generation Computer Systems . ISSN 0167-739X

Hutton, R. J. B. and Attfield, Simon and Wiggins, S. and McGuinness, B. and Wong, B. L. William (2012) Team Sensemaking Assessment Method (TSAM): an inspection method for evaluating collaborative analysis technologies. In: Contemporary Ergonomics and Human Factors 2012 Proceedings of the international conference on Ergonomics & Human Factors 2012, Blackpool, UK, 16-19 April 2012. Anderson, Martin, ed. Contemporary Ergonomics . CRC Press, pp. 419-420. ISBN 9780415621526

Keith, Suzette and Floratos, Nikolaos and Whitney, Gill (2012) Certification or conformance: making a successful commitment to WCAG 2.0. In: Proceedings of the international cross-disciplinary conference on web accessibility W4A '12. Vigo, Markel and Abascal, Julio and Lopes, Rui and Salomoni, Paola, eds. ACM, New York. ISBN 9781450310192

Khan, Nawaz and Silva, Swapna and Kandl, Thomas (2012) A software based solution to facilitate end to end information supply chain visibility. In: Proceedings of ICSSSM'12. Chen, Jian and Su, Qiang, eds. IEEE, pp. 850-855. ISBN 9781457720246

Kocurova, Anna and Oussena, Samia and Clark, Tony (2012) Applied metamodelling to collaborative document authoring. In: Federated Conference on Computer Science and Information Systems (FedCSIS 2012), 9 - 12 September 2012, Wrocław, Poland.

Kocurova, Anna and Oussena, Samia and Komisarczuk, Peter and Clark, Tony (2012) Context-aware content-centric collaborative workflow management for mobile devices. In: The Second International Conference on Advanced Collaborative Networks, Systems and Applications (COLLA 2012), June 24-29, 2012, Venice, Italy.

Kodagoda, Neesha and Wong, B. L. William and Rooney, Chris and Khan, Nawaz (2012) Interactive visualization for low literacy users: from lessons learnt to design. In: CHI '12: proceedings of the 2012 ACM Annual Conference on Human Factors in Computing Systems. ACM, New York, NY, USA, pp. 1159-1168. ISBN 9781450310154

Kotsia, Irene and Guo, Weiwei and Patras, Ioannis (2012) Higher rank support tensor machines. In: 8th International Symposium on Visual Computing (ISVC 2012), 16-18 July, 2012, Crete, Greece.

Kotsia, Irene and Guo, Weiwei and Patras, Ioannis (2012) Higher rank support tensor machines for visual recognition. Pattern Recognition, 45 (12). pp. 4192-4203. ISSN 0031-3203

Kotsia, Irene and Patras, Ioannis (2012) Exploring the similarities of neighboring spatiotemporal points for action pair matching. In: 11th Asian Conference on Computer Vision (ACCV 2012), 05-09 Nov 2012, Daejeon, Korea.

Kotsia, Irene and Patras, Ioannis (2012) Support tensor action spotting. In: IEEE International Conference on Image Processing (ICIP 2012), 30 Sep - 3 Oct 2012, Orlando, FL, USA.

Kotsia, Irene and Patras, Ioannis and Fotopoulos, Spiros (2012) Affective gaming: beyond using sensors. In: 5th International Symposium on Communications Control and Signal Processing (ISCCSP 2012), 2-4 May 2012, Rome, Italy.

Kumar, B.G.Vijay and Kotsia, Irene and Patras, Ioannis (2012) Max-margin non-negative matrix factorization. Image and Vision Computing, 30 (4-5). pp. 279-291. ISSN 0262-8856

Kurt, Aygen and Duquenoy, Penny (2012) Addressing governance and ethics in European technology development projects through scenarios. In: Privacy and identity management for life : 7th IFIP WG 9.2, 9.6/11.7, 11.4, 11.6/PrimeLife International Summer School, Trento, Italy, September 5-9, 2011, Revised Selected Papers. Camenisch, Jan and Crispo, Bruno and Fischer-Hübner, Simone and Leenes, Ronald and Rossello, Giavanni, eds. IFIP Advances in Information and Communication Technology (375). Springer, Heidelberg, pp. 283-292. ISBN 9783642316685

Lu, Zhirui and Augusto, Juan Carlos and Liu, Jun and Wang, Hui (2012) A linguistic truth-value temporal reasoning (LTR) system and its application to the design of an intelligent environment. International Journal of Computational Intelligence Systems, 5 (1). pp. 173-196. ISSN 1875-6891

Lu, Zhirui and Augusto, Juan Carlos and Liu, Jun and Wang, Hui and Aztiria, Asier (2012) A reasoning system for uncertain and dynamic environments. International Journal on Artificial Intelligence Tools, 21 (5). ISSN 0218-2130

Madelaine, Florent and Martin, Barnaby (2012) The complexity of positive first-order logic without equality. ACM Transactions on Computational Logic (TOCL), 13 (1). ISSN 1529-3785

Madelaine, Florent and Martin, Barnaby and Stacho, Juraj (2012) Constraint satisfaction with counting quantifiers. In: The 7th International Computer Science Symposium (CSR 2012), 3-7 Jul 2012, Nizhny Novgorod, Russia.

McNaull, James and Augusto, Juan Carlos and Mulvenna, Maurice and McCullagh, Paul (2012) Ambient assisted living systems and technologies: a data and information quality perspective. ACM Transactions on Data and Information Quality, 4 (1). pp. 1-15. ISSN 1936-1955

Novati, Maria Maddalena and Dack, John, eds. (2012) The Studio Di Fonologia: a musical journey 1954-1983, update 2008-2012. Ricordi, Milan, Italy. ISBN 9788875929183

Rodgers, Peter and Zhang, Leishi and Purchase, Helen (2012) Wellformedness properties in Euler diagrams: which should be used? IEEE Transactions on Visualization and Computer Graphics, 18 (7). pp. 1089-1100. ISSN 1077-2626

Sahoo, Sudhakar and Albrecht, Andreas A. (2012) Approximating the set of local minima in partial RNA folding landscapes. Bioinformatics, 28 (4). pp. 523-530. ISSN 1367-4803

Sakellari, Georgia (2012) Using energy criteria to admit flows in a wired network. In: 27th International Symposium on Computer and Information Sciences.

Saleeb, Noha and Dafoulas, George (2012) Effects of virtual world environments in student satisfaction: an examination of the role of architecture in 3D education. International Journal of Knowledge Society Research (IJKSR), 2 (1). pp. 28-48. ISSN 1947-8429

Saleeb, Noha and Dafoulas, George (2012) Assistive technologies and environmental design concepts for blended learning and teaching for disabilities within 3D virtual worlds and learning environments. In: Blended learning environments for adults: evaluations and frameworks. Anastasiades, Panagiotes S., ed. IGI Global. ISBN 9781466609396

Saleeb, Noha and Dafoulas, George (2012) Architectural evolution of e-learning virtual worlds: proposed design measures to enhance the e-learning experience within 3D learning spaces. In: Engaging the avatar: new frontiers in immersive education. Hinrichs, Randy and Wankel, Charles, eds. Emerald. ISBN 9781617357510

Silva, Dilshan and Ghanem, Moustafa and Guo, Yike (2012) WikiSensing: an online collaborative approach for sensor data management. Sensors, 12 (12). pp. 13295-13332. ISSN 1424-8220

Smith, Serengul and Edwards, J. Adam (2012) Embedding information literacy skills as employability attributes. In: LILAC 2012, 11-13 Apr 2012, Glasgow, Scotland.

Smith, Serengul and Edwards, J. Adam (2012) Embedding information literacy skills as employability attributes. ALISS Quarterly, 7 (4). pp. 22-27. ISSN 1747-9258

Testa, Alessandro and Coronato, Antonio and Cinque, Marcello and Augusto, Juan Carlos (2012) Static verification of wireless sensor networks with formal methods. In: 8th International Conference on Signal Image Technology and Internet Based Systems (SITIS 2012), 25 - 29 November 2012, Naples, Italy.

Xu, Kai (2012) Biological network visualisation. In: 3rd Annual Visualizing Biological Data Conference (VizBi2012), 6 - 8 March 2012, Heidelberg, Germany.

Xu, Kai and Rooney, Chris and Passmore, Peter J. and Ham, Dong-Han and Nguyen, Phong H. (2012) A user study on curved edges in graph visualization. IEEE Transactions on Visualization and Computer Graphics, 18 (12). 2449 -2456. ISSN 1077-2626

2011

Aceto, Luca and Chen, Taolue and Ingolfsdottir, Anna and Luttik, Bas and Van de Pol, Jaco (2011) On the axiomatizability of priority II. Theoretical Computer Science, 412 (28). pp. 3035-3044. ISSN 0304-3975

Androutsopoulos, Kelly and Binkley, David and Clark, David and Gold, Nicolas and Harman, Mark and Lano, Kevin and Li, Zheng (2011) Model projection: simplifying models in response to restricting the environment. In: Proceedings of the 33rd International Conference on Software Engineering - ICSE '11. ACM, pp. 291-300. ISBN 9781450304450

Androutsopoulos, Kelly and Binkley, David and Clark, David and Gold, Nicolas and Harman, Mark and Lano, Kevin and Li, Zheng (2011) Model projection: simplifying models in response to restricting the environment. In: Proceedings of the 33rd International Conference on Software Engineering, ICSE 2011, 21-28 May 2011, Waikiki, Honolulu, HI, USA.

Attfield, Simon and Blandford, Ann (2011) Making sense of digital footprints in team-based legal investigations: the acquisition of focus. Human Computer Interaction, 26 (1-2). pp. 38-71. ISSN 0737-0024

Attfield, Simon and Kazai, Gabriella and Lalmas, Mounia and Piwowarski, Benjamin (2011) Towards a science of user engagement. In: UMWA 2011: Workshop on User Modelling for Web Applications, 09-12 Feb 2011, Hong Kong, China.

Attfield, Simon and Pagnacco, Francesca and Benedyk, Rachel (2011) When enough is enough: time-restricted sensemaking in underground railway control. In: 10th International Conference on Naturalistic Decision Making, 31 May - 3 Jun 2011, Orlando, FL, USA.

Augusto, Juan Carlos and McCullagh, Paul J. and Augusto-Walkden, Julie-Ann (2011) Living without a safety net in an Intelligent Environment. ICST Transactions on Ambient Systems, 11 (10-12). ISSN 2032-927X

Barn, Balbir and Clark, Tony (2011) Re-thinking software engineering approaches: a critical reflection on theory building. In: ICSOFT 2011 - Proceedings of the 6th International Conference on Software and Data Technologies, Seville, Spain, 18-21 July, 2011. Cuaresma, María José Escalona and Shishkov, Boris and Cordeiro, José, eds. SciTePress, pp. 59-64. ISBN 9789898425768

Barn, Balbir and Clark, Tony (2011) Revisiting Naur's programming as theory building for Enterprise Architecture modelling. In: Advanced information systems engineering: 23rd International Conference, CAiSE 2011, London, UK, June 20-24, 2011: proceedings. Mouratidis, Haralambos and Rolland, Colette, eds. Lecture Notes in Computer Science (6741). Springer, pp. 229-236. ISBN 9783642216398

Barn, Balbir and Clark, Tony (2011) Revisiting Naur’s programming as theory building for enterprise architecture modelling. In: Advanced information systems engineering: 23rd International Conference, CAiSE 2011, London, UK, June 20-24, 2011. Proceedings. Mouratidis, Haralambos and Rolland, Colette, eds. Lecture Notes in Computer Science (6741). Springer, pp. 229-236. ISBN 9783642216398

Belavkin, Roman V. (2011) Mutation and optimal search of sequences in nested Hamming spaces. In: Proceedings of the Information Theory Workshop (ITW), 2011. IEEE, pp. 90-94. ISBN 9781457704383

Belavkin, Roman V. (2011) On evolution of an information dynamic system and its generating operator. Optimization Letters, 6 (5). pp. 827-840. ISSN 1862-4472

Belavkin, Roman V. and Channon, Alastair and Aston, Elizabeth and Aston, John and Knight, Christopher (2011) Theory and practice of optimal mutation rate control in Hamming spaces of DNA sequences. In: Advances in artificial life, ECAL 2011: proceedings of the Eleventh European Conference on the Synthesis and Simulation of Living Systems. Lenaerts, Tom and Giacobini, Mario and Bersini, Hugues and Bourgine, Paul and Dorigo, Marco and Doursat, René, eds. MIT Press, pp. 85-92. ISBN 9780262297141

Belavkin, Roman V. and Huyck, Christian R. (2011) Conflict resolution and learning probability matching in a neural cell-assembly architecture. Cognitive Systems Research, 12 (2). pp. 93-101. ISSN 1389-0417

Boender, Jaap (2011) Efficient computation of dominance in component systems (short paper). In: Software engineering and formal methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings. Lecture Notes in Computer Science (7041). Springer, Berlin and Heidelberg, Germany, pp. 399-406. ISBN 9783642246890

Bornat, Richard and Amjad, Hasan (2011) Explanation of two non-blocking shared-variable communication algorithms. Formal Aspects of Computing . ISSN 0934-5043

Channon, Alastair and Aston, Elizabeth and Day, Charles and Belavkin, Roman V. and Knight, Christopher (2011) Critical mutation rate has an exponential dependence on population size. In: Advances in Artificial Life, ECAL 2011. Proceedings of the Eleventh European Conference on the Synthesis and Simulation of Living Systems. Lenaerts, Tom and Giacobini, Maria and Bersini, Hugues and Bourgine, Paul and Dorigo, Marco and Doursat, René, eds. MIT Press, pp. 117-124. ISBN 9780262297141

Chen, Taolue and Han, Tingting and Katoen, Joost-Pieter and Mereacre, Alexandru and Jagadeesan, Radha (2011) Model checking of continuous-time Markov chains against timed automata specifications. Logical Methods in Computer Science, 7 (1). ISSN 1860-5974

Choudhury, Sharmin (Tinni) (2011) A proposal on leveraging workflow technology for building process aware visual analytics system. In: The Third International UKVAC Workshop on Visual Analytics (VAW 2011), 07-08 Sep 2011, London, UK.

Choudhury, Sharmin (Tinni) and Brierley, Claire and Rooney, Chris and Xu, Kai and Chen, Raymond and Wong, B. L. William and Atwell, Eric (2011) Middlesex University’s Invisque visual analytics tool: supported by text analytics techniques from the University of Leeds. In: IEEE VAST Challenge 2011, 23-28 Oct 2011, Providence, Rhode Island, USA.

Clark, Tony and Barn, Balbir (2011) Event driven architecture modelling and simulation. In: Proceedings of 2011 IEEE 6th International Symposium on Service Oriented System (SOSE). IEEE, pp. 43-54. ISBN 9781467304115

Clark, Tony and Barn, Balbir (2011) Event driven architecture modelling and simulation. In: Service Oriented System Engineering (SOSE), 2011 IEEE 6th International Symposium on. IEEE, pp. 43-54. ISBN 9781467304115

Clark, Tony and Barn, Balbir (2011) Modeling as theory building: addressing knowledge management problems in system engineering. SETLabs Briefings .

Clark, Tony and Barn, Balbir and Oussena, Samia (2011) LEAP: a precise lightweight framework for enterprise architecture. In: ISEC '11 proceedings of the 4th India Software Engineering Conference. Association for Computing Machinery. ISBN 9781450305594

Dafoulas, George and Barn, Balbir and Abeysinghe, Geetha and Zheng, Yong (2011) Programme design, accreditation and APEL/APCL support tools. In: UK Academy for Information Systems 16th Annual International Conference.

Dafoulas, George and Barn, Balbir and Abeysinghe, Geetha and Zheng, Yongjun (2011) Middlesex University skills and education planning tool. In: JISC eLearning Experts Meeting.

Dantchev, Stefan and Martin, Barnaby and Szeider, Stefan (2011) Parameterized proof complexity. Computational Complexity, 20 (1). pp. 51-85. ISSN 1016-3328

Field, Joris and Rankin, Amy and Van der Pal, Jelke and Eriksson, Henrik and Wong, B. L. William (2011) Variable uncertainty: scenario design for training adaptive and flexible skills. In: Proceedings of the 29th Annual European Conference on Cognitive Ergonomics - ECCE '11. ACM, New York, pp. 27-34. ISBN 9781450310291

Fischer-Hübner, S. and Duquenoy, Penny and Hansen, M. and Leenes, R. and Zhang, G. (2011) Privacy and identity management for life. IFIP Advances in Information and Communication Technology, 352 . Springer. ISBN 9783642207686

Gao, Xiaohong W. (2011) The anatomy of tele-neurosurgery in China. International Journal of Telemedicine and Applications, 2011 . ISSN 1687-6415

Gao, Xiaohong W. (2011) The anatomy of teleneurosurgery in China. International Journal of Telemedicine and Applications, 2011 . pp. 1-12. ISSN 1687-6415

Gao, Xiaohong W. and Qian, Yu and Hui, Rui (2011) The state of the art of medical imaging technology: from creation to archive and back. The Open Medical Informatics Journal, 5 (1-M8). pp. 73-85. ISSN 1874-4311

Gorogiannis, Nikos and Hunter, Anthony (2011) Instantiating abstract argumentation with classical logic arguments: postulates and properties. Artificial Intelligence, 175 (9-10). pp. 1479-1497. ISSN 0004-3702

Guo, Weiwei and Kotsia, Irene and Patras, Ioannis (2011) Higher order support tensor regression for head pose estimation. In: 12th International Workshop on Image Analysis for Multimedia Interactive Services (WIAMIS 2011), 13 - 15 April, 2011, Delft, The Netherlands.

Harris, Ian and Jennings, Richard C. and Pullinger, David and Rogerson, Simon and Duquenoy, Penny (2011) Ethical assessment of new technologies: a meta-methodology. Journal of Information, Communication & Ethics in Society, 9 (1). pp. 49-64. ISSN 1477-996X

Keith, Suzette and Whitney, Gill (2011) Mainstreaming accessibility? Multidisciplinary problems or technical solutions. International Journal of Knowledge and Web Intelligence, 2 (1). pp. 53-63. ISSN 1755-8255

Kocurova, Anna and Oussena, Samia and Komisarczuk, Peter and Clark, Tony and Kramer, Dean (2011) Towards improved distributed collaborative workflow management for mobile devices. In: First International Symposium on Data-Driven Process Discovery and Analysis (SIMPDA 2011), June 29 – July 1, 2011, Campione D’Italia, Italy.

Koh, Wee Lit and Zhou, Suiping (2011) Modeling and simulation of pedestrian behaviors in crowded places. ACM Transactions on Modeling and Computer Simulation, 21 (3). pp. 1-23. ISSN 1049-3301

Kotsia, Irene and Argyriou, Vasileios (2011) Action spotting exploiting the frequency domain. In: IEEE Computer Society Conference on Computer Vision and Pattern Recognition Workshops (CVPRW 2011), 20 - 25 June 2011, Colorado Springs, USA.

Kotsia, Irene and Patras, Ioannis (2011) Support tucker machines. In: IEEE Conference on Computer Vision and Pattern Recognition (CVPR 2011), 20 - 25 June 2011, Providence, RI.

Kramer, Dean and Clark, Tony and Oussena, Samia (2011) Platform independent, higher-order, statically checked mobile applications. International Journal of Design, Analysis and Tools for Circuits and Systems, 2 (1). pp. 14-29. ISSN 2071-2987

Kramer, Dean and Kocurova, Anna and Oussena, Samia and Clark, Tony and Komisarczuk, Peter (2011) An extensible, self contained, layered approach to context acquisition. In: M-MPAC '11: Proceedings of the Third International Workshop on Middleware for Pervasive Mobile and Embedded Computing. ACM, New York, NY, USA, 6:1-6:7. ISBN 9781450310659

Kumar, B.G.Vijay and Kotsia, Irene and Patras, Ioannis (2011) Max-margin semi-NMF. In: The 22nd British Machine Vision Conference (BMVC 2011), 29 August - 2 September 2011, University of Dundee.

Li, Simone and Xu, Kai and Wilkins, Marc R. (2011) Visualisation and analysis of the complexome network of Saccharomyces cerevisiae. Journal of Proteome Research, 10 (10). pp. 4744-4756. ISSN 1535-3893

Li, Simone S. and Xu, Kai and Wilkins, Marc R. (2011) Visualization and analysis of the complexome network of saccharomyces cerevisiae. Journal of Proteome Research, 10 (10). pp. 4744-4756. ISSN 1535-3893

Loomes, Martin J. and Dafoulas, George and Saleeb, Noha (2011) Pulling the physical and virtual environment into the blend. UNSPECIFIED.

Ma, Yajie and Guo, Yike and Tian, Xiangchuan and Ghanem, Moustafa (2011) Distributed clustering-based aggregation algorithm for spatial correlated sensor networks. IEEE Sensors Journal, 11 (3). pp. 641-648. ISSN 1530-437X

Madelaine, Florent and Martin, Barnaby (2011) A tetrachotomy for positive first-order logic without equality. In: Logic in Computer Science (LICS), 2011 26th Annual IEEE Symposium on. IEEE, pp. 311-320. ISBN 9781457704512

Makri, Stephann and Blandford, Ann and Cox, Anna L. and Attfield, Simon and Warwick, Claire (2011) Evaluating the information behaviour methods: formative evaluations of two methods for assessing the functionality and usability of electronic information resources. International Journal of Human-Computer Studies, 69 (7-8). pp. 455-482. ISSN 1071-5819

Martin, Barnaby (2011) Low-level dichotomy for quantified constraint satisfaction problems. Information Processing Letters, 111 (20). pp. 999-1003. ISSN 0020-0190

Martin, Barnaby (2011) QCSP on partially reflexive forests. In: The 17th International Conference on Principles and Practice of Constraint Programming (CP 2011), 12-16 September 2011, Perugia, Italy.

Martin, Barnaby and Paulusma, Daniël (2011) The computational complexity of disconnected cut and 2K2-partition. In: The 17th International Conference on Principles and Practice of Constraint Programming (CP 2011), 12-16 Sep 2011, Perugia, Italy.

Mitchell, Ian (2011) A framework for digital investigations: a case study using BPB modifications. In: 6th International Annual Workshop on Digital Forensics and Incident Analysis (WDFIA 2011), July 2011, Kingston University, London.

Mulvenna, Maurice and Carswell, William and McCullagh, Paul and Augusto, Juan Carlos and Zheng, Huiru and Jeffers, Paul and Wang, Haiying and Martin, Suzanne (2011) Visualization of data for ambient assisted living services. IEEE Communications Magazine, 49 (1). pp. 110-117. ISSN 0163-6804

Muñoz, Andrés and Augusto, Juan Carlos and Villa, Ana and Botía, Juan Antonio (2011) Design and evaluation of an ambient assisted living system based on an argumentative multi-agent system. Personal and Ubiquitous Computing, 15 (4). pp. 377-387. ISSN 1617-4909

Nuhn, Ralf and Colle, Cecile (2011) ParaSites: new propositions. In: Music and Sonic Art: practices and theories. Lasker, George and Dack, John and Dogantan-Dack, Mine, eds. The International Institute for Advanced Studies in Systems Research and Cybernetics, Ontario, pp. 11-15. ISBN 9781897233511

Oussena, Samia and Hyensook, Kim and Clark, Tony (2011) Exploiting student intervention system using data mining. In: IMMM 2011, The First International Conference on Advances in Information Mining and Management, 23-29 October 2011, Barcelona, Spain.

Qian, Yu and Gao, Xiaohong W. and Loomes, Martin J. and Comley, Richard A. and Barn, Balbir and Hui, Rui and Tian, Zenmin (2011) Content-based petrieval of 3D medical images. In: eTELEMED 2011, The Third International Conference on eHealth, Telemedicine, and Social Medicine. Gemert-Pijnen, Lisette Van and Ossebaard, Hans C. and Hämäläinen, Päivi, eds. IARIA, pp. 7-12. ISBN 9781612081199

Roda, Fabio and Liberti, Leo and Raimondi, Franco (2011) Evaluation of collaborative filtering algorithms using a small dataset. In: WEBIST 2011, http://www.webist.org/WEBIST2011/.

Saleeb, Noha and Dafoulas, George (2011) Affordances and constraints to e-learning: role of architecture in 3D learning space digital design. International Journal for Digital Society, 2 (2). pp. 478-488. ISSN 2040-2570

Saleeb, Noha and Dafoulas, George (2011) 3D assistive technologies for collaboration, blended learning & teaching for users with disabilities. In: Assistive and Augmentive Communication for the Disabled: Intelligent Technologies for Communication, Learning and Teaching. Lau, B., ed. IGI Global, USA.

Serce, Fatma Cemile and Swigger, Kathleen and Alpaslan, Ferda Nur and Brazile, Robert and Dafoulas, George and Lopez, Victor (2011) Online collaboration: collaborative behavior patterns and factors affecting globally distributed team performance. Computers in Human Behavior, 27 (1). pp. 490-503. ISSN 0747-5632

Serce, Fatma Cemile and Swigger, Kathleen M. and Alpaslan, Ferda Nur and Brazile, Robert and Dafoulas, George and Lopez, Victor (2011) Exploring the communication behavior among global software development learners. International Journal of Computer Applications in Technology, 40 (3). pp. 203-215. ISSN 0952-8091

Sheikh, Javed Anjum and Fields, Bob and Duncker, Elke (2011) The cultural integration of knowledge management into interactive design. Lecture Notes in Computer Science, 6771 . pp. 48-57. ISSN 0302-9743

Stapleton, Gem and Rodgers, Peter and Howse, John and Zhang, Leishi (2011) Inductively generating Euler diagrams. IEEE Transactions on Visualization and Computer Graphics, 17 (1). pp. 88-100. ISSN 1077-2626

Stapleton, Gem and Zhang, Leishi and Howse, John and Rodgers, Peter (2011) Drawing Euler diagrams with circles: the theory of piercings. IEEE Transactions on Visualization and Computer Graphics, 17 (7). pp. 1020-1032. ISSN 1077-2626

Volpe, Isabel and Moreira, Viviane and Huyck, Christian R. (2011) Cell assemblies for query expansion in information retrieval. In: The 2011 International Joint Conference on Neural Networks (IJCNN 2011 - San Jose). Institute of Electrical and Electronics Engineers ( IEEE ), pp. 551-558. ISBN 9781424496358

Whitehouse, Diane and Duquenoy, Penny (2011) eHealth and ethics: theory, teaching, and practice. In: Information and communication technologies, society and human beings: theory and framework (festschrift in honor of Gunilla Bradley). Haftor, Darek and Mirijamdotter, Anita, eds. IGI Global, Hershey, PA, pp. 454-465. ISBN 9781609600570

Whitehouse, Diane and George, Carlisle and Duquenoy, Penny (2011) eHealth: legal, ethical and governance challenges: an overview. In: Med-e-Tel 2011, 6-8 April 2011, Luxembourg.

Whitney, Gill and Keith, Suzette and Bühler, Christian and Hewer, Sue and Lhotska, Lenka and Miesenberger, Klaus and Sandnes, Frode Eika and Stephanidis, Constantine and Velasco, Carlos A. (2011) Twenty five years of training and education in ICT Design for All and Assistive Technology. Technology and Disability, 23 (3). pp. 163-170. ISSN 1055-4181

Whittle, Jon and Clark, Tony and Kuhne, Thomas, eds. (2011) Model Driven Engineering Languages and Systems. 14th International Conference, MODELS 2011, Wellington, New Zealand, October 16-21, 2011. Proceedings. Lecture Notes in Computer Science, 6981 . Springer. ISBN 9783642244841

Wong, B. L. William and Chen, Raymond and Kodagoda, Neesha and Rooney, Chris and Xu, Kai (2011) INVISQUE: Intuitive information exploration through interactive visualization. In: The ACM CHI Conference on Human Factors in Computing Systems, 7-12 May, 2011, Vancouver, BC, Canada.

Wong, B. L. William and Choudhury, Sharmin (Tinni) (2011) Tactile reasoning and adaptive architecture for intelligence sense-making. In: Symposium on "Emerged/Emerging "Disruptive" Technologies (E2DT)", 09-10 May 2011, Madrid, Spain.

Wong, B. L. William and Choudhury, Sharmin (Tinni) and Rooney, Chris and Chen, Raymond and Xu, Kai (2011) INVISQUE: Technology and methodologies for interactive information visualization and analytics in large library collections. In: Research and advanced technology for digital libraries. Gradmann, Stefan and Borri, Francesca and Meghini, Carlo and Schuldt, Heiko, eds. Lecture Notes in Computer Science (6966). Springer. ISBN 9783642244681

Wong, B. L. William and Xu, Kai and Attfield, Simon (2011) Provenance for intelligence analysis using visual analytics. In: CHI 2011: Workshop on Analytic Provenance, 07-08 May 2011, Vancouver, BC, Canada.

Wong, B. L. William and Xu, Kai and Holzinger, Andreas (2011) Interactive visualization for information analysis in medical diagnosis. In: Workshop on Human-Computer Interaction & Knowledge Discovery and Data Mining (HCI-KDD), 24 November 2011, Graz, Austria.

Xu, Kai and Yu, Qi and Liu, Qing and Zhang, Ji and Bouguettaya, Athman (2011) Web service management system for bioinformatics research: a case study. Service Oriented Computing and Applications, 5 (1). pp. 1-15. ISSN 1863-2386

Zayouna, Ammar and Comley, Richard A. and Shi, Daming (2011) Local-global optical flow for image registration agents. In: iUBICOM ’11: The 6th International Workshop on Ubiquitous and Collaborative Computing, 4 July 2011, Northumbria University, Newcastle.

Zheng, Liying and Shi, Daming (2011) Advanced Radon transform using generalized interpolated Fourier method for straight line detection. Computer Vision and Image Understanding, 115 (2). pp. 152-160. ISSN 1077-3142

Zheng, Liying and Shi, Daming (2011) Suppressing the cross terms of the Wigner Distribution with an adaptive frequency smoothing window. In: Proceedings of the 2011 International Conference on Image Processing, Computer Vision and Pattern Recognition. Arabnia, Hamid R. and Deligiannidis, Leonidas and Schaefer, Gerald, eds. CSREA Press, pp. 881-886. ISBN 1601321899

von Rhein, Alexander and Apel, Sven and Raimondi, Franco (2011) Introducing Binary Decision Diagrams in the explicit-state verification of Java code. In: The Java Pathfinder Workshop (co-located with ASE 2011), 12 Nov 2011, Oread, Lawrence, Kansas.

2010

Albrecht, Andreas A. and Chashkin, Alexander V. and Iliopoulos, Costas S. and Kasim-Zade, Oktay M. and Lappas, Georgios and Steinhofel, Kathleen K. (2010) A note on a priori estimations of classification circuit complexity. Fundamenta Informaticae, 104 (3). pp. 201-217. ISSN 0169-2968

Albrecht, Andreas A. and Kapsokalivas, L. and Steinhofel, K. (2010) Uphill unfolding of native protein conformations in cubic lattices. Journal of Computational Science, 1 (1). pp. 6-12. ISSN 1877-7503

Albrecht, Andreas A. and Lane, P.C.R. and Steinhofel, K. (2010) Analysis of local search landscapes for k-SAT instances. Mathematics in Computer Science, 3 (4). pp. 465-488. ISSN 1661-8270

Amtoft, Torben and Androutsopoulos, Kelly and Clark, David and Harman, Mark and Li, Zheng (2010) An alternative characterization of weak order dependence. Information Processing Letters, 110 (21). pp. 939-943. ISSN 0020-0190

Attfield, Simon and Blandford, Ann (2010) Conceptual misfits in email-based current awareness interaction. Journal of Documentation, 67 (1). pp. 33-55. ISSN 0022-0418

Attfield, Simon and Blandford, Ann (2010) Discovery-led refinement in e-discovery investigations: sensemaking, cognitive ergonomics and system design. Artificial Intelligence and Law, 18 (4). pp. 387-412. ISSN 0924-8463

Attfield, Simon and Blandford, Ann and Makri, Stephann (2010) Social and interactional practices for disseminating current awareness information in an organisational setting. Information Processing and Management, 46 (6). pp. 632-645. ISSN 0306-4573

Attfield, Simon and Hara, Sukhvinder and Wong, B. L. William (2010) Sense-making in visual analytics: processes and challenges. In: EuroVAST 2010: The 1st European Symposium on Visual Analytics Science and Technology., 08 Jun 2010, Bordeaux, France.

Bardill, Andrew and Griffiths, Wyn and Jones, Sara and Fields, Bob (2010) Design tribes and information spaces for creative conversations. In: The 12th International Conference on Engineering and Product Design Education, 2-3 September, 2010, Trondheim, Norway.

Barn, Balbir and Clark, Tony (2010) A domain specific language for contextual design. Lecture Notes in Computer Science, 6409 (2). pp. 46-61. ISSN 0302-9743

Belavkin, Roman V. (2010) Utility and value of information in cognitive science, biology and quantum theory. In: Quantum bio-informatics III: from quantum information to bio-informatics. Accardi, Luigi and Freudenberg, Wolfgang and Ohya, Masanori, eds. QP-PQ: Quantum Probability and White Noise Analysis (26). World Scientific, London. ISBN 9789814304054

Belavkin, Roman V. (2010) Information trajectory of optimal learning. In: Dynamics of information systems: theory and applications. Hirsch, Michael J. and Pardalos, Panos M. and Murphey, Robert, eds. Springer Optimization and Its Applications (40). Springer, pp. 29-44. ISBN 9781441956880

Bettin, Jorn and Clark, Tony (2010) Advanced modelling made simple with the Gmodel metalanguage. In: MDI '10 Proceedings of the First International Workshop on Model-Driven Interoperability. ACM. ISBN 9781450302920

Blandford, Ann and Attfield, Simon (2010) Interacting with Information. Synthesis Lectures on Human-Centered Informatics, 3 (1). pp. 1-99. ISSN 1946-7680

Bodirsky, Manuel and Dalmau, Victor and Martin, Barnaby and Pinsker, Michael (2010) Distance constraint satisfaction problems. In: 35th International Symposium on Mathematical Foundations of Computer Science (MFCS 2010), 23-27 August 2010, Brno, Czech Republic.

Bodirsky, Manuel and Hils, Martin and Martin, Barnaby (2010) On the scope of the universal-algebraic approach to constraint satisfaction. In: Logic in Computer Science (LICS), 2010 25th Annual IEEE Symposium on. Institute of Electrical and Electronics Engineers, pp. 90-99. ISBN 9781424475889

Bornat, Richard and Amjad, Hasan (2010) Inter-process buffers in separation logic with rely-guarantee. Formal Aspects of Computing, 22 (6). pp. 735-772. ISSN 0934-5043

Bornat, Richard (2010) Separation logic and concurrency. In: Formal Methods: State of the Art and New Directions. Boca, Paul and Bowen, Jonathan P. and Siddiqi, Jawed, eds. Springer-Verlag, London, pp. 217-248. ISBN 9781848827356

Byrne, Emma and Huyck, Christian R. (2010) Processing with cell assemblies. Neurocomputing, 74 (1-3). pp. 76-83. ISSN 0925-2312

Clark, Tony (2010) Stories about calculations: remembering Peter Landin. Higher-Order and Symbolic Computation, 22 (4). pp. 331-332. ISSN 1388-3690

Clark, Tony and Tratt, Laurence (2010) Formalizing homogeneous language embeddings. Electronic Notes in Theoretical Computer Science, 253 (7). pp. 75-88. ISSN 1571-0661

Cunningham, Andrew and Xu, Kai and Thomas, Bruce (2010) Seeing more than the graph: evaluation of multivariate graph visualization methods. In: AVI '10 Proceedings of the International Conference on Advanced Visual Interfaces. Santucci, Giuseppe, ed. ACM, p. 429. ISBN 9781450300766

Curcin, Vasa and Ghanem, Moustafa and Guo, Yike (2010) The design and implementation of a workflow analysis tool. Philosophical Transactions of the Royal Society of London. A: Mathematical and Physical Sciences, 368 (1926). pp. 4193-4208. ISSN 1364-503X

Dack, John (2010) La musique électro-acoustique 'mixte'. In: Une étude des interactions entre le ‘réel’ et le ‘virtuel’. MINT-OMF Université Paris-Sorbonne, Paris. (Accepted/In press)

Dack, John (2010) From sound to music: from recording to theory. In: Recorded music: performance, culture and technology. Bayley, Amanda, ed. Cambridge University Press, Cambridge, pp. 271-290. ISBN 9780521863094

Dafoulas, George (2010) Global software development learning teams. In: Middlesex University Spring Conference.

Dafoulas, George and Barn, Balbir and Abeysinghe, Geetha and Zheng, Yongjun (2010) Lifelong learning and workforce development design – towards a new generation of educational planning tools. In: Proceedings of the Annual International Conference on Education and New Learning Technologies (EDULEARN2010).

Dafoulas, George and Barn, Balbir and Abeysinghe, Geetha and Zheng, Yongjun and Swigger, Kathleen and Brazile, Robert and Alpaslan, Ferda Nur and Serce, Fatma Cemile and Lopez, Victor (2010) Using learning management systems as support mechanisms for formative feedback – the case of lifelong learning. In: EDULEARN10 Proceedings. International Association of Technology, Education and Development (IATED), pp. 2614-2622. ISBN 9788461393862

Dafoulas, George and Saleeb, Noha (2010) Effects of social networking in academic literacy: myths and truths. In: 10th Annual Conference for Learning and Teaching 2010.

Dafoulas, George and Saleeb, Noha and Loomes, Martin J. (2010) Assistive technologies and advantageous themes for collaboration, learning & teaching within virtual worlds and virtual learning environments. In: Proceedings of the Higher Education Academy Annual Conference.

Dantchev, Stefan and Martin, Barnaby (2010) The limits of tractability in resolution-based propositional proof systems. In: 6th International Conference on Computability in Europe: Programs, Proofs, Processes (CIE 2010), 30 June - 4 July 2010, Portugal.

Di Cosmo, Roberto and Boender, Jaap (2010) Using strong conflicts to detect quality issues in component-based complex systems. In: ISEC '10 Proceedings of the 3rd India software engineering conference. ISEC '10 . ACM, New York, pp. 163-172. ISBN 9781605589220

Fields, Bob and Bardill, Andrew and Jones, Sara (2010) Conversational spaces for learning and designing. In: CHI2010 Workshop on New Generation of HCI and Education, 10-15 Apr 2010, Atlanta, GA, USA.

Gao, Junbin and Kwan, Paul W. and Shi, Daming (2010) Sparse kernel learning with LASSO and Bayesian inference algorithm. Neural Networks, 23 (2). pp. 257-264. ISSN 0893-6080

Gorogiannis, Nikos and Hirsch, Robin (2010) The complexity of the warranted formula problem in propositional argumentation. Journal of Logic and Computation, 20 (2). pp. 481-499. ISSN 0955-792X

Huyck, Christian R. (2010) Dialogue based interfaces for universal access. Universal access in the Information Society . ISSN 1615-5289

Hyensook, Kim and Oussena, Samia and Zhang, Ying and Clark, Tony (2010) Automatic generation of data merging program codes. In: ICSOFT 2010 - Proceedings of the Fifth International Conference on Software and Data Technologies, Athens, Greece, July 22-24, 2010. SciTePress, pp. 179-186. ISBN 9789898425232

Kodagoda, Neesha and Wong, B. L. William and Khan, Nawaz (2010) Information seeking behaviour model as a theoretical lens: high and low literate users behaviour process analysed. In: ECCE '10: Proceedings of the 28th Annual European Conference on Cognitive Ergonomics. ACM, pp. 117-124. ISBN 9781605589466

Kodagoda, Neesha and Wong, B. L. William and Khan, Nawaz (2010) Open-­card sort to explain why low-literate users abandon their web searches early. In: BCS'10: Proceedings of the 24th BCS Interaction Specialist Group Conference. British Computer Society, pp. 433-442. ISBN 9781780171302

Kotsia, Irene and Patras, Ioannis (2010) Multiplicative update rules for Multilinear Support Tensor Machines. In: 20th International Conference on Pattern Recognition (ICPR 2010), 23 - 26 August 2010, Istanbul, Turkey.

Kotsia, Irene and Patras, Ioannis (2010) Relative Margin Support Tensor Machines for gait and action recognition. In: ACM International Conference on Image and Video Retrieval (CIVR 10), 5 - 7 July 2010, Xidian, China.

Kramer, Dean and Clark, Tony and Ousena, Samia (2010) MobDSL: a domain specific language for multiple mobile platform deployment. In: Networked Embedded Systems for Enterprise Applications (NESEA), 2010 IEEE International Conference. IEEE. ISBN 9781424491780

Li, Simone and Xu, Kai and Wilkins, Marc (2010) Visualisation of the complexome. In: Human Proteome Organisation 9th Annual World Congress, I9th-23rd September 2010., Sydney Convention and Exhibition centre.

Martin, Barnaby (2010) The lattice structure of sets of surjective hyper-operations. In: Principles and practice of constraint programming – CP 2010. Lecture Notes in Computer Science (6308). Springer-Verlag, pp. 368-382. ISBN 9783642153952

Martin, Barnaby and Martin, Jos (2010) The complexity of positive first-order logic without equality II: the four-element case. In: 24th International Workshop (CSL 2010), 19th Annual Conference of the EACSL, 23-27 August 2010, Brno, Czech Republic.

Mitchell, Ian and Passmore, Peter J. and Xu, Kai (2010) Genetic sequences: tracing the mutations of a disease. In: IEEE VAST Symposium 2010 Challenge, 24 - 29th October, 2010, Salt Lake City, Utah, USA.

Nadh, Kailash and Huyck, Christian R. (2010) A Pong playing agent modelled with massively overlapping cell assemblies. Neurocomputing, 73 (16-18). pp. 2928-2934. ISSN 0925-2312

Passmore, Peter J. and Zheng, Yongjun and Rooney, Chris and Al-Sheikh, Tamara and Xu, Kai (2010) Hospitalization records: characterization of pandemic spread. In: IEEE VAST Symposium 2010 Challenge, 24 - 29th October, 2010, Salt Lake City, Utah, USA.

Poh, Norman and Windridge, David and Mottl, Vadim and Tatarchuk, Alexander and Eliseyev, Andrey (2010) Addressing missing values in kernel-based multimodal biometric fusion using neutral point substitution. IEEE Transactions on Information Forensics and Security, 5 (3). pp. 461-469. ISSN 1556-6013

Rick, Jochen and Francois, Phyllis and Fields, Bob and Fleck, Rowanne and Yuill, Nicola and Carr, Amanda (2010) Lo-fi prototyping to design interactive-tabletop applications for children. In: IDC '10 Proceedings of the 9th International Conference on Interaction Design and Children; ACM New York. IDC '10 . ACM, New York, NY, USA, pp. 138-146. ISBN 9781605589510

Rodgers, Peter and Stapleton, Gem and Howse, John and Zhang, Leishi (2010) Euler graph transformations for Euler diagram layout. In: 2010 IEEE Symposium on Visual Languages and Human-Centric Computing. Institute of Electrical and Electronics Engineers ( IEEE ), pp. 111-118. ISBN 9781424484850

Sahoo, Sudhakar and Albrecht, Andreas A. (2010) Ranking of microRNA target prediction scores by Pareto front analysis. Computational Biology and Chemistry, 34 (5-6). pp. 284-292. ISSN 1476-9271

Saleeb, Noha and Dafoulas, George (2010) Analogy between Impact of architectural design characteristics of learning spaces on learners in the physical world and 3D virtual world. In: 3rd Annual Conference on Virtual Worlds Best Practices in Education (VWBPE 2010) workshop.

Saleeb, Noha and Dafoulas, George (2010) Analogy between impact of architectural design characteristics of learning spaces on learners in the physical world and 3D virtual world. Journal of Virtual Studies, 1 (1). pp. 72-89.

Saleeb, Noha and Dafoulas, George (2010) Analogy between student perception of educational space dimensions and size perspective in 3D virtual worlds versus physical world. International Journal of Engineering (IJE), 4 (3). pp. 210-218. ISSN 1985-2312

Saleeb, Noha and Dafoulas, George (2010) Architectural propositions for enhancement of learning spaces within 3D Virtual Learning Environments. In: IEEE International Conference on Information Society (i- Society 2010).

Saleeb, Noha and Dafoulas, George (2010) Assistive technologies and advantageous themes for collaboration, learning & teaching within 3D Virtual Learning Environments. In: Higher Education Academy Annual Conference (2010).

Saleeb, Noha and Dafoulas, George (2010) Effect of student emotion-associations on architectural color design of educational spaces in 3D Virtual Learning Environments. In: 20th International Conference on Computer Theory and Applications, 2010, Egypt.

Saleeb, Noha and Dafoulas, George (2010) Effects of virtual world environments in student satisfaction: an investigation of the role of architecture in 3D education. International Journal of Knowledge Society Research, 2 (1). pp. 28-48. ISSN 1947-8429

Saleeb, Noha and Dafoulas, George (2010) Harnessing 3D applications for technology enhanced learning. In: EduLearn: International Conference on Education and Learning Technologies.

Saleeb, Noha and Dafoulas, George (2010) Investigating student satisfaction from environmental and architectural design elements of 3D educational facilities within 3D virtual worlds. In: 3rd World Summit on the Knowledge Society (WSKS 2010).

Saleeb, Noha and Dafoulas, George (2010) Pedagogical immigration to 3D virtual worlds: a critical review of underlying themes and their concepts. In: IEEE International Conference on Information Society (i-Society 2010).

Saleeb, Noha and Dafoulas, George (2010) Perception of color in 3D Virtual World architectural computer aided design: impact of color design in student satisfaction. In: The 2010 International Conference on Computer Engineering & Systems. IEEE, pp. 207-212. ISBN 9781424470402

Saleeb, Noha and Dafoulas, George (2010) Perception of colour in 3D virtual world architectural computer aided design: impact of colour design in student satisfaction. In: Proceedings of the Sixth International Conference on Computer Engineering & Systems.

Saleeb, Noha and Dafoulas, George (2010) Relationship between students overall satisfaction from 3D virtual learning spaces and their individual design components. International Journal of Computer Science Issues, 7 (4). pp. 1-9. ISSN 1694-0814

Saleeb, Noha and Dafoulas, George (2010) Relationship between students’ overall satisfaction from 3D virtual learning spaces and their individual design components. International Journal of Computer Science Issues (IJCSE), 7 (4). pp. 1-9. ISSN 1694-0814

Saleeb, Noha and Dafoulas, George (2010) Turning immigrants to citizens: merits of the pedagogical shift in 3D Virtual Learning Environments. International Journal for Infonomics (IJI), 3 (4). pp. 369-381. ISSN 1742-4712

Saleeb, Noha and Dafoulas, George (2010) Whose turn to renovate the class today? Analogy between Impact of architectural design characteristics of learning spaces on learners in the physical world and 3D virtual world. In: Proceedings of the 3rd Annual Conference on Virtual Worlds Best Practices in Education (VWBPE 2010).

Saleeb, Noha and Dafoulas, George (2010) Whose turn to renovate the class today? Analogy between impact of architectural design characteristics of learning spaces on learners in the physical world and 3D virtual world. Journal of Virtual Studies, 1 (1). pp. 72-89.

Sama, Michele and Elbaum, Sebastian and Raimondi, Franco and Rosenblum, David S. and Wang, Zhimin (2010) Context-aware adaptive applications: fault patterns and their automated identification. IEEE Transactions on Software Engineering, 36 (5). pp. 644-661. ISSN 0098-5589

Selvaraj, Nallini and Fields, Bob (2010) Developing a framework of common information space (CIS): grounded theory analysis of airport CIS. In: Proceedings of the 16th International Conference on Collaboration and Technology. Lecture Notes on Computer Science (6257). Springer-Verlag, Berlin, Germany, pp. 281-296. ISBN 978-3-642-15713-4

Selvaraj, Nallini and Fields, Bob (2010) Mediation role of boundary objects in articulating common information spaces. In: Workshop held in conjunction with the 9th International Conference on the Designing Cooperative Systems (COOP 2010), 18 - 21 May 2010, Aix-en-Provence, France.

Serce, Fatma Cemile and Alpaslan, Ferda Nur and Swigger, Kathleen and Brazile, Robert and Dafoulas, George and Lopez, Victor (2010) Strategies and guidelines for building effective distributed learning teams in higher education. In: Information Technology Based Higher Education and Training (ITHET), 2010 9th International Conference. IEEE Computer Society, pp. 247-253. ISBN 9781424448104

Serce, Fatma Cemile and Swigger, Kathleen and Alpaslan, Ferda Nur and Brazile, Robert and Dafoulas, George and Lopez, Victor (2010) A study of the communication patterns among global software student teams. Software Process . ISSN 1077-4866 (Accepted/In press)

Shi, Daming and Comley, Richard A. (2010) Towards healthcare based on ubiquitous computing. IEEE Transactions on Systems, Man, and Cybernetics eNewsletter, 33 .

Shi, Daming and Loomes, Martin J. and Nguyen, Minh Nhut (2010) Evolutionary FCMAC-BYY applied to stream data analysis. Lecture Notes in Computer Science, 6457 . pp. 187-194. ISSN 0302-9743

Shi, Daming and Nguyen, Minh Nhut and Zhou, Suiping and Yin, Guisheng (2010) Fuzzy CMAC with incremental Bayesian Ying–Yang learning and dynamic rule construction. IEEE Transactions on Systems, Man and Cybernetics, Part B, 40 (2). pp. 548-552. ISSN 1083-4419

Shi, Daming and Zheng, Liying and Liu, Jigang (2010) Advanced Hough transform using a multilayer fractional Fourier method. IEEE Transactions on Image Processing, 19 (6). pp. 1558-1566. ISSN 1057-7149

Singh, M. and Cheng, Xiaochun and Belavkin, Roman V. (2010) Resource discovery using mobile agents [conference item]. In: Frontier of Computer Science and Technology (FCST), 2010 Fifth International Conference, 18-22 August 2010, Changchun, Jilin Province.

Skene, James and Raimondi, Franco and Emmerich, Wolfgang (2010) Service-level agreements for electronic services. IEEE Transactions on Software Engineering, 36 (2). pp. 288-304. ISSN 0098-5589

Stelmaszewska, Hanna and Wong, B. L. William and Attfield, Simon and Chen, Raymond (2010) Electronic resource discovery systems: from user behaviour to design. In: NordiCHI '10 6th Nordic Conference on Human-Computer Interaction. Hvannberg, Ebba and Larusdottir, Marta and Blandford, Ann and Gulliksen, Jan, eds. ACM, pp. 483-492. ISBN 9781605589343

Stelmaszewska, Hanna and Wong, B. L. William and Bhimani, Nazlin and Barn, Balbir (2010) User behaviour: searching for scholarly material using electronic resource discovery systems. In: BCS '10 Proceedings of the 24th BCS Interaction Specialist Group Conference. British Computer Society, pp. 17-26. ISBN 9781780171302

Swigger, Kathleen and Alpaslan, Ferda Nur and Dafoulas, George and Serce, Fatma Cemile and Brazile, Robert and Lopez, Victor (2010) The effects of task type on the patterns of communication behaviors among global software student teams. In: International Engineering Education Conference: Turkey's Vision 2023, 04-06 Nov 2010, Antalya, Turkey.

Swigger, Kathleen and Brazile, Robert and Serce, Fatma Cemile and Dafoulas, George and Alpaslan, Ferda Nur and Lopez, Victor (2010) Using content and text classification methods to characterize team performance. 2010 5th IEEE International Conference Global Software Engineering (ICGSE) . pp. 192-200.

Swigger, Kathleen and Brazile, Robert and Serce, Fatma Cemile and Dafoulas, George and Alpaslan, Ferda Nur and Lopez, Victor (2010) The challenges of teaching students how to work in global software teams. In: Transforming Engineering Education: Creating Interdisciplinary Skills for Complex Global Environments, 2010 IEEE. IEEE Computer Society, pp. 1-30. ISBN 9781424460403

Tang, Xueyan and Zhou, Suiping (2010) Update scheduling for improving consistency in distributed virtual environments. IEEE Transactions on Parallel and Distributed Systems, 21 (6). pp. 765-777. ISSN 1045-9219

Wampler, Dean and Clark, Tony (2010) Multiparadigm programming: guest editors' introduction. IEEE Software, 27 (5). pp. 2-7. ISSN 0740-7459

Wampler, Dean and Clark, Tony and Ford, Neal and Goetz, Brian (2010) Multiparadigm programming in industry: a discussion with Neal Ford and Brian Goetz. IEEE Software, 27 (5). pp. 61-64. ISSN 0740-7459

Wang, Hui and Liu, Jun and Augusto, Juan Carlos (2010) Mass function derivation and combination in multivariate data spaces. Information Sciences, 180 (6). pp. 813-819. ISSN 0020-0255

Whitney, Gill and Keith, Suzette and Schmidt-Belz, Barbara (2010) The challenge of mainstreaming ICT design for all. In: Computers helping people with special needs. Miesenberger, Klaus and Klaus, Joachim and Zagler, Wolfgang and Karshmer, Arthur, eds. Lecture Notes in Computer Science, 6179 . Springer, pp. 583-590. ISBN 9783642140969

Xiong, Muzhou and Lees, Michael and Cai, Wentong and Zhou, Suiping and Low, Malcolm Yoke Hean (2010) Analysis of an efficient rule-based motion planning system for simulating human crowds. The Visual Computer, 26 (5). pp. 367-383. ISSN 0178-2789

Xu, Kai and Williams, Rohan and Hong, Seok-Hee and Liu, Qing and Zhang, Ji (2010) Semi-bipartite graph visualization for gene ontology networks. In: Graph drawing : 17th International Symposium (GD 2009) Revised Papers. Springer, pp. 244-255.

Zhang, Ying and Oussena, Samia and Clark, Tony and Hyensook, Kim (2010) Using data mining to improve student retention in HE: a case study. In: ICEIS - 12th International Conerence on Enterprise Information Systems, 2010., 8-12 June, Portugal.

2009

Abate, Pietro and Di Cosmo, Roberto and Boender, Jaap and Zacchiroli, Stefano (2009) Strong dependencies between software components. In: 2009 3rd International Symposium on Empirical Software Engineering and Measurement (ESEM 2009). IEEE, 89 -99. ISBN 9781424448425

Amjad, Hasan and Bornat, Richard (2009) Towards automatic stability analysis for rely-guarantee proofs. In: Verification, model checking, and abstract interpretation: 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings. Jones, Neil D. and Müller-Olm, Markus, eds. Lecture Notes in Computer Science (5403). Springer, pp. 14-28. ISBN 9783540938996

Androutsopoulos, Kelly and Clark, David and Harman, Mark and Li, Zheng and Tratt, Laurence (2009) Control dependence for extended finite state machines. Lecture Notes in Computer Science, 5503 . pp. 216-230. ISSN 0302-9743

Androutsopoulos, Kelly and Gold, Nicolas and Harman, Mark and Li, Zheng and Tratt, Laurence (2009) A theoretical and empirical study of EFSM dependence. Software Maintenance, 2009. ICSM 2009. IEEE International Conference . pp. 287-296. ISSN 1063-6773

Attfield, Simon and Blandford, Ann (2009) Improving the cost structure of sensemaking: analysing user concepts to inform information systems design. Lecture Notes in Computer Science, 5726 . ISSN 0302-9743

Attfield, Simon and Fegan, Sarah and Blandford, Ann (2009) Idea generation and material consolidation: tool use and intermediate artefacts in journalistic writing. Cognition, Technology & Work, 11 (3). pp. 227-239. ISSN 1435-5558

Azab, Nahed Amin and Kamel, Sherif and Dafoulas, George (2009) A suggested framework for assessing electronic government readiness in Egypt. Electronic Journal of E-Government, 7 (1). pp. 11-28. ISSN 1479-439X

Back, Jonathan and Furniss, Dominic and Attfield, Simon and Hassard, Stephen and Blandford, Ann (2009) Exploring the importance of reflection in the control room. In: CHI 2009 Workshop on Designing for Reflection on Experience, 04 Apr 2009, Boston, MA, USA.

Belavkin, Roman V. (2009) Bounds of optimal learning. In: 2009 IEEE International Symposium on Adaptive Dynamic Programming and Reinforcement Learning, March 30 – April 2, 2009, Sheraton Music City Hotel, Nashville, TN, USA.

Belavkin, Roman V. and Huyck, Christian R. (2009) A model of probability matching in a two-choice task based on stochastic control of learning in neural cell-assemblies. In: 9th International conference on cognitive modelling {ICCM 2009], 24th-26th July, 2009, University of Manchester.

Berčič, Boštjan and George, Carlisle (2009) Identifying personal data using relational database design principles. International Journal of Law and Information Technology, 17 (3). pp. 233-251. ISSN 0967-0769

Berčič, Boštjan and George, Carlisle (2009) Investigating the legal protection of data, information and knowledge under the EU data protection regime. International Review of Law Computers and Technology, 23 (3). pp. 189-201. ISSN 1360-0869

Bettin, Jorn and Cook, William and Clark, Tony and Kelly, Steven (2009) Knowledge industry survival strategy (KISS): fundamental principles and interoperability requirements for domain specific modeling languages. In: OOPSLA 09, October, Florida.

Bettinelli, Andrea and Liberti, Leo and Raimondi, Franco and Savourey, David (2009) The Anonymous subgraph problem. In: Cologne Twente Workshop 2009: 8th Cologne-Twente Workshop on Graphs and Combinatorial Optimization, June 2-4, 2009, Paris.

Brassil, D. and Hogan, C. and Attfield, Simon (2009) The centrality of user modeling to high recall with high precision search. In: IEEE International Conference on Systems, Man and Cybernetics, 2009. IEEE, pp. 91-96. ISBN 9781424427932

Chikhman, V. N. and Shelepin, Yuri and Vakhrameeva, O. and Pronin, Sergey and Foreman, Nigel and Passmore, Peter J. (2009) The estimation of quantitative ranges of invariance in visual perception. Perception, 38 . ISSN 0301-0066

Clark, Tony (2009) First class grammars for language oriented programming. In: The 13th World Multi-Conference on Systemics, Cybernetics and Informatics: WMSCI 2009, 10 to 13 July, 2009, Orlando, Florida, USA.

Clark, Tony (2009) A MOP based DSL for testing Java programs using OCL. Lecture Notes in Computer Science . ISSN 0302-9743

Clark, Tony (2009) Model based functional testing using pattern directed filmstrips. In: Fourth International Workshop on the Automation of Software Test, May 2009, Vancouver.

Clark, Tony and Tratt, Laurence (2009) Language factories. In: Proceeding of the 24th ACM SIGPLAN Conference Companion on Object Oriented Programming Systems Languages and Applications; Orlando, Florida, USA, October 25 - 29, 2009. Asscociation for Computing Machinery, pp. 949-956. ISBN 9781605587660

Cubo, Javier and Sama, Michele and Raimondi, Franco and Rosenblum, David (2009) A model to design and verify context-aware adaptive service composition. In: 6th IEEE International Conference on Services Computing (SCC 2009), September 21-25, 2009, Bangalore.

Dack, John (2009) Instrument, what do you want of us? In: Pierre Schaeffer. Gayou, Evelyne, ed. Portraits Polychromes (14). Institut National de l'Audiovisuel, Paris, France, pp. 57-65. ISBN 9782869382107

Dack, John (2009) The electroacoustic music of Henri Pousseur and the open form. In: The modernist legacy: essays on new music. Heile, Bjorn, ed. Ashgate, Aldershot, pp. 177-188. ISBN 9780754662600

Dafoulas, George (2009) The role of collaborative technologies as enablers for celebrating diversity. In: Proceedings of the 9th Annual Learning and Teaching Conference – The dynamics of difference: Making it work.

Dafoulas, George and Anagnostopoulou, Kyriaki (2009) Quality Assurance – an endeavour in enhancing teaching and learning experience through collaborative and assistive technologies. In: Proceedings of the International Conference of Quality, Enhancement: Experience, Challenges and Perspectives for Armenian Higher Education.

Dafoulas, George and Swigger, Kathleen and Brazile, Robert and Alpaslan, Ferda Nur and Lopez, Victor and Serce, Fatma Cemile (2009) Global teams: futuristic models of collaborative work for today's software development industry. In: 42nd Hawaii International International Conference on Systems: proceedings. IEEE Computer society. ISBN 9780769534503

Dantchev, Stefan and Martin, Barnaby and Rhodes, Mark (2009) Tight rank lower bounds for the Sherali–Adams proof system. Theoretical Computer Science, 410 (21-23). pp. 2054-2063. ISSN 0304-3975

Emiliani, Pier Luigi and Burzagli, Laura and Gabbanini, Francesco and Bühler, Christian and Klironomos, Iosif and Aalykke, Soren and Schmidt-Belz, Barbara and Knops, Harry and Reichrath, Enid and Whitney, Gill (2009) Design For All for eInclusion. In: Assistive technology from adapted equipment to inclusive environments. Emiliani, Pier Luigi and Burzagli, Laura and Como, Andrea and Gabbanini, Francesco and Salminen, Anna-Liisa, eds. Assistive Technology Research Series, 25 . IOS Press, pp. 815-820. ISBN 9781607500421

Faisal, Sarah and Attfield, Simon and Blandford, Ann (2009) A classification of sensemaking representations. In: CHI 2009 Workshop on Sensemaking, 04-05 Apr 2009, Boston, MA, USA.

Gao, Xiaohong W. and Hui, Rui and White, Anthony S. and Tian, Zhengmin (2009) A new approach to estimation of non-isotropic scale factors for correction of MR distortion. International Journal of Computer Assisted Radiology and Surgery, 4 (s1). s349-s350. ISSN 1861-6410

George, Carlisle and Berčič, Boštjan (2009) Electronic medical records: addressing privacy & security concerns in the UK and US. In: BILETA 2009 - To Infinity and Beyond: Law and Technology in Harmony?, 21-23 April 2009, University of Winchester, UK.

Goodman-Deane, Joy and Keith, Suzette and Whitney, Gill (2009) HCI and the older population. Universal Access in the Information Society, 8 (1). pp. 1-3. ISSN 1615-5289

Heo, Jeongyun and Ham, Dong-Han and Park, Sanghyun and Song, Chiwon and Yoon, Wan Chul (2009) A framework for evaluating the usability of mobile phones based on multi-level, hierarchical model of usability factors. Interacting with Computers, 21 (4). pp. 263-275. ISSN 0953-5438

Huyck, Christian R. (2009) Variable binding by synaptic strength change. Connection Science, 21 (4). pp. 327-357. ISSN 0954-0091

Huyck, Christian R. (2009) A psycholinguistic model of natural language parsing implemented in simulated neurons. Cognitive Neurodynamics, 3 (4). pp. 316-330. ISSN 1871-4080

Huyck, Christian R. and Nadh, Kailash (2009) Multi-associative memory in fLIF cell assemblies. In: 9th International Conference on Cognitive Modeling, 24th-26th July 2009, Manchester.

Hyensook, Kim and Zhang, Ying and Oussena, Samia and Clark, Tony (2009) A case study on model driven data integration for data centric software development. In: ACM first international workshop on Data-intensive software management and mining, November 6th, 2009, Hong Kong.

Kapsokalivas, L. and Gan, X. and Albrecht, Andreas A. and Steinhöfel, K. (2009) Population-based local search for protein folding simulation in the MJ energy model and cubic lattices. Computational Biology and Chemistry, 33 (4). pp. 283-294. ISSN 1476-9271

Keith, Suzette and Whitney, Gill (2009) D6.3b Evaluation of syllabi with members of EDeAN and other interested parties. IST CA 0033838 Design for All for eInclusion. Project Report. DfA @eInclusion, Online.

Keith, Suzette and Whitney, Gill and Kolar, Irena (2009) D6.4a Report on the possibility of accreditation of DfA Inclusion and dissemination of information from WP6: IST CA 0033838 Design for All for eInclusion. Project Report. DfA @eInclusion, Online.

Keith, Suzette and Whitney, Gill and Kolar, Irena (2009) D6.4b: Review of WP6 training activities: IST CA 0033838 design for all for eInclusion. Project Report. DfA @eInclusion, Online.

Keith, Suzette and Whitney, Gill (2009) Design for all in ICT training and education. In: Principles and practice in Europe for e-accessibility. Lanyi, Cecilia Sik, ed. EDeAN publication . Pannonian University Press, Veszprém, Hungary, pp. 63-72. ISBN 9789639696761

Keith, Suzette and Whitney, Gill and Petz, Andrea (2009) Design for all as focus in European ICT teaching and training activities. In: Inclusive design into innovation: transforming practice in design, research and business. [Include 2009]. Myerson, Jeremy and Bichard, Jo-Anne and Davidson, Clare, eds. Include . Royal College of Art, London. ISBN 9781905000807

Khan, Nawaz and Abeysinghe, Geetha (2009) Participatory pattern in asynchronous discussion forum: a cross-cultural perspective. In: 10th Annual Conference of the Subject Centre for Information and Computer Sciences, 25-27 Aug 2009, Canterbury, UK.

Kodagoda, Neesha and Wong, B. L. William and Khan, Nawaz (2009) Behaviour characteristics: low and high literacy users information seeking on social service websites. In: Proceedings of the 10th International Conference NZ Chapter of the ACM's Special Interest Group on Human-Computer Interaction. ACM International Conference Proceeding Series . ACM, New York, pp. 13-16. ISBN 9781605585741

Kodagoda, Neesha and Wong, B. L. William and Khan, Nawaz (2009) Identifying information seeking behaviours of low and high literacy users: combined cognitive task analysis. In: Proceedings of NDM9, the 9th international conference on naturalistic decision making. The British Computer Society., pp. 347-354.

Kodagoda, Neesha and Wong, B. L. William and Khan, Nawaz (2009) Overview of behaviour characteristics of high and low literacy users: information seeking of an online social service system. In: Human-Computer Interaction – INTERACT 2009. Gross, T., ed. Lecture Notes in Computer Science. . Springer, pp. 77-80. ISBN 9783642036545

Kotsia, Irene and Nikolaidis, Nikolaos and Pitas, Ioannis (2009) Frontal view recognition in multiview video sequences. In: IEEE International Conference on Multimedia and Expo (ICME 2009), 28 June - 3 July 2009, Cancun, Mexico.

Kotsia, Irene and Pitas, Ioannis and Zafeiriou, Stefanos (2009) Novel multiclass classifiers based on the minimization of the within-class variance. IEEE Transactions on Neural Networks, 20 (1). pp. 14-34. ISSN 1045-9227

Lomuscio, Alessio and Qu, Hongyang and Raimondi, Franco (2009) MCMAS: a model checker for the verification of multi-agent systems. Lecture Notes in Computer Science, 5643 . pp. 682-688. ISSN 0302-9743

Lopez, Victor and Castillo, Aris and Swigger, Kathleen and Serce, Fatma Cemile and Dafoulas, George and Brazile, Robert and Alpaslan, Ferda Nur (2009) Evaluando patrones de interacción en equipos de aprendizaje colaborativo para desarrollo de software global: cuatro países, tres idiomas y un proyecto global. In: CONCAPAN XXIX.

Lopez, Victor and Castillo, Aris and Swigger, Kathleen and Serce, Fatma Cemile and Dafoulas, George and Brazile, Robert and Alpaslan, Ferda Nur (2009) Proyectos de educación y evaluación multicultural: mejora del desempeño de equipos de aprendizaje colaborativo para desarrollo de software global (GSD). In: 13er Congreso Latinoamericano del College Board, Guatemala, Marzo 2009.

Mancero, Gabriela and Wong, B. L. William and Loomes, Martin J. (2009) Radio dispatchers' interruption recovery strategies. In: Proceedings of the 21st Annual Conference of the Australian Computer-Human Interaction Special Interest Group on Design: Open 24/7 - OZCHI '09. ACM, New York, pp. 113-120. ISBN 9781605588544

Mancero, Gabriela and Wong, B. L. William and Loomes, Martin J. (2009) Change blindness and situation awareness in a police C2 environment. In: ECCE 2009 - European Conference on Cognitive Ergonomics: designing beyond the product: understanding activity and user experience in ubiquitous environments. Norros, Leena, ed. VTT symposium (258). VTT Technical Research Centre of Finland, Vuorimiehentie, pp. 79-84. ISBN 9789513863401

Müller, Markus and Rogers, Caroline and Nagarajan, Rajagopal (2009) Lossless quantum prefix compression for communication channels that are always open. Physical Review A, 79 (1). ISSN 1050-2947

Pecheur, Charles and Raimondi, Franco and Brat, Guillaume (2009) A formal analysis of requirements-based testing. In: Proceedings of the Eighteenth International Symposium on Software Testing and Analysis. Rothermel, Gregg and Dillon, Laura, eds. Association for Computing Machinery, pp. 47-56. ISBN 9781605583389

Petz, Andrea and Keith, Suzette and Whitney, Gill (2009) The missing link? Design for all elements in ICT education fostering e-inclusion. In: 24th Annual International Technology and Persons with Disabilities Conference, 16-21 March 2009, California State University, Northridge, USA.

Raimondi, Franco and Pecheur, Charles and Brat, Guillaume (2009) PDVer, a tool to verify PDDL planning domains. In: ICAPS'09 Workshop on Verification and Validation of Planning and Scheduling Systems, September 20, 2009, Thessaloniki, Greece.

Rashid, Awais and Rayson, Paul and Greenwood, Phil and Walkerdine, James and Duquenoy, Penny and Watson, Patrick and Brennan, Margaret and Jones, Matt (2009) Isis: protecting children in online social networks. In: Advances in the Analysis of Online Paedophile Activity, International Conference, 02-03 Jun 2009, Paris, France.

Roda, Fabio and Liberti, Leo and Raimondi, Franco (2009) Combinatorial optimization based recommender systems. In: Cologne Twente Workshop 2009: 8th Cologne-Twente Workshop on Graphs and Combinatorial Optimization, June 2-4, 2009, Paris.

Sakellari, Georgia (2009) The cognitive packet network: a survey. The Computer Journal . ISSN 0010-4620

Selvaraj, Nallini and Fields, Bob (2009) A grounded theory approach towards conceptualizing CIS for heterogeneous work communities. In: Proceedings of the 23rd British HCI Group Annual Conference on People and Computers: Celebrating People and Technology. British Computer Society, Swindon, UK, pp. 471-479.

Serce, Fatma Cemile and Alpaslan, Ferda Nur and Swigger, Kathleen and Brazile, Robert and Dafoulas, George and Lopez, Victor (2009) Dynamics of collaborative work in global software development environment. In: eChallenges e-2009 Conference Proceedings. Cunningham, Paul and Cunningham, Miriam, eds. IIMC International Information Management Corporation Ltd, Dublin. ISBN 9781905824137

Serce, Fatma Cemile and Alpaslan, Ferda Nur and Swigger, Kathleen and Brazile, Robert and Dafoulas, George and Lopez, Victor and Schumacker, Randy (2009) Exploring collaboration patterns among global software development teams. In: Global Software Engineering, 2009. ICGSE 2009. Fourth IEEE International Conference. IEEE Computer society, pp. 61-70. ISBN 9780769537108

Serce, Fatma Cemile and Swigger, Kathleen and Alpaslan, Ferda Nur and Brazile, Robert and Dafoulas, George and Lopez, Victor (2009) Interaction patterns among global software development learning teams. In: International Symposium on Collaborative Technologies and Systems, 2009. IEEE Computer society, pp. 123-130. ISBN 9781424445844

Sheikh, Javed Anjum and Fields, Bob and Duncker, Elke (2009) Cultural representation for multi-culture interaction design. Lecture Notes in Computer Science, 5623 (14). pp. 99-107. ISSN 0302-9743

Springett, Mark (2009) Evaluating cause and effect in user experience digital creativity. Digital Creativity, 20 (3). pp. 197-204. ISSN 1462-6268

Springett, Mark and Rice, Mark and Carmichael, Alex and Griffiths, Richard N. (2009) Innovation for an inclusive future. Lecture Notes in Computer Science, 2009 (5727). pp. 967-968. ISSN 0302-9743

Swigger, Kathleen and Alpaslan, Ferda Nur and Brazile, Robert and Dafoulas, George and Lopez, Victor and Serce, Fatma Cemile (2009) A comparison of team assessment measures for global software development learners. In: ICGSE 2009: Proceedings of the 4th IEEE International Conference on Global Software Engineering.

Swigger, Kathleen and Alpaslan, Ferda Nur and Lopez, Victor and Brazile, Robert and Dafoulas, George and Serce, Fatma Cemile (2009) Structural factors that affect global software development learning team performance. In: Special Interest Group on Computer Personnel Research Annual Conference: proceedings of the special interest group on management information system's 47th annual conference on computer personnel research. Association for Computing Machinery, New York, pp. 187-196. ISBN 9781605584270

Swigger, Kathleen and Serce, Fatma Cemile and Alpaslan, Ferda Nur and Brazile, Robert and Dafoulas, George and Lopez, Victor (2009) A comparison of team performance measures for global software development student teams. International Conference Global Software Engineering (ICGSE) . pp. 267-274.

Watson, Patrick and Duquenoy, Penny and Brennan, Margaret and Jones, Matt and Walkerdine, James (2009) Towards an ethical interaction design: the issue of including stakeholders in law-enforcement software development. In: OZCHI '09 Proceedings of the 23nd conference of the computer-human interaction special interest group (CHISIG) of Australia on Computer-human interaction: design. Foth, Marcus and Kjeldskov, Jesper and Paay, Jenni, eds. ACM, New York, pp. 313-316. ISBN 9781605588544

Whitney, Gill and Keith, Suzette (2009) Combining technical and user knowledge in the curriculum. In: 9th Annual Learning and Teaching Conference: The dynamics of difference: Making it work., 1st July 2009, Middlesex University, London.

Whitney, Gill and Keith, Suzette (2009) Improving ICT accessibility using standards and legislation. In: Techshare 2009, 16-18 September 2009, Excel, London.

Whitney, Gill and Keith, Suzette (2009) Bridging the gap between young designers and older users. In: The good, the bad and the challenging: the user and the future of information and communication technologies. Conference proceedings. Sapio, Bartolomeo, ed. ABS Center, Koper, Slovenia. ISBN 9789616277174

Whitney, Gill and Keith, Suzette and Wilson, Judy (2009) Design For All @ eInclusion: Best Practice In Education And Training. In: Assistive technology from adapted equipment to inclusive environments. Emiliani, Pier Luigi and Burzagli, Laura and Como, Andrea and Gabbanini, Francesco and Salminen, Anna-Liisa, eds. Assistive technology research series, 25 . IOS Press, Amsterdam, Netherlands, pp. 837-841. ISBN 9781607500421

Whitney, Gill (2009) Applying Best Practice in Accessibility and Design in the Real World. In: The good, the bad and the challenging, the user and the future of information and communication technologies. Sapio, Bartolomeo, ed. ABS Center, Koper, Slovenia, pp. 694-699. ISBN 9789616277174

Zhang, Ji and Liu, Qing and Xu, Kai (2009) Gene specific co-regulation discovery: an improved approach. In: Computational Science – ICCS 2009 : 9th International Conference Baton Rouge, LA, USA, May 25-27, 2009 Proceedings, Part I. Allen, Gabrielle and Nabrzyski, Jarosław and Seidel, Edward and Albada, Geert Dick van, eds. Computational Science – ICCS 2009 (5544). Springer, Berlin, pp. 838-847. ISBN 9783642019692

Zhang, Yan and Passmore, Peter J. and Bayford, Richard (2009) Task based visualization of 5D brain EIT data. In: Proceedings of the 2009 ACM symposium on Applied Computing - SAC '09. Association for Computing, New York, p. 831. ISBN 9781605581668

Zhang, Yan and Passmore, Peter J. and Bayford, Richard (2009) Visualization of multidimensional and multimodal tomographic medical imaging data, a case study. Philosophical Transactions of the Royal Society of London. A: Mathematical and Physical Sciences, 367 (1900). pp. 3121-3148. ISSN 1364-503X

2008

Albrecht, Andreas A. and Lane, Peter C.R. and Steinhofel, Kathleen (2008) Combinatorial landscape analysis for k-SAT instances. In: 2008 IEEE Congress on Evolutionary Computation (IEEE World Congress on Computational Intelligence). IEEE, pp. 2498-2504. ISBN 9781424418220

Albrecht, Andreas A. and Skaliotis, A. and Steinhöfel, K. (2008) Stochastic protein folding simulation in the three-dimensional HP-model. Computational Biology and Chemistry, 32 (4). pp. 248-255. ISSN 1476-9271

Attfield, Simon and Blandford, Ann (2008) E-disclosure viewed as ‘Sensemaking’ with computers: the challenge of ‘frames’. In: Digital evidence and electronic signature law review. Pario Communicaitons Limited, Bedfordshire, UK, pp. 62-67. ISBN 9780954324582

Attfield, Simon and Blandford, Ann and De Gabrielle, Stephen (2008) Investigations within investigations: a recursive framework for scalable sensemaking support. In: CHI 2008, 05-10 Apr 2008, Florence, Italy.

Attfield, Simon and Blandford, Ann and Dowell, John and Cairns, Paul (2008) Uncertainty-tolerant design: evaluating task performance and drag-and-link information gathering for a news-writing task. International Journal of Human-Computer Studies, 66 (6). pp. 410-424. ISSN 1071-5819

Attfield, Simon and Makri, Stephann and Kalbach, James and Blandford, Ann and De Gabrielle, Stephen and Edwards, Mark (2008) Prioritisation, resources and search terms: a study of decision-making at the virtual reference desk. Lecture Notes in Computer Science (5173). ISSN 0302-9743

Belavkin, Roman V. (2008) The duality of utility and information in optimally learning systems. In: IEEE Systems, Man and Cibernetics Society, UK and Republic of Ireland: 7th conference on cybernetics intelligent systems, 2008., 8th-9th September 2008, Middlesex University, London.

Belavkin, Roman V. and Huyck, Christian R. (2008) Emergence of rules in cell assemblies of fLIF neurons. In: The 18th European Conference on Artificial Intelligence, 21st-25th July 2008, University of Patras, Greece.

Berčič, Boštjan and George, Carlisle (2008) Compiling medical data into national medical databases: legitimate practice or data protection concern? In: Ethical, legal and social issues in medical informatics. Duquenoy, Penny and George, Carlisle and Kimppa, Kai, eds. Medical Information Science Reference, Hershey, PA., pp. 228-247. ISBN 9781599047805

Blandford, Ann and Adams, Anne and Attfield, Simon and Buchanan, George and Gow, Jeremy and Makri, Stephann and Rimmer, Jon and Warwick, Claire (2008) The PRET A Rapporter framework: evaluating digital libraries from the perspective of information work. Information Processing & Management, 44 (1). pp. 4-21. ISSN 0306-4573

Brotherston, James and Bornat, Richard and Calcagno, Cristiano (2008) Cyclic proofs of program termination in separation logic. ACM SIGPLAN Notices - POPL '08, 43 (1). pp. 101-112. ISSN 0362-1340

Chen, Hubie and Madelaine, Florent and Martin, Barnaby (2008) Quantified constraints and containment problems. In: 23rd Annual IEEE Symposium on Logic in Computer Science (LICS 2008), 24-27 June 2008, Pittsburgh, PA.

Chen, Taolue and Fokkink, Wan and Luttik, Bas and Nain, Sumit (2008) On finite alphabets and infinite bases. Information and Computation, 206 (5). pp. 492-519. ISSN 0890-5401

Chen, Taolue and Fokkink, Wan and Van Glabbeek, Rob (2008) Ready to preorder: the case of weak process semantics. Information Processing Letters, 109 (2). pp. 104-111. ISSN 0020-0190

Chikhman, V. N. and Shelepin, Yuri and Foreman, Nigel and Passmore, Peter J. (2008) Viewpoint invariance in the recognition of 3-D depth-rotated figures. Perception, 37 . ISSN 0301-0066

Chikhman, V. N. and Shelepin, Yuri and Foreman, Nigel and Passmore, Peter J. and Vakhrameeva, O. and Pronin, Sergey (2008) Invariance of visual perception. Experimental Psychology, 1 . pp. 7-33. ISSN 2072-7593

Clark, Tony (2008) Meta-packages: painless domain specific languages. Technical Report. CETEVA.

Clark, Tony (2008) Processing XML for domain specific languages. Technical Report. CETEVA, Sheffield.

Clark, Tony and Sammut, Paul and Willans, James (2008) Applied metamodelling: a foundation for language driven development. Ceteva, Sheffield.

Clark, Tony and Sammut, Paul and Willans, James (2008) Beyond annotations: a proposal for extensible java (XJ). In: Source Code Analysis and Manipulation, 2008 Eighth IEEE International Working Conference on 28-29 Sept. 2008. IEEE, pp. 228-238.

Clark, Tony and Sammut, Paul and Willans, James (2008) Superlanguages: developing languages and applications with XMF. Ceteva, Sheffield.

Dack, John (2008) Instrument, que nous veux-tu? In: Pierre Schaeffer. Portraits Polychromes (14). Ina GRM, France, pp. 57-66. ISBN 2869382091

Dack, John (2008) Music in space, space in music. Society for the Promotion of New Music: New Notes (6). pp. 2-4.

Dack, John and Gibbs, Tony (2008) A sense of place: a sense of space. In: Recorded Music: Philosophical and Critical Reflections. Dogantan-Dack, Mine, ed. Middlesex University Press, London. ISBN 9781904750277

Dack, John (2008) Spectral music and Schaefferian methodology. In: Spectral World Musics: proceedings of the Istanbul Spectral Music Conference. Reigle, Robert and Whitehead, Paul, eds. Pan Yayincilik, Istanbul, pp. 75-92. ISBN 9789944396271

Dafoulas, George (2008) Formative assessment and the role of feedback. In: Proceedings of the 8th Annual Learning and Teaching Conference – Reshaping Education.

Deng, Ke and Zhou, Xiaofang and Shen, Heng Tao and Liu, Qing and Xu, Kai and Lin, Xuemin (2008) A multi-resolution surface distance model for k-NN query processing. VLDB Journal, 17 (5). pp. 1101-1119. ISSN 1066-8888

Duquenoy, Penny and Berleur, Jacques and Burmeister, Oliver and Gotterbarn, Don and Goujon, Philippe and Kimppa, Kai and Six, Benjamin and Weber-Wulff, Debora and Whitehouse, Diane (2008) Ethics of computing committees: suggestions for functions, form, and structure. IFIP Press. ISBN 9783901882243.

Duquenoy, Penny and Burmeister, Oliver (2008) Ethical issues and pervasive computing. In: Risk assessment and management in pervasive computing: operational, legal, ethical, and financial perspectives. Godara, Varuna, ed. Information Science Reference, Hershey, PA.. ISBN 9781605662206

Duquenoy, Penny and Burmeister, Oliver (2008) Ambient technology: reconsidering informed consent. In: Conference proceedings of AiCE 2008, Melbourne, 11 February, 2008: fifth Australian Institute of Computer Ethics conference. Warren, Matthew, ed. School of Information Systems, Deakin University. ISBN 9781741561005

Duquenoy, Penny and George, Carlisle and Kimppa, Kai (2008) Ethical, legal and social issues in medical informatics. Medical Information Science Reference, Hershey, PA.. ISBN 9781599047805

Duquenoy, Penny and George, Carlisle and Solomonides, Anthony (2008) Considering something ELSE: ethical, legal and socio-economic factors in medical imaging and medical informatics. Computer Methods and Programs in Biomedicine, 92 (3). pp. 227-237. ISSN 0169-2607

Duquenoy, Penny and George, Carlisle and Solomonides, Anthony (2008) What ELSE? Regulation and compliance in medical imaging and medical informatics. In: Medical Imaging and Informatics: 2nd International Conference, MIMI 2007. Gao, Xiaohong W. and Müller, Henning and Loomes, Martin J. and Comley, Richard A. and Luo, Shuqian, eds. Lecture Notes in Computer Science. (4987). Springer, Berlin. ISBN 9783540794899

Duquenoy, Penny and Jones, Simon and Blundell, Barry G. (2008) Ethical, legal and professional issues in computing. Netscape FastTrack server . Cengage Learning EMEA (formerly Thomson Learning), London. ISBN 9781844807499

Duquenoy, Penny (2008) Taking a holistic approach to exchanging health information over a global network. In: Ethics and health in the global village: bioethics, globalization and human rights. Mordini, Emilio, ed. CIC Edizioni Internazionali,, Rome, Italy. ISBN 9788871418452

Duquenoy, Penny and Rieks, Joosten and Whitehouse, Diane (2008) Putting identifiers in the context of eHealth: introduction of a model. In: The future of identity in the information society: proceedings of the third IFIP WG 9.2, 9.6/11.6, 11.7/FIDIS international summer school on the future of identity in the information society, Karlstad University, Sweden. Fischer-Hübner, Simone and Duquenoy, Penny and Martucci, Leonardo and Zuccato, Albin, eds. International Federation for Information Processing. (262). Springer, New York.

Duquenoy, Penny and Whitehouse, Diane (2008) Applied ethics and eHealth: principles, identity, and RFID. In: The future of identity in the information society. Springer.

Gao, Xiaohong W. and Batty, Stephen and Clark, John and Fryer, Tim (2008) Prototype system for semantic retrieval of neurological PET images. In: Medical imaging and informatics: 2nd international conference, MIMI 2007, Beijing, China, August 14-16, 2007. Gao, Xiaohong W. and Loomes, Martin J. and Comley, Richard A. and Muller, Henning and Luo, Shuqian, eds. Lecture notes in computer science, 4987 (4987). Springer, Berlin, pp. 179-188. ISBN 9783540794905

Gao, Xiaohong W. and Clark, John (2008) A fast approach to segmentation of PET brain images for extraction of features. In: Medical imaging and informatics. Gao, Xiaohong W. and Loomes, Martin J. and Comley, Richard A. and Muller, Henning and Luo, Shuqian, eds. Lecture Notes in Computer Science (4987). Springer, Berlin, pp. 197-206. ISBN 3794521935

Gao, Xiaohong W. and Hong, Kunbin and Passmore, Peter J. and Podladchikova, L. N. and Shaposhnikov, D. G. (2008) Colour vision model-based approach for segmentation of traffic signs. EURASIP Journal on Image and Video Processing, 2008 . ISSN 1687-5176

Gao, Xiaohong W. and Podladchikova, L. N. and Shaposhnikov, D. G. and Comley, Richard A. and Anishenko, Sergey and Osimov, Vladislav (2008) Toward a robust system to monitor the head motions during PET based on facial landmarks detection: a new approach. In: Proceedings of the 21st IEEE international symposium on computer-based medical systems. Puuronen, Seppo, ed. IEEE Computer Society, Jyväskylä, Finland.

Gay, Simon J. and Nagarajan, Rajagopal and Papanikolaou, Nikolaos (2008) QMC: a model checker for quantum systems. In: Computer Aided Verification : 20th International Conference, (CAV 2008) Proceedings. Gupta, Aarti and Malik, Sharad, eds. Lecture Notes in Computer Science (5123). Springer, Berlin, pp. 543-547. ISBN 9783540705437

George, Carlisle (2008) Illegal activities, preventative technologies & ISP immunity: where should the buck stop? In: BILETA 2008: the 23rd annual conference, 27-28 March 2008, Glasgow Caledonian University.

George, Carlisle (2008) Managing social irresponsibility in cyberspace: the walled garden approach. In: The 11th International Symposium - Management and Social Responsibility, (SymOrg2008), 10-13 Sep 2008, Belgrade, Serbia.

George, Carlisle and Duquenoy, Penny (2008) Online medical consultations: legal, ethical and social perspectives. In: Ethical, legal, and social issues in medical informatics. Duquenoy, Penny and George, Carlisle and Kimppa, Kai, eds. Medical Information Science Reference. ISBN 9781599047805

Gorogiannis, Nikos and Hunter, Anthony (2008) Implementing semantic merging operators using binary decision diagrams. International Journal of Approximate Reasoning, 49 (1). pp. 234-251. ISSN 0888-613X

Ham, Dong-Han and Heo, Jeongyun and Fossick, Peter and Wong, B. L. William and Park, Sanghyun and Song, Chiwon and Bradley, Michael D. (2008) Framework and model of usability factors of mobile phones. In: Handbook of research on user interface design and evaluation for mobile technology. Lumsden, Joanna, ed. Information Science Reference, Hershey, PA., pp. 877-896. ISBN 159904871X

Ham, Dong-Han and Park, Jinkyun and Jung, Wondea (2008) Evaluation of human interaction with complex systems using a full-scope simulator: lessons learned and methodological issues. International Journal of Human-Computer Interaction, 24 (4). pp. 361-384. ISSN 1044-7318

Ham, Dong-Han and Yoon, Wan Chul and Han, Byoung-Tae (2008) Experimental study on the effects of visualized functionally abstracted information on process control tasks. Reliability Engineering & System Safety, 93 (2). pp. 254-270. ISSN 09518320

Jahankhani, Hamid and George, Carlisle (2008) Challenges of identity theft in the information society. In: Synergies and conflicts in cyberlaw. Kiekegaard, Sylvia Mercado, ed. International Association of IT Lawyers, pp. 42-51. ISBN 9788799138555

Kodagoda, Neesha and Wong, B. L. William (2008) Effects of low & high literacy on user performance in information search and retrieval. In: Proceedings of the 22nd British HCI Group Annual Conference on People and Computers: Culture, Creativity, Interaction. Beale, Russell and England, David, eds. People and Computers, 1 (22). British Computer Society (BCS) Learning and Development Ltd., pp. 173-181. ISBN 9781906124045

Kotsia, Irene and Buciu, Ioan and Pitas, Ioannis (2008) An analysis of facial expression recognition under partial facial image occlusion. Image and Vision Computing, 26 (7). pp. 1052-1067. ISSN 0262-8856

Kotsia, Irene and Zafeiriou, Stefanos and Nikolaidis, Nikolaos and Pitas, Ioannis (2008) Texture and shape information fusion for facial action unit recognition. In: The First International Conference on Advances in Computer-Human Interaction (ACHI 2008), 10 - 15 February 2008, Sainte Luce, Martinique.

Kotsia, Irene and Zafeiriou, Stefanos and Pitas, Ioannis (2008) Discriminant Non-negative Matrix Factorization and projected gradients for frontal face verification. In: The First COST 2101 Workshop on Biometrics and Identity Management (BIOID 2008), 7 - 9 May 2008, Roskilde University, Denmark.

Kotsia, Irene and Zafeiriou, Stefanos and Pitas, Ioannis (2008) Texture and shape information fusion for facial expression and facial action unit recognition. Pattern Recognition, 41 (3). pp. 833-851. ISSN 0031-3203

Liberti, Leo and Raimondi, Franco (2008) The secret santa problem. Lecture Notes in Computer Science, 5034 . pp. 271-279. ISSN 0302-9743

Mancero, Gabriela and Wong, B. L. William (2008) The utility of depth affordance in multi-layered displays for supporting change detection. In: Proceedings of the human factors and ergonomics society 52nd annual meeting. Human Factors and Ergonomics Society., Santa Monica, CA, USA.

Martin, Barnaby (2008) First-order model checking problems parameterized by the model. In: The 4th Conference on Computability in Europe: Logic and Theory of Algorithms (CiE 2008), 15-20 June, 2008, University of Athens, Greece.

Mimirinis, Mike and Dafoulas, George (2008) Patterns of use of virtual learning environments and students’ approaches to learning: a case study of undergraduate students. In: Proceedings of World Conference on Educational Multimedia, Hypermedia and Telecommunications (EDMEDIA) 2008. Luca, Joseph and Weippl, Edgar R., eds. AACE, pp. 6349-6356. ISBN 1880094657

Mitchell, Ian and Sheriff, Mohamed and Georgiadou, Elli (2008) Quality assurance of curricula through the use of an integrated framework for programme validation. In: Tempus JEP-27178-2006, Dissemination Workshop., Sep 2008, Yerevan, Armenia.

Nuhn, Ralf (2008) i'Nstall. In: Systems research in the arts and humanities: on interaction/ interactivity in music, design, visual and performative arts. Lasker, George and Luz, Ana and Dack, John and Dogantan-Dack, Mine, eds. The International Institute for Advanced Studies in Systems Research and Cybernetics, Ontario, pp. 12-16. ISBN 9781897233092

Passmore, Peter J. and Huyck, Christian R. (2008) Models of cell assembly decay. In: Cybernetic Intelligent Systems, 2008. CIS 2008. 7th IEEE International Conference. Institute of Electrical and Electronics Engineers, pp. 1-6.

Raimondi, Franco and Skene, James and Emmerich, Wolfgang (2008) Efficient online monitoring of web-service SLAs. In: Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering. Harrold, Jean and Murphy, Gail, eds. Association for Computing Machinery, pp. 170-180. ISBN 9781595939951

Sama, Michele and Raimondi, Franco and Rosenblum, David and Emmerich, Wolfgang (2008) Algorithms for efficient symbolic detection of faults in context-aware applications. In: Automated Software Engineering - Workshops, 2008. ASE Workshops 2008. 23rd IEEE/ACM International Conference. Institute of Electrical and Electronics Engineers, pp. 1-8. ISBN 9781424427765

Springett, Mark and Griffiths, Richard N. (2008) Innovation, participation and service design: working out inclusive DTV design through driving the task-artefact cycle. In: Digital television revisited: linking users, markets and policies, COST 298 open workshop, Budapest, Hungary..

Springett, Mark and Griffiths, Richard N. (2008) The use of stalking-horse evaluation prototypes for probing DTV accessibility requirements. In: Interactive digital television: technologies and applications. Lekakos, George and Chorianopoulos, Konstantinos and Doukidis, Georgios I., eds. IGI Pub., Hershey, PA.. ISBN 1599043637

Springett, Mark and Griffiths, Richard N. (2008) Innovation for inclusive design: an approach to exploring the iDTV design space. In: Proceeding of the 1st international conference on designing interactive user experiences for TV and video. Masthoff, Judith and Panabaker, Sheri and Sullivan, Marc and Lugmayr, Artur, eds. Association for computing machinery, pp. 49-58. ISBN 9781605581002

Springett, Mark and Griffiths, Richard N. and Rice, Mark and Carmichael, Alex (2008) Inclusive interactive television: setting the agenda for innovative research. In: Changing television environments 6th European conference, EuroITV 2008: proceedings. Tscheligi, Manfred and Obrist, Marianna and Lugmayr, Artur, eds. Lecture Notes in Computer Science. (5066). Springer, Berlin. ISBN 9783540694786

Springett, Mark (2008) Assessing user experiences within interaction: experience as a qualitative state and experience as a causal event. In: VUUM 2008: Proceedings of the International Workshop on Meaningful Measures: Valid Useful User Experience Measurement (VUUM). Law, Effie Lai-Chong and Bevan, Nigel and Christou, Georgios and Springett, Mark and Larusdottir, Marta, eds. Institute of Research in Informatics of Toulouse, Toulouse. ISBN 9782917490020

Stelmaszewska, Hanna and Fields, Bob and Blandford, Ann (2008) The roles of time, place, value and relationships in collocated photo sharing with camera phones. In: People and computers XXII: culture, creativity, interaction: proceedings of HCI 2008, the 22nd British HCI Group Annual Conference, Liverpool John Moores University, UK 1 - 5 September 2008. England, David and Beale, Russell, eds. British Computer Society, Swindon, UK, pp. 141-150. ISBN 9781906124045

Stiglic, Gregor and Khan, Nawaz and Kokol, Peter (2008) Knowledge extraction from microarray datasets using combined multiple models to predict leukemia types. In: Data mining: foundations and practice. Studies in Computational Intelligence . Springer, pp. 339-352. ISBN 9783540784876

Ververidis, Dimitrios and Kotsia, Irene and Kotropoulos, Constantine and Pitas, Ioannis (2008) Multi-modal emotion-related data collection within a virtual earthquake emulator. In: 6th Language Resources and Evaluation Conference (LREC 2008), 28 to 30 May 2008, Marrakech, Morocco.

Whitney, Gill (2008) Applying best practise in accessibility and design in the real world. In: Accessible design in the digital world '08, 22nd-24th October, 2008, York.

Whitney, Gill and Keith, Suzette (2008) European developments in the design and implementation of training for eInclusion. In: Computers helping people with special needs: 11th international conference, ICCHP 2008. Lecture Notes in Computer Science. . Springer, Berlin, pp. 156-161. ISBN 9783540705390

Wong, B. L. William and Ham, Dong-Han (2008) Future design. In: Create2008: proceedings. Golightly, David and Rose, Tony and Bonner, John and Boyd Davis, Stephen, eds. Ergonomics Society. ISBN 9780955422515

Zahrani, M. S. and Loomes, Martin J. and Malcolm, J. A. and Albrecht, Andreas A. (2008) A local search heuristic for bounded-degree minimum spanning trees. Engineering Optimization, 40 (12). pp. 1115-1135. ISSN 0305-215X

Zahrani, M. S. and Loomes, Martin J. and Malcolm, J. A. and Ullah, A. Z. M. Dayem and Steinhoefel, K. and Albrecht, Andreas A. (2008) Genetic local search for multicast routing with pre-processing by logarithmic simulated annealing. Computers & Operations Research, 35 (6). pp. 2049-2070. ISSN 0305-0548

2007

Arshad, Kamran (2007) Modelling of radio wave propagation using Finite Element Analysis. PhD thesis, Middlesex University.

Attfield, Simon and Blandford, Ann (2007) Sensemaking in a large-scale corporate fraud investigation: some problems of communication. In: 24th Annual HCIL Symposium, 31 May - 01 Jun 2007, Maryland, MD, USA.

Attfield, Simon and Blandford, Ann (2007) Sensemaking in a large-scale corporate fraud investigation: the challenge of communication. In: DESI Workshop, 04 Jun 2007, Palo Alto, CA, USA.

Belavkin, Roman V. (2007) Do neural models scale up to a human brain? In: International Joint Conference on Neural Networks (IJCNN 2007), 12th-17th August, 2007, Orlando, Florida.

Boender, Jaap (2007) Sound tools for package dependency management in free and open source software distributions. In: Open source development, adoption and innovation: IFIP Working Group 2.13 on Open Source Software, June 11-14, 2007, Limerick, Ireland. Feller, Joseph and Fitzgerald, Brian and Scacchi, Walt and Sillitti, Alberto, eds. IFIP Advances in Information and Communication Technology (234). Springer, Berlin and Heidelberg, Germany, p. 391. ISBN 9780387724850

Bornat, Richard and Parkinson, Matthew and O'Hearn, Peter (2007) Modular verification of a non-blocking stack. 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '07), Nice, France. Proceedings. . pp. 297-302. ISSN 0362-1340

Bradley, Michael D. and Goodwin, Reg and Keith, Suzette and Kolar, Irena (2007) Exploring speed limit compliance from the older driver perspective. In: Fudude 2007: Designing with People: Strategies, Stories and Systems for User Participation in Design. Myerson, Jeremy and Bilsland, Christina and Bichard, Jo-Anne, eds. Royal College of Arts, London. ISBN 1-905000-34-0

Bradley, Michael D. and Keith, Suzette and Kolar, Irena and Whitney, Gill (2007) Identifying and characterising diversity of the older car driver. In: Proceedings of the Ergonomics Society Annual Conference, 17-19 April 2007, Nottingham UK. Bust, Philip D., ed. Taylor & Francis. ISBN 978-0-415-43638-0

Bradley, Michael D. and Keith, Suzette and Whitney, Gill and Wilson, Judy (2007) The development of a participatory research methodology with older drivers. In: Proceedings of the 11th International Conference on Mobility and Transport for Elderly and Disabled Persons, 18-22 June 2007., Montréal, Québec..

Brinkman, Willem Paul and Ham, Dong-Han and Wong, B. L. William (2007) Invent! Explore! In: Proceedings of the 14th European conference on cognitive ergonomics. Brinkman, Willem Paul and Ham, Dong-Han and Wong, B. L. William, eds. ACM conference proceedings series (260). ACM Press, New York. ISBN 9781847998491

Clark, Tony (2007) A domain specific language for interactive applications. In: TOOLS EUROPE 2007: Object, Models, Components and Patterns, 24-27 June 2007, Zurich, Switzerland.

Dack, John (2007) Acoulogie: an answer to Lévi-Strauss? In: EMS07 Online Proceedings. EMS07 Online Proceedings.

Duquenoy, Penny (2007) Ethics in the environment of the information society. In: European regional conference on the ethical dimensions of the information society: ethics and human rights in the information society, 13-14 September, 2007, Strasbourg.

Duquenoy, Penny (2007) The information society: what next? In: The information society : innovation, legitimacy, ethics and democracy: in honor of Professor Jacques Berleur. Goujon, Philippe, ed. International Federation for Information Processing. (233). Springer, New York. ISBN 9780387723808

Fields, Bob and Amaldi, Paolo and Wong, B. L. William and Gill, Satinder (2007) Editorial: In use, in situ: extending field research methods. International Journal of Human-Computer Interaction, 22 (1-2). pp. 1-6. ISSN 1044-7318

Fields, Bob and Blandford, Ann and Furniss, Dominic and Keith, Suzette (2007) Disrupting digital library development with scenario informed design. Interacting With Computers, 19 (1). pp. 70-82. ISSN 0953-5438

French, Tim and Liu, Kechong and Springett, Mark (2007) A card-sorting probe of e-banking trust perceptions. In: People and computers XXI: HCI-- but not as we know it: proceedings of HCI 2007, the 21st British HCI group annual conference. Ball, Linden J., ed. British Computer Society., Swindon. ISBN 1902505948

French, Tim and Liu, Kechong and Springett, Mark (2007) Affective and rational trust factors in e-banking. In: A simplified model of user experience for practical application. Jetter, Hans-Christian and Gerken, Jens, eds. Bibliothek der Universität Konstanz, Konstanz.

Futre, Dina and George, Carlisle and Coathup, Roger (2007) Players’ image management in the UK football industry. In: 15th Congress of the European Sports Management Association (EASM 2007), 12-15 Sep 2007, Torino, Italy.

Gao, Xiaohong W. and Anishenko, Sergey and Shaposhnikov, D. G. and Podladchikova, L. N. and Batty, Stephen and Clark, John (2007) High-precision detection of facial landmarks to estimate head motions based on vision models. Journal of computer sciences, 3 (7). pp. 528-532. ISSN 1549-3636

Gao, Xiaohong W. and Shaposhnikov, D. G. and Podladchikova, L. N. and Batty, Stephen and Clark, John (2007) Detection of head motions using a vision model. In: Proceedings of the third IASTED International Conference on Telehealth. Bashshur, Rashid, ed. Acta Press, Anaheim, Calif., pp. 167-171. ISBN 9780889866676

George, Carlisle (2007) Legal challenges of cybercrime. In: 15th Telecommunications Forum, TELFOR 2007, 20-22 Nov 2007, Sava Centre, Belgrade, Serbia.

George, Carlisle (2007) Regulatory challenges in the era of the convergence of telecommunications, broadcasting and information. In: 15th Telecommunications Forum, TELFOR 2007, 20th- 22nd November 2007, Belgrade, Serbia.

George, Carlisle and Duquenoy, Penny (2007) Exploring legal & ethical aspects of IPR management in e-learning. In: Proceedings of the 2007 IPR in E-learning Workshop/Conference: 20 April 2007. School of Computing Science, Middlesex University, London. ISBN 9781859242933

George, Carlisle and Skerri, Jackie (2007) Web 2.0 and user-generated content: legal challenges in the new frontier. Journal of Information, Law and Technology (2). ISSN 1361-4169

Golightly, David and Rose, Tony and Wong, B. L. William and Light, Anna (2007) Proceedings: create 2007. Ergonomics Society. ISBN 0955422507

Ham, Dong-Han and Han, B. T. and Yoon, Wan Chul (2007) The training effects of principle knowledge on fault diagnosis performance. Human Factors and Ergonomics in Manufacturing., 17 (3). pp. 263-282. ISSN 1090-8471

Huyck, Christian R. (2007) Creating hierarchical categories using cell assemblies. Connection Science, 19 (1). pp. 1-27. ISSN 0954-0091

Joyekurun, Ronish and Amaldi, Paolo and Wong, B. L. William (2007) A functional collaborative work unit for analysing hazardous flight approaches. In: Proceedings of the human factors and ergonomics society: 51st Annual Meeting. Human Factors and Ergonomics Society. ISBN 9788945289308

Khan, Nawaz and Long, Ham and Rahman, Shahedur and Stockman, A. G. (2007) From local laboratory data to public domain database in search of indirect association of diseases: AJAX based gene data search engine. In: Twentieth IEEE International Symposium on Computer-Based Medical Systems (CBMS'07). IEEE Computer Society Press, pp. 213-218. ISBN 0769529054

Khan, Nawaz and Stiglic, Gregor and Verlic, Mateja and Kokol, Peter (2007) Gene expression analysis of leukemia samples using visual interpretation of small ensembles: a case study. In: 2nd International Conference in Pattern Recognition in Bioinformatics, Singapore. Lecture Notes in Computer Science. Springer Berlin, Heidelberg, pp. 189-197. ISBN 978-3-540-75285-1

Kotsia, Irene and Nikolaidis, Nikolaos and Pitas, Ioannis (2007) Facial expression recognition in videos using a novel multi-class support vector machines variant. In: IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP 2007), 15 - 20 April 2007, Honolulu, Hawai, USA.

Kotsia, Irene and Pitas, Ioannis (2007) Facial expression recognition in image sequences using geometric deformation features and support vector machines. IEEE Transactions on Image Processing, 16 (1). pp. 172-187. ISSN 1057-7149

Kotsia, Irene and Zafeiriou, Stefanos and Nikolaidis, Nikolaos and Pitas, Ioannis (2007) Multiclass support vector machines and metric multidimensional scaling for facial expression recognition. In: IEEE Workshop on Machine Learning for Signal Processing (MLSP 2007), 27- 29 August 2007, Thessaloniki, Greece.

Kotsia, Irene and Zafeiriou, Stefanos and Pitas, Ioannis (2007) A novel discriminant non-negative matrix factorization algorithm with applications to facial image characterization problems. IEEE Transactions on Information Forensics and Security, 2 (3). pp. 588-595. ISSN 1556-6013

Macaulay, Linda and Keeling, Kathy and McGoldrick, Peter and Dafoulas, George and Kalaitzakis, Manos (2007) Co-evolving e-tail and online communities: empirically-based conceptual framework. International Journal of e-Commerce, 11 (4). pp. 53-77. ISSN 1086-4415

Mancero, Gabriela and Wong, B. L. William and Amaldi, Paolo (2007) Looking but not seeing: implications for HCI. In: ECCE 2007 European conference on cognitive ergonomics 2007. Brinkman, Willem Paul and Ham, Dong-Han and Wong, B. L. William, eds. Association for Computing Machinery., New York, pp. 167-174. ISBN 9781847998491

Martin, Barnaby and Madelaine, Florent (2007) Hierarchies in fragments of monadic strict NP. In: Computation and logic in the real world. Lecture Notes in Computer Science (4497). Springer Berlin Heidelberg, pp. 542-550. ISBN 9783540730002

Martin, Oliver and Kotsia, Irene and Pitas, Ioannis and Savran, Arman and Adell, Jordi and Huerta, Ana and Sebbe, Raphael (2007) Synthesis of expressive facial animations: a multimodal caricatural mirror. Journal on Multimodal User Interfaces, 1 (1). pp. 21-30. ISSN 1783-7677

Memisevic, Rizah and Sanderson, Penelope and Wong, B. L. William and Choudhury, Sanjib and Li, Xilin (2007) Investigating human-system interaction with an integrated hydropower and market system simulator. IEEE transactions on power systems, 22 (2). pp. 762-769. ISSN 0885-8950

Moore, Antoni and Hayes, Jared and Wong, B. L. William (2007) Cartographic and cognitive analysis of ambulance dispatch displays. In: Going global; mapping New Zealand's trajectory (GeoCart 2006), 04-06 Sep 2006, Auckland, New Zealand.

Rozzi, Simone and Amaldi, Paolo and Wong, B. L. William and Fields, Bob (2007) Operational potential for 3D displays in air traffic control. In: ECCE 2007: European conference on cognitive ergonomics, 2007. Brinkman, Willem Paul and Ham, Dong-Han and Wong, B. L. William, eds. ACM international conference proceeding series. (250). Association for Computing Machinery, New York, pp. 179-183. ISBN 9781847998491

Springett, Mark and Griffiths, Richard N. (2007) Accessibility of interactive television for users with low vision: learning from the web. In: Interactive TV: a shared experience: 5th European conference, EuroITV 2007: proceedings. Cesar, Pablo and Chorianopoulos, Konstantinos and Jensen, Jens F., eds. Lecture Notes in Computer Science. (4471). Springer, Berlin. ISBN 9783540725589

Steinhofel, K. and Skaliotis, A. and Albrecht, Andreas A. (2007) Relating time complexity of protein folding simulation to approximations of folding time. Computer Physics Communications, 176 (7). pp. 465-470. ISSN 0010-4655

Whitney, Gill (2007) DDA compliant display. [Show/Exhibition]

Whitney, Gill (2007) Visual displays as part of an information system. In: Accommodating disability with displays and lighting., 16th May 2007, Bletchley Park.

Wilson, Judy and Curzon, Paul and Whitney, Gill (2007) Seniors route-planning: a reality check for the design of navigation systems. In: TRANSED 2007 conference proceedings. Transport Canada.

Wong, B. L. William and Blandford, Ann (2007) Extracting information handling strategies. In: NDM 8: Eighth international conference on naturalistic decision making: proceedings. Mosier, Kathleen and Fischer, Ute, eds. NDM8, pp. 302-309.

Wong, B. L. William and Rozzi, Simone and Boccalatte, Alessandro and Gaukrodger, Stephen and Amaldi, Paolo and Fields, Bob and Loomes, Martin J. and Martin, Peter (2007) 3D-in-2D Displays for ATC. In: 6th EUROCONTROL innovative research workshop & exhibition. Brochard, Marc and Jurgens, Martina, eds. Eurocontrol, pp. 47-62.

Zhang, Yan (2007) Visualisation of multi-dimensional medical images with application to brain electrical impedance tomography. PhD thesis, Middlesex University.

2006

Albrecht, Andreas A. (2006) Stochastic local search for the Feature Set problem, with applications to microarray data. Applied Mathematics and Computation, 183 (2). pp. 1148-1164. ISSN 0096-3003

Albrecht, Andreas A. (2006) A stopping criterion for logarithmic simulated annealing. Computing, 78 (1). pp. 55-79. ISSN 0010-485X

Attfield, Simon and Adams, Anne and Blandford, Ann (2006) Patient information needs: pre- and post-consultation. Health Informatics Journal, 12 (2). pp. 165-177. ISSN 1460-4582

Azab, Nahed Amin and Ali, M. and Dafoulas, George (2006) Incorporating CRM in e-government: case of Egypt, proceedings. In: IADIS International Conference, E-Commerce 2006.

Bacsich, Paul and Duquenoy, Penny and George, Carlisle and Weldon, John and Bakry, Walaa-Eldeen Mohamed and Davis, G. (2006) Managing IPR in a successful e-learning enterprise: the global campus, Middlesex University, UK. In: Proceedings of the IPR in E-learning Workshop/Conference 21st March, 2006. School of Computing Science, Middlesex University, London. ISBN 1859242677

Bansal, Saurabh (2006) Framework to facilitate smooth handovers between mobile IPv6 networks. PhD thesis, Middlesex University.

Belavkin, Roman V. (2006) Towards a theory of decision-making with paradoxes. In: Proceedings of the Seventh International Conference on Cognitive Modelling, 2006, Trieste, Italy.

Belavkin, Roman V. (2006) Towards a theory of decision-making without paradoxes. In: Proceedings of the Seventh International Conference on Cognitive Modeling, April 5–8 2006, Trieste, Italy.

Bornat, Richard and Calcagno, Cristiano and Parkinson, Matthew (2006) Variables as resource in Hoare logic. In: 21st Annual IEEE Symposium on Logic in Computer Science (LICS 2006), Seattle, Washington. Proceedings. IEEE Computer Society., pp. 137-146. ISBN 0-7695-2631-4

Bornat, Richard and Calcagno, Cristiano and Yang, Hongseok (2006) Variables as resources in separation logic. 21st Annual Conference on Mathematical Foundations of Programming Semantics (MFPS XXI), Birmingham, UK. Proceedings in Electronic Notes in Theoretical Computer Science. Elsevier B.V., 155 . pp. 247-276. ISSN 1571-0661

Bowles, Richard (2006) Investigating the storage capacity of a network with cell assemblies. PhD thesis, Middlesex University.

Clemmensen, Torkil and Campos, Pedro and Orngreen, Rikke and Pejtersen, Annelise Mark and Wong, B. L. William (2006) Human work interaction design: designing for human work: the first IFIP TC 13.6 WG conference: designing for human work. IFIP International Federation for Information Processing (221). International Federation for Information Processing., Boston. ISBN 9780387367927

Cole, Laurence A. and Butler, Stephen A. and Khan, Nawaz and Giddings, Almareena and Muller, Carolyn Y. and Seckl, Michael J. and Kohorn, Ernest I. (2006) Gestational trophoblastic diseases: 2. Hyperglycosylated hCG as a reliable marker of active neoplasia. Gynecologic Oncology, 102 (2). pp. 151-159. ISSN 0090-8258

Dack, John (2006) Henri Pousseur's 'Huit Etudes Paraboliques': the 'open' form as 'Remix'? In: IIASSRC Conference Proceedings. IIASSRC Conference Proceedings, pp. 19-24. ISBN 1-894613-53-8

Dack, John (2006) Translating Pierre Schaeffer: symbolism, literature and music. Musicacoustica 2006 .

Dafoulas, George (2006) Best practise in developing a training course for e-learning professionals. In: Proceedings of 12th NETTIES (Networking Entities) 2006 International Conference.

Dafoulas, George (2006) E-assessment in information technology. In: Proceedings of the 17th Annual International Resources Management Association (IRMA) International Conference.

Dafoulas, George (2006) Emerging trends in web-based learning: the use of e-portfolios. In: Proceedings of 12th NETTIES (Networking Entities) 2006 International Conference.

Dafoulas, George (2006) Visual representation of computer mediated communication patterns in distance learning. In: Proceedings of the 17th Annual International Resources Management Association (IRMA) International Conference.

Dafoulas, George (2006) Web-based systems for distance learning education and e-learning: towards e-learning online communities. In: Proceedings of the 17th Annual International Resources Management Association (IRMA) International Conference.

Dafoulas, George and Murphy, Alan (2006) Communicating on-line: culture and tools. E-Learning Training Guide, 3 . MUP Press. ISBN 1859242871

Dafoulas, George and Murphy, Alan (2006) E-Learning training guide Vol.2 – Tutoring remotely: methods & tools. International Course Handbook Series for Asian Distance Education: e-Learning Professional Training . Middlesex University Press. ISBN 1859242820

Dafoulas, George and Murphy, Alan (2006) E-Learning training guide Vol.3 – Communicate online – culture & tools. International Course Handbook Series for Asian Distance Education: e-Learning Professional Training . Middlesex University Press. ISBN 1859242871

Duquenoy, Penny (2006) Ethical Issues in IPR Management. In: ELearning, Workshop/Conference, 21st March 2006, British Computer Society London Office. London, UK..

Duquenoy, Penny and George, Carlisle and Colliste, Goran and Hedstrom, Karin and Kimppa, Kai and Mordini, Emilio (2006) ICT in medicine and health care: assessing social, ethical and legal issues. In: Social informatics: an information society for all? In remembrance of Rob Kling: proceedings of the seventh international conference on human choice and computers (HCC7). Berleur, Jacques and Markku, I. and Nurminen, John Impagliazzo, eds. IFIP International Federation for Information Processing. (223). IFIP Press, Boston. ISBN 9780387378756

Duquenoy, Penny and Whitehouse, Diane (2006) Pursuing perspectives on ambient intelligence. In: The information society: emerging landscapes: IFIP international conference on landscapes of ICT and social accountability, Turku, Finland, 2005. Duquenoy, Penny and Zielinski, Chris and Kimppa, Kai, eds. International Federation for Information Processing. (195). Springer, New York. ISBN 0387305270

Fields, Bob and Blandford, Ann and Keith, Suzette (2006) Claims analysis "In The Wild": a case study on digital library development. International Journal of Human-Computer Interaction, 21 (2). pp. 197-218. ISSN 1044-7318

Gao, Xiaohong W. (2006) Telemedicine in Europe. In: ChinaPacs, 14th-16th April, 2006, Beijing.

Gao, Xiaohong W. (2006) The state of art of medical displays. In: EuroPacs 2006, 14th-17th June 2006, Trondheim, Norway.

Gao, Xiaohong W. and Batty, Stephen and Clark, John and Fryer, Tim (2006) Content-based retrieval of PET images via localised anatomical texture measurements and mean activity levels. Computerized medical imaging and graphics, 30 (6-7). pp. 70-74. ISSN 0895-6111

Gao, Xiaohong W. and He, P. (2006) Colour reproduction for tele-imaging systems. Computerized medical imaging and graphics, 30 (6-7). pp. 79-84. ISSN 0895-6111

Gao, Xiaohong W. and Podladchikova, L. N. and Shaposhnikov, D. G. and Hong, K. and Shevtsova, Natalia (2006) Recognition of traffic signs based on their colour and shape features extracted using human vision models. Journal of Visual Communication and Image Representation, 17 (4). pp. 675-685. ISSN 1047-3203

George, Carlisle (2006) Internet pharmacies: global threat requires a global approach to regulation. Hertfordshire law journal, 4 (1). pp. 12-25. ISSN 1479-4195

George, Carlisle and Chandak, Navin (2006) Issues and challenges in securing interoperability of DRM systems in the digital music market. International Review of Law Computers and Technology, 20 (3). pp. 271-285. ISSN 1360-0869

Georgiadou, Elli and George, Carlisle (2006) Information systems failures: whose responsibility? In: Learning and teaching issues in software quality [INSPIRE XI]. Dawson, Ray, ed. British Computer Society., Swindon. ISBN 1902505778

Hayes, Jared and Moore, Antoni and Wong, B. L. William (2006) Information layering to de-clutter displays in emergency ambulance dispatch. In: Proceedings of the 13th Eurpoean conference on cognitive ergonomics trust and control in complex socio-technical systems. Rizzo, Antonio and Grote, Gudela and Wong, B. L. William, eds. ACM Press, New York, pp. 10-16. ISBN 9783906509235

Huyck, Christian R. and Belavkin, Roman V. (2006) Counting with neurons: rule application with nets of fatiguing leaking integrate and fire neurons. In: 7th International Conference on Cognitive Modelling, April 5–8 2006., Trieste, Italy.

Huyck, Christian R. and Orengo, Viviane (2006) Relevance feedback and cross-language information retrieval. Information Processing and Management, 42 (5). pp. 1203-1217. ISSN 0306-4573

Jagne, Jainaba and Duncker, Elke and Smith, Serengul (2006) Cross-cultural system design strategy: avoiding problems in usability evaluation. In: IADIS WWW/Internet International Conference 2006, 05/10 - 08/10/ 2006, Murcia, Spain.

Jagne, Jainaba and Smith, Serengul and Duncker, Elke (2006) Assessment techniques in cross-cultural usability evaluation. In: IADIS WWW/Internet International Conference 2006, 05/10 - 08/10/ 2006, Murcia, Spain.

Keith, Suzette and Whitney, Gill and Sentinella, J. and Wong, B. L. William and Platt-Evans, C. and Fielding, C. and Smith, L. (2006) Review of DPTAC guidance: large passenger ships and passenger infrastructure. Project Report. Disabled Persons Transport Advisory Committee (DPTAC).

Keith, Suzette and Whitney, Gill and Wong, B. L. William (2006) Accessibility, usability and fit for purpose: a framework for evaluating information delivery. In: Contemporary ergonomics 2006. Bust, Philip D., ed. Taylor & Francis. ISBN 9780415398183

Keith, Suzette and Whitney, Gill and Wong, B. L. William (2006) A framework for evaluating barriers to accessibility, usability and fit for purpose. In: Contemporary ergonomics 2006. Bust, Philip D., ed. Taylor & Francis, London. ISBN 9780415398183

Kotsia, Irene and Nikolaidis, Nikolaos and Pitas, Ioannis (2006) Fusion of geometrical and texture information for facial expression recognition. In: IEEE International Conference on Image Processing (ICIP 2006), 8-11 October 2006, Atlanta, USA.

Kotsia, Irene and Pitas, Ioannis (2006) Facial expression recognition using shape and texture information. In: IFIP TC12 and WG12.5: Conference and Symposium on Artificial Intelligence, 21-24 August 2006, Santiago, Chile.

Lappas, G. and Frank, R. J. and Albrecht, Andreas A. (2006) A computational study on circuit size versus circuit depth. International Journal on Artificial Intelligence Tools, 15 (2). pp. 143-162. ISSN 0218-2130

Loomes, Martin J. and Albrecht, Andreas A. and Malcolm, J. A. and Zahrani, M. S. (2006) Landscape analysis for multicast routing. Computer Communications, 30 (1). pp. 101-116. ISSN 0140-3664

Mancinelli, Fabio and Boender, Jaap and Di Cosmo, Roberto and Vouillon, Jérôme and Durak, Berke and Leroy, Xavier and Treinen, Ralf (2006) Managing the complexity of large free and open source package-based software distributions. Automated Software Engineering, 2006. ASE '06. 21st IEEE/ACM International Conference on . pp. 199-208. ISSN 1938-4300

Martin, Olivier and Kotsia, Irene and Macq, Benoit and Pitas, Ioannis (2006) The eNTERFACE'05 audio-visual emotion database. In: 22nd International Conference on Data Engineering Workshops (ICDEW 2006), 3-7 April 2006, Atlanta, USA.

Mimirinis, Mike and Dafoulas, George and Murphy, Alan (2006) E-Learning training guide Vol.1 – Blended teaching: pedagogy & tools. Handbook Series for Asian Distance Education: e-Learning Professional Training . Middlesex University Press. ISBN 1859242774

Mimirinis, Mike and Dafoulas, George and Murphy, Alan and Chan Wai Kuen, Timothy and Paranakian, Kanda (2006) Evidence-based research in cross-cultural learning settings: variations in the use of technology, students’ expectations and the role of tutor. In: Intercultural communication competencies in higher education and management: proceedings of the International Conference on Intercultural Communication Competencies, October 6-7, 2005, Singapore. Ong, Siow Heng and Apfelthaler, G. and Hansen, K. and Tapachai, N., eds. Marshall Cavendish Academic, Singapore, pp. 250-258. ISBN 9789812104618

Mitchell, Ian and Agrawal, Abhishek (2006) Selection enthusiasm. In: 6th International Conference on Simulated Evolutionand Learning, Hefei, China. Proceedings. Springer Verlag, Heidelberg, pp. 449-456. ISBN 9783540473312

Mitchell, Ian and Jiang, Nan and Wu, Wendy Xinyu (2006) MESSM: a framework for protein fold recognition using neural networks and support vector machines. International Journal of Bioinformatics Research and Applications, 2 (4). pp. 381-393. ISSN 1744-5493

Mitchell, Ian and Jiang, Nan and Wu, Wendy Xinyu (2006) Threading with environment-specific score by artificial neural networks. Soft Computing - A Fusion of Foundations, Methodologies and Applications, 10 (4). pp. 305-314. ISSN 1432-7643

Moustakas, Evangelos and Duquenoy, Penny and Ranganathan, C. (2006) E-mail marketing at the crossroads: a stakeholder analysis of unsolicited commercial e-mail (spam). Internet research, 16 (1). pp. 38-52. ISSN 1066-2243

Murphy, Alan and Dafoulas, George and Mimirinis, Mike (2006) Blended teaching: pedagogy and tools. E-learning Training Guides, 1 . MU Press. ISBN 1859242774

Reynolds, Carl and Wilson, Judy and Harvey, Pirkko and Masters, Joanne (2006) Learning for life: in pursuit of thinking. In: 7th Annual Conference: Higher Education Academy: Information and Computer Sciences, 29-31 Aug 2006, Dublin, Ireland.

Rowntree, Janet and Hannah, Robert and Wong, B. L. William (2006) Digital artifacts in teaching classical art: some educational considerations. In: Common ground: archaeology, art, science, and humanities: proceedings of the XVIth International congress of classical archaeology, Boston, August 23-26, 2003. Mattusch, Carol C. and Donohue, A. A. and Brauer, Amy, eds. Oxbow, Oxford, pp. 300-321. ISBN 9781842171837

Rozzi, Simone and Wong, B. L. William and Amaldi, Paolo and Woodward, Peter and Fields, Bob (2006) Design sketching for space and time. In: Human work interaction design: designing for human work : the first IFIP TC 13.6 WG conference. Clemmensen, Torkil and Orngreen, Rikke and Pejtersen, Annelise Mark and Wong, B. L. William, eds. IFIP International Federation for Information Processing (221). Springer, New York, pp. 181-205. ISBN 038736790X

Rozzi, Simone and Wong, B. L. William and Woodward, Peter and Amaldi, Paolo and Fields, Bob and Panizzi, Emanuele (2006) Developing visualisations to support spatial-temporal reasoning in ATC. In: Second international conference on research in air transportation. Pejcic-Tarle, Snezana, ed. University of Belgrade: Faculty of Traffic and Transport Engineering, Belgrade, Serbia. ISBN 9788673952109

Rozzi, Simone and Woodward, Peter and Amaldi, Paolo and Fields, Bob and Wong, B. L. William (2006) Evaluating combined 2D/3D displays for ATC. In: 5th EUROCONTROL innovative research workshop & exhibition: proceedings. Eurocontrol: [http://inoworkshop.eurocontrol.fr/], pp. 167-174.

Schanzenberger, Anja (2006) System design for periodic data production management. PhD thesis, Middlesex University.

Springett, Mark and French, Tim and Liu, Kechong (2006) Towards an e-service semiotic trust framework. In: Conference on Action in Language, Organisations and Information Systems (ALOIS-2006), Boras, Sweden.

Ward, Patricia and Dafoulas, George (2006) Database management systems. Fast Track Series . Thomson Learning, London. ISBN 9781844804528

Whitney, Gill (2006) Enabling People with Sensory Impairments to Participate Effectively in Research. Universal Access in the Information Society, 5 (3). pp. 287-291. ISSN 1615-5289

Whitney, Gill and Keith, Suzette (2006) Active ageing through universal design. Gerontechnology, 5 (3). ISSN 1569-1101

Wilson, Judy and Curzon, Paul (2006) Experiences route-planning by older people. In: HCI 2006 proceedings. Fields, Bob, ed. British HCI Group.

Wong, B. L. William (2006) Inventivity in HCI education. In: Inventivity : teaching theory, design and innovation in HCI. Hvannberg, Ebba T., ed. University of Limerick, Limerick, Ireland, pp. 67-72. ISBN 9781874653912

Wong, B. L. William (2006) The critical decision method. In: International encyclopedia of ergonomics and human factors. Karwowski, Waldemar, ed. CRC/Taylor & Francis, pp. 3067-3073. ISBN 0748408479

Wong, B. L. William and Rozzi, Simone and Amaldi, Paolo and Woodward, Peter and Fields, Bob (2006) A framework for considering spatial-temporal representation design needs in air traffic control. In: Proceedings of the Human Factors and Ergonomics Society 50th annual meeting: October 16 - 20, 2006, San Francisco. HFES, Santa Monica, CA., pp. 250-254. ISBN 9780945289296

Wong, B. L. William and Sanderson, Penelope and Memisevic, Rizah and Li, Xilin (2006) Evaluating functional displays for hydropower system: model-based guidance of scenario design. Cognition, Technology and Work, 8 (4). pp. 269-282. ISSN 14355566

2005

Adams, Anne and Blandford, Ann and Attfield, Simon (2005) Implementing digital resources for clinicians' and patients' varying needs. Informatics for Health and Social Care, 30 (2). pp. 107-122. ISSN 1753-8157

Adams, Ray G. and Smith, Serengul (2005) Human-computer interaction: users, tasks and designs. Middlesex University Press, London. ISBN 1898253862

Adams, Ray G. and Smith, Serengul (2005) Paradigms, technology and demand characteristics for universal access: can we treat different technologies the same? In: HCI international 2005 11th international conference on human-computer interaction: proceedings. Lawrence Erlbaum Associates, Mahwah, NJ.. ISBN 9780805858075

Adams, Ray G. and Whitney, Gill (2005) Universal access in an information world. In: Natural computing and interactive system design. Adams, Ray G., ed. Pearson Education, Harlow. ISBN 1844792595

Adams, Ray G. and Whitney, Gill (2005) The use of computers in rehabilitation. In: HCI international 2005: 11th international conference on human-computer interaction. Salvendy, Gavriel, ed. Lawrence Erlbaum Associates, Mahwah, NJ.. ISBN 9780805858075

Albinsson, P. A. and Wong, B. L. William and Pilemalm, S. (2005) Using a reconstruction-exploration approach to empower cognitive analysis methods: Possibilities and challenges. In: Proceedings of the human factors and ergonomics society: 49th annual meeting. Human Factors and Ergonomics Society., Santa Monica, Calif., pp. 224-228.

Amaldi, Paolo and Fields, Bob and Rozzi, Simone and Wong, B. L. William (2005) Operational Concepts Report Vol.1: Approach Control. Project Report. Middlesex University Press, London.

Amaldi, Paolo and Fields, Bob and Rozzi, Simone and Woodward, Peter and Wong, B. L. William (2005) Operational concepts report Vol.2: tower control deliverable 12. Project Report. Middlesex University Press.

Attfield, Simon (2005) Information seeking, gathering and review: journalism as a case study for the design of search and authoring systems. PhD thesis, University of London.

Attfield, Simon and Adams, Anne (2005) Patient information needs: before and after doctor consultations. In: Proceedings of the healthcare digital libraries workshop. ECDL.

Attfield, Simon and Mottram, Chiron and Fatah gen. Schieck, Ava and Blandford, Ann and Penn, Alan (2005) Exploring the effects of introducing real-time simulation on collaborative urban design in augmented reality. In: Studying designers '05. Gero, J. S. and Bonnardel, L., eds. Key Centre of Design Computing and Cognition, University of Sydney, Sydney, Australia, pp. 369-374. ISBN 9781864877434

Belavkin, Roman V. (2005) Acting irrationally to improve performance in stochastic worlds. In: 25th SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, 2005, Cambridge, UK.

Belavkin, Roman V. (2005) Entropy and information in models of learning behaviour. AISB Quarterly, 119 . p. 5. ISSN 0268-4179

Bornat, Richard and Calcagno, Cristiano and Parkinson, Matthew and O'Hearn, Peter (2005) Permission accounting in separation logic. 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '05), Long Beach, California, USA. Proceedings . pp. 259-270. ISSN 0362-1340

Buciu, Ioan and Kotsia, Irene and Pitas, Ioannis (2005) Facial expression analysis under partial occlusion. In: IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP 2005), 18-23 March 2005, Philadelphia.

Butterworth, Richard J. and Fields, Bob and Curzon, Paul and Davis-Perkins, Veronica (2005) A study into the effect of digitisation projects on the management and stability of historic photograph collections. In: 9th European Conference on Research and Advanced Technology for Digital Libraries (ECDL 2005), Vienna, Austria. Proceedings. Springer Berlin, Heidelberg., pp. 278-289. ISBN 3-540-28767-1

Dack, John (2005) Sonic Art: Interactions between practice and theory. In: IIASSRC Conference Proceedings. IIASSRC Conference Proceedings, pp. 33-40. ISBN 1-894613-45-7

Dack, John (2005) Soundscape: the school of sound lectures. Sound Journal .

Dafoulas, George (2005) Enhancing computer mediated communication in virtual learning environment. In: Proceedings of the 5th IEEE International Conference on Advanced Learning Technologies (ICALT 2005).

Dafoulas, George (2005) Web-based systems for distance education and e-learning. In: Proceedings of the 15th International World Wide Web Conference.

Dafoulas, George (2005) The role of feedback in online learning communities. In: Proceedings of the 5th IEEE International Conference on Advanced Learning Technologies (ICALT 2005).

Dafoulas, George and Bakry, Walaa and Murphy, Alan (2005) E-Learning online communities. Proceedings of the e-LOC 2005 International Workshop . Middlesex University Press. ISBN 1 898253 99 4

Dafoulas, George and Frumkin, Lara A. and Mimirinis, Mike and Murphy, Alan (2005) Investigating computer-supported cooperative learning: applications for flexible learning environments. In: Proceedings of the 3rd ACS/IEEE International Conference on Computer Systems and Applications (AICCSA-2005). IEEE, pp. 847-852.

Dafoulas, George and Macaulay, Linda (2005) Support environments for e-learning in developing countries. In: Effective Teamwork: Key Insights. Reddy, S., ed. Institute of Chartered Financial Analysts of India (ICFAI) Books . ICFAI University Press. ISBN 81-7881-414-5

Dafoulas, George and Mimirinis, Mike (2005) Communication patterns in e-learning communities. Interactive Technology and Smart Education, 2 (4). pp. 221-233. ISSN 1741-5659

Dafoulas, George and Mimirinis, Mike and Frumkin, Lara A. and Murphy, Alan (2005) Investigating computer-supported cooperative learning: applications for flexible learning environments. In: Proceedings of the International Workshop on e-Learning Online Communities (e-LOC 2005).

Duquenoy, Penny and Bakry, Walaa-Eldeen Mohamed and Abdeghaffar, Hany (2005) E-government: a new vision for success. In: Proceedings European and Mediterranean Conference on Information Systems (EMCIS 2005). European and Mediterranean Conference on Information Systems. ISBN 0972956271

Duquenoy, Penny (2005) Ethics of computing. In: Perspectives and policies on ICT in society. Berleur, Jacques and Avgerou, Chrisanthi, eds. IFIP Advances in Information and Communication Technology (179). International Federation for Information Processing, Boston, pp. 159-170. ISBN 9780387255873

Duquenoy, Penny and Holvast, Jan and Whitehouse, Diane (2005) The information society and its consequences: lessons from the past. In: Perspectives and policies on ICT in society: an IFIP TC9 (computers and society) handbook. Berleur, Jacques and Avgerou, Chrisanthi, eds. International Federation for Information Processing. (179). Springer, New York. ISBN 9780387255873

Duquenoy, Penny and Jones, Simon and Rahanu, Harjinder and Diaper, Dan (2005) Social, legal and professional issues of computing. Global Campus . Middlesex University Press, London, UK. ISBN 9781904750307

Duquenoy, Penny and Moustakas, Evangelos and Ranganathan, C. (2005) Combating spam through legislation: a comparative analysis of US and European approaches. In: Second conference on email and anti-spam CEAS 2005 [proceedings]. CEAS.

Duquenoy, Penny and Moustakas, Evangelos and Ranganathan, C. (2005) Unsolicited commercial email (spam): an exploratory understanding using stakeholder analysis. In: European conference on information systems: ECIS 2005. DBLP Bibliography.

Duquenoy, Penny and Moustakas, Evangelos and Ranganathan, C. (2005) Phish or treat? Phishing tricks reloaded. In: 4th European conference on information warfare and security [proceedings]. Hutchinson, Bill, ed. Academic Conferences Ltd, Reading. ISBN 1905305028

Fatah gen. Schieck, Ava and Penn, Alan and Mottram, Chiron and Strothmann, Andreas and Ohlenburg, Jan and Broll, Wolfgang and Aish, Francis and Attfield, Simon (2005) Interactive space generation through play: exploring the role of simulation on the design table. International Journal of Architectural Computing, 3 (1). pp. 3-26. ISSN 1478-0771

Fields, Bob and Tassi, Antonello and Amaldi-Trillo, Paola (2005) Representing collaborative work: the airport as common information space. Cognition Technoogy and Work, 7 (2). pp. 119-133. ISSN 1435-5558

French, Tim and Springett, Mark (2005) Trusted and trustworthy digital interactive TV: paradise lost or a paradise (to be) regained? In: EuroITV 2005, 3rd European conference on interactive television, user-centered ITV systems, progammes and applications. Aalborg U. P..

French, Tim and Springett, Mark (2005) Characterising and understanding intangible trust factors. In: Proceedings of the 2nd international design and engagability conference (IDEC), September 6th 2005: engagability & design. Knight, John and Sheridan, Jennifer, eds. UCE Birmingham, Institute of Art and Design, Birmingham. ISBN 1904839010

Frumkin, Lara A. and Mimirinis, Mike and Murphy, Alan and Dimitrova, Maia and Dafoulas, George (2005) Support mechanisms for web-enhanced learning in diverse cultural contexts. In: [Proceeding] Web-based Education (WBE 2005), February 21 – 23, 2005, Grindelwald, Switzerland. ACTA Press. ISBN 0889864802

George, Carlisle (2005) Data protection: peeking over the study cubicle online! In: JISClegal: Legal Issues of Online Learning Environments., 1-2 June 2005, University of Warwick, UK.

George, Carlisle and Duquenoy, Penny (2005) Online medical consultations: are we heading in the right direction? In: Ethicomp 2005, Looking back to the future, 12-15 September 2005, Linköping, Sweden..

George, Carlisle (2005) Copyright management systems: assessing the power balance. In: The information society: emerging landscapes: IFIP International Conference on Landscapes of ICT and Social Accountability, Turku, Finland, June 27-29, 2005. Zielinski, Chris and Duquenoy, Penny and Kimppa, Kai, eds. International Federation for Information Processing (195). Springer, New York, pp. 211-222. ISBN 0387305270

George, Carlisle (2005) Online healthcare: internet pharmacies may not be good for your health. In: The information society: emerging landscapes: IFIP International Conference on Landscapes of ICT and Social Accountability, Turku, Finland, June 27-29, 2005. Zielinski, Chris and Duquenoy, Penny and Kimppa, Kai, eds. International Federation for Information Processing (195). Springer, Netherlands, pp. 133-151. ISBN 0387305270

Hayes, Jared and Moore, Antoni and Benwell, George and Wong, B. L. William (2005) Complexity factors in ambulance command and control. In: Proceedings of the human factors and ergonomics society: 49th annual meeting. Human Factors and Ergonomics Society., Santa Monica, Calif..

Hein, Eike and Albrecht, Andreas A. and Melzer, Daniela and Steinhofel, Kathleen and Rogalla, Patrick and Hamm, Bernd and Taupitz, Matthias (2005) Computer-assisted diagnosis of focal liver lesions on CT images: evaluation of the perceptron algorithm. Academic Radiology, 12 (9). 1205 -1210. ISSN 1076-6332

Huyck, Christian R. and Orengo, Viviane (2005) Information retrieval and categorisation using a cell assembly network. Neural Computing and Applications, 14 (4). pp. 282-289. ISSN 0941-0643

Iahad, Noorminshah and Dafoulas, George (2005) Support environments for e-learning in developing countries. In: Information Systems in Developing Countries: Theory and Practice. Davison, R.M. and Harris, R.W. and Qureshi, D.R. and Vogel, D.R. and De Vreede, G.J., eds. City University of Hong Kong Press, pp. 57-78. ISBN 962-937-110-3

Keith, Suzette and Springett, Mark and Wong, B. L. William (2005) Purpose and context: selecting multiple methods for evaluating a pilot public information terminal. In: Contemporary ergonomics. 2005. Bust, Philip D. and McCabe, Paul T., eds. Taylor & Francis. ISBN 0415374480

Keith, Suzette and Whitney, Gill and Kolar, Irena (2005) A scenario-based evaluation of travel information for older people and people with disabilities. In: HCI and the older population., 5th Sept 2005, Napier University, Edinburgh.

Khan, Nawaz and Chukwuemeka, Ikejiaku and Rahman, Shahedur (2005) Prediction of Type II MODY3 diabetes using backpercolation. In: 18th IEEE Cmputer Based Medical System Conference, Dublin. Proceedings. IEEE Computer Society Press., London, pp. 401-403. ISBN 0-7695-2355-2

Kotsia, Irene and Pitas, Ioannis (2005) Real time facial expression recognition from image sequences using support vector machines. In: IIEEE International Conference on Image Processing (ICIP 2005), 11-14 September, 2005, Genova, Italy.

Kotsia, Irene and Pitas, Ioannis (2005) Real time facial expression recognition from image sequences using support vector machines. In: Visual Communications and Image Processing (VCIP 2005), 12-15 July, 2005, Beijing, China.

Law, Effie Lai-Chong and Hvanberg, Ebba and Cockton, Gilbert and Palanque, Philippe and Scapin, Dominique and Springett, Mark and Stary, Christian and Vanderdonckt, Jean (2005) Towards the maturation of IT usability evaluation (MAUSE). In: Human-computer interaction: INTERACT 2005: IFIP TC13 international conference: proceedings. Costabile, Maria Francesca and Paterno, Fabio, eds. Lecture Notes in Computer Science. (3585). Springer, Berlin, pp. 1134-1137. ISBN 3540289437

Leng, Paul and Dafoulas, George (2005) E-learning communities. Interactive Technology and Smart Education, 2 (4). pp. 193-194. ISSN 1741-5859

Li, Xilin and Sanderson, Penelope and Wong, B. L. William and Choudhury, Sanjib and Memisevic, Rizah (2005) Applying the control adaptation method to a real world system: hydropower system example. In: Proceedings of the annual conference of the European association of cognitive ergonomics, EACE 2005 conference. Marmaras, Nicolas, ed. ACM international conference proceeding series. . University of Athens., Athens. ISBN 9789602546567

Lieu, Chunyan and Dafoulas, George (2005) A framework of using online portfolio to provide learner and learning support in e-learning. In: Proceedings of the 5th IEEE International Conference on Advanced Learning Technologies (ICALT 2005),.

Macaulay, Linda and Keeling, Kathy and Dafoulas, George and Kalaitzakis, Manos and McGoldrick, Peter (2005) Intensely focused groups within on-line communities. In: Proceedings of the HCI International Conference (HCII 2005).

Martin, Olivier and Adell, Jordi and Huerta, Ana and Kotsia, Irene and Savran, Arman and Sebbe, Raphael (2005) Multimodal caricatural mirror. In: eNTERFACE 2005, 18 July - 12 August 2005, Belgium.

Mehrizi, Zahra and Turega, Mike and Dafoulas, George (2005) Application of computer-assisted-assessment (CAA) into the instructor-centred model of e-learning. In: Proceedings of the IADIS e-Society 2005 Conference.

Mehrizi, Zahra and Turega, Mike and Dafoulas, George (2005) An adaptive approach into the design of formative CAA systems in an instructor-centred paradigm. In: Proceedings of E-Learn 2005 Conference.

Memisevic, Rizah and Sanderson, Penelope and Choudhury, Sanjib and Wong, B. L. William (2005) Work domain analysis and ecological interface design for hydropower system monitoring and control. In: Proceedings: the international conference on systems, man and cybernetics. IEEE, pp. 3580-3587. ISBN 0780392981

Mimirinis, Mike and Dafoulas, George (2005) Delivering quality content for intercultural education: the IntCultNet project. In: Proceedings of the International Conference in Education – New Perspectives in Cognitive and Intercultural Learning: From Preschool Education to Information Society.

Mimirinis, Mike and Dafoulas, George (2005) Educational research on the internet: providing a platform for an intercultural-cultural context. In: Proceedings of the International Conference in Education – New Perspectives in Cognitive and Intercultural Learning: From Preschool Education to Information Society.

Mimirinis, Mike and Dafoulas, George (2005) Enriching a pedagogical model for the implementation of a virtual training environment. In: Fifth IEEE International Conference on Advanced Learning Technologies (ICALT 2005), 05-08 Jul 2005, Kaohsiung, Taiwan.

Mitchell, Ian and Agrawal, Abhishek and Litovski, Ivan and Passmore, Peter J. (2005) Dynamics in proportionate selection. In: International Conference on Adaptive and Natural Computnig Alogorithms, Coimbra, Portugal. Proceedings. Springer, Vienna., pp. 226-229. ISBN 9783211249345

Mitchell, P. I. and Bowden, L. and Vintro, L. Leon and García-Tenorio, R. and Garelick, Hemda and Holm, E. and Kovacs, T. and Kovats, N. and Priest, Nicholas and Salbu, B. and Skipperud, L. and Tamponnet, C. (2005) Existing competence and infrastructure in radiation protection training at postgraduate level within the EU and new entrant states. In: ETRAP2005 Conference (3rd International Conference on Education and Training in Radiological Protection), 23-25 November 2005, Brussels, Belgium.

Ndeti, Mkwama and George, Carlisle (2005) Pursuing electronic health: a UK primary health care perspective. In: Challenges of expanding Internet: e-commerce, e-business, and e-government: 5th IFIP Conference on e-Commerce, e-Business, and e-Government (13E'2005), October 28-30, 2005, Poznan, Poland. Funabashi, Matohisa and Grzech, Adam, eds. International Federation for Information Processing (189). Springer, New York, pp. 251-264. ISBN 9780387287539

Nie, Ming and Duncker, Elke (2005) Issues of cross-cultural distance learning. In: 11th European Conference for Research on Learning and Instruction 2005, 22-27 Aug 2005, Latvia.

Whitney, Gill and Keith, Suzette and Kolar, Irena (2005) Electronic travel booking: the evaluation of usability, accessibility and fitness for purpose by older people and people with disabilities. In: HCI International 2005: 11th international conference on human-computer interaction. Lawrence Erlbaum Associates, Mahwah, NJ.. ISBN 9780805858075

Whitney, Gill and Keith, Suzette and Kolar, Irena (2005) Independent mobility for blind and partially sighted people travelling by large passenger ships. In: Vison 2005 : proceedings of the Vision 2005 conference. Hamlin, Deborah and Rubin, Gary S., eds. Elsevier. ISBN 0444520910

Whitney, Gill and Wilson, Judy and Curzon, Paul (2005) Successful strategies of older people for finding information. Interacting with Computers, 17 (6). pp. 660-671. ISSN 0953-5438

Wong, B. L. William and Curzon, Paul (2005) Interaction design at Middlesex University: innovative human-centred solutions. In: People and ccmputers XVIII: design for life: proceedings of HCI 2004. Fincher, Sally, ed. Springer, London, pp. 209-210. ISBN 9781846280627

Wong, B. L. William and Hayes, Jared and Moore, Tony (2005) What makes emergency ambulance command and control complex? In: 2nd workshop on complexity in design and engineering. Johnson, Chris, ed. GIST Technical Report . University of Glasgow, Department of Computing Science., Glasgow, pp. 106-116.

Wong, B. L. William and Joyekurun, Ronish and Mansour, Hoda and Amaldi, Paolo and Nees, Anna and Villanueva, Rochelle (2005) Depth, layering and transparency: developing design techniques. In: OZCHI 2005 citizens online: considerations for today & the future. Bentley, Todd and Balbo, Sandrine, eds. ACM international conference proceeding series . CHISIG. ISBN 1595932224

Wong, B. L. William and Joyekurun, Ronish and Nees, Anna and Amaldi, Paolo and Villanueva, Rochelle (2005) Information layering, depth and transparency effects on multi-layered displays for command and control. In: Proceedings of the Human factors and ergonomics society: 49th annual meeting. HFES, Santa Monica, CA., pp. 353-356.

Wong, B. L. William and Panifici, E. and Lot, D. D. and Amaldi, Paolo and Fields, Bob and Rozzi, Simone (2005) Next generation 4D HMI concepts. Deliverable 14. Report prepared for AD4: 4D virtual airspace management system, sixth framework programme, priority 1.4 aeronautics and space. Project Report. NEXT Sistems Ingegeria o., Rome.

Wong, B. L. William and Springett, Mark and Keith, Suzette (2005) Fit for purpose evaluation: the case of a public information kiosk for the socially disadvantaged. In: People and Computers XIX - The Bigger Picture: Proceedings of HCI 2005 (BCS Conference). Springer Verlag, pp. 149-165. ISBN 1-84628-192-X

Zhang, Yan and Passmore, Peter J. and Bayford, Richard (2005) Visualization and post-processing of 5D Brain Images. Proceedings of the annual international conference of the IEEE engineering in medicine and biology society., 2 . pp. 1083-1086. ISSN 1558-4615

Zhang, Yan and Passmore, Peter J. and Yerworth, Rebecca J. and Bayford, Richard (2005) Statistical analysis for brain EIT images using SPM. In: Proceedings: International Conference on Medical Information Visualisation; BioMedical Visualisation (MediVis). Institute of Electrical and Electronics Engineers, pp. 60-67. ISBN 0769523935

2004

Adams, Anne and Attfield, Simon and Blandford, Ann (2004) Have digital resources taken a wrong turn on the health ‘information journey’? In: Proceedings of the 2nd healthcare digital libraries workshop. ECDL.

Albrecht, Andreas A. and Lappas, Georgios (2004) Classification improvement by an extended depth LSA machine. WSEAS Transactions on Systems, 3 (3). pp. 1120-1125. ISSN 1109-2777

Albrecht, Andreas A. and Lappas, Georgios (2004) On the evaluation of dividing samples for training an extended depth LSA machine. WSEAS Transactions on Systems, 3 (3). pp. 1251-1257. ISSN 1109-2777

Attfield, Simon and Blandford, Ann and Craft, Brock (2004) Task embedded visualisation: the design for an Interactive IR results display for journalists. In: Proceedings of eighth international conference on information visualisation, 2004. IEEE Computer Society, Los Alamitos, USA, pp. 650-655. ISBN 0769521770

Batty, Stephen (2004) Content based retrieval of PET neurological images. PhD thesis, Middlesex University.

Belavkin, Roman V. (2004) On relation between emotion and entropy. In: AISB'04 Symposium on Emotion, Cognition and Affective Computing, Leeds UK.

Belavkin, Roman V. and Ritter, Frank E (2004) OPTIMIST: A new conflict resolution algorithm for ACT-R. In: Sixth International Conference on Cognitive Modelling, Mahwah, NJ.

Clark, Tony and Evans, Andy and Sammut, Paul and Willans, James (2004) Language driven development and MDA. MDA Journal .

Clark, Tony and Evans, Andy and Sammut, Paul and Willans, James (2004) Transformation language design: a metamodelling foundation. In: Graph transformations. Lecture Notes in Computer Science . Springer Berlin / Heidelberg, pp. 223-226. ISBN 9783540232070

Clark, Tony and Evans, Andy and Sammut, Paul and Willans, James (2004) An eXecutable metamodelling facility for domain specific language design. In: The 4th OOPSLA Workshop on domain-specific modeling, 24-28 October, 2004, Vancouver.

Cook, John and Huyck, Christian R. and Whitney, Gill (2004) Agent design method for enhancing accessibility. In: ED-MEDIA 2004: world conference on educational multimedia, hypermedia and telecommunications: proceedings of ED-MEDIA 2004. McLoughlin, Catherine and Cantoni, Lorenzo, eds. Association for the Advancement of Computing in Education. ISBN 1880094533

Curzon, Paul and Keith, Suzette and Wilson, Judy and Whitney, Gill (2004) Information seeking strategies used by older people. In: Utopia workshops: HCI and the older population, 7th Sept. 2004, Leeds.

Dack, John (2004) Electroacoustic music: analytical perspectives. Organised Sound, 9 (1). pp. 115-117. ISSN 1355-7718

Dack, John (2004) Virtuosity and the virtual. Working Paper. John Dack.

Dack, John (2004) The artist-couple (Sabine Schäfer and Joachim Krebs). In: AquaAngelusVox. MDG, pp. 7-9.

Dack, John (2004) The open form in the arts. In: IIASSRC Conference Proceedings. IIASSRC Conference Proceedings, pp. 7-13. ISBN 1-894613-40-6

Dack, John (2004) "Open" forms and the computer. In: Musiques, arts, technologie. Pour une Approche Critique. Collection: 'Musique-philosophie'. Barbanti, Roberto, ed. Harmattan, Paris, pp. 401-412. ISBN 2-7475-6691-9

Dafoulas, George and Kalaitzakis, Manos and Macaulay, Linda (2004) Enhancing development of online communities through a multi-methodological approach. In: Proceedings of the IADIS e-Commerce 2004 Conference.

Duquenoy, Penny (2004) Ethics: the missing element in an intelligent world. In: Challenges for the citizen of the information society: ETHICOMP 2004. Bynum, Terrell Ward, ed. University of the Aegean, Syros, Greece, pp. 266-276. ISBN 9789607475268

Duquenoy, Penny (2004) Models for internet ethics. In: Risks and challenges of the network society: proceedings of the second IFIP 9.2, 9.6/11.7 Summer School 4-8 August 2003. Duquenoy, Penny and Fischer-Hübner, Simone and Holvast, Jan and Zuccato, Albin, eds. Division för Information Technology, Dept. of Computer Science, Karlstad. ISBN 9185335037

Duquenoy, Penny (2004) Building the information society: IFIP 18th world computer congress. In: Building the information society: IFIP 18th world computer congress. Jacquart, René, ed. International Federation for Information Processing. (156). Kluwer Academic Publishers., London, pp. 597-602. ISBN 1402081561

Duquenoy, Penny (2004) Intelligent ethics. In: Building the information society: IFIP 18th World Computer Congress: Topical sessions 22-27 August 2004, Toulouse, France. Jacquart, René, ed. International Federation for Information Processing (156). Kluwer Academic Publishers, Boston, pp. 597-602. ISBN 402081561

Duquenoy, Penny and Moustakas, Evangelos (2004) Unsolicited commercial communication: the integrated scenario. In: Challenges for the citizen of the information society: ETHICOMP 2004. Bynum, Terrell Ward, ed. University of the Aegean, Syros, Greece, pp. 686-696. ISBN 9789607475268

Gao, Xiaohong W. (2004) Colour management in telemedicine. In: Proceedings of the seventh IASTED international conference on computer graphics and imaging. Hamza, M. H., ed. Acta Press, Anaheim, pp. 361-364. ISBN 0889864187

Gao, Xiaohong W. and Qian, Y. and Tully, T. and Hendon, Zoë (2004) Towards archiving wallpaper images. In: Proceedings of the seventh IASTED international conference on computer graphics and imaging. Hamza, M. H., ed. Acta Press, Anaheim, pp. 305-309. ISBN 0889864187

Gao, Xiaohong W. and Shaposhnikov, D. G. and Podladchikova, L. N. (2004) Application of vision models to traffic sign recognition. In: Lecture Notes in Computer Science. Springer Berlin, Heidelberg, pp. 1100-1105. ISBN 978-3-540-40408-8

Georgalas, Nektarios and Azmoodeh, Manooch and Clark, Tony and Evans, Andy and Sammut, Paul and Willans, James (2004) MDA-driven development of standard-compliant OSS components: the OSS/J inventory case-study. In: Second European Workshop on Model Driven Architecture (MDA) with an emphasis on methodologies and transformations, 7-8 September 2004, Canterbury, England.

Ham, Dong-Han and Cho, Jin Hee and Kim, Jin Sam and Ha, Su Jung (2004) MaRMI-III: a methodology for component-based development. Electronics and Telecommunications Research Institute (ETRI) Journal, 26 (2). pp. 167-180. ISSN 1225-6463

Hayes, Jared and Moore, Antoni and Benwell, George and Wong, B. L. William (2004) Ambulance dispatch complexity and dispatcher decision strategies: implications for interface design. In: Computer human interaction: 6th Asia Pacific conference, APCHI 2004. Masoodian, Masood and Jones, Steve and Rogers, Bill, eds. Lecture Notes in Computer Science. (3101). Springer, Berlin, pp. 589-593. ISBN 9783540223122

Huyck, Christian R. (2004) Overlapping cell assemblies from correlators. Neural Computing Letters, 56 . pp. 435-439. ISSN 0925-2312

Iahad, Noorminshah and Dafoulas, George (2004) The role of feedback in interactive learning systems: a comparative analysis of computer-aided assessment for theoretical and practical courses. In: Proceedings of the 4th IEEE International Conference on Advanced Learning Technologies (ICALT 2004).

Iahad, Noorminshah and Dafoulas, George and Kalaitzakis, Manos and Macaulay, Linda (2004) Evaluation of online assessment: the role of feedback in learner-centered e-learning. In: Proceedings of the 37th Hawaii International Conference on System Sciences (HICSS 2004).

Iahad, Noorminshah and Dafoulas, George and Milankovic-Atkinson, Maya and Murphy, Alan (2004) E-learning in developing countries: suggesting a methodology for enabling computer-aided assessment. In: Proceedings of the 2nd IEEE International Workshop on Technology for Education in Developing Countries (TEDC 2004).

Jones, Simon and Pearson, Russell (2004) Information technology in organisations. Middlesex University Press, Enfield, Middlesex. ISBN 1904750257

Keith, Suzette and Whitney, Gill (2004) Investigating the usability of large passenger ships by older and disabled people. In: Access to Buildings and Transport Conference, Tuesday 30th November 2004, Britannia Street Conference Centre, London.

Keith, Suzette and Wong, B. L. William (2004) Fit for purpose: accessibility of on-line public service information through the Barnet CAB electronic advice project. Other. Middlesex University.

Khan, Nawaz (2004) A cooperative framework for molecular biology database integration using image object selection. PhD thesis, Middlesex University.

Khan, Nawaz (2004) A cooperative framework for molecular biology database integration using image object selection. PhD thesis, Middlesex University.

Khan, Nawaz and Stockman, A. G. and Rahman, Shahedur (2004) A framework for molecular biology databases integration using context graph keying. In: 17th IEEE COmputer Based Medical System Conference (CBMS 2004), Bethesda, Maryland, USA. Proceedings. IEEE Computer Society Press., pp. 21-26. ISBN 0-7695-2104-5

Le, Huong T. and Abeysinghe, Geetha and Huyck, Christian R. (2004) Automated discourse segmentation by syntactic information and cue phrases. In: IASTED International Conference on Artificial Intelligence and Applications (AIA 2004), 16-18 February 2004, Innsbruck, Austria.

Le, Huong T. and Abeysinghe, Geetha and Huyck, Christian R. (2004) Generating discourse structures for written texts. In: International Conference on Computational Linguistics, (COLING 2004), 23rd-27th August 2004, University of Geneva, Switzerland.

Memisevic, Rizah and Choudhury, Sanjib and Sanderson, Penelope and Wong, B. L. William (2004) Integrated power scheme simulator for human-system integration studies. In: Proceedings of AUPEC'2004 : Australasian universities power engineering conference. Walker, G., ed. AUPEC. ISBN 1864997753

Moustakas, Evangelos and Duquenoy, Penny (2004) Service provider responsibility for unsolicited commercial communication (spam). In: Risks and challenges of the network society: proceedings of the second IFIP 9.2, 9.6/11.7 Summer School 4-8 August 2003. Duquenoy, Penny and Fischer-Hübner, Simone and Holvast, Jan and Zuccato, Albin, eds. Karlstad University. Department of Computer Science. Division for Information Technology, Karlstad. ISBN 9185335037

Nuhn, Ralf and Dack, John (2004) Foreword, afterword and translation of "Sound - Time - Space - Movement: The Space-Sound Installations of the artist couple Sabine Schäfer/Joachim Krebsâ. Organised Sound, 8 (2). pp. 213-225. ISSN 1355-7718

Rahman, Shahedur and Khan, Nawaz (2004) Interoperability and navigation between medical databases using context graph. In: Fourth international conference on intelligent systems design and applications (ISDA 2004). IEEE Computer Society, Budapest. ISBN 9789637154294

Rahman, Shahedur and Shah, Abu and Whitney, Gill (2004) Computer-vision-based navigation system for the visually impaired. In: SIGGRAPH 2004: 31st International Conference on Computer Graphics and Interactive Techniques., August 8-12, 2004, Los Angeles, California.

Rowntree, Janet and Hannah, Robert and Wong, B. L. William (2004) A fidelity-mediation framework for virtual objects. International journal of learning technology, 1 (2). pp. 163-178. ISSN 1477-8386

Sanderson, Penelope and Memisevic, Rizah and Wong, B. L. William (2004) Analysing cognitive work of hydroelectricity generation in a dynamic deregulated market. In: Proceedings of the human factors and ergonomics society: 48th annual meeting. Human Factors, Santa Monica, CA., pp. 484-488. ISBN 9780945289241

Shaikh, Fatema and Lasebae, Aboubaker and Whitney, Gill (2004) Critical analysis of high speed wireless standards for transferring telementoring information. In: ICTTA'04: 2004 International conference on information & communication technologies: from theory to applications. Institute of Electrical and Electronics Engineers: French section. ISBN 9780780384828

Springett, Mark (2004) Towards the integration of user experience factors into error classification for evaluation. In: Design for life: proceedings of HCI 2004. Fincher, Sally, ed. People and computers (18). Springer, Berlin. ISBN 9781852339005

Ward, Chantelle and Dempsey, Maria and Ring, Christopher J. and Kempson, R. E. and Zhang, L. Q. and Gor, D. and Snowden, B. W. and Tisdale, Margaret (2004) Design and performance testing of quantitative real time PCR assays for influenza A and B viral load measurement. Journal of clinical virology, 29 (3). pp. 179-188. ISSN 1386-6532

Whitney, Gill and Wilson, Judy and Curzon, Paul and Keith, Suzette (2004) Strategies for finding government information by older people. In: 8th ERCIM International Workshop on User Interfaces for All, Vienna, Austria. User-Centered Interaction Paradigms for Universal Access in the Information Society. Springer Berlin, Heidelberg., pp. 34-41. ISBN 978-3-540-23375-6

Wilson, Judy (2004) Computer support for a person's cognitive map in a navigational domain. In: People and computers XVII: designing for society: proceedings of HCI 2003. O'Neill, Eamonn and Palanque, Philippe and Johnson, Peter, eds. BCS conference series . Springer. ISBN 1852337664

Wong, B. L. William and Blandford, Ann (2004) Situation awareness in an emergency medical dispatch centre. In: Proceedings of the human factors and ergonomics society: 48th annual meeting. HFES, Santa Monica, CA., pp. 285-289. ISBN 9780945289241

Wong, B. L. William and Blandford, Ann (2004) Situation awareness in emergency medical dispatch. International Journal of Human-Computer Studies, 61 (4). pp. 421-452. ISSN 1071-5819

Wong, B. L. William and Blandford, Ann (2004) Information handling in dynamic decision making environments. In: ECCE-12: proceedings of the twelfth European conference on cognitive economics. Blythe, Mark A. and Baxter, Gordon and Reed, Darren, eds. European Association of Cognitive Ergonomics/ University of York, York, pp. 195-202. ISBN 9781900640305

2003

Adams, Ray G. and Whitney, Gill (2003) Accessibility for all and tacit knowledge requirements of systems at work. In: CEN / CENELEC / ETSI Conference on Accessibility for All, 27-28th March 2003, Nice.

Adams, Ray G. and Whitney, Gill and Langdon, Patrick (2003) Universal access heuristics for blind and visually impaired people who use ICT. In: Universal access in HCI: inclusive design in the information society. Stephanidis, Constantine, ed. Proceedings of HCI International 2003 (4: Hum). Lawrence Erlbaum Associates, pp. 13-17. ISBN 9780805849349

Albrecht, Andreas A. and Vinterbo, Staal A. and Ohno-Machado, Lucila (2003) An Epicurean learning approach to gene-expression data classification. Artificial Intelligence in Medicine, 28 (1). pp. 75-87. ISSN 0933-3657

Appukuttan, Biju K. and Clark, Tony and Reddy, Sreedhar and Tratt, Laurence and Venkatesh, R. (2003) A model driven approach to building implementable model transformations. In: Workshop in Software Model Engineering (WiSME) 2003, October 2003, San Francisco.

Appukuttan, Biju K. and Clark, Tony and Reddy, Sreedhar and Tratt, Laurence and Venkatesh, R. (2003) A model driven approach to model transformations. In: Workshop on Model Driven Architecture: Foundations and Applications, 26-27 June 2003, University of Twente Enschede, The Netherlands.

Appukuttan, Biju K. and Clark, Tony and Reddy, Sreedhar and Tratt, Laurence and Venkatesh, R. (2003) A pattern based model driven approach to model transformations. In: Metamodelling for MDA 2003: First International Workshop York, UK, November 2003: proceedings. Evans, Andy and Sammut, Paul and Willans, James S., eds. University of York, York, pp. 110-128.

Appukuttan, Biju K. and Clark, Tony and Tratt, Laurence and Reddy, Sreedhar and Venkatesh, R. and Sammut, Paul and Evans, Andy and Sammut, Paul and Willans, James (2003) Revised submission for MOF 2.0 query / views / transformations RFP. Technical Report. Object Management Group.

Attfield, Simon and Blandford, Ann and Dowell, John (2003) Information seeking in the context of writing: a design psychology interpretation of the ‘problematic situation’. Journal of Documentation, 59 (4). pp. 430-453. ISSN 0022-0418

Attfield, Simon and Dowell, John (2003) Information seeking and use by newspaper journalists. Journal of Documentation, 59 (2). pp. 187-204. ISSN 0022-0418

Belavkin, Roman V. (2003) Conflict resolution by random estimated costs. In: 17th European Simulation Multiconference, Nottingham UK.

Belavkin, Roman V. and Ritter, Frank E (2003) The use of entropy for analysis and control of cognitive models. In: The Fifth International Conference on Cognitive Modelling, 2003, Bamberg, Germany.

Buciu, Ioan and Kotsia, Irene and Pitas, Ioannis (2003) Recognition of facial expressions in presence of partial occlusion. In: 9th Panhellenic Conference in Informatics (PCI 2003), 21-23 November 2003, Thessaloniki.

Clark, Tony and Evans, Andy and Kent, Stuart (2003) Aspect-oriented metamodelling. Computer Journal, 46 (5). pp. 566-577. ISSN 0010-4620

Clark, Tony and Evans, Andy and Maskeri, Girish and Sammut, Paul and Willans, James (2003) Modeling language transformations. L'Objet, 9 (4). pp. 31-51. ISSN 1262-1137

Dack, John (2003) Ear-training using the computer and PROGREMU Recueil des actes. In: 10e Journées d’Informatique Musicale. 10e Journées d’Informatique Musicale, pp. 1-10.

Dack, John (2003) Sound, installations and music. In: MAXIS II Conference Proceedings. MAXIS II Conference Proceedings, pp. 35-39. ISBN 1-84387-011-8

Dack, John (2003) Writing aloud: the sonics of language. Computer Music Journal, 27 (1). pp. 86-88. ISSN 0148-9267

Dack, John (2003) The 'series' in Music and Art. In: IIASSRC Conference Proceedings. IIASSRC Conference Proceedings, pp. 21-28.

Dack, John and Nuhn, Ralf (2003) Introduction and Afterword to Sound - Time - Space - Movement by Sabine Schäfer/Joachim Krebs. Organised Sound, 8 (2). pp. 213-225. ISSN 1355-7718

Dafoulas, George and Nikolaou, Athanasios and Turega, Mike (2003) E-services in the Internet job market. In: Proceedings of the 36th Hawaii International Conference on System Sciences (HICSS 2003).

Dafoulas, George and Nikolaou, Athanasios and Turega, Mike (2003) Electronic job marketplaces: a newly established manifestation of e-business. In: Proceedings of the 5th International Conference on Enterprise Information Systems (ICEIS 2003).

Dimitrova, Maia and Belavkin, Roman V. and Milankovic-Atkinson, Maya and Sadler, Chris and Murphy, Alan (2003) Learning behaviour patterns of classroom and distance students using flexible learning resources. In: International conference on computers in education 2003: a conference of the Asia-Pacific chapter of the association for the advancement of computing in education (AACE). Lee, Kar-tin and Mitchell, Koren, eds. ICCE, Hong Kong. ISBN 9789629491444

Duquenoy, Penny and Reynolds, Carl (2003) Stressed or stress-free mobile privacy: detecting mobile stress: ethical issues in voice analysis. In: 1st International Workshop Wireless Security Technologies 03, 2003, Middlesex University.

Fields, Bob and Duncker, Elke (2003) Articulating resources: the impact of electronic health records on cross-professional healthcare work. Technical Report. Interaction Design Centre - Middlesex University.

French, Tim and Springett, Mark (2003) Developing novel iTV applications: a user centric analysis. In: European conference on interactive television: from viewers to actors? : proceedings. Masthoff, Judith and Griffiths, Richard N. and Pemberton, Lynn, eds. University of Brighton.

Gao, Xiaohong W. and Batty, Stephen and Fryer, Tim and Clark, John and Turkheimer, Federico (2003) Extraction of physiological information from 3D PET brain images. In: Visualization imaging and image processing. Villanueva, Juan J., ed. Acta Press, pp. 401-405. ISBN 0889863543

Gao, Xiaohong W. and Podladchikova, L. N. and Shaposhnikov, D. G. (2003) Image classification based on the informative regions properties. In: Proceedings of PRIA-6-2002 : 6th International conference on pattern recognition and image analysis: new information technologies. MAIK Nauka/Interperiodica, pp. 439-441.

Gao, Xiaohong W. and Shaposhnikov, D. G. and Podladchikova, L. N. (2003) Classification of images on the basis of the properties of informative regions. Pattern Recognition and Image Analysis, 13 (2). pp. 349-352. ISSN 1687-398X

Gao, Xiaohong W. and Shaposhnikov, D. G. and Podladchikova, L. N. and Golovan, Alexander and Shevtsova, Natalia and Gusakova, Valentina and Gizatdinova, Y. F. (2003) Application of the behavioural model of vision for invariant recognition of facial and traffic sign images. In: Neurocomputers and their application. [In Russian]. Gulaev, Yu V. and Galushkin, A. I., eds. Radiotechnics, Moscow, pp. 126-144.

Kalaitzakis, Manos and Dafoulas, George and Macaulay, Linda (2003) Designing online communities: community-centered development for intensively focused user groups. In: Proceedings of the 10th HCI International Conference (HCII 2003).

Kemp, Elizabeth A. and Phillips, Chris and Wong, B. L. William (2003) Proceedings of CHINZ'03, the 4th annual conference of the ACM special interest group on computer human interaction. New Zealand Chapter of ACM SIGCHI,. ISBN 9780473095536

Le, Huong T. and Abeysinghe, Geetha and Huyck, Christian R. (2003) Using cohesive devices to recognize rhetorical relations in text. In: 4th Computational Linguistics UK Research Colloquium (CLUK-4), January 2003, Edinburgh University.

Le, Huong T. and Abeysinghe, Geetha and Huyck, Christian R. (2003) A study to improve the efficiency of a discourse parsing system. In: 4th International Conference on Intelligent Text Processing and Computational Linguistics, (CICLing’03), 16-22 February 2003, Mexico City.

Mellor, Stephen J. and Clark, Tony and Futagami, Takao (2003) Model-driven development: guest editors' introduction. IEEE Software, 20 (5). pp. 14-18. ISSN 0740-7459

Rahman, Shahedur and Khan, Nawaz (2003) A new approach to detect similar proteins from 2D Gel Electrophoresis Images. In: 3rd International Symposium on Bioinformatics and Bioengineering, Washington DC. Proceedings. IEEE Computer Society Press., Washington DC, USA, pp. 182-189. ISBN 0-7695-1907-5

Rahman, Shahedur and Khan, Nawaz and Stockman, A. G. (2003) Integrating molecular biology databases using image object keying. In: 16th IEEE symposium on computer-based medical systems. Krol, Marina and Mitra, Sunanda and Lee, D. J., eds. IEEE Computer Society., Los Alamitos, Calif.. ISBN 0769519016

Rahman, Shahedur and Stockman, A. G. and Khan, Nawaz (2003) Integration of biological data resources using image object keying. In: 16th IEEE Symposium on Computer-based Medical Systems (CBMS'03), New York. Proceedings. . IEEE Computer Society Press., Washington DC, USA, pp. 16-21. ISBN 0-7695-1901-6

Sanderson, Penelope and Wong, B. L. William and Choudhury, Sanjib and Memisevic, Rizah (2003) Hydro scheme control in a deregulated environment: cognitive work models and design implications. In: Proceedings of the human factors and ergonomics society: 47th annual meeting. HFES, Denver, Colorado, pp. 458-462.

Springett, Mark (2003) Artefacts and the psychological probing of users. In: Universal access in HCI: inclusive design in the information society. Stephanidis, Constantine, ed. Lawrence Erlbaum Associates, Mahwah, N.J., USA. ISBN 9780805849332

Steinhofel, Kathleen and Albrecht, Andreas A. and Wong, C. K. (2003) An experimental analysis of local minima to improve neighbourhood search. Computers and Operations Research, 30 (14). pp. 2157-2173. ISSN 0305-0548

Tratt, Laurence and Clark, Tony (2003) Issues surrounding model consistency and QVT. Technical Report. King's College London, Department of Computer Science..

Tratt, Laurence and Clark, Tony (2003) Model transformations in converge. In: 2nd Workshop in Software Model Engineering (WiSME 2003), October 2003, San Francisco.

Tratt, Laurence and Clark, Tony (2003) Using icon-derived technologies to drive model transformations. In: Workshop in Software Model Engineering (WiSME) 2003, October 2003, San Francisco.

Whitney, Gill and Adams, Ray G. (2003) The need for an interface accessibility initiative. In: Universal Access: theoretical perspectives, practice, and experience: 7th ERCIM international workshop on user interfaces for all. Carbonell, Noelle and Stephanidis, Constantine, eds. Lecture Notes in Computer Science. (2615). Springer, Berlin. ISBN 3540008551

Whitney, Gill and Keith, Suzette and Bradley, Michael D. and Goodwin, Reg and Kolar, Irena and Wicks, Catherine and Wilson, Judy (2003) Mixed methods requirement capture in older drivers' use of complex driving information systems. In: The 3rd IEE conference on automotive electronics. Institution of Engineering Technology..

Whitney, Gill and Keith, Suzette and Wilson, Judy (2003) Developing independence: the potential of information and communication technologies (ICT) to assist elderly and disabled people. In: The good, the bad and the irrelevant: the user and the future of information and communication technologies: conference proceedings. Media Lab, University of Art and Design Helsinki, Helsinki. ISBN 9789515581259

Whitney, Gill (2003) The use of design for all to support elderly blind and partially sighted users to retain their independence. In: 10th International Conference on Human - Computer Interaction, Crete. Published in Universal Access in HCI: Inclusive Design in the Information Society. Stephanidis, Constantine, ed. Lawrence Erlbaum Associates., pp. 1340-1344. ISBN 0-8058-4933-5

Whitney, Gill and Van den Berghe, Luc (2003) Standardising access to information and electronic services for all in Europe. British journal of healthcare computing, 20 (9). ISSN 0265-5217

Wong, B. L. William (2003) Technology affordances of the ActualDepth multi-layered display. Technical Report. University of Otagoo, Dunedin, NZ.

Wong, B. L. William and Apperley, Mark and Carter, Philip and Churcher, Clare and Cockburn, Andy and Jones, Matt and Lobb, Brenda and Novins, Kevin and Phillips, Chris (2003) State of the art: HCI in New Zealand. In: Human-computer interaction, INTERACT '03: IFIP TC13 International conference on human-computer interaction. Rauterberg, Matthias and Menozzi, Marino and Wesson, Janet, eds. IOS, Oxford, pp. 1079-1080. ISBN 1586033638

Wong, B. L. William and Blandford, Ann (2003) Field research in HCI: a case study. In: Proceedings of CHINZ'03, the 4th annual conference of the ACM special interest group on computer human interaction. Kemp, Elizabeth A. and Phillips, Chris and Wong, B. L. William, eds. New Zealand Chapter of ACM SIGCH, pp. 69-74. ISBN 9780473095536

Wong, B. L. William (2003) Critical Decision Method data analysis. In: The handbook of task analysis for human-computer interaction. Diaper, Dan and Stanton, Neville A., eds. Lawrence Erlbaum Associates, pp. 327-346. ISBN 0805844333

2002

Albrecht, Andreas A. and Hein, E. and Steinhofel, Kathleen and Taupitz, M. and Wong, C. K. (2002) Bounded-depth threshold circuits for computer-assisted CT image classification. Artificial Intelligence in Medicine, 24 (2). pp. 179-192. ISSN 0933-3657

Appukuttan, Biju K. and Clark, Tony and Evans, Andy and Maskeri, Girish and Sammut, Paul and Tratt, Laurence and Willans, James (2002) Unambiguous UML submission to UML 2 infrastructure RFP (ad/00-09-01). Working Paper. Object Management Group.

Appukuttan, Biju K. and Clark, Tony and Evans, Andy and Maskeri, Girish and Sammut, Paul and Tratt, Laurence and Willans, James (2002) A pattern based approach to defining the dynamic infrastructure of UML 2.0. In: Fourth workshop on Rigorous Object Oriented Methods,, March 2002, University College, London.

Blandford, Ann and Wong, B. L. William and Connell, Iain and Green, Thomas (2002) Multiple viewpoints on computer supported team work: a case study on ambulance dispatch. In: People and computers XVI: memorable yet invisible: proceedings of HCI 2002. Faulkner, Xristine and Finlay, Janet and Detienne, Francoise, eds. BCS conference series . Springer, London, pp. 139-156. ISBN 1852336595

Clark, Tony and Evans, Andy and France, Robert (2002) Object-oriented theories for model driven architecture. In: Advances in object-oriented information systems. Lecture Notes in Computer Science . Springer Berlin / Heidelberg, pp. 283-292. ISBN 9783540440888

Clark, Tony and Evans, Andy and Kent, Stuart (2002) Patterns for renaming and stamping out object-oriented models. In: International Conference on Software Engineering Research and Practice, SERP 2002, 2002, Las Vagas, Nevada, USA.

Clark, Tony and Evans, Andy and Kent, Stuart (2002) Unambiguous UML (2U) submission to UML 2 infrastructure RFP. Technical Report. Object Management Group, Inc. (OMG).

Clark, Tony and Evans, Andy and Kent, Stuart (2002) A meta-model facility for a family of UML constraint languages. Lecture Notes in Computer Science, 2263 . pp. 440-443. ISSN 0302-9743

Clark, Tony and Evans, Andy and Kent, Stuart (2002) A metamodel for package extension with renaming. In: «UML» 2002 — the Unified Modeling Language. Lecture Notes in Computer Science . Springer Berlin / Heidelberg, pp. 305-320. ISBN 9783540442547

Clark, Tony and Evans, Andy and Kent, Stuart (2002) A programmers guide to MMT. Technical Report. King's College.

Clark, Tony and Evans, Andy and Kent, Stuart (2002) Engineering modelling languages: a precise meta-modelling approach. In: Fundamental approaches to software engineering. Kutsche, Ralf-Detlef and Weber, Herbert, eds. Lecture Notes in Computer Science (2306). Springer, pp. 159-172. ISBN 9783540433538

Clark, Tony and Warner, Jos (2002) Object modeling with the OCL: the rationale behind the object constraint language. Lecture Notes in Computer Science, 2263 . Springer, Berlin. ISBN 9783540431695

Dack, John (2002) Abstract and concrete. Journal of Electroacoustic Music, 14 . pp. 2-7. ISSN 1355-7726

Dack, John (2002) CD review: The British 'school' of acousmatic music. Computer Music Journal, 26 (3). pp. 91-94. ISSN 0148-9267

Dack, John (2002) Histories and ideologies of synthesis. In: Maxis Conference Proceedings. Maxis Conference Proceedings, pp. 35-40. ISBN 0-86339-969-X

Dack, John (2002) Review: the 'Nowalls' Conference at De Montfort University. Computer Music Journal . pp. 91-93. ISSN 0148-9267

Dack, John (2002) Webern's Op.21 and the unity of musical space. In: Systems Research in the Arts. IIASSRC Conference, pp. 31-42. ISBN 1-894613-10-4

Dack, John (2002) Technology and the instrument. In: Musik netz werke - Konturen der neuen Musikkultur. Grün, Lydia and Wiegand, Frank, eds. Taschenbuch, Germany, pp. 39-54. ISBN 393312798X

Dack, John (2002) Instrument und Pseudoinstrument - Akusmatische Konzepte. In: Elektroakustische Musik. Ungeheuer, Elena and Bottenberg, Ernst Heinrich, eds. Laaber-Verlag, pp. 243-259. ISBN 3-89007-425-1

Dafoulas, George (2002) Using UML to build knowledge management and decision support tools: the case of dynamically allocating roles in software engineering teams. In: Proceedings of the ISIICT 2002: International Symposium on Innovation in Information & Communication Technology.

Dafoulas, George and Macaulay, Linda (2002) Investigating cultural differences in virtual software teams. Electronic Journal on Information Systems in Developing Countries, 7 (4). pp. 1-14. ISSN 1681 4835

Dafoulas, George and Pateli, Ada and Turega, Mike (2002) Business-to-Employee cooperation support through online job interviews. In: Proceedings of the WBC ’02, 2nd International Workshop on Web Based Collaboration.

Dafoulas, George and Pateli, Ada and Turega, Mike (2002) Using UML to build knowledge management and decision support tools: the case of dynamically allocating roles in software engineering teams. In: ISIICT 2002: International Symposium on Innovation in Information & Communication Technology.

Duncker, Elke (2002) Cross-cultural use of the library metaphor. Proceedings of the second ACM/IEEE-CS Joint Conference on Digital Libraries . pp. 223-230.

Duncker, Elke (2002) Cross-cultural usability of computing metaphors: do we colonise the minds of indigenous web users? In: Cultural attitudes towards technology and communication : proceedings of the Third International Conference on Cultural Attitudes towards Technology and Communication. Sudweeks, Fay and Ess, Charles, eds. School of Information Technology, Murdoch University, Australia, pp. 217-236. ISBN 9780869057995

Gao, Xiaohong W. and Batty, Stephen and Clark, John and Fryer, Tim and Blandford, Ann (2002) Content- based retrieval of lesioned brain images from a database of PET scans. In: Medical imaging 2002. : design and evaluation: 26-28 February 2002, San Diego, USA PACS and integrated medical information systems. Siegel, Eliot L. and Huang, H. K., eds. Proceedings of SPIE--the International society for optical engineering., Progre (4685). SPIE, Bellingham, pp. 128-136. ISBN 0819444308

Gao, Xiaohong W. and Batty, Stephen and Clark, John and Fryer, Tim (2002) Extraction of features from 3D PET images. In: Medical image understanding and analysis 2002. Houston, Alex and Zwiggelar, Reyer, eds. BMVA. ISBN 1901725219

Gao, Xiaohong W. and Batty, Stephen and Clark, John and Fryer, Tim and Turkheimer, Federico (2002) Towards archiving 3D PET brain images based on their physiological and visual content. In: International conference on diagnostic imaging and analysis, 18-20th Aug 2002, Shanghai, China.

Gao, Xiaohong W. and Golovan, Alexander and Hong, K. and Podladchikova, L. N. and Shevtsova, Natalia (2002) Road sign recognition by means of the behavioural model of vision. In: Proceedings of the third all-Russian conference on neuroinformatics [In Russian]. Moscow, pp. 63-69. ISBN 5726203992

Gao, Xiaohong W. and Podladchikova, L. N. and Shaposhnikov, D. G. and Hong, K. and Batty, Stephen and Golovan, Alexander and Gusakova, Valentina and Shevtsova, Natalia (2002) A new approach to traffic sign recognition. In: Proceedings of the international conference on imaging science, systems, and technology: CISST'02. Arabnia, Hamid R. and Mun, Youngsong, eds. CSREA Press, Athens, pp. 736-741. ISBN 1892512955 [set - 2 vols.]

Gao, Xiaohong W. and Podladchikova, L. N. and Shaposhnikov, D. G. and Shevtsova, Natalia and Hong, K. and Batty, Stephen and Golovan, Alexander and Gusakova, Valentina (2002) Vision models-based identification of traffic signs. In: CGIV’2002. Society for Imaging Science and Technology. ISBN 0892082399

Gao, Xiaohong W. and Shaposhnikov, D. G. and Podladchikova, L. N. and Golovan, Alexander and Shevtsova, Natalia and Hong, K. (2002) Road sign recognition by one fixation of space-variant sensor. In: Vision Interface ’2002: proceedings. Gorodnich, D. D. and Zhang, H., eds. Canadian Image Processing and Pattern Recognition Society, Quebec.

Gao, Xiaohong W. and Shaposhnikov, D. G. and Podladchikova, L. N. and Shevtsova, Natalia and Golovan, Alexander (2002) Invariant recognition of traffic signs. [Dataset]

Huyck, Christian R. and Bavan, A. S. (2002) Neural cell assemblies for practical applications. In: SCI 2002: ISAS: the 6th world multiconference on systemics, cybernetics and informatics: proceedings. Callaos, Nagib, ed. International Institute of Informatics and Systemics., Orlando, Florida., pp. 174-177. ISBN 9800781501

Khan, Nawaz and Stockman, A. G. and Rahman, Shahedur (2002) A cooperative environment for genetic variance analysis using component database for database integration. In: Proceedings of the 15th IEEE international conference on computer based medical systems (CBMS). Computer Society Press. ISBN 0769516149

Khan, Nawaz and Stockman, A. G. and Rahman, Shahedur (2002) A cooperative environment for genetic variance analysis using component database for database integration. In: 15th IEEE Symposium on Computer-Based Medical Systems (CBMS 2002), Slovenia. IEEE Computer Society Press., pp. 365-368. ISBN 3-00-008114-3

Loomes, Martin J. and Albrecht, Andreas A. and Steinhoefel, K. and Taupitz, M. (2002) Adaptive simulated annealing for CT image classification. International Journal of Pattern Recognition and Artificial Intelligence, 16 (5). pp. 573-588. ISSN 0218-0014

Mahmoud, Qusay H. (2002) Evolution of network computing paradigms: applications of mobile agents in wired and wireless networks. PhD thesis, Middlesex University.

Maskeri, Girish and Willans, James and Clark, Tony and Evans, Andy and Kent, Stuart and Sammut, Paul (2002) A pattern based approach to defining translations between languages. In: Fourth Workshop on Rigorous Object-Oriented Methods, ROOM 4, March 2002, King's College, London.

Rahman, Shahedur and Khan, Nawaz (2002) Object modelling of gene mutation data for variance analysis. In: Proceedings: the 6th world multiconference on systemics, cybernetics and informatics.[SCI 2002]. Callaos, Nagib, ed. International Institute of Informatics and Systemics., Orlando, Florida., pp. 301-305. ISBN 9800781501

Rowntree, Janet and Hannah, Robert and Wong, B. L. William (2002) Learning with digital artifacts: gaining a sense of the object. Vine: the journal of information and knowledge management systems., 32 (3). ISSN 0305-5728

Rowntree, Janet and Wong, B. L. William and Hannah, Robert (2002) Learning to look: real and virtual artifacts. Educational technology & society: journal of International forum of educational technology & society and IEEE learning technology task force., 5 (1). pp. 129-134. ISSN 1436-4522

Steinhofel, Kathleen and Albrecht, Andreas A. and Wong, C. K. (2002) Fast parallel heuristics for the job shop scheduling problem. Computers and Operations Research, 29 (2). pp. 151-169. ISSN 0305-0548

Steinhofel, Kathleen and Albrecht, Andreas A. and Wong, C. K. (2002) The convergence of stochastic algorithms solving flow shop scheduling. Theoretical Computer Science, 285 (1). pp. 101-117. ISSN 0304-3975

Tjortjis, Christos and Dafoulas, George and Layzell, Paul and Macaulay, Linda (2002) A model for selecting CSCW technologies for distributed software maintenance teams in virtual organisations. In: Proceedings of the IEEE Workshop on Cooperative Supports for Distributed Software Engineering Processes.

Tratt, Laurence and Clark, Tony (2002) Enhancing the template mechanism. In: 1st Workshop in Software Model Engineering (WiSME 2002), 2002, Dresden.

Tratt, Laurence and Clark, Tony and Evans, Andy (2002) Modelling generalization and other class-to-parent relationships. Technical Report. Kings College.

Whitney, Gill (2002) The need for and the problems with location aware services (LAS) for people with disabilities. In: First European workshop on location based service., September. 16th. 2002, London.

Whitney, Gill (2002) The navigation requirements of older people with a range of disabilities in complex pedestrian environments. In: People and computers XVI: memorable yet invisible / proceedings of HCI 2002. Faulkner, Xristine and Finlay, Janet and Detienne, Francoise, eds. BCS conference series . Springer, London. ISBN 1852336595

Willans, James and Sammut, Paul and Maskeri, Girish and Evans, Andy and Clark, Tony (2002) Defining OCL expressions using templates. Technical Report. King's College.

Wong, B. L. William and Blandford, Ann (2002) Analysing ambulance dispatcher decision making: trialing emergent themes analysis. In: Proceedings of the HF2002 human factors conference design for the whole person - integrating physical, cognitive and social aspects: a joint conference of the Ergonomics society of Australia (ESA) and the Computer human interaction special interest group. Vatere, Frank and Johnston, Lorraine and Kushinsky, Ros, eds. Ergonomics Society of Australia., Canberra.

2001

Albrecht, Andreas A. and Steinhofel, Kathleen and Taupitz, M. and Wong, C. K. (2001) Logarithmic simulated annealing for X-ray diagnosis. Artificial Intelligence in Medicine, 22 (3). pp. 249-260. ISSN 0933-3657

Albrecht, Andreas A. and Wong, C. K. (2001) Combining the perceptron algorithm with logarithmic simulated annealing. Neural Processing Letters, 14 (1). pp. 75-83. ISSN 1370-4621

Alvarez, Jose Maria and Clark, Tony and Evans, Andy and Sammut, Paul (2001) An action semantics for MML. In: Fourth International Conference on the Unified Modeling Language (UML 2001) on "Modeling Languages, Concepts and Tools", 1 - 5 October, 2001, Toronto, Ontario, Canada.

Clark, Tony and D'Souza, Desmond (2001) A translational semantics for UML. Technical Report. King's College.

Clark, Tony and Evans, Andy and Kent, Stuart (2001) The metamodelling language calculus: foundation semantics for UML. In: Fundamental approaches to software engineering. Lecture Notes in Computer Science . Springer Berlin / Heidelberg, pp. 17-31. ISBN 9783540418634

Clark, Tony and Evans, Andy and Kent, Stuart and Sammut, Paul (2001) The MMF approach to engineering object-oriented design languages. In: First Workshop on Language Descriptions, Tools and Applications (LDTA 2001), April 2001, Genoa.

Dack, John (2001) At the limits of Schaeffer's TARTYP. [Audio]

Dack, John (2001) Diffusion as performance. In: IIASSRC Conference Proceedings. IIASSRC Conference Proceedings, pp. 81-88. ISBN 1-894613-33-3

Dack, John (2001) Report on the Sonic Arts Network Conference, Newcastle. Diffusion . pp. 4-5. ISSN 0955-4602

Dafoulas, George (2001) Virtual interviews: a futuristic approach to recruitment, assessment, screening and selection processes in IT organisations. In: Proceedings of the 11th Annual BIT Conference.

Dafoulas, George and Macaulay, Linda (2001) Facilitating group formation and role allocation in software engineering groups. In: Proceedings of AICCSA 2001: ACS/IEEE International Conference on Computer Systems and Applications.

Dafoulas, George and Macaulay, Linda (2001) Investigating cultural differences in virtual software teams. In: Proceedings of BIT World 2001: Enabling Cultural Awareness.

Duncker, Elke (2001) Symbolic communication in multidisciplinary cooperations. Science, Technology and Human Values, 26 (3). pp. 349-386. ISSN 0162-2439

Duquenoy, Penny (2001) The internet: a framework for understanding ethical issues. PhD thesis, Middlesex University.

Duquenoy, Penny and Whitehouse, Diane (2001) The process of ethics. In: Computers and networks in the age of globalization: IFIP TC9 fifth world conference on human choice and computers. Rasmussen, Leif Bloch and Beardon, Colin and Munari, Silvio, eds. Kluwer Academic Publishers., London. ISBN 0792372530

Fields, Bob and Buchanan, George and Mohd-Nasir, Norliza and Theng, Yin Leng (2001) Dynamic digital libraries for children. In: 1st ACM/IEEE-CS joint conference on Digital Libraries, Proceedings. ACM New York, NY, USA, pp. 406-411. ISBN 1-58113-345-6

Gao, Xiaohong W. and Batty, Stephen and Clark, John and Fryer, Tim and Blandford, Ann (2001) Extraction of sagittal symmetry planes from PET images. In: Visualization, imaging and image processing: proceedings of the IASTED international conference. Hamza, M. H., ed. IASTED, Calgary, pp. 428-433. ISBN 0889863091

Gao, Xiaohong W. and Bharath, Anil and Chapman, Neil and Witt, N. (2001) Computer algorithms for the automated measurement of retinal arteriolar diameters. British Journal of Opthalmology, 85 . pp. 74-79. ISSN 0007-1161

Gao, Xiaohong W. and Bharath, Anil and Stanton, Alice and Hughes, Alun and Chapman, Neil and Thom, Simon (2001) A method of vessel tracking for vessel diameter measurement on retinal images. In: 2001 international conference on image processing. IEEE, pp. 881-884. ISBN 0780367251

Gao, Xiaohong W. and Bharath, Anil and Stanton, Alice and Hughes, Alun and Chapman, Neil and Thom, Simon (2001) Measurement of vessel diameters on retinal for cardiovascular studies. In: Medical image understanding and analysis 2001. Claridge, Ela and Bamber, Jeff and Marlow, Keith, eds. Medical Imaging Understanding and Analysis. ISBN 1901725154

Gao, Xiaohong W. and Ren, Manling and Riley, K. J. and Eakins, J. P. and Briggs, P. (2001) Image retrieval through perceptual shape modelling. Library and Information Commission research report. (101). Council for Museums, Archives and Libraries, London. ISBN 1902394607

Ham, Dong-Han and Yoon, Wan Chul (2001) Design of information content and layout for process control based on goal-means domain analysis. Cognition, Technology and Work, 3 (4). pp. 205-223. ISSN 1435-5566

Ham, Dong-Han and Yoon, Wan Chul (2001) The effects of presenting functionally abstracted information in fault diagnosis tasks. Reliability Engineering and System Safety, Elsevier Science, 73 (2). pp. 103-119. ISSN 0951-8320

Rahman, Shahedur and Khan, Nawaz and Clarkson, T. G. (2001) An approach to develop human gene disorder database for intelligent variance analysis of genes and its products. In: 12th International workshop on Database and Expert Systems, Munich, Germany. Proceedings. IEEE Computer Society Press, Washington DC, USA, pp. 301-305. ISBN 0-7695-1230-5

Rahman, Shahedur and Khan, Nawaz (2001) A conceptual object modelling of gene mutation data. In: Computer science and biology: proceedings of the German conference on bioinformatics. Wingender, Edgar, ed. German Research Center for Biotechnology., Braunschweig, pp. 187-190. ISBN 3000081143

Sanderson, Penelope and Wong, B. L. William (2001) Ergonomic consulting for SMCC facilities upgrade project: task analysis input to control room redesign. Other. Swinburne University of Technology, Cooma, NSW 2630. Melbourne..

Thimbleby, Harold and Duquenoy, Penny (2001) Just programming. In: Proceedings of the fifth international conference on the social and ethical impacts of information and communication technologies - ETHICOMP 2001. Bynum, Terrell Ward, ed. Mikom, Gdansk. ISBN 9788372791412

Villanueva, Rochelle and Wong, B. L. William (2001) Virtual tours in tourism: interaction issues. In: OZCHI 2001 usability and usefulness for knowledge economies: conference proceedings. Thomas, Richard and Apperley, Mark and Smith, Wally, eds. CHISIG, Sydney, pp. 235-239. ISBN 9780729805049

Whitney, Gill (2001) The future requirements for assistive technology devices to enable elderly and disabled people to use ICT equipment. In: Human factors in telecommunication: 18th international symposium. Nordby, Knut, ed. HFT Permanent Steering. ISBN 9788242304018

Wong, B. L. William and Blandford, Ann (2001) Naturalistic decision making in emergency ambulance command and control. Discussion Paper. University of Otagoo, Dunedin, NZ..

Wong, B. L. William and Blandford, Ann (2001) Situation awareness and its implications for human-systems interaction. In: OZCHI 2001 usability and usefulness for knowledge economies: conference proceedings. Thomas, Richard and Apperley, Mark and Smith, Wally, eds. CHISIG, Sydney, pp. 181-186. ISBN 9780729805049

Wong, B. L. William and Sanderson, Penelope (2001) Preliminary report to the Snowy Mountain hydro electric authority: NSW-Victoria system separation incident. Other. Swinburne University of Technology, Melbourne.

2000

Clark, S. A. and Ng, B. P. and Wong, B. L. William (2000) QTVR support for teaching operative procedures in dentistry. In: People and computers XIV : usability or else!: proceedings of HCI 2000. McDonald, Sharon and Waern, Yvonne and Cockton, Gilbert, eds. BCS conference series . Springer, London, pp. 287-298. ISBN 1852333189

Clark, Tony (2000) Object-oriented refinement and proof using behaviour functions. In: Rigorous Object-Oriented Methods, 17 January 2000, York, UK.

Clark, Tony and Evans, Andy and Kent, Stuart (2000) Using profiles to re-architect the UML. In: 14th European Conference on Object-Oriented Programming (ECOOP), 12-16 June, 2000, Sophia Antipolis and Cannes, France.

Clark, Tony and Evans, Andy and Kent, Stuart and Brodsky, Steve and Cook, Steve (2000) A feasibility study in rearchitecting UML as a family of languages using a precise OO meta-modeling approach. Technical Report. pUML Group and IBM.

Cook, John and Springett, Mark (2000) Reciprocal modelling as a mechanism for creative cooperation. In: Proceedings of the AISB'00 symposium on creative & cultural aspects and applications of AI & cognitive Science. Society for the study of artificial intelligence and the simulation of behaviour.. ISBN 1902956162

Dack, John (2000) Die Herausforderung traditioneller Konzepte. MusikTexte, 84 . ISSN 0178-8884

Dack, John (2000) Francis Dhomont in London. Electroacoustic Music and History Diffusion, May . pp. 2-3.

Dack, John (2000) Introduction to the work of Sabine Schäfer. Diffusion (2). ISSN 0955-4602

Dack, John (2000) Ludwig van Henry: an interview with Pierre Henry. Journal of Electroacoustic Music, 13 . pp. 27-30. ISSN 1355-7726

Dack, John (2000) The evocation of space as a compositional determinant. In: IIASSRC Conference Proceedings. IIASSRC Conference Proceedings, pp. 61-66. ISBN 0-921836-90-2

Dack, John (2000) The 'open' score as source for interaction. In: IIASSRC Conference Proceedings: On Interaction/Interactivity in Music, Design, Visual and Performing Arts. IIASSRC Conference Proceedings, pp. 87-91.

Dafoulas, George and Macaulay, Linda (2000) Assisting knowledge management in virtual software teams: coping with location, time and cultural differences. In: Proceedings of the Cooperative Internet Computing 2000.

Dafoulas, George and Macaulay, Linda (2000) DRASIS: supporting dynamic role allocation in software engineering teams. In: Proceedings of the GEMISIS Millennium Conference, 16-18 May 2000, Salford, UK.

Dafoulas, George and Macaulay, Linda (2000) Decision making issues in software engineering: investigating factors affecting team and role conflicts in collaborating virtual teams. In: Proceedings of the 5th International Conference on Computer Supported Cooperative Work in Design, November 30 - December 1, 2000, Hong Kong.

Dafoulas, George and Macaulay, Linda (2000) Virtual teams and dynamic role allocation. In: Proceedings of the 10th Annual BIT Conference.

Duncker, Elke (2000) How LINCs were made: alignment and exclusion in American medical informatics. The Information Society: An International Journal, 16 (3). pp. 187-199. ISSN 0197-2243

Duncker, Elke and Theng, Yin Leng and Mohd-Nasir, Norlisa (2000) Cultural usability in digital libraries. Bulletin of the American Society for Information Science, 26 (4). pp. 5-14. ISSN 0095-4403

Duquenoy, Penny (2000) Internet ethics: changing concepts, changing ethics? Technical Report. Middlesex University Press.

Gao, Xiaohong W. and Bharath, Anil and Stanton, Alice and Hughes, Alun and Chapman, Neil and Thom, Simon (2000) Quantification and characterization of arteries in retinal images. Computer methods and programs in biomedicine, 63 (2). pp. 133-146. ISSN 0169-2607

Mitchell, Ian and Bavan, A. S. (2000) A connectionist inference model for pattern-directed knowledge representation. Expert systems, 17 (2). pp. 106-113. ISSN 0266-4720

Norris, Brian E. and Wong, B. L. William (2000) Activity breakdown in quickTime virtual reality environments. In: First Australasian user interface conference (AUIC 2000): proceedings. Thomas, Bruce and Warren, Jim C., eds. Australian computer science communications. (Vol 22). IEEE Computer Society., Los Alamitos, Calif., pp. 67-72. ISBN 9780769505152

O'Hare, David and Wiggins, Mark and Wong, B. L. William (2000) Cognitive task analysis for decision centred design and training. In: Task analysis. Annett, John and Stanton, Neville, eds. Ergonomics (Vol 41). Taylor & Francis, pp. 170-190. ISBN 0748409068

Peterson, K. and Wong, B. L. William (2000) Interactive children: the use of virtual reality and web technologies. In: OZCHI 2000: 4th-8th December 2000, the University of Technology, Sydney, Australia. Paris, Cecile, ed. CHISIG, Sydney, pp. 12-13.

Sanderson, Penelope and Wong, B. L. William (2000) Evaluating human-system integration solutions for SMCC's proposed AGC and GEMS systems: design brief to Snowy Mountains hydro electric authority. Other. Snowy Mountain Hydro Electric Authority., Cooma, NSW, Australia.

Sutcliffe, Alistair and Ryan, Michele and Doubleday, Ann and Springett, Mark (2000) Model mismatch analysis: towards a deeper explanation of users' usability problems. Behaviour and Information Technology, 19 (1). pp. 43-55. ISSN 0144-929X

Whitney, Gill (2000) How technology is assisting blind and partially sighted people to travel within and use the built environment. In: TechShare, November 2000, Birmingham.

Whitney, Gill (2000) The current state of electronic mobility devices and electronic orientation aids for blind and partially sighted people in the United Kingdom. In: Making independent language learning accessible. CIEL Project, Southampton.

Whitney, Gill (2000) The current state of electronic mobility devices and electronic orientation aids for blind and partially sighted people in the United Kingdom. In: Developments in low vision: abstracts of the fourth European conference on low vision. Blom, Theo, ed. De Blauwe Kamer Theofaan Groep. ISBN 9789076898018

Wong, B. L. William (2000) The integrated decision model in emergency dispatch management and its implications for design. Australian journal of information systems, 2 (7). pp. 95-107. ISSN 1039-7841

Wong, B. L. William and Blandford, Ann and Fields, Bob (2000) Emergency medical dispatch at the London ambulance service. Other. Middlesex University.

Wong, B. L. William and Fields, Bob and Blandford, Ann (2000) Research into EMD at the London ambulance service: stage 1 report requirements, priorities and projects. Other. Middlesex University, London.

Wong, B. L. William and Ng, B. P. and Clark, S. A. (2000) Assessing the effectiveness of animation and virtual reality in teaching operative dentistry. Journal of dentistry, 1 (1). ISSN 0300-5712

Wong, B. L. William and Ng, Betty P. and Clark, S. A. (2000) Identifying expertise for CAL program development in operative dentistry. Journal of Dentistry (1). p. 1. ISSN 0300-5712

1999

Clark, Tony (1999) EBG: a lazy functional programming language implemented on the Java virtual machine. Technical Report. University of Bradford.

Clark, Tony (1999) Formal refinement and proof of a small java program. In: 13th European Conference on Object-Oriented Programming (ECOOP), 14-18 June, 1999, University of Lisbon, Portugal.

Clark, Tony (1999) Implementation of lazy agents in the functional language EBG. Technical Report. University of Bradford.

Clark, Tony (1999) Specification and implementation of a multi-agent calculus based on higher-order functions. Technical Report. University of Bradford.

Clark, Tony (1999) Typechecking UML static models. In: «UML»’99 — The Unified Modeling Language. Lecture Notes in Computer Science . Springer Berlin / Heidelberg. ISBN 9783540667124

Clark, Tony (1999) A semantic framework for object-oriented development. Technical Report. University of Bradford.

Clark, Tony (1999) A semantics for object-oriented design notations. Technical Report. University of Bradford.

Dack, John (1999) Karlheinz Stockhausen's kontakte and narrativity. In: Kontakte and Narrativity.

Duncker, Elke (1999) Symbolic representations in multidisciplinary collaborations. In: Annual Meeting of the Society of the Social Studies of Science, 1999, San Diego, CA, USA.

Duncker, Elke and Theng, Yin-Leng and Mohd-Nasir, Norliza (1999) Development tools and cultural diversity. In: Annual Meeting of the Society for the Social Study of Science, 1999, San Diego, CA, USA.

Duquenoy, Penny and Thimbleby, Harold (1999) Justice and design. In: Human-Computer Interaction INTERACT '99. Sasse, M. Angela and Johnson, Chris, eds. IOS Press, Netherlands, pp. 281-286. ISBN 9780967335506

Steinhofel, Kathleen and Albrecht, Andreas A. and Wong, C. K. (1999) Two simulated annealing-based heuristics for the job shop scheduling problem. European Journal of Operational Research, 118 (3). pp. 524-548. ISSN 0377-2217

Theng, Yin Leng and Duncker, Elke and Mohd-Nasir, Norliza and Buchanan, George and Thimbleby, Harold (1999) Design guidelines and user-centred digital libraries. In: Research and advanced technology for digital libraries. Abiteboul, Serge and Vercoustre, Anne-Marie, eds. Lecture Notes in Computing (1696). Springer, pp. 167-183. ISBN 978-3-540-48155-3

1997

Albrecht, Andreas A. and Cheung, S. K. and Hui, K. C. and Leung, K. S. and Wong, C. K. (1997) Optimal placements of flexible objects. I. Analytical results for the unbounded case. IEEE Transactions On Computers, 46 (8). pp. 890-904. ISSN 0018-9340

Albrecht, Andreas A. and Cheung, S. K. and Hui, K. C. and Leung, K. S. and Wong, C. K. (1997) Optimal placements of flexible objects. II. A simulated annealing approach for the bounded case. IEEE Transactions on Computers, 46 (8). pp. 905-929. ISSN 0018-9340

Albrecht, Andreas A. and Cheung, S. K. and Leung, K. S. and Wong, C. K. (1997) Computing elastic moduli of two-dimensional random networks of rigid and nonrigid bonds by simulated annealing. Mathematics and Computers in Simulation, 44 (2). pp. 187-215. ISSN 0378-4754

Albrecht, Andreas A. and Cheung, S. K. and Leung, K. S. and Wong, C. K. (1997) Stochastic simulations of two-dimensional composite packings. Journal of Computational Physics, 136 (2). pp. 559-579. ISSN 0021-9991

Clark, Tony (1997) Metaclasses and reflection in smalltalk. Technical Report. University of Bradford.

Clark, Tony (1997) Proving properties about programs which share. Technical Report. University of Bradford.

Clark, Tony (1997) ROO - a model for object-oriented reuse. Technical Report. University of Bradford.

Clark, Tony (1997) Transforming sequences using threaded morphisms. Technical Report. University of Bradford.

Clark, Tony and Evans, Andy (1997) Foundations of the Unified Modeling Language. In: Proceedings of the 2nd BCS-FACS Northern Formal Methods. Duke, D.J. and Evans, Andy, eds. Electronic Workshops in Computing . Springer.

Yan, G. Y. and Albrecht, Andreas A. and Young, G. H. F. and Wong, C. K. (1997) The Steiner tree problem in orientation metrics. Journal of Computer and System Sciences, 55 (3). pp. 529-546. ISSN 0022-0000

1996

Clark, Tony (1996) Formal basis for the refinement of rule based transition systems. Journal of Functional Programming, 6 (2). pp. 329-354. ISSN 0956-7968

1995

Clark, Tony (1995) A lazy non-deterministic functional language. Technical Report. University of Bradford.

Clark, Tony and Palmer, I. J. (1995) The generation of animated sequences from state transition systems. In: Fifth Eurographics workshop on 'Programming Paradigms in Graphics', 2-3 September, 1995, Maastricht, The Netherlands.

1994

Clark, Tony (1994) Pattern recognition of noisy sequences of behavioural events using functional combinators. The Computer Journal, 37 (5). pp. 385-398. ISSN 0010-4620

1993

Clark, Tony (1993) A basic model of KBS software. Technical Report. GEC-Marconi Research.

1992

Garson, Jeremy A. and Clewley, J. P. and Simmonds, P. and Zhang, L. Q. and Mori, J. and Ring, Christopher J. and Follett, E. A. and Dow, B. C. and Martin, S. and Gunson, H. (1992) Hepatitis C viraemia in United Kingdom blood donors: a multicentre study. Vox Sanguinis, 62 (4). pp. 218-223. ISSN 0042-9007

1989

Dack, John (1989) The relationship between electro-acoustic music and instrumental/vocal composition in Europe in the period 1948-1970. PhD thesis, Middlesex Polytechnic.

1984

Rooney, Paul C. (1984) The cellular basis of cartilage morphogenesis in embryonic chick limbs. PhD thesis, Middlesex Hospital.

1982

Das, Kalyankumar (1982) Epitaxial growth of silicon on oxygen implanted substrates. PhD thesis, Middlesex Polytechnic.

This list was generated on Sat Mar 25 04:12:00 2017 GMT.