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

See full list of headings
Export as [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | Authors/Editors | Item Type | No Grouping
Jump to: A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z
Number of items at this level: 1420.

A

Abate, Pietro, Di Cosmo, Roberto, 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. 9781424448425. (doi:10.1109/ESEM.2009.5316017)

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

Abbey, Craig K., Hope, Chris, Sterr, Annette, Elangovan, Premkumar, Geades, Nicholas, Windridge, David ORCID: https://orcid.org/0000-0001-5507-8516, Young, Ken, 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. (doi:10.1117/12.2007557)

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

Abouelhoda, Mohamed, 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 (doi:10.1186/1471-2105-13-77)

Aceto, Luca, Chen, Taolue, Ingolfsdottir, Anna, 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 (doi:10.1016/j.tcs.2011.02.033)

Adams, Anne, 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. .

Adams, Anne, 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 (doi:10.1080/14639230500298875)

Adams, Ray G. and Smith, Serengul (2005) Human-computer interaction: users, tasks and designs. Middlesex University Press, London. 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.. 9780805858075.

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 (2005) Universal access in an information world. In: Natural computing and interactive system design. Adams, Ray G., ed. Pearson Education, Harlow. 1844792595.

Adams, Ray G., 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. 9780805849349.

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.. 9780805858075.

Aiash, Mahdi, 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. (doi:10.5220/0005566303770383)

Aiash, Mahdi, 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.

Albinsson, P. A., 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. .

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 (doi:10.1016/j.amc.2006.05.128)

Albrecht, Andreas A. (2006) A stopping criterion for logarithmic simulated annealing. Computing, 78 (1). pp. 55-79. ISSN 0010-485X (doi:10.1007/s00607-006-0167-1)

Albrecht, Andreas A., Chashkin, Alexander V., Iliopoulos, Costas S., Kasim-Zade, Oktay M., 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., Cheung, S. K., Hui, K. C., 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 (doi:10.1109/12.609278)

Albrecht, Andreas A., Cheung, S. K., Hui, K. C., 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 (doi:10.1109/12.609279)

Albrecht, Andreas A., Cheung, S. K., 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 (doi:10.1016/S0378-4754(97)00072-4)

Albrecht, Andreas A., Cheung, S. K., 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 (doi:10.1006/jcph.1997.5781)

Albrecht, Andreas A., Day, Luke, 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 (doi:10.1016/j.compbiolchem.2015.11.002)

Albrecht, Andreas A., Hein, E., Steinhofel, Kathleen, 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 (doi:10.1016/S0933-3657(01)00101-4)

Albrecht, Andreas A., 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 (doi:10.1016/j.jocs.2010.01.001)

Albrecht, Andreas A., 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 (doi:10.1007/s11786-010-0040-7)

Albrecht, Andreas A., 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. 9781424418220. (doi:10.1109/CEC.2008.4631133)

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

Albrecht, Andreas A., 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 (doi:10.1016/j.compbiolchem.2008.03.004)

Albrecht, Andreas A., Steinhofel, Kathleen, 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 (doi:10.1016/S0933-3657(00)00112-3)

Albrecht, Andreas A., 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 (doi:10.1016/S0933-3657(03)00036-8)

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 (doi:10.1023/A:1011369322571)

Alechina, Natasha, Logan, Brian, 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. (doi:10.3233/978-1-61499-419-0-9)

Alechina, Natasha, Logan, Brian, 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, Logan, Brian, Nguyen, Hoang Nga, 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.

Alegre, Unai, 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.

Alegre-Ibarra, Unai (2018) A software development framework for context-aware systems. PhD thesis, Middlesex University.

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

Aljrees, Turki, Shi, Daming, Windridge, David ORCID: https://orcid.org/0000-0001-5507-8516 and Wong, B. L. William (2016) Criminal pattern identification based on modified K-means clustering. In: 2016 International Conference on Machine Learning and Cybernetics (ICMLC), 10-13 July 2016, Jeju, South Korea. (doi:10.1109/ICMLC.2016.7872990)

Alotaibi, Basma and Dafoulas, George ORCID: https://orcid.org/0000-0003-2638-8771 (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, Dafoulas, George ORCID: https://orcid.org/0000-0003-2638-8771 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, 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, 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, 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.

Alsobhi, Aisha, 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, 07-10 Jul 2014, Athens, Greece. (doi:10.1109/ICALT.2014.174)

Alsufiani, Kholod, Attfield, Simon and Zhang, Leishi (2017) Towards an instrument for measuring sensemaking and an assessment of its theoretical features. In: 31st International BCS Human Computer Interaction Conference (HCI 2017) - Digital Make-Believe, 03-06 July 2017, Sunderland, Tyne and Wear, UK.. (doi:10.14236/ewic/HCI2017.86)

Alsufiani, Kholod, Attfield, Simon and Zhang, Leishi (2018) Towards an instrument for measuring sensemaking and an assessment of its theoretical features. In: Fourth International Conference on Emerging Research Paradigms in Business and Social Sciences (ERPBSS-2018), 16-18 Jan 2018, Dubai.

Alvarez, Jose Maria, Clark, Tony, 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.

Amaldi, Paolo, Fields, Bob, Rozzi, Simone and Wong, B. L. William (2005) Operational Concepts Report Vol.1: Approach Control. Project Report. Middlesex University Press, London. . (doi:Project Contract No. 012328; OCR1-AD4-WP2-MU)

Amaldi, Paolo, Fields, Bob, Rozzi, Simone, Woodward, Peter and Wong, B. L. William (2005) Operational concepts report Vol.2: tower control deliverable 12. Project Report. Middlesex University Press. . (doi:Project Contract No. 012328.; OCR2-AD4-WP2-MU.)

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. 9783540938996. (doi:10.1007/978-3-540-93900-9_6)

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

Androutsopoulos, Kelly (2018) Evelyne Lutton, Nathalie Perrot, Alberto Tonda: Evolutionary algorithms for food science and technology, Wiley, 2016, 182 pp, ISBN: 978-1-119-13683-5 [Book Review]. Genetic programming and Evolvable Machines . pp. 1-3. ISSN 1389-2576 (Published online first) (doi:10.1007/s10710-018-9335-2)

Androutsopoulos, Kelly, Aristodemou, Leonidas, Boender, Jaap, Bottone, Michele, Currie, Edward, El-Aroussi, Inas, Fields, Bob, Gheri, Lorenzo, Gorogiannis, Nikos, Heeney, Michael, Micheletti, Matteo, Loomes, Martin J., Margolis, Michael, Petridis, Miltos, Piermarteri, Andrea, Primiero, Giuseppe, Raimondi, Franco and Weldin, Nick (2018) MIRTO: an open-source robotic platform for education. In: 3rd European Conference on Software Engineering Education, 14-15 June 2018, Seeon, Germany. (doi:10.1145/3209087.3209106)

Androutsopoulos, Kelly, Binkley, David, Clark, David, Gold, Nicolas, Harman, Mark, 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. 9781450304450. (doi:10.1145/1985793.1985834)

Androutsopoulos, Kelly, Binkley, David, Clark, David, Gold, Nicolas, Harman, Mark, 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.

Androutsopoulos, Kelly, Clark, David, Dan, Haitao, 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, Clark, David, Harman, Mark, Hierons, Robert M., 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 (doi:10.1109/TSE.2012.72)

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

Androutsopoulos, Kelly, Clark, David, Harman, Mark, 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 (doi:10.1007/978-3-642-00593-0_15)

Androutsopoulos, Kelly, Gold, Nicolas, Harman, Mark, 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 (doi:10.1109/ICSM.2009.5306309)

Androutsopoulos, Kelly, Gorogiannis, Nikos, Loomes, Martin J., Margolis, M., Primiero, Giuseppe, Raimondi, Franco, Varsani, Puja, 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.

Apel, Sven, Beyer, Dirk, Friedberger, Karlheinz, 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 (doi:10.1007/978-3-319-03077-7_18)

Appukuttan, Biju K., Clark, Tony, Evans, Andy, Maskeri, Girish, Sammut, Paul, 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., Clark, Tony, Evans, Andy, Maskeri, Girish, Sammut, Paul, 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.

Appukuttan, Biju K., Clark, Tony, Reddy, Sreedhar, 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., Clark, Tony, Reddy, Sreedhar, 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., Clark, Tony, Reddy, Sreedhar, 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, Sammut, Paul and Willans, James S., eds. University of York, York, pp. 110-128. .

Appukuttan, Biju K., Clark, Tony, Tratt, Laurence, Reddy, Sreedhar, Venkatesh, R., Sammut, Paul, Evans, Andy, Sammut, Paul and Willans, James (2003) Revised submission for MOF 2.0 query / views / transformations RFP. Technical Report. Object Management Group. .

Ardeshir-Larijani, Ebrahim, 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. 9783642367410. (doi:10.1007/978-3-642-36742-7_33)

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

Aslam, Bilal ORCID: https://orcid.org/0000-0001-8087-7678, Azam, Muhammad A., Amin, Yasar, Loo, Jonathan and Tenhunen, Hannu (2019) A high capacity tunable retransmission type frequency coded chipless radio frequency identification system. International Journal of RF and Microwave Computer-Aided Engineering, 29 (9). ISSN 1099-047X (doi:10.1002/mmce.21855)

Attard, Geoffrey, De Raffaele, Clifford and Smith, Serengul (2019) TangiBoard: a toolkit to reduce the implementation burden of tangible user interfaces in education. In: The 13th IEEE International Conference Application of Information and Communication Technologies (AICT 2019), 23-25 Oct 2019, Baku, Azerbaijan.

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, Adams, Anne and Blandford, Ann (2006) Patient information needs: pre- and post-consultation. Health Informatics Journal, 12 (2). pp. 165-177. ISSN 1460-4582 (doi:10.1177/1460458206063811)

Attfield, Simon and Baber, Chris (2017) Elaborating the frames of data-frame theory. In: 13th Bi-annual International Conference on Naturalistic Decision Making (NDM13), 20-23 June 2017, University of Bath, Bath, United Kingdom.

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 (doi:10.1108/00220411111105443)

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 (doi:10.1007/s10506-010-9091-y)

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. 9780954324582.

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 (doi:10.1007/978-3-642-03655-2_60)

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 (doi:10.1080/07370024.2011.556548)

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.

Attfield, Simon, 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. 0769521770. (doi:10.1109/IV.2004.1320211)

Attfield, Simon, 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, 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 (doi:10.1108/00220410310485712)

Attfield, Simon, Blandford, Ann, 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 (doi:10.1016/j.ijhcs.2007.12.001)

Attfield, Simon, 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 (doi:10.1016/j.ipm.2009.10.003)

Attfield, Simon, De Gabrielle, Stephen and Blandford, Ann The loneliness of the long-distance document reviewer: e-discovery and cognitive ergonomics. In: DESI III Global E-Discovery/E-Disclosure Workshop: A Pre- Conference Workshop at the 12th International Conference on Artificial Intelligence and Law (ICAIL 2009), 08 Jun 2009, Barcelona, Spain.

Attfield, Simon and Dowell, John (2003) Information seeking and use by newspaper journalists. Journal of Documentation, 59 (2). pp. 187-204. ISSN 0022-0418 (doi:10.1108/00220410310463860)

Attfield, Simon, 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 (doi:10.1007/s10111-008-0111-6)

Attfield, Simon, Fields, Bob and Baber, Chris (2018) A resources model for distributed sensemaking. Cognition, Technology and Work, 20 (4). pp. 651-664. ISSN 1435-5566 (doi:10.1007/s10111-018-0529-4)

Attfield, Simon, Fields, Bob, Wheat, Ashley, Hutton, R. J. B., Nixon, Jim, Leggatt, Andrew and Blackford, Hanna (2015) Distributed sensemaking: a case study of military analysis. In: 12th International Conference on Naturalistic Decision Making, 09-12 Jun 2015, McLean, Virginia, USA.

Attfield, Simon, 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.

Attfield, Simon, Hewitt, Daniel, Xu, Kai ORCID: https://orcid.org/0000-0003-2242-5440, Passmore, Peter J. ORCID: https://orcid.org/0000-0002-5738-6800, Wagstaff, Adrian, Phillips, Graham, Windridge, David ORCID: https://orcid.org/0000-0001-5507-8516, Dash, Greg, Chapman, Richard and Mason, Lee (2016) Addressing VAST 2016 mini challenge 2 with POLAR kermode, classifier, excel on a power wall and data timelines. In: IEEE VAST Challenge 2016, 23 Oct 2016, Baltimore, MD, USA.

Attfield, Simon, Kazai, Gabriella, 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, Makri, Stephann, Kalbach, James, Blandford, Ann, 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 (doi:10.1007/978-3-540-87599-4_12)

Attfield, Simon, Mottram, Chiron, Fatah gen. Schieck, Ava, 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. 9781864877434.

Attfield, Simon, 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 (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.

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, Bourdakis, Vassilis, Braga, Daniela, Egerton, Simon, Fujinami, Kaori, Hunter, Gordon, Kawsar, Fahim, Lotfi, Ahmad, Preuveneers, Davy, Rahm, Abdul Wahab bin Abdul and Zamudio, Victor, eds. (2013) Proceedings of the 9th international conference on intelligent environments (IE '13). IEEE Press. 9781479907458.

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

Augusto, Juan Carlos, Grimstad, Terje, Wichert, Reiner, Schulze, Eva, Braun, Andreas, Rødevand, Gro Marit and Ridley, Vanda (2013) Personalized smart environments to increase inclusion of people with Down's Syndrome. Augusto, Juan Carlos, Wichert, Reiner, Collier, Rem, Keyson, David, Salah, Albert Ali and Tan, Ah-Hwee, eds. In: International Joint Conference on Ambient Intelligence, 3-5 of Dec 2013, Dublin, Ireland. (doi:10.1007/978-3-319-03647-2_16)

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 (doi:10.1016/j.advengsoft.2012.12.004)

Augusto, Juan Carlos, 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 (doi:10.4108/trans.amsys.2011.e6)

Augusto, Juan Carlos, Mulvenna, M., Zheng, H., Wang, H., Martin, S., 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 (doi:10.1080/0144929X.2013.816773)

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

Avula, Shivaram, Spiteri, Michaela, Kumar, Ram, Lewis, Emma, Harave, Srikrishna, Windridge, David ORCID: https://orcid.org/0000-0001-5507-8516, Ong, Chan and Pizer, Barry (2016) Post-operative pediatric cerebellar mutism syndrome and its association with hypertrophic olivary degeneration. Quantitative Imaging in Medicine and Surgery, 6 (5). pp. 535-544. ISSN 2223-4292 (doi:10.21037/qims.2016.10.11)

Azab, Nahed Amin, Ali, M. and Dafoulas, George ORCID: https://orcid.org/0000-0003-2638-8771 (2006) Incorporating CRM in e-government: case of Egypt, proceedings. In: IADIS International Conference, E-Commerce 2006.

Azab, Nahed Amin, Kamel, Sherif and Dafoulas, George ORCID: https://orcid.org/0000-0003-2638-8771 (2009) A suggested framework for assessing electronic government readiness in Egypt. Electronic Journal of E-Government, 7 (1). pp. 11-28. ISSN 1479-439X

Aztiria, Asier, Augusto, Juan Carlos, Basagoiti, Rosa, 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 (doi:10.1007/s00779-011-0471-4)

Aztiria, Asier, Augusto, Juan Carlos, Basagoiti, Rosa, 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 (doi:10.1109/TSMC.2013.2252892)

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. 9781466636828. (doi:10.4018/978-1-4666-3682-8.ch002)

B

Baber, Chris, Attfield, Simon, Conway, Gareth, Rooney, Chris and Kodagoda, Neesha (2016) Collaborative sense-making during simulated intelligence analysis exercises. International Journal of Human-Computer Studies, 86 . pp. 94-108. ISSN 1071-5819 (doi:10.1016/j.ijhcs.2015.10.001)

Baber, Chris, Attfield, Simon, 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., Pellegrin, L. and Bonnardel, N., eds. Arpege Science Publishing, Paris, pp. 125-131. 9791092329001.

Baber, Chris, Conway, Gareth, Attfield, Simon, Rooney, Chris, Kodagoda, Neesha and Walker, Rick (2015) How military intelligence personnel collaborate on a sense-making exercise. In: 12th International Conference on Naturalistic Decision Making, 09-12 Jun 2015, McLean, Virginia, USA.

Back, Jonathan, Furniss, Dominic, Attfield, Simon, 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.

Bacsich, Paul, Duquenoy, Penny, George, Carlisle, Weldon, John, 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. 1859242677.

Bahri, Mehdi, Panagakis, Yannis and Zafeiriou, Stefanos (2017) Robust Kronecker-decomposable component analysis for low-rank modeling. In: 2017 IEEE International Conference on Computer Vision (ICCV), 22-29 Oct 2017, Venice, Italy. (doi:10.1109/ICCV.2017.363)

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

Barat, Souvik (2018) Actor based behavioural simulation as an aid for organisational decision making. PhD thesis, Middlesex University.

Barat, Souvik, Clark, Tony, Barn, Balbir ORCID: https://orcid.org/0000-0002-7251-5033 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. (doi:10.1145/3021460.3021462)

Barat, Souvik, Kulkarni, Vinay and Barn, Balbir ORCID: https://orcid.org/0000-0002-7251-5033 (2018) Towards improved organisational decision-making - a method and tool-chain. Enterprise Modelling and Information Systems Architectures – International Journal of Conceptual Modeling, 13 (2018). 6:1-6:16. ISSN 1866-3621 (doi:10.18417/emisa.13.6)

Barat, Souvik, Kulkarni, Vinay, Clark, Tony and Barn, Balbir ORCID: https://orcid.org/0000-0002-7251-5033 (2019) An actor based simulation driven digital twin for analyzing complex business systems. In: Winter Simulation Conference 2019 - Simulation for Risk Management, 08-11 Dec 2019, Gaylord National Resort & Conference Center, National Harbor, Maryland. (Accepted/In press)

Barat, Souvik, Kulkarni, Vinay, Clark, Tony and Barn, Balbir ORCID: https://orcid.org/0000-0002-7251-5033 (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. (doi:10.5220/0006216306050616)

Barbon, Gianluca, Margolis, Michael, Palumbo, Filippo, 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 (doi:10.1016/j.comcom.2016.03.016)

Bardill, Andy, Griffiths, Wyn, 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, 02-03 Sept 2010, Trondheim, Norway.

Barn, Balbir ORCID: https://orcid.org/0000-0002-7251-5033 (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. (doi:10.1007/978-3-319-44902-9_10)

Barn, Balbir ORCID: https://orcid.org/0000-0002-7251-5033 (2019) Mapping the public debate on ethical concerns: algorithms in mainstream media. Journal of Information, Communication and Ethics in Society . ISSN 1477-996X (Published online first) (doi:10.1108/JICES-04-2019-0039)

Barn, Balbir ORCID: https://orcid.org/0000-0002-7251-5033 and Barn, Ravinder (2018) Human and value sensitive aspects of mobile app design: a Foucauldian perspective. In: CAiSE 2018 30th International Conference on Advanced Information Systems Engineering, 11-15 June 2018, Tallinn, Estonia. (doi:10.1007/978-3-319-91563-0_7)

Barn, Balbir ORCID: https://orcid.org/0000-0002-7251-5033 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 ORCID: https://orcid.org/0000-0002-7251-5033 and Barn, Ravinder (2018) Towards a unified conceptual model for surveillance theories. In: 40th International Conference on Software Engineering Software in Society Track, 27 May - 03 Jun 2018, Gothenburg, Sweden. (doi:10.1145/3183428.3183429)

Barn, Balbir ORCID: https://orcid.org/0000-0002-7251-5033 and Barn, Ravinder (2015) An approximate theory for value sensitivity. In: 015 IEEE/ACM 4th SEMAT Workshop on a General Theory of Software Engineering, 18 May 2015, Florence. (doi:10.1109/GTSE.2015.10)

Barn, Balbir ORCID: https://orcid.org/0000-0002-7251-5033 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 (doi:10.4018/IJSS.2016010101)

Barn, Balbir ORCID: https://orcid.org/0000-0002-7251-5033, Barn, Ravinder and Primiero, Giuseppe (2014) The role of resilience and value for effective co-design of information systems. In: Proceedings of the Conference of the International Association for Computing and Philosophy (IACAP 14). Springer Synthese Library. . (Accepted/In press)

Barn, Balbir ORCID: https://orcid.org/0000-0002-7251-5033, 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 2015, 16-24 May 2015, Florence, Italy. (doi:10.1109/ICSE.2015.182)

Barn, Balbir ORCID: https://orcid.org/0000-0002-7251-5033, Barn, Ravinder, Raimondi, Franco and Mukherjee, Utsa (2017) Examining the interaction between fourth estate and Twitter: an exploratory case study. In: HUSO 2017: Third International Conference on Human and Social Analytics, 23-27 July 2017, Nice, France.

Barn, Balbir ORCID: https://orcid.org/0000-0002-7251-5033, 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 (doi:10.4018/ijsodit.2013100103)

Barn, Balbir ORCID: https://orcid.org/0000-0002-7251-5033, 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. (doi:10.1109/HICSS.2014.554)

Barn, Balbir ORCID: https://orcid.org/0000-0002-7251-5033 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 ORCID: https://orcid.org/0000-0002-7251-5033 and Clark, Tony (2010) A domain specific language for contextual design. Lecture Notes in Computer Science, 6409 . pp. 46-61. ISSN 0302-9743 (doi:10.1007/978-3-642-16488-0_5)

Barn, Balbir ORCID: https://orcid.org/0000-0002-7251-5033 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, Shishkov, Boris and Cordeiro, José, eds. SciTePress, pp. 59-64. 9789898425768.

Barn, Balbir ORCID: https://orcid.org/0000-0002-7251-5033, Clark, Tony and Hearne, Gary ORCID: https://orcid.org/0000-0003-2146-4878 (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 ORCID: https://orcid.org/0000-0002-7251-5033, 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. (doi:10.5220/0005097404820487)

Barn, Balbir ORCID: https://orcid.org/0000-0002-7251-5033 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. 9783642216398. (doi:10.1007/978-3-642-21640-4_18)

Barn, Balbir ORCID: https://orcid.org/0000-0002-7251-5033 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. 9783642216398. (doi:10.1007/978-3-642-21640-4_18)

Barn, Balbir ORCID: https://orcid.org/0000-0002-7251-5033, 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.

Barn, Balbir ORCID: https://orcid.org/0000-0002-7251-5033, Primiero, Giuseppe and Barn, Ravinder (2015) An approach to early evaluation of informational privacy requirements. In: 30th ACM Symposium on Applied Computing 2015, 13-17 Apr 2015, Salamanca, Spain. (doi:10.1145/2695664.2695788)

Barn, Balbir ORCID: https://orcid.org/0000-0002-7251-5033, Raimondi, Franco, 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. (doi:10.5220/0004972204400447)

Barn, Ravinder and Barn, Balbir ORCID: https://orcid.org/0000-0002-7251-5033 (2019) A case study of practitioners’ perspectives on the challenges and opportunities of social technology in their Techno-Habitat in the United Kingdom. Youth Justice . ISSN 1473-2254 (Published online first) (doi:10.1177/1473225419869568)

Barn, Ravinder and Barn, Balbir ORCID: https://orcid.org/0000-0002-7251-5033 (2016) An ontological representation of a taxonomy for cybercrime. In: 24th European Conference on Information Systems (ECIS 2016), 12-15 June 2016, Istanbul, Turkey.

Baron, J. R. and Attfield, Simon Where light in darkness lies: preservation, access and sensemaking strategies for the modern digital archive. In: The Memory of the World in the Digital Age: Digitization and Preservation, 26-28 Sep 2012, Vancouver, BC, Canada.

Bashir, Engie and Attfield, Simon (2018) Enhancing curricular with state-of-practice research: interaction design and user experience. In: Fourth International Conference on Emerging Research Paradigms in Business and Social Sciences (ERPBSS-2018), 16-18 Jan 2018, Dubai.

Batty, Stephen (2004) Content based retrieval of PET neurological images. PhD thesis, Middlesex University.

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. (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. (2003) Conflict resolution by random estimated costs. In: 17th European Simulation Multiconference, Nottingham UK.

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.

Belavkin, Roman V. (2005) Entropy and information in models of learning behaviour. AISB Quarterly, 119 . p. 5. ISSN 0268-4179

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. 9781457704383. (doi:10.1109/ITW.2011.6089592)

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 (doi:10.1007/s11590-011-0325-z)

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. (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. (doi:10.1063/1.4905979)

Belavkin, Roman V. (2012) Optimal measures and Markov transition kernels. Journal of Global Optimization, 55 (2). pp. 387-416. ISSN 0925-5001 (doi:10.1007/s10898-012-9851-1)

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. (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. (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, Freudenberg, Wolfgang and Ohya, Masanori, eds. QP-PQ: Quantum Probability and White Noise Analysis, 30 (30). World Scientific, pp. 95-115. 9789814460019. (doi:10.1142/9789814460026_0009)

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, Freudenberg, Wolfgang and Ohya, Masanori, eds. QP-PQ: Quantum Probability and White Noise Analysis (26). World Scientific, London. 9789814304054.

Belavkin, Roman V., Channon, Alastair, Aston, Elizabeth, 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, Giacobini, Mario, Bersini, Hugues, Bourgine, Paul, Dorigo, Marco and Doursat, René, eds. MIT Press, pp. 85-92. 9780262297141.

Belavkin, Roman V. (2006) Towards a theory of decision-making without paradoxes. Fum, Danilo, Missier, Fabio Del and Stocco, Andrea, eds. In: Proceedings of the Seventh International Conference on Cognitive Modeling, April 5–8 2006, Trieste, Italy.

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

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 (doi:10.1016/j.cogsys.2010.08.003)

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.

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.

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. 9783642400193. (doi:10.1007/978-3-642-40020-9_40)

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

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.

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.

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

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

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

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 (doi:10.1093/ijlit/ean007)

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 (doi:10.1080/13600860903262255)

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, George, Carlisle and Kimppa, Kai, eds. Medical Information Science Reference, Hershey, PA., pp. 228-247. 9781599047805.

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. 9781450302920. (doi:10.1145/1866272.1866283)

Bettin, Jorn, Cook, William, 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, Liberti, Leo, 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.

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

Bharat, Souvik, Kulkarni, Vinay, Clark, Tony and Barn, Balbir ORCID: https://orcid.org/0000-0002-7251-5033 (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. (doi:10.5220/0005992401090116)

Bhattacharjee, Kamanasish, Kumar, Sushil, Pandey, Hari Mohan, Pant, Millie, Windridge, David ORCID: https://orcid.org/0000-0001-5507-8516 and Chaudhary, Ankit (2018) An improved block matching algorithm for motion estimation in video sequences and application in robotics. Computers & Electrical Engineering, 68 . pp. 92-106. ISSN 0045-7906 (doi:10.1016/j.compeleceng.2018.03.045)

Biendarra, Julian, Blanchette, Jasmin Christian, Bouzy, Aymeric, Desharnais, Martin, Fleury, Mathias, Hölzl, Johannes, Kunčar, Ondřej, Lochbihler, Andreas, Meier, Fabian, Panny, Lorenz, Popescu, Andrei, Sternagel, Christian, Thiemann, René and Traytel, Dmitriy (2017) Foundational (co)datatypes and (co)recursion for higher-order logic. In: 11th International Symposium on Frontiers of Combining Systems, FroCoS 2017, 27-29 September 2017, Brasilia, Brazil. (doi:10.1007/978-3-319-66167-4_1)

Bittman, Sebastian, Barn, Balbir ORCID: https://orcid.org/0000-0002-7251-5033 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 (doi:10.1504/IJKL.2014.067173)

Blanchette, Jasmin Christian, Popescu, Andrei and Traytel, Dmitriy (2017) Soundness and completeness proofs by coinductive methods. Journal of Automated Reasoning, 58 (1). pp. 149-179. ISSN 0168-7433 (doi:10.1007/s10817-016-9391-3)

Blandford, Ann, Adams, Anne, Attfield, Simon, Buchanan, George, Gow, Jeremy, Makri, Stephann, 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 (doi:10.1016/j.ipm.2007.01.021)

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

Blandford, Ann, 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. 9781461474845. (doi:10.1007/978-1-4614-7485-2_10)

Blandford, Ann, Wong, B. L. William, 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, Finlay, Janet and Detienne, Francoise, eds. BCS conference series . Springer, London, pp. 139-156. 1852336595.

Blower, J. D., Gemell, A. L., Griffiths, G. H., Haines, K., 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 (doi:10.1016/j.envsoft.2013.04.002)

Bodirsky, Manuel, Dalmau, Victor, 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. (doi:10.1007/978-3-642-15155-2_16)

Bodirsky, Manuel, 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. 9781424475889. (doi:10.1109/LICS.2010.13)

Bodirsky, Manuel, 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

Bodirsky, Manuel, Martin, Barnaby, Pinsker, Michael and Pongrácz, András (2016) Constraint satisfaction problems for reducts of homogeneous graphs. In: 43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016), 12-15 Jul 2016, Rome, Italy. (doi:10.4230/LIPIcs.ICALP.2016.119)

Bodirskya, Manuel, Dalmau, Victor, Martin, Barnaby, Mottet, Antoine and Pinsker, Michael (2016) Distance constraint satisfaction problems. Information and Computation, 247 . pp. 87-105. ISSN 0890-5401 (doi:10.1016/j.ic.2015.11.010)

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. 9783642246890. (doi:10.1007/978-3-642-24690-6_27)

Boender, Jaap, Currie, Edward, Loomes, Martin J., Primiero, Giuseppe and Raimondi, Franco (2016) Teaching functional patterns through robotic applications. In: The 4th International Workshop on Trends in Functional Programming in Education, TFPIE 2015, 02 Jun 2015, Sophia-Antipolis, France. (doi:10.4204/EPTCS.230.2)

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, Fitzgerald, Brian, Scacchi, Walt and Sillitti, Alberto, eds. IFIP Advances in Information and Communication Technology (234). Springer, Berlin and Heidelberg, Germany, p. 391. 9780387724850.

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. 9783319050317.

Boender, Jaap, Kammueller, Florian, 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, 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. 9783642548611. (doi:10.1007/978-3-642-54862-8_53)

Bonnet, Edouard, Brettell, Nick, Kwon, O-joung and Marx, Dániel (2018) Generalized feedback vertex set problems on bounded-treewidth graphs: chordality is the key to single-exponential parameterised algorithms. In: 12th International Symposium on Parameterized and Exact Computation (IPEC 2017), 06-08 Sept 2017, Vienna, Austria. (doi:10.4230/LIPIcs.IPEC.2017.7)

Bonnet, Edouard, Gaspers, Serge, Lambilliotte, Antonin, Rümmele, Stefan and Saffidine, Abdallah (2017) The parameterized complexity of positional games. In: 44th International Colloquium on Automata, Languages, and Programming (ICALP 2017), 10-14 Jul 2017, Warsaw, Poland. (doi:10.4230/LIPIcs.ICALP.2017.90)

Bonnet, Edouard, Miltzow, Tillmann and Rzążewski, Paweł (2018) Complexity of token swapping and its variants. Algorithmica, 80 (9). pp. 2656-2682. ISSN 0178-4617 (doi:10.1007/s00453-017-0387-0)

Bonnet, Edouard, Rzążewski, Paweł and Sikora, Florian (2018) Designing RNA secondary structures is hard. In: 22nd Annual International Conference on Research in Computational Molecular Biology (RECOMB 2018), 21-24 Apr 2018, Paris, France.

Bornat, Richard and Amjad, Hasan (2011) Explanation of two non-blocking shared-variable communication algorithms. Formal Aspects of Computing . ISSN 0934-5043 (doi:10.1007/s00165-011-0213-4)

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 (doi:10.1007/s00165-009-0141-8)

Bornat, Richard (2010) Separation logic and concurrency. In: Formal Methods: State of the Art and New Directions. Boca, Paul, Bowen, Jonathan P. and Siddiqi, Jawed, eds. Springer-Verlag, London, pp. 217-248. 9781848827356. (doi:10.1007/978-1-84882-736-3_7)

Bornat, Richard, 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. 0-7695-2631-4. (doi:10.1109/LICS.2006.52)

Bornat, Richard, Calcagno, Cristiano, 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 (doi:10.1145/1047659.1040327)

Bornat, Richard, 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 (doi:10.1016/j.entcs.2005.11.059)

Bornat, Richard, 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 (doi:10.1145/1190216.1190261)

Bottone, Michele (2018) Agoric computation: trust and cyber-physical systems. PhD thesis, Middlesex University.

Bottone, Michele, Palumbo, Filippo, Primiero, Giuseppe, Raimondi, Franco and Stocker, Richard (2016) Implementing virtual pheromones in BDI robots using MQTT and Jason. In: 2016 5th IEEE International Conference on Cloud Networking (Cloudnet), 03-05 Oct 2016, Pisa, Italy. (doi:10.1109/CloudNet.2016.22)

Bottone, Michele, Primiero, Giuseppe, Raimondi, Franco and Rungta, Neha (2016) From raw data to agent perceptions for simulation, verification, and monitoring. In: 12th International Conference on Intelligent Environment 2016:- 5th International Workshop on Reliability of Intelligent Environments (WoRIE’16), 14-16 Sept 2016, London, United Kingdom. (doi:10.3233/978-1-61499-690-3-66)

Bottone, Michele, Raimondi, Franco and Primiero, Giuseppe (2018) Multi-agent based simulations of block-free distributed ledgers. In: The 32nd IEEE International Conference on Advanced Information Networking and Applications Workshops (WAINA), 16-18 May 2018, Krakow, Poland. (doi:10.1109/WAINA.2018.00149)

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

Bradley, Michael D., Goodwin, Reg, 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, Bilsland, Christina and Bichard, Jo-Anne, eds. Royal College of Arts, London. 1-905000-34-0.

Bradley, Michael D., Keith, Suzette, 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. 978-0-415-43638-0.

Bradley, Michael D., Keith, Suzette, 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..

Brassil, D., 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. 9781424427932. (doi:10.1109/ICSMC.2009.5346738)

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

Brotherston, James, 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 (doi:10.1145/1328897.1328453)

Brown, Mark, Windridge, David ORCID: https://orcid.org/0000-0001-5507-8516 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. (doi:10.1109/ICCV.2015.244)

Brown, Mark, Windridge, David ORCID: https://orcid.org/0000-0001-5507-8516 and Guillemaut, Jean-Yves (2015) A generalisable framework for saliency-based line segment detection. Pattern Recognition, 48 (12). pp. 3993-4011. ISSN 0031-3203 (doi:10.1016/j.patcog.2015.06.015)

Brown, Mark, Windridge, David ORCID: https://orcid.org/0000-0001-5507-8516 and Guillemaut, Jean-Yves (2017) A generalised framework for saliency-based point feature detection. Computer Vision and Image Understanding, 157 . pp. 117-137. ISSN 1077-3142 (doi:10.1016/j.cviu.2016.09.008)

Buciu, Ioan, 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.

Buciu, Ioan, 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.

Busard, Simon, Pecheur, Charles, Qu, Hongyang and Raimondi, Franco (2018) Comparing approaches for model-checking strategies under imperfect information and fairness constraints. International Journal on Software Tools for Technology Transfer . ISSN 1433-2779 (Published online first) (doi:10.1007/s10009-018-0505-6)

Busard, Simon, Pecheur, Charles, 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. (doi:10.1007/978-3-319-11737-9_3)

Busard, Simon, Pecheur, Charles, 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.

Butterworth, Richard J., Fields, Bob, 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. 3-540-28767-1. (doi:10.1007/11551362_25)

Byrne, Emma and Huyck, Christian R. (2010) Processing with cell assemblies. Neurocomputing, 74 (1-3). pp. 76-83. ISSN 0925-2312 (doi:10.1016/j.neucom.2009.09.024)

Böcker, Martin, Floratos, Nikolaos, Martínez, Loïc, Pluke, Mike, Von Niman, Bruno and Whitney, Gill (2016) Cognitive accessibility to mobile ICT. In: 15th International Conference on Computers Helping People with Special Needs (ICCHP 2016), 13-15 July 2016, Linz, Austria. (doi:10.1007/978-3-319-41264-1_24)

C

Cacciagrano, Diletta Romana, Corradini, Flavio, Culmone, Rosario, Gorogiannis, Nikos, Mostarda, Leonardo, Raimondi, Franco and Vannucchi, Claudia (2018) Analysis and verification of ECA rules in intelligent environments. Journal of Ambient Intelligence and Smart Environments, 10 (3). pp. 261-273. ISSN 1876-1364 (doi:10.3233/ais-180487)

Campuzano, Francisco, Doumanis, Ioannis, 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.

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.

Channon, Alastair, Aston, Elizabeth, Day, Charles, 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, Giacobini, Maria, Bersini, Hugues, Bourgine, Paul, Dorigo, Marco and Doursat, René, eds. MIT Press, pp. 117-124. 9780262297141.

Chapin, Lawrence, Attfield, Simon and Okoro, Efeosasere Moibi Predictive coding, storytelling and god: narrative understanding in e-discovery. In: DESI V Workshop, 14 Jun 2013, Rome, Italy.

Chen, Dan, Wang, Lizhe and Zhou, Suiping (2017) Software systems for data-centric smart city applications. Software: Practice and Experience, 47 (8). pp. 1043-1044. ISSN 0038-0644 (doi:10.1002/spe.2508)

Chen, Hubie, 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, USA. (doi:10.1109/LICS.2008.15)

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

Chen, Shuwei, Liu, Jun, 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, Liu, Jun, 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, Shuwei, Liu, Jun, 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 (doi:10.1016/j.ins.2013.08.040)

Chen, Taolue, Feng, Yuan, 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. (doi:10.1007/978-3-662-44584-6_16)

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

Chen, Taolue, 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 (doi:10.1016/j.ipl.2008.09.003)

Chen, Taolue, Forejt, Vojtěch, Kwiatkowska, Marta, 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 (doi:10.1007/s10703-013-0183-7)

Chen, Taolue, Han, Tingting, Kammueller, Florian, Nemli, Ibrahim and Probst, Christian (2016) Model based analysis of insider threats. In: 2016 International Conference on Cyber Security and Protection of Digital Services (Cyber Security), 13-14 Jun 2016, London, United Kingdom. (doi:10.1109/CyberSecPODS.2016.7502350)

Chen, Taolue, Han, Tingting, Katoen, Joost-Pieter, 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 (doi:10.2168/LMCS-7(1:12)2011)

Chen, Taolue, Kammueller, Florian, 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 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. (doi:10.1145/2603088.2603099)

Chen, Taolue, 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.

Chen, Taolue, 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 (doi:10.1016/j.ipl.2014.08.004)

Cheng, Shiyang, Kotsia, Irene, Pantic, Maja and Zafeiriou, Stefanos (2018) 4DFAB: a large scale 4D facial expression database for biometric applications. In: CVPR 2018: 2018 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR), 18-22 June 2018, Salt Lake City, USA. (Published online first)

Cheng, Xiaochun ORCID: https://orcid.org/0000-0003-0371-9646 (2019) Unbalanced private set intersection cardinality protocol with low communication cost. Future Generation Computer Systems . ISSN 0167-739X (Accepted/In press)

Chernousova, Elena, Levdik, Pavel, Tatarchuk, Alexander, Mottl, Vadim and Windridge, David ORCID: https://orcid.org/0000-0001-5507-8516 (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. (doi:10.1109/ICPR.2014.628)

Chernousova, Elena, Razin, Nikolay, Krasotkina, Olga, Mottl, Vadim and Windridge, David ORCID: https://orcid.org/0000-0001-5507-8516 (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, Goldengorin, Boris and Pardalos, Panos M., eds. Springer Optimization and Its Applications, 92 . Springer, New York, pp. 377-390. 9781493907410. (doi:10.1007/978-1-4939-0742-7_22)

Chernousova, Elena, Razin, Nikolay, Krasotkina, Olga, Mottl, Vadim and Windridge, David ORCID: https://orcid.org/0000-0001-5507-8516 (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, Goldengorin, Boris and Pardalos, Panos M., eds. Springer Optimization and Its Applications, 92 . Springer, New York, pp. 377-390. 9781493907410. (doi:10.1007/978-1-4939-0742-7_22)

Chikhman, V. N., Shelepin, Yuri, Foreman, Nigel and Passmore, Peter J. ORCID: https://orcid.org/0000-0002-5738-6800 (2008) Viewpoint invariance in the recognition of 3-D depth-rotated figures. Perception, 37 . ISSN 0301-0066

Chikhman, V. N., Shelepin, Yuri, Foreman, Nigel, Passmore, Peter J. ORCID: https://orcid.org/0000-0002-5738-6800, Vakhrameeva, O. and Pronin, Sergey (2008) Invariance of visual perception. Experimental Psychology, 1 . pp. 7-33. ISSN 2072-7593

Chikhman, V. N., Shelepin, Yuri, Vakhrameeva, O., Pronin, Sergey, Foreman, Nigel and Passmore, Peter J. ORCID: https://orcid.org/0000-0002-5738-6800 (2009) The estimation of quantitative ranges of invariance in visual perception. Perception, 38 . ISSN 0301-0066

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), Brierley, Claire, Rooney, Chris, Xu, Kai, Chen, Raymond, 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.

Choudhury, Sharmin (Tinni), Kodagoda, Neesha, Nguyen, Phong H., Rooney, Chris, Attfield, Simon, Xu, Kai, Zheng, Yongjun, Wong, B. L. William, Chen, Raymond, Mapp, Glenford E., Slabbert, Louis, 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, S. A., 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, Waern, Yvonne and Cockton, Gilbert, eds. BCS conference series . Springer, London, pp. 287-298. 1852333189.

Clark, Tony (1999) EBG: a lazy functional programming language implemented on the Java virtual machine. Technical Report. University of Bradford. .

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 (1996) Formal basis for the refinement of rule based transition systems. Journal of Functional Programming, 6 (2). pp. 329-354. ISSN 0956-7968 (doi:10.1017/S0956796800001702)

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 (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 (2009) A MOP based DSL for testing Java programs using OCL. Lecture Notes in Computer Science . ISSN 0302-9743

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

Clark, Tony (1997) Metaclasses and reflection in smalltalk. Technical Report. University of Bradford. .

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 (2000) Object-oriented refinement and proof using behaviour functions. In: Rigorous Object-Oriented Methods, 17 January 2000, York, UK.

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 (doi:10.1093/comjnl/37.5.385)

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

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 (1999) Specification and implementation of a multi-agent calculus based on higher-order functions. Technical Report. University of Bradford. .

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

Clark, Tony (1997) Transforming sequences using threaded morphisms. 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. 9783540667124. (doi:10.1007/3-540-46852-8_36)

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

Clark, Tony (1993) A basic model of KBS software. Technical Report. GEC-Marconi Research. .

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 (2007) A domain specific language for interactive applications. In: TOOLS EUROPE 2007: Object, Models, Components and Patterns, 24-27 June 2007, Zurich, Switzerland.

Clark, Tony (1995) A lazy non-deterministic functional language. Technical Report. University of Bradford. .

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. .

Clark, Tony and Barn, Balbir ORCID: https://orcid.org/0000-0002-7251-5033 (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 Barn, Balbir ORCID: https://orcid.org/0000-0002-7251-5033 (2011) Event driven architecture modelling and simulation. In: Proceedings of 2011 IEEE 6th International Symposium on Service Oriented System (SOSE). IEEE, pp. 43-54. 9781467304115. (doi:10.1109/SOSE.2011.6139091)

Clark, Tony and Barn, Balbir ORCID: https://orcid.org/0000-0002-7251-5033 (2011) Event driven architecture modelling and simulation. In: Service Oriented System Engineering (SOSE), 2011 IEEE 6th International Symposium on. IEEE, pp. 43-54. 9781467304115. (doi:10.1109/SOSE.2011.6139091)

Clark, Tony and Barn, Balbir ORCID: https://orcid.org/0000-0002-7251-5033 (2011) Modeling as theory building: addressing knowledge management problems in system engineering. SETLabs Briefings .

Clark, Tony and Barn, Balbir ORCID: https://orcid.org/0000-0002-7251-5033 (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 ORCID: https://orcid.org/0000-0002-7251-5033 (2012) bCMS in LEAP. In: Comparing Modeling Approaches, 30 September 2012, Innsbruck, Austria.

Clark, Tony, Barn, Balbir ORCID: https://orcid.org/0000-0002-7251-5033 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, Barn, Balbir ORCID: https://orcid.org/0000-0002-7251-5033 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, Barn, Balbir ORCID: https://orcid.org/0000-0002-7251-5033, Kulkarni, Vinay and Barat, Souvik (2019) Making sense of actor behaviour: an algebraic filmstrip pattern and its implementation. In: ISEC'19 Proceedings of the 12th Innovations on Software Engineering Conference (formerly known as India Software Engineering Conference), 14-16 Feb 2019, Pune, India. (doi:10.1145/3299771.3299783)

Clark, Tony, Barn, Balbir ORCID: https://orcid.org/0000-0002-7251-5033, Kulkarni, Vinay and Barat, Souvik (2017) Querying histories of organisation simulations. In: 26th International Conference on Information Systems Development (ISD2017 CYPRUS), 06-08 Sept 2017, Larnaca, Cyprus.

Clark, Tony, Barn, Balbir ORCID: https://orcid.org/0000-0002-7251-5033 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. 9781450305594. (doi:10.1145/1953355.1953366)

Clark, Tony, Barn, Balbir ORCID: https://orcid.org/0000-0002-7251-5033 and Oussena, Samia (2012) Simulating enterprise architecture models. Infosys Journal of Research, 10 (3). pp. 3-20.

Clark, Tony, Barn, Balbir ORCID: https://orcid.org/0000-0002-7251-5033 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, Gaaloul, K, Harmsen, F and Wrycza, S, eds. Lecture Notes in Business Information Processing (120). Springer, pp. 48-76. 9783642311338. (doi:10.1007/978-3-642-31134-5_3)

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 (doi:10.1007/s10270-010-0184-6)

Clark, Tony and D'Souza, Desmond (2001) A translational semantics for UML. Technical Report. King's College. .

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. .

Clark, Tony, 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. 9783540440888. (doi:10.1007/3-540-46105-1_28)

Clark, Tony, Evans, Andy and Kent, Stuart (2003) Aspect-oriented metamodelling. Computer Journal, 46 (5). pp. 566-577. ISSN 0010-4620

Clark, Tony, 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, Evans, Andy and Kent, Stuart (2002) Unambiguous UML (2U) submission to UML 2 infrastructure RFP. Technical Report. Object Management Group, Inc. (OMG). .

Clark, Tony, 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, 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 (doi:10.1007/3-540-45669-4_2)

Clark, Tony, 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. 9783540442547. (doi:10.1007/3-540-45800-X)

Clark, Tony, 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. 9783540418634. (doi:10.1007/3-540-45314-8_3)

Clark, Tony, Evans, Andy and Kent, Stuart (2002) A programmers guide to MMT. Technical Report. King's College. .

Clark, Tony, Evans, Andy, Kent, Stuart, 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. .

Clark, Tony, 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. 9783540433538.

Clark, Tony, Evans, Andy, 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.

Clark, Tony, Evans, Andy, Maskeri, Girish, Sammut, Paul and Willans, James (2003) Modeling language transformations. L'Objet, 9 (4). pp. 31-51. ISSN 1262-1137 (doi:10.3166/objet.9.4.31-51)

Clark, Tony, Evans, Andy, Sammut, Paul and Willans, James (2004) Language driven development and MDA. MDA Journal .

Clark, Tony, Evans, Andy, 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. 9783540232070.

Clark, Tony, Evans, Andy, 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.

Clark, Tony, 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, 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, Kulkarni, Vinay, Barat, Souvik and Barn, Balbir ORCID: https://orcid.org/0000-0002-7251-5033 (2017) Actor monitors for adaptive behaviour. In: ISEC '17: 10th Innovations in Software Engineering Conference, 05-07 Feb 2017, Jaipur, India. (doi:10.1145/3021460.3021469)

Clark, Tony, Kulkarni, Vinay, Barat, Souvik and Barn, Balbir ORCID: https://orcid.org/0000-0002-7251-5033 (2018) Constructing and interrogating actor histories. In: Exploring Intelligent Decision Support Systems: Current State and New Trends. Valencia-García, Rafael, Paredes-Valverde, Mario Andrés, del Pilar Salas-Zárate, María and Alor-Hernández, Giner, eds. Studies in Computational Intelligence, 764 . Springer, Switzerland, pp. 27-47. ISBN 9783319740010, pbk-ISBN 9783319892665, e-ISBN 9783319740027. (doi:10.1007/978-3-319-74002-7_2)

Clark, Tony, Kulkarni, Vinay, Barn, Balbir ORCID: https://orcid.org/0000-0002-7251-5033, France, Robert B., Frank, Ulrich and Turk, Dan (2014) Towards the model driven organization. In: 47th Hawaii International Conference on System Sciences, HICSS 2014, 06-09 Jan 2014, Waikoloa, Hawaii, USA. (doi:10.1109/HICSS.2014.591)

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 (doi:10.1007/s10270-012-0260-1)

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.

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

Clark, Tony, 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. . (doi:10.1109/SCAM.2008.34)

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

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

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. 9781605587660. (doi:10.1145/1639950.1640062)

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. 9783540431695.

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. 9781466620926. (doi:10.4018/978-1-4666-2092-6.ch011)

Clemmensen, Torkil, Campos, Pedro, Orngreen, Rikke, 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. 9780387367927.

Cole, Laurence A., Butler, Stephen A., Khan, Nawaz, Giddings, Almareena, Muller, Carolyn Y., 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 (doi:10.1016/j.ygyno.2005.12.045)

Cook, John, 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. 1880094533.

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.. 1902956162.

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

Coronato, Antonio, 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.

Cubo, Javier, Sama, Michele, 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.

Cunningham, Andrew, 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. 9781450300766. (doi:10.1145/1842993.1843106)

Curcin, Vasa, 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 (doi:10.1098/rsta.2010.0157)

Currie, Edward and James-Reynolds, Carl (2020) Embedding creativity in the university computing curriculum. In: TIE 2018: 2nd EAI International Conference on Technology, Innovation, Entrepreneurship and Education, 04 Sept 2018, London, United Kingdom. (doi:10.1007/978-3-030-16130-9_2)

Currie, Edward and James-Reynolds, Carl (2017) A survey of the benefits and issues arising from the deployment of physical artefacts in computer science teaching. EAI Endorsed Transactions on e-Learning, 4 (13). ISSN 2032-9253 (doi:10.4108/eai.20-6-2017.152745)

Curzon, Paul, Keith, Suzette, 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.

D

Da Lio, Mauro, Biral, Francesco, Bertolazzi, Enrico, Galvani, Marco, Bosetti, Paolo, Windridge, David ORCID: https://orcid.org/0000-0001-5507-8516, 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 (doi:10.1109/TITS.2014.2330199)

Da Lio, Mauro, Biral, Francesco, Bosetti, Paolo and Windridge, David ORCID: https://orcid.org/0000-0001-5507-8516 (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

Dack, John (2002) Abstract and concrete. Journal of Electroacoustic Music, 14 . pp. 2-7. ISSN 1355-7726

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

Dack, John (2001) At the limits of Schaeffer's TARTYP. [Audio]

Dack, John (2002) CD review: The British 'school' of acousmatic music. Computer Music Journal, 26 (3). pp. 91-94. ISSN 0148-9267

Dack, John (2000) Die Herausforderung traditioneller Konzepte. MusikTexte, 84 . ISSN 0178-8884

Dack, John (2001) Diffusion as performance. In: IIASSRC Conference Proceedings. IIASSRC Conference Proceedings, pp. 81-88. 1-894613-33-3.

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 (2004) Electroacoustic music: analytical perspectives. Organised Sound, 9 (1). pp. 115-117. ISSN 1355-7718

Dack, John (2000) Francis Dhomont in London. Electroacoustic Music and History Diffusion, May . pp. 2-3.

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

Dack, John (2002) Histories and ideologies of synthesis. In: Maxis Conference Proceedings. Maxis Conference Proceedings, pp. 35-40. 0-86339-969-X.

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

Dack, John (2000) Introduction to the work of Sabine Schäfer. Diffusion (2). ISSN 0955-4602

Dack, John (1999) Karlheinz Stockhausen's kontakte and narrativity. In: Kontakte and Narrativity.

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 (2000) Ludwig van Henry: an interview with Pierre Henry. Journal of Electroacoustic Music, 13 . pp. 27-30. ISSN 1355-7726

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

Dack, John (2001) Report on the Sonic Arts Network Conference, Newcastle. Diffusion . pp. 4-5. ISSN 0955-4602

Dack, John (2002) Review: the 'Nowalls' Conference at De Montfort University. Computer Music Journal . pp. 91-93. ISSN 0148-9267

Dack, John (2005) Sonic Art: Interactions between practice and theory. In: IIASSRC Conference Proceedings. IIASSRC Conference Proceedings, pp. 33-40. 1-894613-45-7.

Dack, John (2003) Sound, installations and music. In: MAXIS II Conference Proceedings. MAXIS II Conference Proceedings, pp. 35-39. 1-84387-011-8.

Dack, John (2005) Soundscape: the school of sound lectures. Sound Journal .

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

Dack, John (2004) Virtuosity and the virtual. Working Paper. John Dack. .

Dack, John (2002) Webern's Op.21 and the unity of musical space. In: Systems Research in the Arts. IIASSRC Conference, pp. 31-42. 1-894613-10-4.

Dack, John (2003) Writing aloud: the sonics of language. Computer Music Journal, 27 (1). pp. 86-88. ISSN 0148-9267

Dack, John (2004) The artist-couple (Sabine Schäfer and Joachim Krebs). In: AquaAngelusVox. MDG, pp. 7-9. .

Dack, John (2000) The evocation of space as a compositional determinant. In: IIASSRC Conference Proceedings. IIASSRC Conference Proceedings, pp. 61-66. 0-921836-90-2.

Dack, John (2004) The open form in the arts. In: IIASSRC Conference Proceedings. IIASSRC Conference Proceedings, pp. 7-13. 1-894613-40-6.

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. .

Dack, John (1989) The relationship between electro-acoustic music and instrumental/vocal composition in Europe in the period 1948-1970. PhD thesis, Middlesex Polytechnic.

Dack, John (2003) The 'series' in Music and Art. In: IIASSRC Conference Proceedings. IIASSRC Conference Proceedings, pp. 21-28. .

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. 2-7475-6691-9.

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. 9780521863094.

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. 9788822261106.

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. 9782869382107.

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. 9781904750277.

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. 393312798X.

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. 9780754662600.

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

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. 9789944396271.

Dack, John (2002) Instrument und Pseudoinstrument - Akusmatische Konzepte. In: Elektroakustische Musik. Ungeheuer, Elena and Bottenberg, Ernst Heinrich, eds. Laaber-Verlag, pp. 243-259. 3-89007-425-1.

Dafoulas, George ORCID: https://orcid.org/0000-0003-2638-8771 (2006) Best practise in developing a training course for e-learning professionals. In: Proceedings of 12th NETTIES (Networking Entities) 2006 International Conference.

Dafoulas, George ORCID: https://orcid.org/0000-0003-2638-8771 (2006) E-assessment in information technology. In: Proceedings of the 17th Annual International Resources Management Association (IRMA) International Conference.

Dafoulas, George ORCID: https://orcid.org/0000-0003-2638-8771 (2006) Emerging trends in web-based learning: the use of e-portfolios. In: Proceedings of 12th NETTIES (Networking Entities) 2006 International Conference.

Dafoulas, George ORCID: https://orcid.org/0000-0003-2638-8771 (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 ORCID: https://orcid.org/0000-0003-2638-8771 (2008) Formative assessment and the role of feedback. In: Proceedings of the 8th Annual Learning and Teaching Conference – Reshaping Education.

Dafoulas, George ORCID: https://orcid.org/0000-0003-2638-8771 (2010) Global software development learning teams. In: Middlesex University Spring Conference.

Dafoulas, George ORCID: https://orcid.org/0000-0003-2638-8771 (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 ORCID: https://orcid.org/0000-0003-2638-8771 (2014) Piloting global software development in software engineering student teams. In: 2nd World Congress on Multimedia and Computer Science.

Dafoulas, George ORCID: https://orcid.org/0000-0003-2638-8771 (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 ORCID: https://orcid.org/0000-0003-2638-8771 (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 ORCID: https://orcid.org/0000-0003-2638-8771 (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 ORCID: https://orcid.org/0000-0003-2638-8771 (2005) Web-based systems for distance education and e-learning. In: Proceedings of the 15th International World Wide Web Conference.

Dafoulas, George ORCID: https://orcid.org/0000-0003-2638-8771 (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 ORCID: https://orcid.org/0000-0003-2638-8771 (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 ORCID: https://orcid.org/0000-0003-2638-8771 (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 ORCID: https://orcid.org/0000-0003-2638-8771 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 ORCID: https://orcid.org/0000-0003-2638-8771, Bakry, Walaa and Murphy, Alan (2005) E-Learning online communities. Proceedings of the e-LOC 2005 International Workshop . Middlesex University Press. 1 898253 99 4.

Dafoulas, George ORCID: https://orcid.org/0000-0003-2638-8771, Barn, Balbir ORCID: https://orcid.org/0000-0002-7251-5033, 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 ORCID: https://orcid.org/0000-0003-2638-8771, Barn, Balbir ORCID: https://orcid.org/0000-0002-7251-5033, 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 ORCID: https://orcid.org/0000-0003-2638-8771, Barn, Balbir ORCID: https://orcid.org/0000-0002-7251-5033, Abeysinghe, Geetha and Zheng, Yongjun (2011) Middlesex University skills and education planning tool. In: JISC eLearning Experts Meeting.

Dafoulas, George ORCID: https://orcid.org/0000-0003-2638-8771, Barn, Balbir ORCID: https://orcid.org/0000-0002-7251-5033, Abeysinghe, Geetha, Zheng, Yongjun, Swigger, Kathleen, Brazile, Robert, Alpaslan, Ferda Nur, 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. 9788461393862.

Dafoulas, George ORCID: https://orcid.org/0000-0003-2638-8771, Barn, Balbir ORCID: https://orcid.org/0000-0002-7251-5033 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 ORCID: https://orcid.org/0000-0003-2638-8771, Barn, Balbir ORCID: https://orcid.org/0000-0002-7251-5033 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 ORCID: https://orcid.org/0000-0003-2638-8771, Barn, Balbir ORCID: https://orcid.org/0000-0002-7251-5033 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 ORCID: https://orcid.org/0000-0003-2638-8771, Barn, Balbir ORCID: https://orcid.org/0000-0002-7251-5033 and Zheng, Yongzun (2014) Skills and education planning tools for curriculum design. In: 2nd World Congress on Multimedia and Computer Science.

Dafoulas, George ORCID: https://orcid.org/0000-0003-2638-8771, Frumkin, Lara A., 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. . (doi:10.1109/AICCSA.2005.1387142)

Dafoulas, George ORCID: https://orcid.org/0000-0003-2638-8771, 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.

Dafoulas, George ORCID: https://orcid.org/0000-0003-2638-8771 and Loveday, Joanna (2016) Using data mining for assessing students interaction with social media in higher education: the case of using learning analytics within the curriculum. In: 8th International Conference on Education and New Learning Technologies, 04-06 Jul 2016, Barcelona, Spain. (doi:10.21125/edulearn.2016.2261)

Dafoulas, George ORCID: https://orcid.org/0000-0003-2638-8771, 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.

Dafoulas, George ORCID: https://orcid.org/0000-0003-2638-8771 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 ORCID: https://orcid.org/0000-0003-2638-8771 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 ORCID: https://orcid.org/0000-0003-2638-8771 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 ORCID: https://orcid.org/0000-0003-2638-8771 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 ORCID: https://orcid.org/0000-0003-2638-8771 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 ORCID: https://orcid.org/0000-0003-2638-8771 and Macaulay, Linda (2001) Investigating cultural differences in virtual software teams. In: Proceedings of BIT World 2001: Enabling Cultural Awareness.

Dafoulas, George ORCID: https://orcid.org/0000-0003-2638-8771 and Macaulay, Linda (2000) Virtual teams and dynamic role allocation. In: Proceedings of the 10th Annual BIT Conference.

Dafoulas, George ORCID: https://orcid.org/0000-0003-2638-8771 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. 81-7881-414-5.

Dafoulas, George ORCID: https://orcid.org/0000-0003-2638-8771, Maia, Cristiano Cardoso, Ali, Almaas and Augusto, Juan Carlos ORCID: https://orcid.org/0000-0002-0321-9150 (2018) Collecting sensor-generated data for assessing teamwork and individual contributions in computing student teams. In: EDULEARN18: 10th annual International Conference on Education and New Learning Technologies, 02-04 July 2018, Palma de Mallorca, Spain. (doi:10.21125/edulearn.2018.2759)

Dafoulas, George ORCID: https://orcid.org/0000-0003-2638-8771, Maia, Cristiano Cardoso, Samuels-Clarke, Jerome, Ali, Almaas and Augusto, Juan Carlos ORCID: https://orcid.org/0000-0002-0321-9150 (2018) Investigating the role of biometrics in education – the use of sensor data in collaborative learning. In: 12th International Conference on e-Learning, 17-19 July 2018, Madrid, Spain.

Dafoulas, George ORCID: https://orcid.org/0000-0003-2638-8771, Maia, Cristiano Cardoso and Tsiakara, Ariadni (2018) Google Glass as a learning tool: sharing evaluation results for the role of optical head mounted displays in education. In: 12th International Conference on Interfaces and Human Computer Interaction, 18-20 July 2018, Madrid, Spain.

Dafoulas, George ORCID: https://orcid.org/0000-0003-2638-8771 and Mimirinis, Mike (2005) Communication patterns in e-learning communities. Interactive Technology and Smart Education, 2 (4). pp. 221-233. ISSN 1741-5659 (doi:10.1108/17415650580000046)

Dafoulas, George ORCID: https://orcid.org/0000-0003-2638-8771, Mimirinis, Mike, 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).

Dafoulas, George ORCID: https://orcid.org/0000-0003-2638-8771 and Murphy, Alan (2006) Communicating on-line: culture and tools. E-Learning Training Guide, 3 . MUP Press. 1859242871.

Dafoulas, George ORCID: https://orcid.org/0000-0003-2638-8771 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. 1859242820.

Dafoulas, George ORCID: https://orcid.org/0000-0003-2638-8771 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. 1859242871.

Dafoulas, George ORCID: https://orcid.org/0000-0003-2638-8771, 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 ORCID: https://orcid.org/0000-0003-2638-8771, 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).

Dafoulas, George ORCID: https://orcid.org/0000-0003-2638-8771, 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 ORCID: https://orcid.org/0000-0003-2638-8771, 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.

Dafoulas, George ORCID: https://orcid.org/0000-0003-2638-8771 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 ORCID: https://orcid.org/0000-0003-2638-8771, 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.

Dafoulas, George ORCID: https://orcid.org/0000-0003-2638-8771, 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 ORCID: https://orcid.org/0000-0003-2638-8771, Saleeb, Noha and Loomes, Martin J. (2016) What learners want from educational spaces? A framework for assessing impact of architectural decisions in virtual worlds. IADIS International Journal on WWW/Internet, 14 (2). pp. 72-90. ISSN 1645-7641

Dafoulas, George ORCID: https://orcid.org/0000-0003-2638-8771, Serce, Fatma Cemile, Swigger, Kathleen, Brazile, Robert, Alpaslan, Ferda Nur, Lopez, Victor and Milewski, Allen (2016) Using data analytics for collaboration patterns in distributed software team simulations: the role of dashboards in visualizing global software development patterns. In: 2016 IEEE 11th International Conference on Global Software Engineering Workshops (ICGSEW), 02 Aug 2016, Irvine, CA, USA. (doi:10.1109/ICGSEW.2016.15)

Dafoulas, George ORCID: https://orcid.org/0000-0003-2638-8771 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).

Dafoulas, George ORCID: https://orcid.org/0000-0003-2638-8771 and Shokri, Azam (2016) Investigating the educational value of social learning networks: a quantitative analysis. Interactive Technology and Smart Education, 13 (4). pp. 305-322. ISSN 1741-5659 (doi:10.1108/ITSE-09-2016-0034)

Dafoulas, George ORCID: https://orcid.org/0000-0003-2638-8771, Swigger, Kathleen, Brazile, Robert, Alpaslan, Ferda Nur, 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. 9780769534503. (doi:10.1109/HICSS.2009.231)

Dantchev, Stefan and Martin, Barnaby (2011) Cutting planes and the parameter cutwidth. Theory of Computing Systems, 51 (1). pp. 50-64. ISSN 1432-4350 (doi:10.1007/s00224-011-9373-0)

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 (doi:10.1007/s00037-012-0049-1)

Dantchev, Stefan and Martin, Barnaby (2011) The limits of tractability in resolution-based propositional proof systems. Annals of Pure and Applied Logic, 163 (6). pp. 656-668. ISSN 0168-0072 (doi:10.1016/j.apal.2011.11.001)

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.

Dantchev, Stefan, 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 (doi:10.1016/j.tcs.2009.01.002)

Dantchev, Stefan, Martin, Barnaby and Szeider, Stefan (2011) Parameterized proof complexity. Computational Complexity, 20 (1). pp. 51-85. ISSN 1016-3328 (doi:10.1007/s00037-010-0001-1)

Das, Kalyankumar (1982) Epitaxial growth of silicon on oxygen implanted substrates. PhD thesis, Middlesex Polytechnic.

Davidson, Tim, Gay, Simon J., Mlnařík, Hynek, 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

Day, Luke, Abdelhadi Ep Souki, Ouala, 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 (doi:10.1093/bioinformatics/btt695)

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

Dayem Ullah, Abu Z. M., Sahoo, Sudhakar, 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 (doi:10.1504/IJBRA.2012.048966)

De Raffaele, Clifford, Smith, Serengul and Gemikonakli, Orhan ORCID: https://orcid.org/0000-0002-0513-1128 (2017) Enabling the effective teaching and learning of advanced robotics in higher education using an active TUI framework. In: 3rd Africa and Middle East Conference on Software Engineering, 12-13 Dec 2017, Cairo, Egypt. (doi:10.1145/3178298.3178299)

De Raffaele, Clifford, Smith, Serengul and Gemikonakli, Orhan ORCID: https://orcid.org/0000-0002-0513-1128 (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. (doi:10.1109/TALE.2016.7851794)

De Raffaele, Clifford, Smith, Serengul and Gemikonakli, Orhan ORCID: https://orcid.org/0000-0002-0513-1128 (2018) An active tangible user interface framework for teaching and learning artificial intelligence. In: ACM IUI 2018: 23rd ACM Conference on Intelligent User Interfaces, 07-11 Mar 2018, Tokyo, Japan. (doi:10.1145/3172944.3172976)

De Raffaele, Clifford, Smith, Serengul and Gemikonakli, Orhan ORCID: https://orcid.org/0000-0002-0513-1128 (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. (doi:10.1109/FIE.2016.7757573)

De Raffaele, Clifford, Smith, Serengul and Gemikonakli, Orhan ORCID: https://orcid.org/0000-0002-0513-1128 (2017) The application of Tangible User Interfaces of teaching and learning in Higher Education. In: Innovative Teaching and Learning in Higher Education. Branch, John, Hayes, Sarah, Hørsted, Anne and Nygaard, Claus, eds. Libri Publishing, Oxfordshire, UK, pp. 215-226. 9781911450085.

Deng, Jiankang, Roussos, Anastasios, Chrysos, Grigorios, Ververas, Evangelos, Kotsia, Irene, Shen, Jie and Zafeiriou, Stefanos (2018) The Menpo benchmark for multi-pose 2D and 3D facial landmark localisation and tracking. International Journal of Computer Vision . pp. 1-26. ISSN 0920-5691 (Published online first) (doi:10.1007/s11263-018-1134-y)

Deng, Ke, Zhou, Xiaofang, Shen, Heng Tao, Liu, Qing, 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 (doi:10.1007/s00778-007-0053-2)

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. 9781605589220.

Di Marco, A., Gallo, F., Gemikonakli, Orhan ORCID: https://orcid.org/0000-0002-0513-1128, 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). (doi:10.1109/AINA.2013.102)

Di Pierro, Alessandra, Mengoni, Riccardo, Nagarajan, Rajagopal and Windridge, David ORCID: https://orcid.org/0000-0001-5507-8516 (2017) Hamming distance kernelisation via topological quantum computation. In: 6th International Conference on the Theory and Practice of Natural Computing (TPNC 2017, 18-20 Dec 2017, Prague, Czech Republic. (doi:10.1007/978-3-319-71069-3_21)

Dimitrova, Maia, Belavkin, Roman V., Milankovic-Atkinson, Maya, 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. 9789629491444.

Dinculeană, Dan and Cheng, Xiaochun ORCID: https://orcid.org/0000-0003-0371-9646 (2019) Vulnerabilities and limitations of MQTT protocol used between IoT devices. Applied Sciences, 9 (5). ISSN 2076-3417 (Accepted/In press) (doi:10.3390/app9050848)

Dittus, Martin, Quattrone, Giovanni and Capra, Licia (2016) Analysing volunteer engagement in humanitarian mapping: building contributor communities at large scale. In: 19th ACM Conference on Computer-Supported Cooperative Work & Social Computing - CSCW '16, 27 Feb - 02 March 2016, San Francisco, CA, USA. (doi:10.1145/2818048.2819939)

Dittus, Martin, Quattrone, Giovanni and Capra, Licia (2016) Social contribution settings and newcomer retention in humanitarian crowd mapping. In: 8th International Conference Social Informatics (SocInfo 2016), 11-14 Nov 2016, Bellevue, WA, USA. (doi:10.1007/978-3-319-47874-6_13)

Doppler Haider, Johanna, Gastecker, Bettina, Pohl, Margit, Seidler, Patrick, Kodagoda, Neesha and Wong, B. L. William (2018) Sense-making strategies in explorative intelligence analysis of network evolutions. Behaviour and Information Technology, 38 (2). pp. 198-215. ISSN 0144-929X (doi:10.1080/0144929x.2018.1519036)

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 (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. (doi:10.1145/2666642.2666650)

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. 9781614992851. (doi:10.3233/978-1-61499-286-8-431)

Dracopoulos, Dimitris C., Effraimidis, Dimitrios and Nichols, Barry D. ORCID: https://orcid.org/0000-0002-6760-6037 (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. .

Dracopoulos, Dimitris C. and Nichols, Barry D. ORCID: https://orcid.org/0000-0002-6760-6037 (2017) Genetic programming for the minimum time swing up and balance control acrobot problem. Expert Systems, 34 (5). ISSN 1468-0394 (doi:10.1111/exsy.12115)

Dracopoulos, Dimitris C. and Nichols, Barry D. ORCID: https://orcid.org/0000-0002-6760-6037 (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. 9781447147381. (doi:10.1007/978-1-4471-4739-8)

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

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. (doi:10.1145/544220.544269)

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 (doi:10.1080/01972240050133643)

Duncker, Elke (2001) Symbolic communication in multidisciplinary cooperations. Science, Technology and Human Values, 26 (3). pp. 349-386. ISSN 0162-2439 (doi:10.1177/016224390102600305)

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, 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. 9783642391422.

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. 9780869057995.

Duncker, Elke, 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

Duncker, Elke, 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.

Duong, Nguyen Binh Ta, Nguyen, Thang, Zhou, Suiping, Tang, Xueyan, 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 (doi:10.1109/TPDS.2011.107)

Duong, Ta Nguyen Binh, Zhong, Jinghui, Cai, Wentong, Li, Zengxiang and Zhou, Suiping (2016) RA2: predicting simulation execution time for cloud-based design space explorations. In: 2016 IEEE/ACM 20th International Symposium on Distributed Simulation and Real Time Applications, 21-23 Sept 2016, London. (doi:10.1109/DS-RT.2016.9)

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

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 (2000) Internet ethics: changing concepts, changing ethics? Technical Report. Middlesex University Press. . (doi:CS-00-02)

Duquenoy, Penny (2001) The internet: a framework for understanding ethical issues. PhD thesis, Middlesex University.

Duquenoy, Penny, 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. 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. 9780387255873.

Duquenoy, Penny, Berleur, Jacques, Burmeister, Oliver, Gotterbarn, Don, Goujon, Philippe, Kimppa, Kai, Six, Benjamin, Weber-Wulff, Debora and Whitehouse, Diane (2008) Ethics of computing committees: suggestions for functions, form, and structure. IFIP Press. 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.. 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. 9781741561005.

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. 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, Fischer-Hübner, Simone, Holvast, Jan and Zuccato, Albin, eds. Division för Information Technology, Dept. of Computer Science, Karlstad. 9185335037.

Duquenoy, Penny, George, Carlisle, Colliste, Goran, Hedstrom, Karin, 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, Markku, I. and Nurminen, John Impagliazzo, eds. IFIP International Federation for Information Processing. (223). IFIP Press, Boston. 9780387378756.

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

Duquenoy, Penny, 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 (doi:10.1016/j.cmpb.2008.06.001)

Duquenoy, Penny, 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., Müller, Henning, Loomes, Martin J., Comley, Richard A. and Luo, Shuqian, eds. Lecture Notes in Computer Science. (4987). Springer, Berlin. 9783540794899.

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. 9780387723808.

Duquenoy, Penny, 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. 9780387255873.

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. 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. 402081561.

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

Duquenoy, Penny, Jones, Simon, Rahanu, Harjinder and Diaper, Dan (2005) Social, legal and professional issues of computing. Global Campus . Middlesex University Press, London, UK. 9781904750307.

Duquenoy, Penny, 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, Whitehouse, Diane and Duquenoy, Penny, eds. Springer, Germany, pp. 275-295. 9783642224737. (doi:10.1007/978-3-642-22474-4)

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. 9788871418452.

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. 9789607475268.

Duquenoy, Penny, 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, 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, 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. 1905305028.

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.

Duquenoy, Penny, 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, Duquenoy, Penny, Martucci, Leonardo and Zuccato, Albin, eds. International Federation for Information Processing. (262). Springer, New York. .

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. 9780967335506.

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

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, Zielinski, Chris and Kimppa, Kai, eds. International Federation for Information Processing. (195). Springer, New York. 0387305270.

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, Beardon, Colin and Munari, Silvio, eds. Kluwer Academic Publishers., London. 0792372530.

E

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

Ellis, Stephanie, 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 (doi:10.1108/NLW-03-2014-0023)

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

Esterhuyse, Maxine, Scholtz, Brenda and Dafoulas, George ORCID: https://orcid.org/0000-0003-2638-8771 (2016) A process for designing and developing interactive learning objects for organisations. In: 10th Mediterranean Conference on Information Systems (MCIS), 04-06 Sept 2016, Paphos, Cyprus.

Evans, Carl, 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, 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.

Exman, Iaakov, Perry, Dewayne E., Barn, Balbir ORCID: https://orcid.org/0000-0002-7251-5033 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 (doi:10.1145/2853073.2853093)

Ezenwigbo, Augustine, Paranthaman, Vishnu Vardhan, Trestian, Ramona, Mapp, Glenford E. and Sardis, Fragkiskos (2018) Exploring a new transport protocol for vehicular networks. In: The First International Workshop on Intelligent Transportation and Connected Vehicles Technologies (ITCVT 2018) in conjunction with The Fifth International Conference on Internet of Things: Systems, Management and Security (IoTSMS 2018), 15-18 Oct 2018, Valencia, Spain. (doi:10.1109/IoTSMS.2018.8554836)

F

Fabris, Alessandro, Nicolaou, Mihalis A., Kotsia, Irene and Zafeiriou, Stefanos (2017) Dynamic probabilistic linear discriminant analysis for video classification. In: ICASSP 2017: 2017 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), 05-09 March 2017, New Orleans, USA. (doi:10.1109/ICASSP.2017.7952663)

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

Fatah gen. Schieck, Ava, Penn, Alan, Mottram, Chiron, Strothmann, Andreas, Ohlenburg, Jan, Broll, Wolfgang, 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 (doi:10.1260/1478077053739612)

Fernandez, Javier Martinez, Augusto, Juan Carlos, 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 (doi:10.1109/TSMCC.2011.2179028)

Field, Joris, Rankin, Amy, Van der Pal, Jelke, 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. 9781450310291. (doi:10.1145/2074712.2074719)

Fields, Bob, Amaldi, Paolo, 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 (doi:10.1080/10447310709336952)

Fields, Bob, Bardill, Andy 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.

Fields, Bob, Bardill, Andy, Marzano, Lisa and Herd, Kate (2015) Hard-to-get-at data from difficult-to-access users. In: 15th IFIP TC 13 International Conference on Human-Computer Interaction - Interact 2015:, 14-18 Sept 2015, Bamberg, Germany. (doi:10.1007/978-3-319-22723-8_32)

Fields, Bob, Blandford, Ann, 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 (doi:10.1016/j.intcom.2006.07.003)

Fields, Bob, 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 (doi:10.1207/s15327590ijhc2102_5)

Fields, Bob, Buchanan, George, 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. 1-58113-345-6. (doi:10.1145/379437.379738)

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. .

Fields, Bob, 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 (doi:10.1007/s10111-005-0177-3)

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

Flick, Catherine, 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. 9781450310161. (doi:10.1145/2212776.2212848)

Fotiadou, Eftychia, Panagakis, Yannis and Pantic, Maja (2017) Temporal archetypal analysis for action segmentation. In: 2017 12th IEEE International Conference on Automatic Face & Gesture Recognition (FG 2017), 30 May - 03 June 2017, Washington, DC, USA. (doi:10.1109/FG.2017.66)

French, Tim, 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. 1902505948.

French, Tim, 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. .

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. 1904839010.

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, Griffiths, Richard N. and Pemberton, Lynn, eds. University of Brighton. .

Frumkin, Lara A., Mimirinis, Mike, Murphy, Alan, Dimitrova, Maia and Dafoulas, George ORCID: https://orcid.org/0000-0003-2638-8771 (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. 0889864802.

Futre, Dina, 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.

G

Gandhi, Vaibhav ORCID: https://orcid.org/0000-0003-1121-7419, Prasad, Girijesh, Coyle, Damien, Behera, Laxmidhar and McGinnity, Thomas Martin (2015) Evaluating quantum neural network filtered motor imagery brain-computer interface using multiple classification techniques. Neurocomputing, 170 . pp. 161-167. ISSN 0925-2312 (doi:10.1016/j.neucom.2014.12.114)

Gandhi, Vaibhav ORCID: https://orcid.org/0000-0003-1121-7419, Yang, Zhijun ORCID: https://orcid.org/0000-0003-2615-4297 and Aiash, Mahdi (2017) Project-based cooperative learning to enhance competence while teaching engineering modules. International Journal of Continuing Engineering Education and Life-Long Learning, 27 (3). pp. 198-208. ISSN 1560-4624 (doi:10.1504/IJCEELL.2017.10003462)

Gao, Alice, Li, Wei, Lin, Chiang, 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. 1601322542.

Gao, Chongzhi, Lv, Siyi, Wei, Yu, Wang, Zhi, Liu, Zheli and Cheng, Xiaochun ORCID: https://orcid.org/0000-0003-0371-9646 (2018) M-SSE: an effective searchable symmetric encryption with enhanced security for mobile devices. IEEE Access, 6 . pp. 38860-38869. ISSN 2169-3536 (doi:10.1109/ACCESS.2018.2852329)

Gao, Junbin, 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 (doi:10.1016/j.neunet.2009.07.001)

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), 06-09 Apr 2014, San Diego, USA. (doi:10.1109/SSIAI.2014.6806014)

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

Gao, Xiaohong W. (2011) The anatomy of teleneurosurgery in China. International Journal of Telemedicine and Applications, 2011 . ISSN 1687-6415 (doi:10.1155/2011/353405)

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

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

Gao, Xiaohong W., Anishenko, Sergey, Shaposhnikov, D. G., Podladchikova, L. N., 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., Batty, Stephen, 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., Batty, Stephen, Clark, John, 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. 0889863091.

Gao, Xiaohong W., Batty, Stephen, Clark, John, 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. 0819444308.

Gao, Xiaohong W., Batty, Stephen, 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., Loomes, Martin J., Comley, Richard A., Muller, Henning and Luo, Shuqian, eds. Lecture notes in computer science, 4987 (4987). Springer, Berlin, pp. 179-188. 9783540794905.

Gao, Xiaohong W., Batty, Stephen, 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. 1901725219.

Gao, Xiaohong W., Batty, Stephen, Clark, John, 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., Batty, Stephen, Fryer, Tim, 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. 0889863543.

Gao, Xiaohong W., Bharath, Anil, 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 (doi:10.1136/bjo.85.1.74)

Gao, Xiaohong W., Bharath, Anil, Stanton, Alice, Hughes, Alun, 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 (doi:10.1016/S0169-2607(00)00082-1)

Gao, Xiaohong W., Bharath, Anil, Stanton, Alice, Hughes, Alun, 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. 0780367251.

Gao, Xiaohong W., Bharath, Anil, Stanton, Alice, Hughes, Alun, Chapman, Neil and Thom, Simon (2001) Measurement of vessel diameters on retinal for cardiovascular studies. In: Medical image understanding and analysis 2001. Claridge, Ela, Bamber, Jeff and Marlow, Keith, eds. Medical Imaging Understanding and Analysis. 1901725154.

Gao, Xiaohong W., Braden, Barbara, Taylor, Stephen and Pang, Wei (2019) Towards real-time detection of squamous pre-cancers from oesophageal endoscopic videos. In: 18th IEEE International Conference on Machine Learning and Applications - ICMLA 2019, 16-19 Dec 2019, Boca Raton, Florida, USA. (Accepted/In press)

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., Loomes, Martin J., Comley, Richard A., Muller, Henning and Luo, Shuqian, eds. Lecture Notes in Computer Science (4987). Springer, Berlin, pp. 197-206. 3794521935. (doi:10.1007/978-3-540-79490-5_25)

Gao, Xiaohong W., Golovan, Alexander, Hong, K., 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. 5726203992.

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. 0889864187.

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., Hong, Kunbin, Passmore, Peter J. ORCID: https://orcid.org/0000-0002-5738-6800, 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 (doi:10.1155/2008/386705)

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. (doi:10.1109/sai.2016.7555958)

Gao, Xiaohong W., 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 (doi:10.1016/j.cmpb.2016.10.007)

Gao, Xiaohong W., Hui, Rui, 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

Gao, Xiaohong W., James-Reynolds, Carl and Currie, Edward (2018) Analysing TB severity levels with an enhanced deep residual learning– depth-resnet. In: ImageCLEF ImageCLEFtuberculosis competition, 10-14 Sept 2018, Avignon, France.

Gao, Xiaohong W., James-Reynolds, Carl and Currie, Edward (2019) Analysis of tuberculosis severity levels from CT pulmonary images based on enhanced residual deep learning architecture. Neurocomputing . ISSN 0925-2312 (Published online first) (doi:10.1016/j.neucom.2018.12.086)

Gao, Xiaohong W., Khodamoradi, Elham, Guo, L., Yang, X., Tang, S., Guo, W. and Wang, Y. (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.

Gao, Xiaohong W., Li, Wei, 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 (doi:10.1016/j.inffus.2016.11.007)

Gao, Xiaohong W., 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., Díez, Isabel de la Torre and Abajo, Beatriz Sainz de, eds. IGI Global, USA, pp. 451-495. 9781466608887. (doi:10.4018/978-1-4666-0888-7.ch017)

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. (doi:10.2352/ISSN.2470-1173.2016.20.COLOR-325)

Gao, Xiaohong W., 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., Podladchikova, L. N., Shaposhnikov, D. G., Comley, Richard A., 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. .

Gao, Xiaohong W., Podladchikova, L. N., Shaposhnikov, D. G., Hong, K., Batty, Stephen, Golovan, Alexander, 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. 1892512955 [set - 2 vols.].

Gao, Xiaohong W., Podladchikova, L. N., Shaposhnikov, D. G., 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 (doi:10.1016/j.jvcir.2005.10.003)

Gao, Xiaohong W., Podladchikova, L. N., Shaposhnikov, D. G., Shevtsova, Natalia, Hong, K., Batty, Stephen, Golovan, Alexander and Gusakova, Valentina (2002) Vision models-based identification of traffic signs. In: CGIV’2002. Society for Imaging Science and Technology. 0892082399.

Gao, Xiaohong W., Qian, Y., 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. 0889864187.

Gao, Xiaohong W. and Qian, Yu (2019) Patch-based deep learning approaches for artefact detection of endoscopic images. In: Endoscopic artefact detection challenge 2019 (EAD2019), 08 Apr 2019, Venice, Italy.

Gao, Xiaohong W. and Qian, Yu (2018) Prediction of multidrug-resistant TB from CT pulmonary images based on deep learning techniques. Molecular Pharmaceutics, 15 (10). pp. 4326-4335. ISSN 1543-8384 (doi:10.1021/acs.molpharmaceut.7b00875)

Gao, Xiaohong W. and Qian, Yu (2018) Segmentation of brain lesions from CT images based on deep learning techniques. In: Biomedical Applications in Molecular, Structural, and Functional Imaging, 10-15 Feb 2018, Houston, Texas, United States. (doi:10.1117/12.2286844)

Gao, Xiaohong W., 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 (doi:10.2174/1874431101105010073)

Gao, Xiaohong W., Qian, Yu, Loomes, Martin J., Barn, Balbir ORCID: https://orcid.org/0000-0002-7251-5033, Comley, Richard A., Chapman, Alex, Rix, Janet, 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

Gao, Xiaohong W., Ren, Manling, Riley, K. J., 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. 1902394607.

Gao, Xiaohong W., 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. 978-3-540-40408-8.

Gao, Xiaohong W., 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., Shaposhnikov, D. G., Podladchikova, L. N., 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. 9780889866676.

Gao, Xiaohong W., Shaposhnikov, D. G., Podladchikova, L. N., Golovan, Alexander, Shevtsova, Natalia, 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. .

Gao, Xiaohong W., Shaposhnikov, D. G., Podladchikova, L. N., Golovan, Alexander, 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., Shaposhnikov, D. G., Podladchikova, L. N., Shevtsova, Natalia and Golovan, Alexander (2002) Invariant recognition of traffic signs. [Dataset]

Gao, Xiaohong W., Wang, Yuanlei, Qian, Yu and Gao, Alice (2015) Modelling of chromatic contrast for retrieval of wallpaper images. Color Research and Application, 40 (4). pp. 361-373. ISSN 0361-2317 (doi:10.1002/col.21897)

Garson, Jeremy A., Clewley, J. P., Simmonds, P., Zhang, L. Q., Mori, J., Ring, Christopher J., Follett, E. A., Dow, B. C., 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 (doi:10.1111/j.1423-0410.1992.tb01202.x)

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. . (doi:10.1007/978-3-642-38164-5_18)

Gay, Simon J., 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. 9783540705437. (doi:10.1007/978-3-540-70545-1_51)

Gecer, Baris, Ploumpis, Stylianos, Kotsia, Irene and Zafeiriou, Stefanos (2019) GANFIT: Generative adversarial network fitting for high fidelity 3D face reconstruction. In: International Conference on Computer Vision and Pattern Recognition, 16-20 Jun 2019, Long Beach, California. (Published online first)

Gemikonakli, Eser, Ever, Enver, Mapp, Glenford E. and Gemikonakli, Orhan ORCID: https://orcid.org/0000-0002-0513-1128 (2017) Admission control and buffer management of wireless communication systems with mobile stations and integrated voice and data services. Telecommunication Systems, 65 (4). pp. 663-675. ISSN 1018-4864 (doi:10.1007/s11235-016-0259-y)

Georgakis, Christos, Panagakis, Yannis and Pantic, Maja (2017) Behavior prediction in-the-wild. In: 2017 Seventh International Conference on Affective Computing and Intelligent Interaction Workshops and Demos (ACIIW), 23-26 Oct 2017, San Antonio, TX, USA, 2017. (doi:10.1109/ACIIW.2017.8272617)

Georgakis, Christos, Panagakis, Yannis and Pantic, Maja (2016) Discriminant incoherent component analysis. IEEE Transactions on Image Processing, 25 (5). pp. 2021-2034. ISSN 1057-7149 (doi:10.1109/TIP.2016.2539502)

Georgakis, Christos, Panagakis, Yannis and Pantic, Maja (2018) Dynamic behavior analysis via structured rank minimization. International Journal of Computer Vision, 126 (2-4). pp. 333-357. ISSN 0920-5691 (doi:10.1007/s11263-016-0985-3)

Georgakis, Christos, Panagakis, Yannis, Zafeiriou, Stefanos and Pantic, Maja (2017) The conflict escalation resolution (CONFER) database. Image and Vision Computing, 65 . pp. 37-48. ISSN 0262-8856

Georgalas, Nektarios, Azmoodeh, Manooch, Clark, Tony, Evans, Andy, 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.

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 (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 (2006) Internet pharmacies: global threat requires a global approach to regulation. Hertfordshire law journal, 4 (1). pp. 12-25. ISSN 1479-4195

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

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 (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 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.

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 (doi:10.1080/13600860600852143)

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. 9781859242933.

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 and Duquenoy, Penny (2008) Online medical consultations: legal, ethical and social perspectives. In: Ethical, legal, and social issues in medical informatics. Duquenoy, Penny, George, Carlisle and Kimppa, Kai, eds. Medical Information Science Reference. 9781599047805. (doi:10.4018/978-1-59904-780-5.ch001)

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, Whitehouse, Diane and Duquenoy, Penny, eds. Springer, Berlin, Germany, pp. 135-164. 9783642224737. (doi:10.1007/978-3-642-22474-4_6)

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

George, Carlisle, Whitehouse, Diane and Duquenoy, Penny (2013) Assessing legal, ethical and governance challenges in eHealth. In: eHealth: Legal, Ethical and Governance Challenges. George, Carlisle, Whitehouse, Diane and Duquenoy, Penny, eds. Springer, Berlin, Germany, pp. 3-22. 9783642224737. (doi:10.1007/978-3-642-22474-4_1)

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, Duquenoy, Penny and Kimppa, Kai, eds. International Federation for Information Processing (195). Springer, New York, pp. 211-222. 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, Duquenoy, Penny and Kimppa, Kai, eds. International Federation for Information Processing (195). Springer, Netherlands, pp. 133-151. 0387305270. (doi:10.1007/0-387-31168-8_9)

Georgiadou, Elli (2003) GEQUAMO-a generic, multilayered, customisable, software quality model. Software Quality Journal, 11 (4). pp. 313-323. ISSN 0963-9314 (doi:10.1023/A:1025817312035)

Georgiadou, Elli (2019) A holistic method for improving software product and process quality. [Doctorate by Public Works]

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. 1902505778.

Georgiadou, Elli, Karakitsos, George and Sadler, Chris (1994) Improving the program quality by using there-engineering factor metric p. In: 10th International Conference of the Israel Society for Quality, November 1994, Jerusalem.

Georgiadou, Elli, Karakitsos, George, Sadler, Chris and Stasinopoulos, Dimitris (1993) An experimental examination of the role of re-engineering in the management of software quality. In: Software Quality Management, 31 Mar - 02 Apr 1993, Southampton, UK.

Georgiadou, Elli, Karakitsos, George, Stasinopoulos, Dimitris, Sadler, Chris and Jones, Ray (1994) An experimental examination of program maintainability as a function of structuredness. In: Software Quality Management II: 2nd International conference, August 1994, Edinburgh. (doi:10.2495/SQM940522)

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

Georgiadou, Elli, Rahanu, Harjinder, Siakas, Kerstin V., McGuinness, Claire, Edwards, J. Adam ORCID: https://orcid.org/0000-0001-9536-6782, Hill, Vanessa ORCID: https://orcid.org/0000-0003-3030-4593, Khan, Nawaz, Kirby, Padraig, Cavanagh, Jerald and Knezevic, Ratko (2018) Fake news and critical thinking in information evaluation. In: Western Balkan Information Literacy Conference WBILC 2018, 21-22 June 2018, Bihac, Bosnia and Herzegovina.

Georgiadou, Elli and Sadler, Chris (1995) Achieving quality improvement through understanding and evaluating information systems development methodologies. In: Software Quality Management III Vol 2 Measuring and Maintaining. Brebbia, C. A., Stapleton, J., Ross, M. and Staples, G., eds. WIT Transactions on Information and Communication Technologies, 14 . WIT Press, pp. 35-46. 9781853124174. (doi:10.2495/SQM950042)

Georgiadou, Elli and Siakas, Kerstin (2013) VALO5 – innovation, maturity growth, quality and valorisation. In: 20th European Conference, EuroSPI 2013, 25-27 June 2013, Dundalk, Ireland. (doi:10.1007/978-3-642-39179-8_26)

Gheri, Lorenzo (2019) A general theory of syntax with bindings. PhD thesis, Middlesex University.

Gheri, Lorenzo and Popescu, Andrei (2017) A formalized general theory of syntax with bindings. In: 8th International Conference Interactive Theorem Proving, 26-29 Sept 2017, Brasilia, Brazil. (doi:10.1007/978-3-319-66107-0_16)

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

Ghosh, Arindam, Paranthaman, Vishnu Vardhan, Mapp, Glenford E., Gemikonakli, Orhan ORCID: https://orcid.org/0000-0002-0513-1128 and Loo, Jonathan (2015) Enabling seamless V2I communications towards developing cooperative automotive applications in VANET systems. IEEE Communications Magazine, 53 (12). pp. 80-86. ISSN 0163-6804 (doi:10.1109/MCOM.2015.7355570)

Gligorijević, Vladimir, Panagakis, Yannis and Zafeiriou, Stefanos (2016) Fusion and community detection in multi-layer graphs. In: 2016 23rd International Conference on Pattern Recognition (ICPR), 04-08 Dec 2016, Cancun, Mexico. (doi:10.1109/ICPR.2016.7899821)

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

Golovach, Petr A., Lidický, Bernard, 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. (doi:10.1007/978-3-642-30642-6_16)

Goodman-Deane, Joy, 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 (doi:10.1007/s10209-008-0125-0)

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 (doi:10.1093/logcom/exp074)

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 (doi:10.1016/j.ijar.2008.03.008)

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 (doi:10.1016/j.artint.2010.12.003)

Groenewald, Celeste, Attfield, Simon, Passmore, Peter J. ORCID: https://orcid.org/0000-0002-5738-6800, Wong, B. L. William and Kodagoda, Neesha (2017) A practical, hybrid argumentation model to assist with the formulation of defensible assessments in uncertain sense-making environments. In: 2017 International Conference Next Generation Community Policing, 25-27 Oct 2017, Heraklion, Crete, Greece.

Groenewald, Celeste, Wong, B. L. William, Attfield, Simon, Passmore, Peter J. ORCID: https://orcid.org/0000-0002-5738-6800 and Kodagoda, Neesha (2017) How analysts think: how do criminal intelligence analysts recognise and manage significant information? In: 2017 European Intelligence and Security Informatics Conference (EISIC 2017), 11-13 Sept 2017, Athens, Greece. (doi:10.1109/EISIC.2017.15)

Groenewald, Celeste, Wong, B. L. William, Attfield, Simon, Passmore, Peter J. ORCID: https://orcid.org/0000-0002-5738-6800 and Kodagoda, Neesha (2017) How analysts think: navigating uncertainty – aspirations, considerations and strategies. In: 13th Bi-annual International Conference on Naturalistic Decision Making (NDM13), 20-23 June 2017, University of Bath, Bath, United Kingdom.

Groenewald, Celeste, Wong, B. L. William, Attfield, Simon, Passmore, Peter J. ORCID: https://orcid.org/0000-0002-5738-6800 and Kodagoda, Neesha (2017) How can we design tactile interactive software for argument construction in criminal intelligence analysis? In: 13th Bi-annual International Conference on Naturalistic Decision Making (NDM13), 20-23 June 2017, University of Bath, Bath, United Kingdom.

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.

Guo, Weiwei, 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.

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

H

Haider, Johanna, Pohl, Margit, Hillemann, Eva-Catherine, Nussbaumer, Alexander, Attfield, Simon, Passmore, Peter J. ORCID: https://orcid.org/0000-0002-5738-6800 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 ​59th International Annual Meeting:, 26-30 Oct 2015, Los Angeles, California, USA. (doi:10.1177/1541931215591053)

Haider, Johanna Doppler, Seidler, Patrick, Pohl, Margit, Kodagoda, Neesha, Adderley, Rick and Wong, B. L. William (2017) How analysts think: sense-making strategies in the analysis of temporal evolution and criminal network structures and activities. Proceedings of the Human Factors and Ergonomics Society Annual Meeting, 61 (1). pp. 193-197. ISSN 1541-9312 (doi:10.1177/1541931213601532)

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 (doi:10.1007/s10111-015-0338-y)

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 (doi:10.1007/s10111-013-0267-6)

Ham, Dong-Han, Cho, Jin Hee, 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 (doi:10.4218/etrij.04.0103.0041)

Ham, Dong-Han, 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 (doi:10.1002/hfm.20074)

Ham, Dong-Han, Heo, Jeongyun, Fossick, Peter, Wong, B. L. William, Park, Sanghyun, 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. 159904871X.

Ham, Dong-Han, 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 (doi:10.1080/10447310801971212)

Ham, Dong-Han, 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 (doi:10.1016/j.ress.2011.12.019)

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 (doi:10.1007/s10111-001-8003-z)

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 (doi:10.1016/S0951-8320(01)00053-9)

Ham, Dong-Han, 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 (doi:10.1016/j.ress.2006.12.003)

Hamutoglu, Nazire Burcin, Gemikonakli, Orhan ORCID: https://orcid.org/0000-0002-0513-1128 and Gezgin, Deniz Mertkan (2019) A study of the effectiveness of Edmodo on Preservice classroom teachers' views of web-assisted collaborative learning environments, sense of community of classroom, and perceived learning. Science Education International, 30 (2). pp. 128-137. ISSN 2077-2327 (doi:10.33828/sei.v30.i2.6)

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

Harris, Ian, Jennings, Richard C., Pullinger, David, 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 (doi:10.1108/14779961111123223)

Hayes, Jared, Moore, Antoni, 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.. .

Hayes, Jared, Moore, Antoni, 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, Jones, Steve and Rogers, Bill, eds. Lecture Notes in Computer Science. (3101). Springer, Berlin, pp. 589-593. 9783540223122.

Hayes, Jared, 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, Grote, Gudela and Wong, B. L. William, eds. ACM Press, New York, pp. 10-16. 9783906509235.

Heath, Andy, Whitney, Gill, 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.

Hein, Eike, Albrecht, Andreas A., Melzer, Daniela, Steinhofel, Kathleen, Rogalla, Patrick, 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 (doi:10.1016/j.acra.2005.05.009)

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 (doi:10.14569/IJACSA.2016.070179)

Helke, Steffen, 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. (doi:10.1007/978-3-319-29883-2_19)

Henderson-Sellers, Brian, 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.

Heo, Jeongyun, Ham, Dong-Han, Park, Sanghyun, 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 (doi:10.1016/j.intcom.2009.05.006)

Hovhannisyan, Vahan, Panagakis, Yannis, Zafeiriou, Stefanos and Parpas, Panos (2017) Multilevel approximate robust principal component analysis. In: 2017 IEEE International Conference on Computer Vision Workshop (ICCVW), 22-29 Oct 2017, Venice, Italy. (doi:10.1109/ICCVW.2017.70)

Hu, Nan, Zhong, Jinghui, Zhou, Joey Tianyi, Zhou, Suiping, Cai, Wentong and Monterola, Christopher (2018) Guide them through: an automatic crowd control framework using multi-objective genetic programming. Applied Soft Computing, 66 . pp. 90-103. ISSN 1568-4946 (doi:10.1016/j.asoc.2018.01.037)

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

Hunter, Josie, Raimondi, Franco, 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..

Hutton, R. J. B., Attfield, Simon, Wiggins, S., 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. 9780415621526. (doi:10.1201/b11933-94)

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

Huyck, Christian R. (2010) Dialogue based interfaces for universal access. Universal access in the Information Society . ISSN 1615-5289 (doi:10.1007/s10209-010-0209-5)

Huyck, Christian R. (2004) Overlapping cell assemblies from correlators. Neural Computing Letters, 56 . pp. 435-439. ISSN 0925-2312 (doi:10.1016/j.neucom.2003.08.003)

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

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 (doi:10.1007/s11571-009-9080-6.)

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. 9800781501.

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 Nadh, Kailash (2009) Multi-associative memory in fLIF cell assemblies. In: 9th International Conference on Cognitive Modeling, 24th-26th July 2009, Manchester.

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 (doi:10.1007/s00521-004-0464-6)

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 (doi:10.1016/j.ipm.2005.12.003)

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

Hyensook, Kim, Oussena, Samia, 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. 9789898425232.

Hyensook, Kim, Zhang, Ying, 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.

I

Iahad, Noorminshah and Dafoulas, George ORCID: https://orcid.org/0000-0003-2638-8771 (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 ORCID: https://orcid.org/0000-0003-2638-8771 (2005) Support environments for e-learning in developing countries. In: Information Systems in Developing Countries: Theory and Practice. Davison, R.M., Harris, R.W., Qureshi, D.R., Vogel, D.R. and De Vreede, G.J., eds. City University of Hong Kong Press, pp. 57-78. 962-937-110-3.

Iahad, Noorminshah, Dafoulas, George ORCID: https://orcid.org/0000-0003-2638-8771, 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, Dafoulas, George ORCID: https://orcid.org/0000-0003-2638-8771, 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).

Islam, Junayed, Anslow, Craig, Xu, Kai, 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. (doi:10.2312/cgvc.20161290)

Islam, Junayed and Wong, B. L. William (2017) Behavioural markers: bridging the gap between art of analysis and science of analytics in criminal intelligence. In: 2017 European Intelligence and Security Informatics Conference, 11-13 Sept 2017, Dekelia Air Base, Attica, Greece. (doi:10.1109/EISIC.2017.30)

Islam, Junayed, Wong, B. L. William and Xu, Kai (2018) Analytic provenance as constructs of behavioural markers for externalizing thinking processes in criminal intelligence analysis. In: Community-Oriented Policing and Technological Innovations. Leventakis, Georgios and Haberfeld, M. R., eds. SpringerBriefs in Criminology . Springer, pp. 95-105. 9783319892931. (doi:10.1007/978-3-319-89294-8_10)

Islam, Junayed, Xu, Kai and Wong, B. L. William (2018) Analytic provenance for criminal intelligence analysis. Chinese Journal of Network and Information Security, 4 (2). pp. 18-33. ISSN 2096-109X (doi:10.11959/j.issn.2096-109x.2018016)

Islam, Junayed, Xu, Kai and Wong, B. L. William (2018) Uncertainty of visualizations for SenseMaking in criminal intelligence analysis. In: EuroRV3: EuroVis Workshop on Reproducibility, Verification, and Validation in Visualization (2018), 04-08 June 2018, Brno, Czech Republic. (doi:10.2312/eurorv3.20181145)

Ivanova, Marieta Georgieva, Probst, Christian, Hansen, Rene Rydhof and Kammueller, Florian (2015) Attack tree generation by policy invalidation. In: 9th WISTP International Conference on Information Security Theory and Practice (WISTP 2015), 24-25 Aug 2015, Heraklion, Crete, Greece. (doi:10.1007/978-3-319-24018-3_16)

Ivanova, Marieta Georgieva, Probst, Christian, Hansen, Rene Rydhof and Kammueller, Florian (2016) Transforming graphical system models to graphical attack models. In: 2nd International Workshop on Graphical Models for Security, GraMSec 2015, co-located with CSF2015, 13 Jul 2015, Verona, Italy. (doi:10.1007/978-3-319-29968-6_6)

J

Jabeen, Iqra, Ejaz, Asma, Akram, Adeel, Amin, Yasar, Loo, Jonathan and Tenhunen, Hannu (2019) Elliptical slot based polarization insensitive compact and flexible chipless RFID tag. International Journal of RF and Microwave Computer-Aided Engineering, 29 (11). ISSN 1099-047X (doi:10.1002/mmce.21734)

Jagne, Jainaba, 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, 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.

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. 9788799138555.

Jankun-Kelly, T. J., Dwyer, Tim, Holten, Danny, Hurter, Christophe, Nollenburg, Martin, Weaver, Chris and Xu, Kai (2014) Scalability considerations for multivariate graph visualization. In: Multivariate Network Visualization: Dagstuhl Seminar # 13201, Dagstuhl Castle, Germany, May 12-17, 2013, Revised Discussions. Kerren, Andreas, Purchase, Helen and Ward, Matthew O., eds. Lecture Notes in Computer Science, 8380 . Springer International Publishing, pp. 207-235. . (doi:10.1007/978-3-319-06793-3_10)

Jentner, Wolfgang, Sacha, Dominik, Stoffel, Florian, Ellis, Geoffrey, Zhang, Leishi and Keim, Daniel A. (2018) Making machine intelligence less scary for criminal analysts: reflections on designing a visual comparative case analysis tool. The Visual Computer, 34 (9). pp. 1225-1241. ISSN 0178-2789 (doi:10.1007/s00371-018-1483-0)

Jones, Simon (2017) Doing social network ethics: a critical, interdisciplinary approach. Information Technology & People, 30 (4). pp. 910-926. ISSN 0959-3845 (doi:10.1108/itp-04-2016-0093)

Jones, Simon, 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. (doi:10.1145/2674396.2674410)

Jones, Simon, 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 (doi:10.1007/s10676-014-9358-1)

Jones, Simon and Pearson, Russell (2004) Information technology in organisations. Middlesex University Press, Enfield, Middlesex. 1904750257.

Jones, Simon and Pinnock, Paul (2018) Scientists of sound: portraits of a UK reggae sound system. Bassline Books/Amazon, London. 9780995611122. (Published online first)

Joyekurun, Ronish, 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. 9788945289308.

Juneja, Prabhjot, Evans, Philip, Windridge, David ORCID: https://orcid.org/0000-0001-5507-8516 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 (doi:10.1186/s12880-016-0107-2)

K

Kalaitzakis, Manos, Dafoulas, George ORCID: https://orcid.org/0000-0003-2638-8771 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).

Kallash, Mohammad Muneer, Loo, Jonathan, Lasebae, Aboubaker and Aiash, Mahdi (2018) A security framework for node-to-node communications based on the LISP architecture. International Journal of Electronic Security and Digital Forensics, 10 (3). pp. 276-291. ISSN 1751-911X (doi:10.1504/IJESDF.2018.093024)

Kammueller, Florian (2019) Attack Trees in Isabelle extended with probabilities for Quantum Cryptography. Computers and Security, 87 . ISSN 0167-4048 (Published online first) (doi:10.1016/j.cose.2019.101572)

Kammueller, Florian (2018) Attack trees in Isabelle. In: 20th International Conference on Information and Communications Security, ICICS 2018, 29-31 Oct 2018, Lille, France. (doi:10.1007/978-3-030-01950-1_36)

Kammueller, Florian (2018) Formal modeling and analysis of data protection for GDPR compliance of IoT healthcare systems. In: IEEE SMC 2018: IEEE International Conference on Systems, Man and Cybernetics, 08-10 Oct 2018, Miyazaki, Japan.

Kammueller, Florian (2017) Formal modeling and analysis with humans in infrastructures for IoT health care systems. In: 5th International Conference on Human Aspects of Security, Privacy and Trust, HCII-HAS 2017, 09-14 Jul 2017, Vancouver, BC, Canada. (doi:10.1007/978-3-319-58460-7_24)

Kammueller, Florian (2018) Human centric security and privacy for the IoT using formal techniques. In: 3rd International Conference on Human Factors in Cybersecurity, 17-21 Jul 2017, Los Angeles, CA, United States. (doi:10.1007/978-3-319-60585-2_12)

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, 04-07 May 2014, Lisbon. (doi:10.1109/ICT.2014.6845127)

Kammueller, Florian (2017) A proof calculus for attack trees in Isabelle. In: 12th International Workshop on Data Privacy Management (DPM 2017), 14-15 Sept 2017, Oslo, Norway. (doi:10.1007/978-3-319-67816-0_1)

Kammueller, Florian, Augusto, Juan Carlos and Jones, Simon (2017) Security and privacy requirements engineering for human centric IoT systems using eFRIEND and Isabelle. In: IEEE/ACIS 15th International Conference on Software Engineering Research, Management and Application, SERA2017, 07-09 Jun 2017, University of Greenwich, London, United Kingdom. (doi:10.1109/SERA.2017.7965758)

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. (doi:10.1109/SPW.2016.47)

Kammueller, Florian, Kerber, Manfred and Probst, Christian (2017) Insider threats for auctions: formalization, mechanized proof, and code generation. Journal of Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications (JoWUA), 8 (1). pp. 44-78. ISSN 2093-5374 (doi:10.22667/JOWUA.2017.03.31.044)

Kammueller, Florian, Kirsal, Yoney and Cheng, Xiaochun ORCID: https://orcid.org/0000-0003-0371-9646 (2013) DNSsec in Isabelle – replay attack and origin authentication. In: IEEE Int. Conf. on Systems, Man, and Cybernetics, SMC, 2013..

Kammueller, Florian, 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. (doi:10.1007/978-3-319-39381-0_21)

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 (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. (doi:10.1109/SPW.2014.45)

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

Kammueller, Florian and Probst, Christian (2017) Modeling and verification of insider threats using logical analysis. IEEE Systems Journal, 11 (2). pp. 534-545. ISSN 1932-8184 (doi:10.1109/JSYST.2015.2453215)

Kanav, Sudeep, 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 (doi:10.1166/asl.2014.5310)

Kandl, Thomas and Khan, Nawaz (2011) Information integration of diverse laboratory data sources using information supply chains. In: Proceedings of the IADIS international conference e-health 2011. Macedo, Mário, ed. IADIS Press, pp. 69-80. 9789728939496.

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.

Kapsokalivas, L., Gan, X., 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 (doi:10.1016/j.compbiolchem.2009.06.006)

Karthick, Gayathri, Mapp, Glenford E., Kammueller, Florian and Aiash, Mahdi (2017) Exploring a security protocol for secure service migration in commercial cloud environments. In: ICC’17, 22 Mar 2019, Cambridge University, Cambridge. (doi:10.1145/3018896.3056795)

Karthick, Gayathri, Mapp, Glenford E., Kammueller, Florian and Aiash, Mahdi (2018) Formalization and analysis of a resource allocation security protocol for secure service migration. In: IEEE/ACM International Conference on Utility and Cloud Computing (UCC2018), 17-20 Dec 2018, Zurich, Switzerland. (doi:10.1109/UCC-Companion.2018.00058)

Katerinchuk, Valeri, 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.

Keith, Suzette, 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, Abascal, Julio, Lopes, Rui and Salomoni, Paola, eds. ACM, New York. 9781450310192. (doi:10.1145/2207016.2207029)

Keith, Suzette, 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. 0415374480.

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 (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 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 (doi:10.1504/IJKWI.2011.038628)

Keith, Suzette, 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, 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, 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.

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. 9789639696761.

Keith, Suzette, 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, Bichard, Jo-Anne and Davidson, Clare, eds. Include . Royal College of Art, London. 9781905000807.

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

Keith, Suzette, 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. 9780415398183.

Keith, Suzette, 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. 9780415398183.

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. . (doi:MUVL-6505o)

Kemp, Elizabeth A., 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,. 9780473095536.

Kenaza, Tayeb, Aiash, Mahdi, Loo, Jonathan, Lasebae, Aboubaker and Whitney, Gill (2016) A progressive approach to design authentication protocols for mobile heterogeneous networks. In: IEEE Trustcom/BigDataSE/I​SPA, 2016, 23-26 Aug 2016, Tianjin, China. (doi:10.1109/trustcom.2016.0273)

Khan, Aftab, Windridge, David ORCID: https://orcid.org/0000-0001-5507-8516 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 (doi:10.1109/TCYB.2014.2299955)

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 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.

Khan, Nawaz, Alegre, Unai, 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. (doi:10.1007/978-3-319-57837-8_35)

Khan, Nawaz, 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. 0-7695-2355-2. (doi:10.1109/CBMS.2005.85)

Khan, Nawaz, 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

Khan, Nawaz, Lakshmi Sabih, Vijay, 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.

Khan, Nawaz, Long, Ham, 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. 0769529054. (doi:http://doi.ieeecomputersociety.org/10.1109/CBMS.2007.51)

Khan, Nawaz, 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. 9781457720246. (doi:10.1109/ICSSSM.2012.6252359)

Khan, Nawaz, Stiglic, Gregor, 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. 978-3-540-75285-1. (doi:10.1007/978-3-540-75286-8_19)

Khan, Nawaz, 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. 0769516149. (doi:doi.ieeecomputersociety.org/10.1109/CBMS.2002.1011407)

Khan, Nawaz, 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. 3-00-008114-3. (doi:10.1109/CBMS.2002.1011407)

Khan, Nawaz, 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. 0-7695-2104-5. (doi:10.1109/CBMS.2004.1311685)

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 (doi:10.1016/j.apergo.2014.04.015)

Kittler, Josef, Christmas, William, De Campos, Teofilo, Windridge, David ORCID: https://orcid.org/0000-0001-5507-8516, Yan, Fei, 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 (doi:10.1109/TPAMI.2013.209)

Kittler, Josef, Christmas, William, De Campos, Teofilo, Windridge, David ORCID: https://orcid.org/0000-0001-5507-8516, Yan, Fei, 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 (doi:10.1109/TPAMI.2013.209)

Kocurova, Anna, 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, Oussena, Samia, 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.

Kocurova, Anna, Oussena, Samia, Komisarczuk, Peter, 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.

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

Kodagoda, Neesha, Attfield, Simon, Nguyen, Phong H., Zhang, Leishi, Xu, Kai, Wong, B. L. William, Wagstaff, Adrian, Phillips, Graham, Bulloch, James, 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.

Kodagoda, Neesha, Pontis, Sheila, Simmie, Donal, Attfield, Simon, Wong, B. L. William, Blandford, Ann and Hankin, Chris (2017) Using machine learning to infer reasoning provenance from user interaction log data: based on the data/frame theory of sensemaking. Journal of Cognitive Engineering and Decision Making, 11 (1). pp. 23-41. ISSN 1555-3434 (doi:10.1177/1555343416672782)

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. 9781906124045.

Kodagoda, Neesha, 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. 9781605585741. (doi:10.1145/1577782.1577785)

Kodagoda, Neesha, 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, 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. 9781605589466. (doi:10.1145/1962300.1962324)

Kodagoda, Neesha, 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. 9781780171302.

Kodagoda, Neesha, 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: 12th IFIP TC 13 International Conference, Uppsala, Sweden, August 24-28, 2009, Proceedigns Part I. Gross, Tom, Gulliksen, Jan, Kotzé, Paula, Oestreicher, Lars, Palanque, Philippe, Prates, Raquel Oliveira and Winckler, Marco, eds. Lecture Notes in Computer Science., 5726 . Springer, pp. 77-80. 9783642036545. (doi:10.1007/978-3-642-03655-2_8)

Kodagoda, Neesha, Wong, B. L. William, 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. 9781450310154. (doi:10.1145/2207676.2208565)

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 (doi:10.1145/1921598.1921604)

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

Kollias, Dimitrios, Nicolaou, Mihalis A., Kotsia, Irene, Zhao, Guoying and Zafeiriou, Stefanos (2017) Recognition of affect in the wild using deep neural networks. In: CVPRW 2017: 2017 IEEE Conference on Computer Vision and Pattern Recognition Workshops (CVPRW), 21-26 July 2017, Honolulu, USA. (doi:10.1109/CVPRW.2017.247)

Kollias, Dimitrios, Tzirakis, Panagiotis, Nicolaou, Mihalis A., Papaioannou, Athanasios, Zhao, Guoying, Schuller, Björn, Kotsia, Irene and Zafeiriou, Stefanos (2019) Deep affect prediction in-the-wild: Aff-wild database and challenge, deep architectures, and beyond. International Journal of Computer Vision . pp. 1-23. ISSN 1573-1405 (Published online first) (doi:10.1007/s11263-019-01158-4)

Kos, Jernej, Aiash, Mahdi, 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 (doi:10.1016/j.comnet.2015.07.006)

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, 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, 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, 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, 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, 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, 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 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 (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.

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 (2011) Support tucker machines. In: IEEE Conference on Computer Vision and Pattern Recognition (CVPR 2011), 20 - 25 June 2011, Providence, RI.

Kotsia, Irene, 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.

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 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.

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.

Kotsia, Irene, 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 (doi:10.1109/TNN.2008.2004376)

Kotsia, Irene, 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 .

Kotsia, Irene, Zafeiriou, Stefanos, 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, Zafeiriou, Stefanos, 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, 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, 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 (doi:10.1016/j.patcog.2007.06.026)

Kotsia, Irene, 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

Kotti, Margarita, Ververidis, Dimitrios, Panagakis, Yannis, Kotropoulos, Constantine, Maragos, Petros and Pitas, Ioannis (2008) Audio-assisted movie dialogue detection. IEEE Transactions on Circuits and Systems for Video Technology, 18 (11). pp. 1618-1627. ISSN 1051-8215 (doi:10.1109/TCSVT.2008.2005613)

Kramer, Dean, 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. 9781424491780. (doi:10.1109/NESEA.2010.5678062)

Kramer, Dean, 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, Kocurova, Anna, Oussena, Samia, 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. 9781450310659. (doi:10.1145/2090316.2090322)

Kramer, Dean, Oussena, Samia, 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.

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

Krašovec, Rok, Belavkin, Roman V., Aston, John A. D., Channon, Alastair, Aston, Elizabeth, Rash, Bharat M., Kadirvel, Manikandan, 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 (doi:10.1038/ncomms4742)

Kruger, A. Ian (2017) From data to knowledge: Tableau dashboards as boundary objects in the knowledge ecology of a university. Masters thesis, Middlesex University.

Kulkarni, Vinay, Barat, Souvik, Clark, Tony and Barn, Balbir ORCID: https://orcid.org/0000-0002-7251-5033 (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, Barat, Souvik, Clark, Tony and Barn, Balbir ORCID: https://orcid.org/0000-0002-7251-5033 (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), 08-09 Jun 2015, Stockholm, Sweden. (doi:10.1007/978-3-319-24626-0_7)

Kulkarni, Vinay, Clark, Tony, Barat, Souvik and Barn, Balbir ORCID: https://orcid.org/0000-0002-7251-5033 (2014) Model based enterprise simulation and analysis. In: Advances in Conceptual Modeling. Springer, pp. 3-12. .

Kumar, B.G.Vijay, 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

Kumar, B.G.Vijay, 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.

Kuncar, Ondrej and Popescu, Andrei (2018) Safety and conservativity of definitions in HOL and Isabelle/HOL. Proceedings of the ACM on Programming Languages, 2 . 24:1-24:26. ISSN 2475-1421 (doi:10.1145/3158112)

Kunčar, Ondřej and Popescu, Andrei (2017) Comprehending Isabelle/HOL's consistency. In: ESOP 2017: 26th European Symposium on Programming (ESOP), 22-29 Apr 2017, Uppsala, Sweden. (doi:10.1007/978-3-662-54434-1_27)

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, Crispo, Bruno, Fischer-Hübner, Simone, Leenes, Ronald and Rossello, Giavanni, eds. IFIP Advances in Information and Communication Technology (375). Springer, Heidelberg, pp. 283-292. 9783642316685. (doi:10.1007/978-3-642-31668-5)

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

L

Lai, Hung-Ming, 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

Lai, Hung-Ming, 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. (doi:10.1007/978-3-319-25210-0_20)

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

Lai, Hung-Ming, 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. . (doi:10.5220/0004926002110220)

Lai, Hung-Ming, Otzturk, Celal, 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 (doi:10.1016/j.compbiolchem.2015.02.004)

Langari, Bahareh, Vaseghi, Saeed, Prochazka, Ales, 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 (doi:10.1109/TIP.2016.2590825)

Lano, Kevin, 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 (doi:10.1007/s00165-014-0313-z)

Lano, Kevin, 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.

Lappas, G., 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 (doi:10.1142/S0218213006002606)

Lataniotis, Lazaros, Albrecht, Andreas A., Kok, Fatma, Monfries, Clinton, Benedetti, Lorena, Lawson, Nathan D., Hughes, Simon M., Steinhofel, Kathleen, Mayr, Manuel and Zampetaki, Anna (2017) Crispr/Cas9 gene editing reveals novel tertiary constraints in clustered mirna processing. Heart, 103 (5). A133. ISSN 1468-201X (doi:10.1136/heartjnl-2017-311726.193)

Lataniotis, Lazaros, Albrecht, Andreas A., Kok, Fatma, Monfries, Clinton A. L., Benedetti, Lorena, Lawson, Nathan D., Hughes, Simon M., Steinhofel, Kathleen, Mayr, Manuel and Zampetaki, Anna (2018) Crispr/Cas9 gene editing reveals novel tertiary constraints in clustered miRNA processing. Cardiovascular Research, 114 (Supp_1). S1-S1. ISSN 0008-6363 (doi:10.1093/cvr/cvy060)

Lataniotis, Lazaros, Albrecht, Andreas A., Kok, Fatma O., Monfries, Clinton A. L., Benedetti, Lorena, Lawson, Nathan D., Hughes, Simon M., Steinhofel, Kathleen, Mayr, Manuel and Zampetaki, Anna (2017) Crispr/Cas9 editing reveals novel mechanisms of clustered microRNA regulation and function. Scientific Reports, 7 . p. 8585. ISSN 2045-2322 (doi:10.1038/s41598-017-09268-0)

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.

Laurence, Sean Xavier, Fields, Bob and Attfield, Simon (2016) Common ground in collaborative intelligence analysis: an empirical study. In: 30th International BCS Human Computer Interaction Conference (HCI 2016), 11-15 Jul 2016, Bournemouth University, Poole, UK. (doi:10.14236/ewic/HCI2016.30)

Law, Effie Lai-Chong, Hvanberg, Ebba, Cockton, Gilbert, Palanque, Philippe, Scapin, Dominique, Springett, Mark, 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. 3540289437.

Le, Anhtuan (2017) Intrusion Detection System for detecting internal threats in 6LoWPAN. PhD thesis, Middlesex University.

Le, Anhtuan, Loo, Jonathan, Chai, Kok Keong and Aiash, Mahdi (2016) A specification-based IDS for detecting attacks on RPL-based network topology. Information, 7 (2). p. 25. ISSN 2078-2489 (doi:10.3390/info7020025)

Le, Hoang H., 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., Torricelli, Diego and Pajaro, Marta, eds. Biosystems & Biorobotics (1). Springer, pp. 843-846. 9783642345456. (doi:10.1007/978-3-642-34546-3_137)

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

Le, Huong T., 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., 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.

Le, Huong T., 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., 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.

Leng, Paul and Dafoulas, George ORCID: https://orcid.org/0000-0003-2638-8771 (2005) E-learning communities. Interactive Technology and Smart Education, 2 (4). pp. 193-194. ISSN 1741-5859

Li, Chunping, Chen, Ziniu, Du, Hao, Wang, Hui, Wilkie, George, 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 (doi:10.1080/18756891.2013.768442)

Li, Simone, 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.

Li, Simone, 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 (doi:10.1021/pr200548c)

Li, Simone S., 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 (doi:10.1021/pr200548c)

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

Li, Wei, Qian, Yu, 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. (doi:10.1007/978-3-319-24471-6_6)

Li, Xilin, Sanderson, Penelope, Wong, B. L. William, 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. 9789602546567.

Liberti, Leo and Raimondi, Franco (2008) The secret santa problem. Lecture Notes in Computer Science, 5034 . pp. 271-279. ISSN 0302-9743 (doi:10.1007/978-3-540-68880-8_26)

Lieu, Chunyan and Dafoulas, George ORCID: https://orcid.org/0000-0003-2638-8771 (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),.

Liu, Guoqing, 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 (doi:10.1016/j.patcog.2012.07.016)

Liu, Qing, Zhang, Ji, James, Forbes, Xu, Kai and Dinesh, Nair A knowledge discovery service system for provenance exploration. In: International Conference on Data and Knowledge Engineering (ICDKE) 2011, 6-8, September 2011, Milan, Italy.

Liu, Shuai, Cheng, Xiaochun ORCID: https://orcid.org/0000-0003-0371-9646, Fu, Weina, Zhou, Yunpeng and Li, Qianzhong (2014) Numeric characteristics of generalized M-set with its asymptote. Applied Mathematics and Computation, 243 . pp. 767-774. ISSN 0096-3003 (doi:10.1016/j.amc.2014.06.016)

Liu, Shuai, Cheng, Xiaochun ORCID: https://orcid.org/0000-0003-0371-9646 and Min, Gihong (2017) Editorial: Recent advances of content understanding in image and multimedia. Recent Patents on Computer Science, 10 (1). pp. 2-5. ISSN 2213-2759 (doi:10.2174/221327591001170808093310)

Liu, Shuai, Pan, Zheng and Cheng, Xiaochun ORCID: https://orcid.org/0000-0003-0371-9646 (2017) A novel fast fractal image compression method based on distance clustering in high dimensional sphere surface. Fractals, 25 (04). pp. 1740004-1. ISSN 1793-6543 (doi:10.1142/s0218348x17400047)

Liu, Zheli, Huang, Yanyu, Li, Jin, Cheng, Xiaochun ORCID: https://orcid.org/0000-0003-0371-9646 and Shen, Chao (2018) DivORAM: Towards a practical oblivious RAM with variable block size. Information Sciences, 447 . pp. 1-11. ISSN 0020-0255 (doi:10.1016/j.ins.2018.02.071)

Lomuscio, Alessio, 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 (doi:10.1007/978-3-642-02658-4_55)

Lomuscio, Alessio, Qu, Hongyang and Raimondi, Franco (2017) MCMAS: an open-source model checker for the verification of multi-agent systems. International Journal on Software Tools for Technology Transfer, 19 (1). pp. 9-30. ISSN 1433-2779 (doi:10.1007/s10009-015-0378-x)

Loomes, Martin J., Albrecht, Andreas A., Malcolm, J. A. and Zahrani, M. S. (2006) Landscape analysis for multicast routing. Computer Communications, 30 (1). pp. 101-116. ISSN 0140-3664 (doi:10.1016/j.comcom.2006.07.019)

Loomes, Martin J., Albrecht, Andreas A., 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

Loomes, Martin J., Dafoulas, George ORCID: https://orcid.org/0000-0003-2638-8771 and Saleeb, Noha (2011) Pulling the physical and virtual environment into the blend. UNSPECIFIED. .

Lopez, Victor, Castillo, Aris, Swigger, Kathleen, Serce, Fatma Cemile, Dafoulas, George ORCID: https://orcid.org/0000-0003-2638-8771, 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, Castillo, Aris, Swigger, Kathleen, Serce, Fatma Cemile, Dafoulas, George ORCID: https://orcid.org/0000-0003-2638-8771, 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.

Lu, Zhirui, Augusto, Juan Carlos, 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 (doi:10.1080/18756891.2012.670529)

Lu, Zhirui, Augusto, Juan Carlos, Liu, Jun, 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 (doi:10.1142/S0218213012500236)

Luo, Linbo, Cai, Wentong, Zhou, Suiping, 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 (doi:10.1177/0037549714566722)

Luo, Linbo, Chai, Cheng, Ma, Jianfeng, Zhou, Suiping and Cai, Wentong (2018) ProactiveCrowd: modeling proactive steering behaviours for agent-based crowd simulation. Computer Graphics Forum, 37 (1). pp. 375-388. ISSN 0167-7055 (doi:10.1111/cgf.13303)

Luo, Linbo, Chai, Cheng, Zhou, Suiping and Ma, Jianfeng (2016) Modeling gap seeking behaviors for agent-based crowd simulation. In: The 29th International Conference on Computer Animation and Social Agents, 23-25 May 2016, Geneva, Switzerland. (doi:10.1145/2915926.2915944)

Luo, Linbo, Yin, Haiyan, Cai, Wentong, Lees, Michael, 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 (doi:10.1002/cav.1588)

Lyamin, Nikita, Vinel, Alexey, 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 (doi:10.1109/LCOMM.2013.102213.132056)

M

Ma, Yajie, Guo, Yike, 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 (doi:10.1109/JSEN.2010.2056916)

Macaulay, Linda, Keeling, Kathy, Dafoulas, George ORCID: https://orcid.org/0000-0003-2638-8771, Kalaitzakis, Manos and McGoldrick, Peter (2005) Intensely focused groups within on-line communities. In: Proceedings of the HCI International Conference (HCII 2005).

Macaulay, Linda, Keeling, Kathy, McGoldrick, Peter, Dafoulas, George ORCID: https://orcid.org/0000-0003-2638-8771 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 (doi:10.2753/JEC1086-4415110402)

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 (doi:10.1145/2071368.2071373)

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. 9781457704512. (doi:10.1109/LICS.2011.27)

Madelaine, Florent, 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. (doi:10.1007/978-3-642-30642-6_24)

Magazzeni, Daniele, Mercorio, Fabio, Barn, Balbir ORCID: https://orcid.org/0000-0002-7251-5033, Clark, Tony, 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, Albrecht, Andreas A., Loomes, Martin J., Yang, Xin-She ORCID: https://orcid.org/0000-0001-8231-5556 and Steinhofel, Kathleen (2014) A Firefly-inspired method for protein structure prediction in lattice models. Biomolecules, 4 (1). pp. 56-75. ISSN 2218-273X (doi:10.3390/biom4010056)

Mahmoud, Qusay H. (2002) Evolution of network computing paradigms: applications of mobile agents in wired and wireless networks. PhD thesis, Middlesex University.

Makri, Stephann, Blandford, Ann, Cox, Anna L., 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 (doi:10.1016/j.ijhcs.2011.04.004)

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. .

Mancero, Gabriela, 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, Ham, Dong-Han and Wong, B. L. William, eds. Association for Computing Machinery., New York, pp. 167-174. 9781847998491.

Mancero, Gabriela, 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. 9781605588544. (doi:10.1145/1738826.1738845)

Mancero, Gabriela, 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. 9789513863401.

Mancinelli, Fabio, Boender, Jaap, Di Cosmo, Roberto, Vouillon, Jérôme, Durak, Berke, 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 (doi:10.1109/ASE.2006.49)

Mapp, Glenford E., Ghosh, Arindam, Paranthaman, Vishnu Vardhan, Iniovosa, Victor Otite, 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. 9783319281810. (doi:10.1007/978-3-319-28183-4_9)

Mapp, Glenford E., Sardis, Fragkiskos and Crowcroft, Jon (2016) Developing an implementation framework for the future internet using the Y-Comm architecture, SDN and NFV. In: 2nd International Conference on Network Softwarization, IEEE NetSoft 2016, 06-10 Jun 2016, Seoul, South Korea. (doi:10.1109/NETSOFT.2016.7502440)

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. (doi:10.1007/978-3-540-69407-6_45)

Martin, Barnaby (2011) Low-level dichotomy for quantified constraint satisfaction problems. Information Processing Letters, 111 (20). pp. 999-1003. ISSN 0020-0190 (doi:10.1016/j.ipl.2011.07.010)

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. (doi:10.1007/978-3-642-23786-7_42)

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. 9783642153952. (doi:10.1007/978-3-642-15396-9_31)

Martin, Barnaby and Madelaine, Florent (2007) Hierarchies in fragments of monadic strict NP. In: Computation and logic in the real world: Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings. Cooper, Barry S., Löwe, Benedikt and Sorbi, Andrea, eds. Lecture Notes in Computer Science, 4497 . Springer Berlin Heidelberg, pp. 542-550. 9783540730002. (doi:10.1007/978-3-540-73001-9_56)

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. (doi:10.1007/978-3-642-15205-4_33)

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. (doi:10.1007/978-3-642-23786-7_43)

Martin, Oliver, Kotsia, Irene, Pitas, Ioannis, Savran, Arman, Adell, Jordi, 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

Martin, Olivier, Adell, Jordi, Huerta, Ana, Kotsia, Irene, Savran, Arman and Sebbe, Raphael (2005) Multimodal caricatural mirror. In: eNTERFACE 2005, 18 July - 12 August 2005, Belgium.

Martin, Olivier, Kotsia, Irene, 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.

Martin, Suzanne, Augusto, Juan Carlos ORCID: https://orcid.org/0000-0002-0321-9150, McCullagh, Paul, Carswell, William, Zheng, Huiru, Wang, Haiying, 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 (doi:10.3390/ijerph10126764)

Martinez Madrid, N., Martinez Fernandez, J., 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. 9783642346484.

Martínez Fernández, Javier, Augusto, Juan Carlos, Trombino, Giuseppe, 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

Maskeri, Girish, Willans, James, Clark, Tony, Evans, Andy, 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.

McNaull, James, Augusto, Juan Carlos, 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 (doi:10.1145/2378016.2378020)

Mehrizi, Zahra, Turega, Mike and Dafoulas, George ORCID: https://orcid.org/0000-0003-2638-8771 (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, Turega, Mike and Dafoulas, George ORCID: https://orcid.org/0000-0003-2638-8771 (2005) An adaptive approach into the design of formative CAA systems in an instructor-centred paradigm. In: Proceedings of E-Learn 2005 Conference.

Mellor, Stephen J., Clark, Tony and Futagami, Takao (2003) Model-driven development: guest editors' introduction. IEEE Software, 20 (5). pp. 14-18. ISSN 0740-7459 (doi:10.1109/MS.2003.1231145)

Memisevic, Rizah, Choudhury, Sanjib, 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. 1864997753.

Memisevic, Rizah, Sanderson, Penelope, 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. 0780392981.

Memisevic, Rizah, Sanderson, Penelope, Wong, B. L. William, 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

Men, Jiaping, Xu, Guangquan, Han, Zhen, Sun, Zhonghao, Zhou, Xiaojun, Lian, Wenjuan and Cheng, Xiaochun ORCID: https://orcid.org/0000-0003-0371-9646 (2019) Finding sands in the eyes: vulnerabilities discovery in IoT with EUFuzzer on human machine interface. IEEE Access, 7 . pp. 103751-103759. ISSN 2169-3536 (doi:10.1109/ACCESS.2019.2931061)

Mihajlov, Martin, 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 (doi:10.1093/iwc/iwu044)

Mimirinis, Mike and Dafoulas, George ORCID: https://orcid.org/0000-0003-2638-8771 (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 ORCID: https://orcid.org/0000-0003-2638-8771 (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 ORCID: https://orcid.org/0000-0003-2638-8771 (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.

Mimirinis, Mike and Dafoulas, George ORCID: https://orcid.org/0000-0003-2638-8771 (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. 1880094657.

Mimirinis, Mike, Dafoulas, George ORCID: https://orcid.org/0000-0003-2638-8771 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. 1859242774.

Mimirinis, Mike, Dafoulas, George ORCID: https://orcid.org/0000-0003-2638-8771, Murphy, Alan, 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, Apfelthaler, G., Hansen, K. and Tapachai, N., eds. Marshall Cavendish Academic, Singapore, pp. 250-258. 9789812104618.

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.

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. 9783540473312. (doi:10.1007/11903697_57)

Mitchell, Ian, Agrawal, Abhishek, Litovski, Ivan and Passmore, Peter J. ORCID: https://orcid.org/0000-0002-5738-6800 (2005) Dynamics in proportionate selection. In: International Conference on Adaptive and Natural Computnig Alogorithms, Coimbra, Portugal. Proceedings. Springer, Vienna., pp. 226-229. 9783211249345. (doi:10.1007/3-211-27389-1_54)

Mitchell, Ian, Anandaraja, Tharmila, Hara, Sukhvinder, 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. (doi:10.1007/978-3-319-51064-4_1)

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

Mitchell, Ian and Hara, Sukhvinder (2014) Computer forensics: challenges to evidential integrity. In: Integrated vehicle health management: implementation and lessons learned. Jennions, Ian K., ed. Integrated Vehicle Health Management, 3 . SAE International, Warrendale, PA, USA, pp. 91-100. 9780768080889. (doi:10.4271/R-438)

Mitchell, Ian, 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 (doi:10.1504/IJBRA.2006.011037)

Mitchell, Ian, 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 (doi:10.1007/s00500-005-0488-6)

Mitchell, Ian, Passmore, Peter J. ORCID: https://orcid.org/0000-0002-5738-6800 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.

Mitchell, Ian, 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.

Mitchell, P. I., Bowden, L., Vintro, L. Leon, García-Tenorio, R., Garelick, Hemda ORCID: https://orcid.org/0000-0003-4568-2300, Holm, E., Kovacs, T., Kovats, N., Priest, Nicholas, Salbu, B., 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.

Moore, Antoni, 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.

Moschoglou, Stylianos, Nicolaou, Mihalis, Panagakis, Yannis and Zafeiriou, Stefanos (2017) Initializing probabilistic linear discriminant analysis. In: 2017 25th European Signal Processing Conference (EUSIPCO), 28 Aug - 02 Sept 2017, Kos, Greece. (doi:10.23919/EUSIPCO.2017.8081393)

Moschoglou, Stylianos, Papaioannou, Athanasios, Sagonas, Christos, Deng, Jiankang, Kotsia, Irene and Zafeiriou, Stefanos (2017) AgeDB: the first manually collected, in-the-wild age database. In: CVPRW 2017: 2017 IEEE Conference on Computer Vision and Pattern Recognition Workshops (CVPRW), 21-26 July 2017, Honolulu, USA. (doi:10.1109/CVPRW.2017.250)

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. 9783319333533.

Moseley, Ralph (2016) Immersive brain entrainment in virtual worlds: actualizing meditative states. In: Emerging Trends and Advanced Technologies for Computational Intelligence: Extended and Selected Results from the Science and Information Conference 2015. Chen, Liming, Kapoor, Supriya and Bhatia, Rahul, eds. Studies in Computational Intelligence, 647 . Springer, pp. 315-346. 9783319333519. (doi:10.1007/978-3-319-33353-3_17)

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, Fischer-Hübner, Simone, Holvast, Jan and Zuccato, Albin, eds. Karlstad University. Department of Computer Science. Division for Information Technology, Karlstad. 9185335037.

Moustakas, Evangelos, 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

Mulvenna, Maurice, Carswell, William, McCullagh, Paul, Augusto, Juan Carlos, Zheng, Huiru, Jeffers, Paul, 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 (doi:10.1109/MCOM.2011.5681023)

Murphy, Alan, Dafoulas, George ORCID: https://orcid.org/0000-0003-2638-8771 and Mimirinis, Mike (2006) Blended teaching: pedagogy and tools. E-learning Training Guides, 1 . MU Press. 1859242774.

Muñoz, Andrés, Augusto, Juan Carlos, 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 (doi:10.1007/s00779-010-0361-1)

Müller, Markus, 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 (doi:10.1103/PhysRevA.79.012302)

N

Nachmanson, Lev, Nocaj, Arlind, Bereg, Sergey, 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. (doi:10.1007/978-3-319-50106-2_3)

Nachmanson, Lev, Nocaj, Arlind, Bereg, Sergey, Zhang, Leishi and Holroyd, Alexander (2017) Node overlap removal by growing a tree. Journal of Graph Algorithms and Applications, 21 (5). pp. 857-872. ISSN 1526-1719 (doi:10.7155/jgaa.00442)

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 (doi:10.1016/j.neucom.2010.07.013)

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. 9780387287539.

Neilson, David, 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. (doi:10.1007/978-3-319-51064-4_2)

Nguyen, Phong H. (2017) Visualization of analytic provenance for sensemaking. PhD thesis, Middlesex University.

Nguyen, Phong H., Xu, Kai, Bardill, Andy, Salman, Betul, Herd, Kate and Wong, B. L. William (2016) SenseMap: supporting browser-based online sensemaking through analytic provenance. In: VIS 2016: IEEE Visualization Conference, 23-28 Oct 2016, Baltimore, Maryland, USA. (doi:10.1109/vast.2016.7883515)

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

Nguyen, Phong H., Xu, Kai, 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.

Nguyen, Phong H., Xu, Kai, Walker, Rick and Wong, B. L. William (2016) TimeSets: timeline visualization with set relations. Information Visualization, 15 (3). pp. 253-269. ISSN 1473-8716 (doi:10.1177/1473871615605347)

Nguyen, Phong H., Xu, Kai, Wheat, Ashley, Wong, B. L. William, 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 (doi:10.1109/TVCG.2015.2467611)

Nguyen, Phong H., Xu, Kai and Wong, B. L. William (2016) Interaction log and provenance for sensemaking. In: LIVVIL: Logging Interactive Visualizations & Visualizing Interaction Logs, 23 Oct 2016, Baltimore, MD, USA.

Nguyen, Phong H., Xu, Kai and Wong, B. L. William A survey of analytic provenance. Technical Report. Unpublished. .

Nichols, Barry D. ORCID: https://orcid.org/0000-0002-6760-6037 (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. 9781479986965. (doi:10.1109/SMC.2015.364)

Nichols, Barry D. ORCID: https://orcid.org/0000-0002-6760-6037 (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. (doi:10.1109/IJCNN.2016.7727688)

Nichols, Barry D. ORCID: https://orcid.org/0000-0002-6760-6037 (2017) A comparison of eligibility trace and momentum on SARSA in continuous state- and action-space. In: 9th Computer Science & Electronic Engineering Conference (CEEC 2017), 27-29 Sep 2017, Colchester, UK. (doi:10.1109/CEEC.2017.8101599)

Nichols, Barry D. ORCID: https://orcid.org/0000-0002-6760-6037 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. 9782874190957.

Nicolaou, Mihalis A., Panagakis, Yannis, Zafeiriou, Stefanos and Pantic, Maja (2014) Robust canonical correlation analysis: audio-visual fusion for learning continuous interest. In: 2014 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), 04-09 May 2014, Florence, Italy. (doi:10.1109/ICASSP.2014.6853852)

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.

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. 9780769505152.

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

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

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

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, Luz, Ana, Dack, John and Dogantan-Dack, Mine, eds. The International Institute for Advanced Studies in Systems Research and Cybernetics, Ontario, pp. 12-16. 9781897233092.

Nwokeji, Joshua Chibuike (2016) Information systems framework for enterprise agility. PhD thesis, Middlesex University.

Nwokeji, Joshua Chibuike, Aqlan, Faisal, Barn, Balbir ORCID: https://orcid.org/0000-0002-7251-5033, Clark, Tony and Kulkarni, Vinay (2018) A modelling technique for enterprise agility. In: HICSS-51 The 51st Hawaii International Conference on System Sciences, 03-06 Jan 2018, Hawaii, USA.

Nwokeji, Joshua Chibuike, Clark, Tony, Barn, Balbir ORCID: https://orcid.org/0000-0002-7251-5033, 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. (doi:10.1109/EDOC.2015.34)

O

O'Hare, David, 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. 0748409068.

Okoro, Efeosasere and Attfield, Simon (2016) Towards an approach for analysing external representations created during sensemaking using generative grammar. In: 30th International BCS Human Computer Interaction Conference (HCI 2016), 11-15 Jul 2016, Bournemouth University, Poole, UK. (doi:10.14236/ewic/HCI2016.31)

Oussena, Samia, 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.

P

Panagakis, Yannis and Kotropoulos, Constantine (2014) Elastic net subspace clustering applied to pop/rock music structure analysis. Pattern Recognition Letters, 38 . pp. 46-53. ISSN 0167-8655 (doi:10.1016/j.patrec.2013.10.021)

Panagakis, Yannis and Kotropoulos, Constantine (2013) Music classification by low-rank semantic mappings. EURASIP Journal on Audio, Speech, and Music Processing, 2013 (1). p. 13. ISSN 1687-4714 (doi:10.1186/1687-4722-2013-13)

Panagakis, Yannis and Kotropoulos, Constantine (2013) Telephone handset identification by collaborative representations. International Journal of Digital Crime and Forensics, 5 (4). pp. 1-14. ISSN 1941-6210 (doi:10.4018/ijdcf.2013100101)

Panagakis, Yannis, Kotropoulos, Constantine and Arce, Gonzalo R. (2010) Non-negative multilinear principal component analysis of auditory temporal modulations for music genre classification. IEEE Transactions on Audio, Speech, and Language Processing, 18 (3). pp. 576-588. ISSN 1558-7916 (doi:10.1109/TASL.2009.2036813)

Panagakis, Yannis, Kotropoulos, Constantine L. and Arce, Gonzalo R. (2014) Music genre classification via joint sparse low-rank representation of audio features. IEEE/ACM Transactions on Audio, Speech, and Language Processing, 22 (12). pp. 1905-1917. ISSN 2329-9290 (doi:10.1109/TASLP.2014.2355774)

Panagakis, Yannis, Nicolaou, Mihalis A., Zafeiriou, Stefanos and Pantic, Maja (2016) Robust correlated and individual component analysis. IEEE Transactions on Pattern Analysis and Machine Intelligence, 38 (8). pp. 1665-1678. ISSN 0162-8828 (doi:10.1109/TPAMI.2015.2497700)

Pandey, Hari Mohan, Chaudhary, Ankit and Mehrotra, Deepti (2018) Bit mask-oriented genetic algorithm for grammatical inference and premature convergence. International Journal of Bio-Inspired Computation, 12 (1). pp. 54-69. ISSN 1758-0366 (doi:10.1504/IJBIC.2018.10014202)

Pandey, Hari Mohan, Chaudhary, Ankit and Mehrotra, Deepti (2016) Grammar induction using bit masking oriented genetic algorithm and comparative analysis. Applied Soft Computing, 38 . pp. 453-468. ISSN 1568-4946 (doi:10.1016/j.asoc.2015.09.044)

Pandey, Hari Mohan, Chaudhary, Ankit and Mehrotra, Deepti (2014) A comparative review of approaches to prevent premature convergence in GA. Applied Soft Computing, 24 . pp. 1047-1077. ISSN 1568-4946 (doi:10.1016/j.asoc.2014.08.025)

Pandey, Hari Mohan, Chaudhary, Ankit, Mehrotra, Deepti and Kendall, Graham (2016) Maintaining regularity and generalization in data using the minimum description length principle and genetic algorithm: case of grammatical inference. Swarm and Evolutionary Computation, 31 . pp. 11-23. ISSN 2210-6502 (doi:10.1016/j.swevo.2016.05.002)

Pandey, Hari Mohan and Windridge, David ORCID: https://orcid.org/0000-0001-5507-8516 (2019) A comprehensive classification of deep learning libraries. In: International Congress on Information and Communication Technology, 27-28 Feb 2018, London, UK. (doi:10.1007/978-981-13-1165-9_40)

Pandey, Hari Mohan and Windridge, David ORCID: https://orcid.org/0000-0001-5507-8516 (2018) A genetic deep learning model for electrophysiological soft robotics. In: 8th International Workshop on Soft Computing Application, 13-15 Sept 2018, University of Arad, Romania. (Accepted/In press)

Papamakarios, Georgios, Panagakis, Yannis and Zafeiriou, Stefanos (2014) Generalised scalable robust principal component analysis. In: British Machine Vision Conference 2014, 01- 05 Sept 2014, Nottingham, UK. (doi:10.5244/C.28.116)

Paranthaman, Vishnu Vardhan, Kirsal, Yonal, Mapp, Glenford E., Shah, Purav ORCID: https://orcid.org/0000-0002-0113-5690 and Nguyen, Huan X. ORCID: https://orcid.org/0000-0002-4105-2558 (2019) Exploiting resource contention in highly mobile environments and its application to vehicular ad-hoc networks. IEEE Transactions on Vehicular Technology, 68 (4). pp. 3805-3819. ISSN 0018-9545 (Published online first) (doi:10.1109/TVT.2019.2902245)

Passmore, Peter J. ORCID: https://orcid.org/0000-0002-5738-6800, Attfield, Simon, Kodagoda, Neesha, Groenewald, Celeste and Wong, B. L. William (2016) Supporting the externalisation of thinking in criminal intelligence analysis. In: European Intelligence and Security Informatics Conference (EISIC) 2015, 07-09 Sept 2015, Manchester, United Kingdom. (doi:10.1109/EISIC.2015.35)

Passmore, Peter J. ORCID: https://orcid.org/0000-0002-5738-6800, Glancy, Maxine, Philpot, Adam ORCID: https://orcid.org/0000-0002-6176-5512 and Fields, Bob (2017) 360 Cinematic literacy: a case study. In: International Broadcasting Convention Conference 2017, 14-18 Sept 2017, Amsterdam.

Passmore, Peter J. ORCID: https://orcid.org/0000-0002-5738-6800, Glancy, Maxine, Philpot, Adam ORCID: https://orcid.org/0000-0002-6176-5512, Roscoe, Amelia, Wood, Andrew and Fields, Bob (2016) Effects of viewing condition on user experience of panoramic video. In: ICAT-EGVE 2016 - International Conference on Artificial Reality and Telexistence and Eurographics Symposium on Virtual Environments, 07-09 Dec 2016, Little Rock, Arkansas , USA. (doi:10.2312/egve.20161428)

Passmore, Peter J. ORCID: https://orcid.org/0000-0002-5738-6800 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. . (doi:10.1109/UKRICIS.2008.4798946)

Passmore, Peter J. ORCID: https://orcid.org/0000-0002-5738-6800, Tennent, Paul, Walker, Brendan, Philpot, Adam ORCID: https://orcid.org/0000-0002-6176-5512, Le, Hoang H., Markowski, Arja Marianne and Karamanoglu, Mehmet ORCID: https://orcid.org/0000-0002-5049-2993 (2017) Archives of thrill: the V-Armchair experience. In: ICAT-EGVE 2017 - International Conference on Artificial Reality and Telexistence, 22-24 Nov 2017, Adelaide, Australia. (doi:10.2312/egve.20171349)

Passmore, Peter J. ORCID: https://orcid.org/0000-0002-5738-6800, Zheng, Yongjun, Rooney, Chris, Al-Sheikh, Tamara and Xu, Kai ORCID: https://orcid.org/0000-0003-2242-5440 (2010) Hospitalization records: characterization of pandemic spread. In: IEEE VAST Symposium 2010 Challenge, 24 - 29th October, 2010, Salt Lake City, Utah, USA.

Paudyal, Pragya and Wong, B. L. William (2018) Algorithmic opacity: making algorithmic processes transparent through abstraction hierarchy. Proceedings of the Human Factors and Ergonomics Society Annual Meeting, 62 (1). pp. 192-196. ISSN 1541-9312 (doi:10.1177/1541931218621046)

Pecheur, Charles, 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. 9781605583389. (doi:10.1145/1572272.1572279)

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. .

Petz, Andrea, 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.

Philpot, Adam ORCID: https://orcid.org/0000-0002-6176-5512, Glancy, Maxine, Passmore, Peter J. ORCID: https://orcid.org/0000-0002-5738-6800, Wood, Andrew and Fields, Bob (2017) User experience of panoramic video in CAVE-like and head mounted display viewing conditions. In: 2017 ACM International Conference on Interactive Experiences for TV and Online Video, 14-16 Jun 2017, Hilversum, The Netherlands. (doi:10.1145/3077548.3077550)

Poh, Norman, Tirunagari, Santosh and Windridge, David ORCID: https://orcid.org/0000-0001-5507-8516 (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. (doi:10.1109/CIBD.2014.7011526)

Poh, Norman, Windridge, David ORCID: https://orcid.org/0000-0001-5507-8516, Mottl, Vadim, 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 (doi:10.1109/TIFS.2010.2053535)

Primiero, Giuseppe and Boender, Jaap (2018) Negative trust for conflict resolution in software management. Web Intelligence, 16 (4). pp. 251-271. ISSN 2405-6456 (doi:10.3233/web-180393)

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. 9783319153674. (doi:10.1007/978-3-319-15368-1_26)

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

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

Pu, Jie, Panagakis, Yannis, Petridis, Stavros and Pantic, Maja (2017) Audio-visual object localization and separation using low-rank and sparsity. In: 2017 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), 05-09 Mar 2017, New Orleans, LA, USA. (doi:10.1109/ICASSP.2017.7952687)

Pérez, Daniel, Zhang, Leishi, Schaefer, Matthias, Schreck, Tobias, 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 (doi:10.1016/j.neucom.2014.09.061)

Q

Qazi, Nadeem, Wong, B. L. William, 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. (doi:10.1109/SMC.2016.7844519)

Qian, Yu, Gao, Xiaohong W., Loomes, Martin J., Comley, Richard A., Barn, Balbir ORCID: https://orcid.org/0000-0002-7251-5033, 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, Ossebaard, Hans C. and Hämäläinen, Päivi, eds. IARIA, pp. 7-12. 9781612081199.

Qian, Yu, 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 (doi:10.1016/j.sigpro.2012.10.020)

Qian, Yu, Wang, Lianyi, 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. 9783642366772. (doi:10.1007/978-3-642-36678-9_7)

Quattrone, Giovanni, Dittus, Martin and Capra, Licia (2016) Exploring maintenance practices in crowd-mapping. In: Hypertext 2016: 27th ACM Conference on Hypertext and Social Media, 10-13 July 2016, Halifax, Nova Scotia, Canada. (doi:10.1145/2914586.2914621)

Quattrone, Giovanni, Greatorex, Andrew, Quercia, Daniele, Capra, Licia and Musolesi, Mirco (2018) Analyzing and predicting the spatial penetration of Airbnb in U.S. cities. EPJ Data Science, 7 . ISSN 2193-1127 (doi:10.1140/epjds/s13688-018-0156-6)

Quattrone, Giovanni, Proserpio, Davide, Quercia, Daniele, Capra, Licia and Musolesi, Mirco (2016) Who benefits from the “sharing” economy of Airbnb? In: WWW 2016: 25th International Conference on World Wide Web, 11-15 April 2016, Montreal, Canada. (doi:10.1145/2872427.2874815)

Quinde, Mario and Khan, Nawaz (2018) An improved model for GUI design of mHealth context-aware applications. In: 20th International Conference on Human Computer Interaction (HCII2018), 15 July 2018, Las Vegas, USA. (doi:10.1007/978-3-319-91803-7_23)

R

Rahanu, Harjinder, Georgiadou, Elli, Khan, Nawaz, Colson, Robert, Hill, Vanessa ORCID: https://orcid.org/0000-0003-3030-4593 and Edwards, J. Adam ORCID: https://orcid.org/0000-0001-9536-6782 (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.

Rahanu, Harjinder, Georgiadou, Elli and Siakas, Kerstin V. (2017) Heuristics for ethical development and use of MOOCs. In: British Computer Society INSPIRE 2017 conference, 11 April 2017, Southampton Solent University, United Kingdom.

Rahanu, Harjinder, Georgiadou, Elli and Siakas, Kerstin V. (2018) Social and ethical issues that should inform the development of legal principles concerning matters of intellectual property rights in the development and use of virtual learning environments. In: 23rd BCS INSPIRE (International conference for Process Improvement, Research and Education) Conference, 26-27 Mar 2018, BCS, London.

Rahanu, Harjinder, Georgiadou, Elli, Siakas, Kerstin V. and Ross, Margaret (2019) Health, safety and wellbeing through ethical behaviours in computer and information systems development and deployment. Journal of Software: Evolution and Process . ISSN 2047-7481 (Published online first) (doi:10.1002/smr.2225)

Rahanu, Harjinder, Georgiadou, Elli, Siakas, Kerstin V. and Ross, Margaret (2018) Imperative ethical behaviours in making systems development and deployment compliant with health & safety and well-being. In: 25th European Conference, EuroSPI 2018: Systems, Software and Services Process Improvement, 05-07 Sept 2018, Bilbao, Spain. (doi:10.1007/978-3-319-97925-0_46)

Rahanu, Harjinder, Siakas, Kerstin V., Georgiadou, Elli, Ross, Margaret and Bouboulas, Antonis (2017) An ethical approach to marketing and valorisation. In: 5th International Conference on Contemporary Marketing Issues (ICCMI), 21-23 Jun 2017, Thessaloniki, Greece.

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. 9789637154294.

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. 0-7695-1907-5.

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. 9800781501.

Rahman, Shahedur, 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. 0-7695-1230-5. (doi:10.1109/DEXA.2001.953079)

Rahman, Shahedur, 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, Mitra, Sunanda and Lee, D. J., eds. IEEE Computer Society., Los Alamitos, Calif.. 0769519016.

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. 3000081143.

Rahman, Shahedur, 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.

Rahman, Shahedur, Stockman, A. G. and Khan, Nawaz (2003) Integration of biological data resources using image object keying. In: 16