Browse by Academic Unit (A-Z)

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Creators Name | Item Type
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: 838.

A

Abdullah, M.S., Evans, A., Benest, I. et al. (2 more authors) (2004) Modelling knowledge based systems using the executable modelling framework (XMF). In: 2004 Proceedings of the IEEE Conference on Cybernetics and Intelligent Systems. CIS 2004, December 1-3, 2004, Singapore. , 1055- 1060.

Abdullah, M.S., Kimble, C., Benest, I. et al. (1 more author) (2006) Knowledge-Based Systems: A Re-Evaluation. Journal of Knowledge Management, 10 ( 3). pp. 127-142. ISSN 1367-3270

Abrahao, Silvia, Bourdeleau, Francis, Cheng, Betty et al. (4 more authors) (2017) User Experience for Model-Driven Engineering : Challenges and Future Directions. In: Proceedings - ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems, MODELS 2017. 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2017, 17-22 Sep 2017. Institute of Electrical and Electronics Engineers Inc. , pp. 229-236.

Agryzkov, Taras, Tortosa, Leandro, Vicent, Jose et al. (1 more author) (2017) A Centrality Measure for Urban Networks Based on the Eigenvector Centrality Concept. Environment and Planning B: Urban Analytics and City Science. ISSN 2399-8083

Aguiar, Pedro M., Hornby, Robert, McGarry, Cameron et al. (2 more authors) (2016) Discrete and continuous systems of logic in nuclear magnetic resonance. International journal of unconventional computing. pp. 109-132. ISSN 1548-7199

Akgun, Ozgur, Miguel, Ian, Jefferson, Chris et al. (2 more authors) (2011) Extensible Automated Constraint Modelling. In: Proceedings of theTwenty-Fifth AAAI Conference on Artificial Intelligence. UNSPECIFIED. AAAI Press , San Francisco , pp. 4-11.

Alasmari, Naif Nasser M and Calinescu, Radu Constantin orcid.org/0000-0002-2678-9260 (2018) Towards Multi-Objective Optimisation of Hadoop 2.x Application Deployment on Public Clouds. In: Proceedings of the 6th International Conference on Enterprise Systems. UNSPECIFIED. .

Alberto, A., Cavalcanti, A. L. C. orcid.org/0000-0002-0831-1976, Gaudel, M.-C. et al. (1 more author) (2016) Formal mutation testing for Circus. Information and Software Technology. pp. 1-23. ISSN 0950-5849

Alden, Kieran James, Andrews, Paul Simon, Polack, Fiona A C orcid.org/0000-0001-7954-6433 et al. (3 more authors) (2015) Using argument notation to engineer biological simulations with increased confidence. Interface. 20141059. ISSN 1742-5662

Alexander, R., Kazakov, D. and Kelly, T.P. (2006) System of systems hazard analysis using simulation and machine learning. In: Computer Safety, Reliability, and Security. 25th International Conference, SAFECOMP 2006, September 27-29, 2006, Gdansk, Poland. Lecture Notes in Computer Science (4166). Springer , Berlin / Heidelberg , pp. 1-14. ISBN 978-3-540-45762-6

Alexander, Rob orcid.org/0000-0003-3818-0310, Hawkins, Heather Rebecca and Rae, Andrew John (2015) Situation coverage – a coverage criterion for testing autonomous robots. Report. Department of Computer Science, University of York

Alexander, Robert David orcid.org/0000-0003-3818-0310, Ashmore, Rob and Banks, Andrew (2018) The State of Solutions for Autonomous Systems Safety. In: UNSPECIFIED.

Alexander, Robert David orcid.org/0000-0003-3818-0310, Hawkins, Richard David orcid.org/0000-0001-7347-3413 and Kelly, Timothy Patrick orcid.org/0000-0002-7385-2031 (2017) From Safety Cases to Security Cases. In: UNSPECIFIED.

Algahtani, Eyad and Kazakov, Dimitar Lubomirov orcid.org/0000-0002-0637-8106 (2018) GPU-Accelerated Hypothesis Cover Set Testing for Learning in Logic. In: CEUR Proceedings of the 28th International Conference on Inductive Logic Programming. UNSPECIFIED. CEUR Workshop Proceedings .

Alhwikem, Faisal Haji M, Paige, Richard Freeman orcid.org/0000-0002-1978-9852, Rose, Louis Matthew orcid.org/0000-0002-3419-2579 et al. (1 more author) (2016) A Systematic Approach for Designing Mutation Operators for MDE languages. In: UNSPECIFIED.

Alonso, E, D'Inverno, M, Kudenko, D orcid.org/0000-0003-3359-3255 et al. (2 more authors) (2001) Learning in multi-agent systems. The Knowledge Engineering Review. pp. 277-284. ISSN 1469-8005

Altmeyer, Sebastian, Douma, Roeland, Lunniss, William Richard Elgon et al. (1 more author) (2016) On the effectiveness of cache partitioning in hard real-time systems. Real-Time Systems. ISSN 1573-1383

Alzahrani, Bander, Reed, Martin, Riihijarvi, Janne et al. (1 more author) (2015) Scalability of Information Centric Networking Using Mediated Topology Management. Journal of Network and Computer Applications. pp. 126-133. ISSN 1084-8045

Angelopoulos, N. and Cussens, J. (2005) Exploiting informative priors for Bayesian classification and regression trees. In: Pack Kaelbling, L. and Saffiotti, A., (eds.) Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence. IJCAI-05, July 30-August 5, 2005, Edinburgh, Scotland. Professional Book Center , pp. 641-646. ISBN 0938075934

Angelopoulos, N. and Cussens, J. (2005) Tempering for Bayesian C&RT. In: De Raedt, L. and Wrobel, S., (eds.) Proceedings of the 22nd International Conference on Machine Learning. ICML 2005, Aug 7 - 11, 2005, Bonn, Germany. ACM International Conference Proceeding Series (19). , pp. 17-24. ISBN 1-59593-180-5

Angelopoulos, Nikolaos and Cussens, James orcid.org/0000-0002-1363-2336 (2016) Distributional logic programming for Bayesian knowledge representation. International Journal of Approximate Reasoning. pp. 52-66. ISSN 0888-613X

Arksey, H, Thornton, P and Williams, J (2002) Mapping employment focussed services for disabled people. Research Report. Department for Work and Pensions In-house Report, 93 . Social Research Branch, Department for Work and Pensions

Arnold, James and Alexander, Rob orcid.org/0000-0003-3818-0310 (2013) Testing Autonomous Robot Control Software Using Procedural Content Generation. In: Computer Safety, Reliability, and Security. 32nd International Conference on Computer Safety, Reliability and Security (SAFECOMP 2013), 24-27 Sep 2013. Lecture Notes in Computer Science . Springer , pp. 33-44.

Ashjaei, Mohammed, Clegg, Kester orcid.org/0000-0002-4484-3291, Corneo, Lorenzo et al. (4 more authors) (2018) Service Level Agreements for Safe and Configurable Production Environments. In: International Conference on Emerging Technologies and Factory Automation:Work in Progress Session (ETFA-WiP'18). UNSPECIFIED. IEEE , pp. 1-4.

Asplund, K., Ashburner, S., Cargill, K. et al. (3 more authors) (2003) Health care resouce use and stroke outcome. International Journal of Technology Assessment in Health Care. pp. 267-277. ISSN 0266-4623

Atkinson, G.A. and Hancock, E.R. (2007) Shape estimation using polarization and shading from two views. IEEE Transactions on Pattern Analysis and Machine Intelligence, 29 (11). pp. 2001-2017. ISSN 0162-8828

Atkinson, Timothy, Plump, Detlef orcid.org/0000-0002-1148-822X and Stepney, Susan orcid.org/0000-0003-3146-5401 (2018) Evolving Graphs by Graph Programming. In: Proceedings 21st European Conference on Genetic Programming (EuroGP 2018). UNSPECIFIED. Lecture Notes in Computer Science . Springer .

Atkinson, Timothy, Plump, Detlef orcid.org/0000-0002-1148-822X and Stepney, Susan orcid.org/0000-0003-3146-5401 (2018) Probabilistic Graph Programs for Randomised and Evolutionary Algorithms. In: Lambers, Leen and Weber, Jens, (eds.) Proceedings 11th International Conference on Graph Transformation (ICGT 2018). UNSPECIFIED. Lecture Notes in Computer Science . Springer .

Attwood, Katrina Claire, Kelly, Tim orcid.org/0000-0002-7385-2031 and Conmy, Philippa (2014) The Use of Controlled Vocabularies and Structured Expressions in the Assurance of CPS. Ada User Journal. pp. 251-258.

Audsley, N.C. and Bletsas, K. (2004) Realistic Analysis of Limited Parallel Software / Hardware Implementations. In: Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium. RTAS 04, 25-28 May 2004, Toronto, Canada. , pp. 388-395.

Audsley, N.C. and Ward, M. (2006) Syntax-driven implementation of software programming language control constructs and expressions on FPGAs. In: Proceedings of the 2006 International Conference on Compilers, Architecture and Synthesis for Embedded Systems. CASES 2006, October 22 - 25, 2006, Seoul, Korea. , 253 - 260.

Audsley, Neil Cameron orcid.org/0000-0003-3739-6590, Basanta-Val, Pablo, Wellings, Andrew John orcid.org/0000-0002-3338-0623 et al. (2 more authors) (2016) Architecting Time-Critical Big-Data Systems. IEEE Transactions on Big Data. ISSN 2332-7790

Audsley, Neil Cameron orcid.org/0000-0003-3739-6590, Bletsas, Konstantinos, Nelissen, Geoffrey et al. (3 more authors) (2018) Errata for three papers (2004-05) on fixed-priority scheduling with self-suspensions. In: UNSPECIFIED.

Aung, Myat Thura, Bonometti, Valerio, Drachen, Anders et al. (4 more authors) (2018) Predicting skill learning outcomes in a large, longitudinal MOBA dataset. In: Proceedings of the IEEE Computational Intelligence in Games. UNSPECIFIED. IEEE .

Austin, J orcid.org/0000-0001-5762-8614 (1996) Distributed associative memories for high-speed symbolic reasoning. Fuzzy Sets and Systems. pp. 223-233. ISSN 0165-0114

Austin, J orcid.org/0000-0001-5762-8614 and Filer, R (1996) Using correlation matrix memories for inferencing in expert systems. In: Taylor, JG, (ed.) NEURAL NETWORKS AND THEIR APPLICATIONS. John Wiley & Sons , CHICHESTER , pp. 229-244.

Austin, J orcid.org/0000-0001-5762-8614, Turner, A, Turner, M et al. (1 more author) (1999) Chemical structure matching using correlation matrix memories. In: NINTH INTERNATIONAL CONFERENCE ON ARTIFICIAL NEURAL NETWORKS (ICANN99), VOLS 1 AND 2. 9th International Conference on Artificial Neural Networks (ICANN99), 07-10 Sep 1999. IEEE , EDISON , pp. 619-624.

Austin, Jim orcid.org/0000-0001-5762-8614, Hobson, Stephen John, Burles, Nathan John orcid.org/0000-0003-3030-1675 et al. (1 more author) (2012) A Rule Chaining Architecture Using a Correlation Matrix Memory. In: Artificial Neural Networks and Machine Learning – ICANN 2012. Lecture Notes in Computer Science . SPRINGER-VERLAG BERLIN , pp. 49-56.

Austin, Jim orcid.org/0000-0001-5762-8614, Jackson, Tom, Hodge, Victoria Jane orcid.org/0000-0002-2469-0224 et al. (1 more author) (2010) AURA-Alert: The use of Binary Associative Memories for Condition Monitoring Applications. In: CM 2010 The Seventh International Conference on Condition Monitoring and Machinery Failure Prevention Technologies, 22-24 Jun 2010.

Avizheh, Sepideh, Safavi-Naini, Reihaneh and Shahandashti, Siamak F. orcid.org/0000-0002-5284-6847 (2018) A New Look at the Refund Mechanism in the Bitcoin Payment Protocol. In: Financial Cryptography and Data Security 2018, 26 Feb - 02 Mar 2018, Curaçao.

Aydal, Emine G., Paige, Richard F. orcid.org/0000-0002-1978-9852 and Woodcock, Jim orcid.org/0000-0001-7955-2702 (2008) Observations for Assertion-based Scenarios in the context of Model Validation and Extension to Test Case Generation. In: First International Conference on Software Testing Verification and Validation, ICST 2008, Lillehammer, Norway, April 9-11, 2008, Workshops Proceedings. UNSPECIFIED. IEEE Computer Society Press , pp. 11-20.

Aziz, Furqan, Hancock, Edwin R. orcid.org/0000-0003-4496-2028 and Wilson, Richard C. orcid.org/0000-0001-7265-3033 (2016) Graph Entropy from Closed Walk and Cycle Functionals. In: Structural, Syntactic, and Statistical Pattern Recognition - Joint IAPR International Workshop, S+SSPR 2016, Mérida, Mexico, November 29 - December 2, 2016, Proceedings. UNSPECIFIED. Lecture Notes in Computer Science . Springer International Publishing , pp. 174-184.

Aziz, Furqan, Wilson, Richard C. orcid.org/0000-0001-7265-3033 and Hancock, Edwin R. orcid.org/0000-0003-4496-2028 (2014) Commute time for a gaussian wave packet on a graph. In: Structural, Syntactic, and Statistical Pattern Recognition:Joint IAPR International Workshop, S+SSPR 2014, Joensuu, Finland, August 20-22, 2014. Proceedings. Joint IAPR International Workshop on Structural, Syntactic, and Statistical Pattern Recognition, S+SSPR 2014, 20-22 Aug 2014. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer-Verlag , pp. 374-383.

Aziz, Furqan, Wilson, Richard Charles orcid.org/0000-0001-7265-3033 and Hancock, Edwin R orcid.org/0000-0003-4496-2028 (2018) A Wave Packet Signature for Complex Networks. Journal of Complex Networks. pp. 1-29. ISSN 2051-1329

Azzeh, Mohammad, Neagu, Daniel and Cowling, Peter I. orcid.org/0000-0003-1310-6683 (2010) Fuzzy grey relational analysis for software effort estimation. Empirical Software Engineering. pp. 60-90. ISSN 1382-3256

B

Baez-Monroy, V. and O'Keefe, S. (2006) The identification and extraction of itemset support defined by the weight matrix of a Self-Organising Map. In: International Joint Conference on Neural Networks, 2006. IJCNN '06. IJCNN 2006, July 16-21, 2006, Vancouver, BC, Canada. , pp. 6550-6557. ISBN 0-7803-9490-9

Baez-Monroy, V.O. and O’Keefe, S. (2005) Principles of employing a self-organizing map as a frequent itemset miner. In: Artificial Neural Networks: Biological Inspirations. Porceedings of ICANN 2005. ICANN 2005: 15th International Conference, September 11-15, 2005, Warsaw, Poland. Lecture Notes in Computer Science, Part I (3696). Springer-verlag , Berlin / Heidelberg , pp. 363-370. ISBN 978-3-540-28752-0

Bahonar, Hoda, Mirzaei, Abdolreza and Wilson, Richard Charles orcid.org/0000-0001-7265-3033 (2017) Diffusion Wavelet Embedding: a Multi-resolution Approach for Graph Embedding in Vector Space. Pattern Recognition. pp. 1-37. ISSN 0031-3203

Bai, L., Cui, Lixin, Escolano, F. et al. (1 more author) (2016) An edge-based matching kernel on commute-time spanning trees. In: Davis, L., Bimbo, A. Del and Lovell, B., (eds.) 2016 23rd International Conference on Pattern Recognition (ICPR). UNSPECIFIED. IEEE Computer Society Press , Los Alamitos, CA, USA , pp. 2103-2108.

Bai, L., Cui, Lixin, Wang, Yue orcid.org/0000-0002-2482-005X et al. (3 more authors) (2016) Shape classification with a vertex clustering graph kernel. In: Davis, L., Bimbo, A. Del and Lovell, B., (eds.) 2016 23rd International Conference on Pattern Recognition (ICPR). UNSPECIFIED. IEEE Computer Society Press , Los Alamitos, CA, USA , pp. 2634-2639.

Bai, L., Rossi, L., Cui, L. et al. (1 more author) (2016) A transitive aligned Weisfeiler-Lehman subtree kernel. In: Davis, L., Bimbo, A. Del and Lovell, B., (eds.) 2016 23rd International Conference on Pattern Recognition (ICPR). UNSPECIFIED. IEEE Computer Society Press , Los Alamitos, CA, USA , pp. 396-401.

Bai, L., Rossi, L., Cui, Lixin et al. (1 more author) (2016) A novel entropy-based graph signature from the average mixing matrix. In: Davis, L., Bimbo, A. Del and Lovell, B., (eds.) 2016 23rd International Conference on Pattern Recognition (ICPR). UNSPECIFIED. IEEE Computer Society Press , Los Alamitos, CA, USA , pp. 1339-1344.

Bai, Lu, Cui, Lixin, Rossi, Luca et al. (3 more authors) (2018) Local-global nested graph kernels using nested complexity traces. Pattern Recognition Letters. ISSN 0167-8655

Bai, Lu, Cui, Lixin, Xiao, Bai et al. (1 more author) (2018) Deep Depth-based Representations of Graphs through Deep Learning Networks. Neurocomputing. ISSN 0925-2312 (In Press)

Bai, Lu, Escolano, Francisco and Hancock, Edwin R orcid.org/0000-0003-4496-2028 (2016) Depth-based Hypergraph Complexity Traces from Directed Line Graphs. Pattern Recognition. pp. 229-240. ISSN 0031-3203

Bai, Lu and Hancock, Edwin R orcid.org/0000-0003-4496-2028 (2016) Fast Depth-Based Subgraph Kernels for Unattributed Graphs. Pattern Recognition. pp. 233-245. ISSN 0031-3203

Bai, Lu, Ren, Peng, Escolano, Francisco et al. (1 more author) (2014) Depth-Based Complexity Traces of Hypergraphs from Directed Line Graphs. In: Proceedings of the 22nd International Conference on Pattern Recognition. 22nd International Conference on Pattern Recognition, 24-28 Aug 2014. IEEE Computer Society Press .

Bai, Lu, Rossi, Luca, Cui, Lixin et al. (1 more author) (2017) A Nested Alignment Graph Kernel through the Dynamic Time Warping Framework. In: Graph-Based Representations in Pattern Recognition - 11th IAPR-TC-15 International Workshop, GbRPR 2017, Anacapri, Italy, May 16-18, 2017, Proceedings. UNSPECIFIED. Springer Berlin / Heidelberg , pp. 59-69.

Bai, Lu, Rossi, Luca, Cui, Lixin et al. (4 more authors) (2016) Quantum Jensen-Shannon Graph Kernels using Discrete-time Quantum Walks. Pattern Recognition Letters. ISSN 0167-8655

Bai, Lu, Rossi, Luca and Hancock, Edwin R orcid.org/0000-0003-4496-2028 (2015) An Aligned Subtree Kernel for Weighted Graphs. In: International Conference on Machine Learning (ICML) 2015. UNSPECIFIED. , pp. 30-39.

Bai, Lu, Rossi, Luca, Torsello, Andrea et al. (1 more author) (2015) A quantum Jensen-Shannon graph kernel for unattributed graphs. Pattern Recognition. pp. 344-355. ISSN 0031-3203

Bai, Lu, Zhang, Zhihong and Hancock, Edwin R orcid.org/0000-0003-4496-2028 (2015) A Graph Kernel based on Jensen-Shannon Representation. In: International Joint Conference on Artificial Intelligence (IJCAI). UNSPECIFIED. .

Bailey, C. (2004) A proposed mechanism for super-pipelined instruction-issue for ILP stack. In: Proceedings of Euromicro Symposium on Digital Systems. DSD 2004, 31 Aug.-3 Sept. 2004, Rennes. , pp. 121-129. ISBN 0-7695-2203-3

Bak, Christopher Peter and Plump, Detlef orcid.org/0000-0002-1148-822X (2016) Compiling Graph Programs to C. In: Echahed, Rachid and Minas, Mark, (eds.) Proceedings 9th International Conference on Graph Transformation (ICGT 2016). 9th International Conference on Graph Transformation (ICGT 2016), 05-06 Jul 2016. Lecture Notes in Computer Science . Springer , pp. 102-117.

Barber, H. and Kudenko, D. orcid.org/0000-0003-3359-3255 (2009) Generation of Adaptive Dilemma-Based Interactive Narratives. Computational Intelligence and AI in Games, IEEE Transactions on. 309 -326. ISSN 1943-068X

Barmpis, Konstantinos, Kolovos, Dimitrios orcid.org/0000-0002-1724-6563 and Hingorani, Justin (2018) Towards a framework for writing executable natural language rules. In: Modelling Foundations and Applications - 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Proceedings. 14th European Conference on Modelling Foundations and Applications, ECMFA 2018 Held as Part of STAF 2018, 26-28 Jun 2018. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer-Verlag , pp. 251-263.

Bartlett, M. and Kazakov, D. (2005) The origins of syntax: from navigation to language. Connection Science, 17 (3&4). pp. 271-288. ISSN 0954-0091

Bartlett, S.D., Sanders, B.C., Braunstein, S.L. et al. (1 more author) (2002) Efficient classical simulation of continuous variable quantum information processes. Physical Review Letters, 88 (9). 097904-1. ISSN 0031-9007

Bate, I. and Burns, A. (2003) An Integrated Approach to Scheduling in Safety-Critical Embedded Control Systems. Real-Time Systems, 25 (1). pp. 5-37. ISSN 0922-6443

Bate, I., Conmy, P., Kelly, T. et al. (1 more author) (2001) Use of Modern Processors in Safety Critical Applications. The Computer Journal, 44 (6). pp. 531-543. ISSN 0010-4620

Bate, I. and Emberson, P. (2006) Incorporating scenarios and heuristics to improve flexibility in real-time embedded systems. In: Proceedings of the 12th IEEE Real-Time And Embedded Technology And Applications Symposium. RTAS 2006, 04-07 April 2006, San Jose, California , United States. , pp. 221-230. ISBN 0-7695-2516-4

Bate, I. and Kelly, T. (2003) Architectural Considerations in the Certification of Modular Systems. Reliability Engineering and System Safety, 81 ( 3). pp. 303-324. ISSN 0951-8320

Bate, I., McDermid, J. and Nightingale, P.W. (2003) Establishing timing requirements for control loops in real-time systems. Microprocessors and Microsystems, 27 (4). pp. 159-169. ISSN 0141-9331

Bate, Iain John orcid.org/0000-0003-2415-8219, Burns, Alan orcid.org/0000-0001-5621-8816 and Davis, Robert Ian orcid.org/0000-0002-5772-0928 (2017) An Enhanced Bailout Protocol for Mixed Criticality Embedded Software. IEEE Transactions on Software Engineering. ISSN 0098-5589

Baxter, J. and Cavalcanti, A. L. C. orcid.org/0000-0002-0831-1976 (2017) Algebraic Compilation of Safety-Critical Java Bytecode. In: Polikarpova, N. and Schneider, S., (eds.) Integrated Formal Methods. UNSPECIFIED. Springer , pp. 161-176.

Bernat, G. (2003) Response time analysis of asynchronous real-time systems. Real-Time Systems, 25 (2-3). pp. 131-156. ISSN 0922-6443

Bernat, G., Burns, A. and Liamosi, A. (2001) Weakly hard real-time systems. IEEE Transactions on Computers, 50 (4). pp. 308-321. ISSN 0018-9340

Bernat, G. and Cayssials, R. (2001) Guaranteed on-line weakly-hard real-time systems. In: Proceedings of the 22nd IEEE Real-Time Systems Symposium. RTSS 2001, 3-6 Dec. 2001, London, UK. , pp. 25-35.

Bernat, G., Colin, A. and Petters, S.M. (2002) WCET analysis of probabilistic hard real-time systems. In: 23rd IEEE Real-Time Systems Symposium. RTSS 2002, December 3-5, 2002, Austin, TX. (USA). IEEE , pp. 279-288.

Bevan, Mark Alistair orcid.org/0000-0002-7794-8380, Attuyer, Katia, Cambridge, Howard Michael et al. (8 more authors) (2017) How can the built environment better support mobility and wellbeing in later life (Leeds). UNSPECIFIED.

Bevan, Mark Alistair orcid.org/0000-0002-7794-8380, Croucher, Karen Lesley orcid.org/0000-0001-9665-3564, Cinderby, Steven orcid.org/0000-0002-8394-2831 et al. (8 more authors) (2017) How can the built environment better support mobility and wellbeing in later life (York). UNSPECIFIED.

Bevan, Mark Alistair orcid.org/0000-0002-7794-8380, Croucher, Karen Lesley orcid.org/0000-0001-9665-3564, Cinderby, Steven orcid.org/0000-0002-8394-2831 et al. (8 more authors) (2017) How can the built environment better support mobility and wellbeing in later life (Hexham). UNSPECIFIED.

Bevan, Mark Alistair orcid.org/0000-0002-7794-8380, Petrie, Helen orcid.org/0000-0002-0100-9846, Cambridge, Howard Michael et al. (12 more authors) (2017) Mobility and wellbeing in later life. Summary of key findings and recommendations. UNSPECIFIED.

Bird, R. F., Wright, S. A. orcid.org/0000-0001-7133-8533, Beckingsale, D. A. et al. (1 more author) (2013) Performance modelling of magnetohydrodynamics codes. In: Computer Performance Engineering - 9th European Workshop, EPEW 2012, Revised Selected Papers. 9th European Performance Engineering Workshop, EPEW 2012, 30 Jul 2012. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . , pp. 197-209.

Birk, Max V., Iacovides, Ioanna orcid.org/0000-0001-9674-8440, Johnson, Daniel et al. (1 more author) (2015) The False Dichotomy between Positive and Negative Affect in Game Play. In: UNSPECIFIED.

Bletsas, K. and Audsley, N. (2006) Optimal priority assignment in the presence of blocking. Information Processing Letters, 99 ( 3). pp. 83-86. ISSN 0020-0190

Block, Florian Oliver orcid.org/0000-0003-0348-6731, Hodge, Victoria J. orcid.org/0000-0002-2469-0224, Hobson, Stephen John et al. (5 more authors) (2018) Narrative Bytes : Data-Driven Content Production in Esports. In: TVX '18 Proceedings of the 2018 ACM International Conference on Interactive Experiences for TV and Online Video. UNSPECIFIED. New York, NY: ACM Press , pp. 29-41.

Blythe, M.A., Monk, A.F. and Doughty, K. (2005) Socially dependable design: The challenge of ageing populations for HCI. Interacting With Computers, 17 (6). pp. 672-689. ISSN 0953-5438

Boland, Miguel and Soares Indrusiak, Leandro orcid.org/0000-0002-9938-2920 (2018) Analysis of the use of genetic algorithms for indoor localisation via cloud point matching. In: Proceedings of the Genetic and Evolutionary Computation Conference. The Genetic and Evolutionary Computation Conference, 15-19 Jul 2018. . (In Press)

Borba, P., Sampaio, A., Cavalcanti, A. et al. (1 more author) (2004) Algebraic reasoning for object-oriented programming. Science of Computer Programming, 52 (1-3). pp. 53-100. ISSN 0167-6423

Borgo, Rita, Duke, David, Wallace, Malcolm et al. (1 more author) (2006) Multi-cultural visualization : how functional programming can enrich visualization (and vice versa). In: Vision, Modeling, and Visualization 2006 : Proceedings, November 22 - 24, 2006. AKA Verlag - IOS Press , pp. 245-252.

Bors, A G orcid.org/0000-0001-7838-0021, Hancock, E R orcid.org/0000-0003-4496-2028 and Wilson, R C orcid.org/0000-0001-7265-3033 (2003) Terrain analysis using radar shape-from-shading. IEEE Transactions on Pattern Analysis and Machine Intelligence. pp. 974-992. ISSN 0162-8828

Bors, A G orcid.org/0000-0001-7838-0021 and Pitas, I (1999) Object classification in 3-D images using alpha-trimmed mean radial basis function network. IEEE Transactions on Image Processing. pp. 1744-1756. ISSN 1057-7149

Bors, A G orcid.org/0000-0001-7838-0021 and Pitas, I (2000) Prediction and Tracking of Moving Objects in Image Sequences. IEEE Transactions on Image Processing. pp. 1441-1445. ISSN 1057-7149

Bors, A.G. (2006) Watermarking mesh based representations of 3-D objects using local moments. IEEE Transactions on Image Processing, 15 (3). pp. 687-701. ISSN 0162-8828

Bors, A.G. orcid.org/0000-0001-7838-0021, Kechagias, L. and Pitas, I. (2002) Binary morphological shape-based interpolation applied to 3-D tooth reconstruction. IEEE Transactions on Medical Imaging. pp. 100-108. ISSN 0278-0062

Botincan, Matko, Dodds, Michael David orcid.org/0000-0002-4439-0130 and Jagannathan, Suresh (2012) Resource-sensitive synchronization inference by abduction. In: POPL '12 Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages. UNSPECIFIED. ACM , New York , pp. 309-322.

Brabyn, Sally orcid.org/0000-0001-5381-003X, Araya, Ricardo, Barkham, Michael et al. (16 more authors) (2016) The second Randomised Evaluation of the Effectiveness, cost-effectiveness and Acceptability of Computerised Therapy (REEACT-2) trial : does the provision of telephone support enhance the effectiveness of computer-delivered cognitive behaviour therapy? A randomised controlled trial. Health technology assessment. pp. 1-64. ISSN 2046-4924

Bradshaw, J, Finch, N orcid.org/0000-0001-5753-1783, Kemp, P, Mayhew, E and Williams, J (2003) Gender and poverty in Britain. Working paper series, no. 6 . Equal Opportunities Commission .

Bragg, John Edward and Habli, Ibrahim orcid.org/0000-0003-2736-8238 (2018) What is Acceptably Safe for Reinforcement Learning? In: First International Workshop on Artificial Intelligence Safety Engineering, 18 Sep 2018.

Braquehais, Rudy and Runciman, Colin orcid.org/0000-0002-0151-3233 (2018) Extrapolate: generalizing counterexamples of functional test properties. In: IFL 2017: 29th Symposium on the Implementation and Application of Functional Programming Languages. UNSPECIFIED. ASSOC COMPUTING MACHINERY , New York . (In Press)

Braquehais, Rudy and Runciman, Colin orcid.org/0000-0002-0151-3233 (2017) Speculate: discovering conditional equations and inequalities about black-box functions by reasoning from test results. In: Proceedings of the ACM SIGPLAN Haskell Symposium 2017. UNSPECIFIED. ASSOC COMPUTING MACHINERY , pp. 40-51.

Braun, Daniel, Adesso, Gerardo, Benatti, Fabio et al. (4 more authors) (2018) Quantum enhanced measurements without entanglement. Reviews of Modern Physics. 035006. ISSN 0034-6861

Braunstein, S.L., Cerf, N.J., Iblisdir, S. et al. (2 more authors) (2001) Optimal cloning of coherent states with a linear amplifier and beam splitters. Physical Review Letters, 86 (21). pp. 4938-4941. ISSN 0031-9007

Braunstein, Sam orcid.org/0000-0003-4790-136X and Pirandola, Stefano orcid.org/0000-0001-6165-5615 (2012) Side-Channel-Free Quantum Key Distribution. Physical Review Letters. 130502. ISSN 1079-7114

Braunstein, Sam orcid.org/0000-0003-4790-136X, Pirandola, Stefano orcid.org/0000-0001-6165-5615 and Zyczkowski, Karol (2013) Better late than never : Information retrieval from black holes. Physical Review Letters. 101301. ISSN 1079-7114

Braunstein, Samuel Leon orcid.org/0000-0003-4790-136X and Pirandola, Stefano orcid.org/0000-0001-6165-5615 (2018) Quantum information vs. black hole physics : Deep firewalls from narrow assumptions. PHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY OF LONDON SERIES A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES. ISSN 0962-8428

Bril, Reinder, Altmeyer, Sebastian, van den Heuvel, Martijn et al. (2 more authors) (2017) Fixed priority scheduling with pre-emption thresholds and cache-related pre-emption delays: : integrated analysis and evaluation. Real-Time Systems. pp. 1-64. ISSN 1573-1383

Brisolara, Lisane, Ferreira, Paulo R. and Soares Indrusiak, Leandro orcid.org/0000-0002-9938-2920 (2016) Application modeling for performance evaluation on event-triggered wireless sensor networks. Design Automation for Embedded Systems. pp. 269-287. ISSN 1572-8080

Brooke, P.J., Paige, R.F. and Jacob, J.L. (2007) A CSP Model of Eiffel's SCOOP. Formal Aspects of Computing, 19 (4). pp. 487-512. ISSN 0934-5043

Broster, I. and Burns, A. (2003) An Analysable Bus-Guardian for Event-Triggered Communication. In: Proceedings of the 24th IEEE Real-Time Systems Symposium. RTSS’03, December 3-5, 2003, Cancun, Mexico. , pp. 410-419. ISBN 0-7695-2044-8/03

Brown, Dominic, Bettencourt, Matthew T., Wright, Steven A. orcid.org/0000-0001-7133-8533 et al. (2 more authors) (2017) Performance of second order particle-in-cell methods on modern many-core architectures. In: IOP Computational Plasma Physics Conference, 20-22 Nov 2017, University of York. (In Press)

Brown, I.D.K., Stepney, S., Sudbery, A. et al. (1 more author) (2005) Searching for highly entangled multi-qubit states. Journal of Physics A: Mathematical and General, 38 (5). pp. 1119-1131. ISSN 03054470

Brown, R., Tomasello, L., Mitchell, D. A. et al. (2 more authors) (2017) Ternary graph as a questionnaire : A new approach to assessment of quality of life? British journal of oral & maxillofacial surgery. pp. 679-684. ISSN 0266-4356

Brownlee, A. E. I., Burles, N. orcid.org/0000-0003-3030-1675 and Swan, J. (2017) Search-Based Energy Optimization of Some Ubiquitous Algorithms. IEEE Transactions on Emerging Topics in Computational Intelligence. pp. 188-201.

Bruch, Jaison Valmor, Alves da Silva, Eduardo, Zeferino, Cesar Albenes et al. (1 more author) (2017) Deadline, Energy and Buffer-Aware Task Mapping Optimization in NoC-Based SoCs Using Genetic Algorithms. In: VII Brazilian Symposium on Computing Systems Engineering (SBESC). UNSPECIFIED. Brazilian Symposium on Computing Systems Engineering (SBESC) . IEEE , pp. 86-93.

Brys, Tim, Nowé, Ann, Kudenko, Daniel orcid.org/0000-0003-3359-3255 et al. (1 more author) (2014) Combining Multiple Correlated Reward and Shaping Signals by Measuring Confidence. In: The 28th Conference of the American Association on Artificial Intelligence:AAAI 2014. UNSPECIFIED. .

Bunt, R. A., Wright, S. A. orcid.org/0000-0001-7133-8533, Jarvis, S. A. et al. (2 more authors) (2017) Predictive Evaluation of Partitioning Algorithms through Runtime Modelling. In: Proceedings - 23rd IEEE International Conference on High Performance Computing, HiPC 2016. 23rd IEEE International Conference on High Performance Computing, HiPC 2016, 19-22 Dec 2016. Institute of Electrical and Electronics Engineers Inc. , pp. 351-361.

Burles, Nathan orcid.org/0000-0003-3030-1675, O'Keefe, Simon orcid.org/0000-0001-5957-2474 and Austin, James orcid.org/0000-0001-5762-8614 (2014) Incorporating scale invariance into the cellular associative neural network. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer-Verlag , pp. 435-442.

Burles, Nathan John orcid.org/0000-0003-3030-1675 (2014) Pattern Recognition Using Associative Memories. PhD thesis, UNSPECIFIED.

Burles, Nathan John orcid.org/0000-0003-3030-1675 (2010) ‘Quantum’ Parallel computation with neural networks. Masters thesis, UNSPECIFIED.

Burles, Nathan John orcid.org/0000-0003-3030-1675, Austin, Jim orcid.org/0000-0001-5762-8614 and O'Keefe, Simon orcid.org/0000-0001-5957-2474 (2013) Extending the Associative Rule Chaining Architecture for Multiple Arity Rules. In: Proceedings of the Ninth International Workshop on Neural-Symbolic Learning and Reasoning. Ninth International Workshop on Neural-Symbolic Learning and Reasoning, 05 Aug 2013. , pp. 47-51.

Burles, Nathan John orcid.org/0000-0003-3030-1675, O'Keefe, Simon orcid.org/0000-0001-5957-2474 and Austin, Jim orcid.org/0000-0001-5762-8614 (2013) Improving the associative rule chaining architecture. In: Mladenov, V, Palm, G, Appollini, B, Koprinkova-Hristova, P, Villa, A and Kasabov, N, (eds.) Artificial Neural Networks and Machine Learning - ICANN 2013. Lecture Notes in Computer Science . Springer-Verlag , Berlin , pp. 98-105.

Burles, Nathan John orcid.org/0000-0003-3030-1675, O'Keefe, Simon orcid.org/0000-0001-5957-2474, Austin, Jim orcid.org/0000-0001-5762-8614 et al. (1 more author) (2013) ENAMeL : a language for binary correlation matrix memories : reducing the memory constraints of matrix memories. Neural Processing Letters. pp. 1-23. ISSN 1573-773X

Burles, Nathan John orcid.org/0000-0003-3030-1675, Swan, Jeremiah, Bowles, Edward et al. (3 more authors) (2015) Embedded Dynamic Improvement. In: GECCO Companion '15. ACM , New York , pp. 831-832.

Burns, A. orcid.org/0000-0001-5621-8816 and Hayes, I.J. (2010) A timeband framework for modelling real-time systems. Real-Time Systems. pp. 106-142. ISSN 1573-1383

Burns, A. and Lin, T. -M. (2006) An engineering process for the verification of real-time systems. Formal Aspects of Computing, 19 (1). pp. 111-136. ISSN 0934-5043

Burns, A. orcid.org/0000-0001-5621-8816 and Wellings, A.J. orcid.org/0000-0002-3338-0623 (2016) The Deadline Floor Protocol and Ada. ACM Ada Letters. pp. 29-34. ISSN 1094-3641

Burns, A. and Wellings, A.J. (2006) Programming Execution-Time Servers in Ada 2005. In: Proceedings of the 27th IEEE Real-Time Systems Symposium. RTSS '06, December 5-8, 2006, Rio de Janeiro, Brazil. IEEE , 47 - 56.

Burns, A. orcid.org/0000-0001-5621-8816 and Wellings, A.J. orcid.org/0000-0002-3338-0623 (2016) Synchronous Task Control and Synchronous Barriers. ACM Ada Letters. pp. 35-38. ISSN 1094-3641

Burns, A. orcid.org/0000-0001-5621-8816 and Zhang, S. (1995) An optimal synchronous bandwidth allocation scheme for guaranteeing synchronous message deadlines with the timed-token MAC protocol. IEEE/ACM Transactions on Networking. pp. 729-741. ISSN 1063-6692

Burns, Alan orcid.org/0000-0001-5621-8816 and Baruah, Sanjoy (2017) Migrating Mixed Criticality Tasks within a Cyclic Executive Framework. In: Reliable Software Tecnologies, 01 Jun 2017.

Burns, Alan orcid.org/0000-0001-5621-8816, Baruah, Sanjoy and Guo, Zhishan (2016) Preemptive uniprocessor scheduling of dual-criticality implicit-deadline sporadic tasks. In: Proc of ECRTS. UNSPECIFIED. , pp. 1-8.

Burns, Alan orcid.org/0000-0001-5621-8816 and Davis, Robert Ian orcid.org/0000-0002-5772-0928 (2017) Response Time Analysis for Mixed Criticality Systems with Arbitrary Deadlines. In: 5th International Workshop on Mixed Criticality Systems (WMC 2017), 05 Dec 2017.

Burns, Alan orcid.org/0000-0001-5621-8816 and Davis, Robert Ian orcid.org/0000-0002-5772-0928 (2017) A Survey of Research into Mixed Criticality Systems. ACM Comput. Surv.. 82. ISSN 0360-0300

Burns, Alan orcid.org/0000-0001-5621-8816, Davis, Robert Ian orcid.org/0000-0002-5772-0928, Baruah, Sanjoy et al. (1 more author) (2018) Robust Mixed-Criticality Systems. IEEE Transactions on Computers. ISSN 0018-9340

Burns, Alan orcid.org/0000-0001-5621-8816, Deutschbein, C, Fleming, Thomas David et al. (1 more author) (2017) Multi-core Cyclic Executives for Safety-Critical Systems. In: Dependable Software Engineering Theories, Tools and Application, 23-25 Oct 2017.

Burns, Alan orcid.org/0000-0001-5621-8816, Fleming, Thomas David, Baruah, S et al. (3 more authors) (2017) Corrections to and Discussion of "Implementation and Evaluation of Mixed-criticality Scheduling Approaches for Sporadic Tasks". ACM Transactions on Embedded Computing Systems (TECS). 77:1-&&:4.

Burns, Alan orcid.org/0000-0001-5621-8816, Harbin, James Robert orcid.org/0000-0002-6479-8600, Soares Indrusiak, Leandro orcid.org/0000-0002-9938-2920 et al. (3 more authors) (2018) AirTight: A Resilient Wireless Communication Protocol for Mixed-Criticality Systems. In: IEEE Embedded and Real-Time Computing Systems and Applications:RTCSA. UNSPECIFIED. .

Butterfield, A. and Woodcock, J. (2005) prialt in Handel-C: an operational semantics. International Journal on Software Tools for Technology Transfer, 7 (3). pp. 248-267. ISSN 1433-2779

Bézivin, Jean, Paige, Richard F. orcid.org/0000-0002-1978-9852, Aßmann, Uwe et al. (2 more authors) (2008) Manifesto - Model Engineering for Complex Systems. In: Perspectives Workshop: Model Engineering of Complex Systems (MECS). Perspectives Workshop: Model Engineering of Complex Systems (MECS), 10-13 Aug 2008. Dagstuhl Seminar Proceedings . .

C

Cabras, Ignazio, Goumagias, Nikolaos D., Fernandes, Kiran et al. (5 more authors) (2017) Exploring survival rates of companies in the UK video-games industry : An empirical study. Technological Forecasting and Social Change. pp. 305-314. ISSN 0040-1625

Cairns, P. and Gow, J. (2007) Integrating searching and authoring in Mizar. Journal of Automated Reasoning, 39 (2). pp. 141-160. ISSN 0168-7433

Cairns, P., Gow, J. and Collins, P. (2003) On dynamically presenting a topology course. Annals of Mathematics and Artificial Intelligence, 38 (1-3). pp. 91-104. ISSN 1012-2443

Cairns, Paul Antony orcid.org/0000-0002-6508-372X and Thimbleby, Harold (2018) From premature semantics to mature interaction programming. In: Howes, Andrew, (ed.) Computational Interaction. Oxford: Oxford University Press , pp. 213-248.

Calderon Trilla, Jose Manuel, Poulding, Simon Marcus and Runciman, Colin orcid.org/0000-0002-0151-3233 (2015) Weaving Parallel Threads. In: Barros, M and Labiche, Y, (eds.) Proceedings of International Symposium on Search-based Software Engineering. UNSPECIFIED. LNCS . Springer , Bergamo, Italy , pp. 62-76.

Calinescu, Radu orcid.org/0000-0002-2678-9260, Gerasimou, Simos and Banks, Alec (2015) Self-Adaptive Software with Decentralised Control Loops. In: 18th International Conference on Fundamental Approaches to Software Engineering (FASE). UNSPECIFIED. Lecture Notes in Computer Science . Springer Berlin / Heidelberg , pp. 235-251.

Calinescu, Radu orcid.org/0000-0002-2678-9260, Ghezzi, Carlo, Johnson, Kenneth Harold Anthony et al. (3 more authors) (2016) Formal Verification with Confidence Intervals to Establish Quality of Service Properties of Software Systems. IEEE Transactions on Reliability. pp. 107-125. ISSN 0018-9529

Calinescu, Radu orcid.org/0000-0002-2678-9260, Ghezzi, Carlo, Kwiatkowska, Marta et al. (1 more author) (2012) Self-adaptive software needs quantitative verification at runtime. Communications of the ACM. pp. 69-77. ISSN 0001-0782

Calinescu, Radu Constantin orcid.org/0000-0002-2678-9260, Ceska, Milan, Gerasimou, Simos et al. (2 more authors) (2017) Designing Robust Software Systems through Parametric Markov Chain Synthesis. In: IEEE International Conference on Software Architecture (ICSA 2017). UNSPECIFIED. IEEE , pp. 1-10.

Calinescu, Radu Constantin orcid.org/0000-0002-2678-9260, Ceska, Milan, Gerasimou, Simos et al. (2 more authors) (2018) Efficient Synthesis of Robust Models for Stochastic Systems. Journal of Systems and Software. pp. 140-158. ISSN 0164-1212

Calinescu, Radu Constantin orcid.org/0000-0002-2678-9260, Ceska, Milan, Gerasimou, Simos et al. (2 more authors) (2017) RODES: A Robust-Design Synthesis Tool for Probabilistic Systems. In: RODES: A Robust-Design Synthesis Tool for Probabilistic Systems. UNSPECIFIED. 14th International Conference on Quantitative Evaluation of Systems . , pp. 304-308.

Calinescu, Radu Constantin orcid.org/0000-0002-2678-9260, Gerasimou, Simos, Shevtsov, Stepan et al. (1 more author) (2017) UNDERSEA : An Exemplar for Engineering Self-Adaptive Unmanned Underwater Vehicles. In: 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2017). UNSPECIFIED. IEEE , pp. 1-7. (In Press)

Calinescu, Radu Constantin orcid.org/0000-0002-2678-9260, Johnson, Kenneth Harold Anthony and Paterson, Colin Alexander orcid.org/0000-0002-6678-3752 (2016) FACT : A Probabilistic Model Checker for Formal Verification with Confidence Intervals. In: Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016. UNSPECIFIED. Lecture Notes in Computer Science (LNCS) . Springer Berlin / Heidelberg , pp. 540-546.

Calinescu, Radu Constantin orcid.org/0000-0002-2678-9260, Weyns, Danny, Gerasimou, Simos et al. (3 more authors) (2017) Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases. IEEE Transactions on Software Engineering. pp. 1-30. ISSN 0098-5589

Calinescu, Radu Constantin orcid.org/0000-0002-2678-9260 and Yonbawi, Saud Reda (2018) Towards a Hierarchical-Control Architecture for Distributed Autonomous Systems. In: Workshop on Verification and Validation of Autonomous Systems. UNSPECIFIED. .

Carcassoni, M and Hancock, E R orcid.org/0000-0003-4496-2028 (2003) Correspondence matching with modal clusters. IEEE Transactions on Pattern Analysis and Machine Intelligence. pp. 1609-1615. ISSN 0162-8828

Carvalho, G., Cavalcanti, A. L. C. orcid.org/0000-0002-0831-1976 and Sampaio, A. C. A. (2016) Modelling Timed Reactive Systems from Natural-Language Requirements. Formal Aspects of Computing. pp. 725-765. ISSN 0934-5043

Castelan, M., Smith, W.A.P. and Hancock, E.R. (2007) A coupled statistical model for face shape recovery from brightness images. IEEE Transactions on Image Processing, 16 ( 4). 1139 - 1151. ISSN 1057-7149

Cavalcanti, A. orcid.org/0000-0002-0831-1976, Miyazawa, A. orcid.org/0000-0003-2233-9091, Wellings, A. orcid.org/0000-0002-3338-0623 et al. (2 more authors) (2017) Java in the Safety-Critical Domain. In: Bowen, J., Liu, Z. and Zhang, Z., (eds.) Engineering Trustworthy Software Systems:Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures. UNSPECIFIED. Lecture Notes in Computer Science . Springer , pp. 110-150.

Cavalcanti, A. and Naumann, D.A. (2002) Forward simulation for data refinement of classes. In: FME 2002: Formal Methods - Getting IT Right. International Symposium of Formal Methods Europe, July 22–24, 2002, Copenhagen, Denmark. Lecture Notes In Computer Science (2391). Springer , Berlin / Heidelberg , pp. 133-140. ISBN 978-3-540-43928-8

Cavalcanti, A., Sampaio, A. and Woodcock, J. (2005) Unifying classes and processes. International Journal on Software & Systems Modelling, 4 (3). pp. 277-296. ISSN 1619-1366

Cavalcanti, A., Sampaio, A. and Woodcock, J. (2003) A refinement strategy for circus. Formal Aspects of Computing, 15 (2-3). pp. 146-181. ISSN 0934-5043

Cavalcanti, A., Woodcock, J. and Dunne, S. (2006) Angelic Nondeterminism in the Unifying Theories of Programming. Formal Aspects of Computing, 18 (3). pp. 288-307. ISSN 0934-5043

Cavalcanti, A. L. C. orcid.org/0000-0002-0831-1976, Woodcock, J. C. P. orcid.org/0000-0001-7955-2702 and Amalio, N. orcid.org/0000-0001-8751-5039 (2016) Behavioural Models for FMI Co-simulations. In: Sampaio, A. C. A. and Wang, F., (eds.) International Colloquium on Theoretical Aspects of Computing. UNSPECIFIED. Lecture Notes in Computer Science . Springer , pp. 255-273.

Cazorla, Francisco J., Abella, Jaume, Andersson, Jan et al. (24 more authors) (2016) Improving Measurement-Based Timing Analysis through Randomisation and Probabilistic Analysis. In: Digital System Design (DSD), 2016 Euromicro Conference on. Digital System Design (DSD), 2016 Euromicro Conference on, 31 Aug - 02 Sep 2016. IEEE , pp. 276-285.

Challis, B.P. and Edwards, A.D.N. (2001) Design principles for tactile interaction. In: Brewster, S. and Murray-Smith, R., (eds.) Haptic Human-Computer Interaction. First International Workshop on Haptic Human-Computer Interaction, August 31 – September 1, 2000, Glasgow, UK. Lecture Notes in Computer Science (2058). Springer-verlag , pp. 17-24. ISBN 978-3-540-42356-0

Chambers, S. A., Du, Yongchen, Zhu, Z. et al. (10 more authors) (2018) Interconversion of intrinsic defects in $SrTiO_3(001)$. Physical Review B. 245204. ISSN 2469-9969

Chan, Yu, Wellings, Andrew John orcid.org/0000-0002-3338-0623, Gray, Ian orcid.org/0000-0003-1150-9905 et al. (1 more author) (2017) A Distributed Stream Library for Java 8. IEEE Transactions on Big Data. pp. 1-14. ISSN 2332-7790

Chang, Y. and Wellings, A. (2006) Hard Real-Time Hybrid Garbage Collection with Low memory Requirements. In: Proceedings of the 27th IEEE Real-Time Systems Symposium. RTSS'06. IEEE , pp. 77-86.

Chatzis, V., Bors, A.G. orcid.org/0000-0001-7838-0021 and Pitas, I. (1999) Multimodal decision-level fusion for person authentication. IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans. pp. 674-680. ISSN 1083-4427

Chen, Jian-Jia, Nelissen, Geoffrey, Huang, Wen-Hung Kevin et al. (10 more authors) (2018) Many Suspensions, Many Problems: A Review of Self-Suspending Tasks in Real-Time Systems. Real-Time Systems. ISSN 1573-1383

Chen, Jinhui, Lue, Zhaojie, Zhang, Zhihong et al. (4 more authors) (2018) Polar Transformation on Image Features for Orientation-Invariant Representations. IEEE Transactions on Multimedia. ISSN 1520-9210 (In Press)

Chen, Xianfu, Zhao, Zhifeng, Jiang, Tao et al. (2 more authors) (2009) Inter-Cluster Connection in Cognitive Wireless Mesh Networks Based on Intelligent Network Coding. Eurasip journal on advances in signal processing. 141097. -. ISSN 1687-6172

Chen, Yujie, Cowling, Peter Ivan orcid.org/0000-0003-1310-6683, Polack, Fiona A C orcid.org/0000-0001-7954-6433 et al. (1 more author) (2016) A multi-arm bandit neighbourhood search for routing and scheduling problems. In: UNSPECIFIED.

Chen, Z., Pears, N. and Liang, B. (2006) Monocular Obstacle Detection using Reciprocal-polar Rectification. Image and Vision Computing, 24 (12). pp. 1301-1312. ISSN 0262-8856

Chen, Z., Wu, C., Liu, Y. et al. (1 more author) (2004) 3D Euclidean Reconstruction of Buildings from Uncalibrated Image Sequences. International Journal of Shape Modelling, 10 (1). pp. 115-131. ISSN 0218-6543

Chitil, Olaf, Faddegon, Maarten and Runciman, Colin orcid.org/0000-0002-0151-3233 (2016) A Lightweight Hat: : simple type-preserving instrumentation for self-tracing lazy functional programs. In: Proceedings of 28th Symposium on Implementation and Application of Functional Languages. UNSPECIFIED. ASSOC COMPUTING MACHINERY .

Chivers, H. and McDermid, J. (2005) Refactoring service-based systems: how to avoid trusting a workflow service,. Concurrency and Computation: Practice and Experience - Special Issue: Workflow in Grid Systems, 18 (10). 1255 - 1275. ISSN 1532-0626

Chivers, Howard Robert orcid.org/0000-0001-7057-9650 (2016) Control Consistency as a Management Tool: The Identification of Systematic Security Control Weaknesses in Air Traffic Management. International Journal of Critical Computer-Based Systems. ISSN 1757-8787

Chivers, Howard Robert orcid.org/0000-0001-7057-9650 (2018) Navigating the Windows Mail database. Digital Investigation. pp. 1-23. ISSN 1742-2876

Chivers, Howard Robert orcid.org/0000-0001-7057-9650 (2016) Optimising Unicode Regular Expression Evaluation with Previews. Software: Practice and Experience. ISSN 1097-024X

Chivers, Howard Robert orcid.org/0000-0001-7057-9650 (2014) Private browsing : a window of forensic opportunity. Digital Investigation. pp. 20-29. ISSN 1742-2876

Chivers, Howard Robert orcid.org/0000-0001-7057-9650, Clark, John Andrew orcid.org/0000-0002-9230-9739, Nobles, Philip et al. (2 more authors) (2010) Knowing Who to Watch : Efficiently Identifying Subtle Attackers. Information Systems Frontiers. pp. 17-34. ISSN 1387-3326

Chivers, Howard Robert orcid.org/0000-0001-7057-9650 and Hargreaves, C (2011) Forensic Data Recovery From The Windows Search Database. Digital Investigation. pp. 114-126. ISSN 1742-2876

Chivers, Howard Robert orcid.org/0000-0001-7057-9650 and Paige, Richard F. orcid.org/0000-0002-1978-9852 (2009) XRound : A reversible template language and its application in model-based security analysis. Information and Software Technology. pp. 876-893.

Choi, Byung-Soo and Braunstein, Sam orcid.org/0000-0003-4790-136X (2010) Quantum algorithm for the asymmetric weight decision problem and its generalization to multiple weights. Quantum Information Processing. pp. 177-188. ISSN 1573-1332

Ciardo, G., Lüttgen, G. and Miner, A.S. (2007) Exploiting interleaving semantics in symbolic state-space generation. Formal Methods in System Design, 31 (1). pp. 63-100. ISSN 0925-9856

Clark, Edward Blair, Hickinbotham, Simon John and Stepney, Susan orcid.org/0000-0003-3146-5401 (2017) Semantic closure demonstrated by the evolution of a universal constructor architecture in an artificial chemistry. Journal of the Royal Society Interface. 20161033. ISSN 1742-5662

Clark, J.A. and Jacob, J.L. (2002) Fault injection and a timing channel on an analysis technique. In: Advances in Cryptology: International Conference on the Theory and Applications of Cryptographic Techniques. EUROCRYPT 2002, April 28 – May 2, 2002, Amsterdam, The Netherlands. Lecture Notes in Computer Science (2332). Springer-verlag , Berlin / Heidelberg , pp. 181-196. ISBN 978-3-540-43553-2

Clark, J.A., Jacob, J.L., Maitra, S. et al. (1 more author) (2004) Almost Boolean Functions: The Design of Boolean Functions by Spectral Inversion. Computational Intelligence, 20 (3). pp. 450-462. ISSN 0824-7935

Clark, J.A., Jacob, J.L. and Stepney, S. (2004) The Design of S-Boxes by Simulated Annealing. New Generation Computing, 23 (23). pp. 219-232. ISSN 0288-3635

Clark, J.A., Jacob, J.L. and Stepney, S. (2003) Secret Agents Leave Big Footprints: How to plant a cryptographic trapdoor, and why you might not get away with it. In: Proceedings of the Genetic and Evolutionary Computation Conference 2003. GECCO 2003, July 12–16, 2003, Chicago, IL, USA. Lecture Notes in Computer Science, II (2724). Springer , Berlin / Heidelberg , pp. 2022-2033. ISBN 978-3-540-40603-7

Clark, J.A., Jacob, J.L., Stepney, S. et al. (2 more authors) (2002) Evolving boolean functions satisfying multiple criteria. In: Menezes, A. and Sarkar, P., (eds.) Progress in Cryptology - INDOCRYPT 2002. Proceedings. Third International Conference on Cryptology in India, December 16-18, 2002, Hyderabad, India. Lecture Notes in Computer Science (2551). Springer , Berlin / Heidelberg , pp. 246-259. ISBN 978-3-540-00263-5

Clark, JA orcid.org/0000-0002-9230-9739 (2002) Metaheuristic Search as a Cryptological Tool. PhD thesis, UNSPECIFIED.

Clark, John Andrew orcid.org/0000-0002-9230-9739 and Jacob, Jeremy Lawrence orcid.org/0000-0003-4806-7426 (1997) A survey of authentication protocol literature: Version 1.0. Report. Citeseer

Clarke, Arabella, Adamson, Joy orcid.org/0000-0002-9860-0850, Watt, Ian orcid.org/0000-0002-3147-8299 et al. (3 more authors) (2016) The impact of electronic records on patient safety : a qualitative study. BMC medical informatics and decision making. 62. ISSN 1472-6947

Connolly, S A, Gillingwater, Thomas H, Chandler, C et al. (7 more authors) (2018) The Anatomical Society's core anatomy syllabus for undergraduate nursing. Journal of Anatomy. ISSN 1469-7580

Cope, Thomas, Hetzel, Leon, Banchi, Leonardo et al. (1 more author) (2017) Simulation of non-Pauli Channels. Physical Review A. ISSN 1094-1622

Cope, Thomas P. W. and Pirandola, Stefano orcid.org/0000-0001-6165-5615 (2017) Adaptive estimation and discrimination of Holevo-Werner channels. Quantum Measurements and Quantum Metrology. pp. 1-9. ISSN 2299-114X

Cordoni, Guido, Kazakov, Dimitar Lubomirov orcid.org/0000-0002-0637-8106, Longobardi, Giuseppe orcid.org/0000-0003-1819-5283 et al. (1 more author) (2018) Historical Bio-Linguistics : A biostatistic approach to the study of linguistic phylogenies and the correlation of genetic, linguistic and geographical data. In: On your doorstep: Celebrating researchers and research support at York, 15 Jun 2018, University of York.

Costa, Lilia, Smith, Jim, Nichols, Thomas et al. (3 more authors) (2015) Searching Multiregression Dynamic Models of Resting-State fMRI Networks Using Integer Programming. Bayesian Analysis. pp. 441-478. ISSN 1931-6690

Courtin, S., Jiang, C. L., Fruet, G. et al. (50 more authors) (2017) Cross section measurements in the 12C+12C system. In: Nuclear Physics in Astrophysics VIII, NPA8 2017. 8th International Conference on Nuclear Physics in Astrophysics, NPA8 2017, 18-23 Jun 2017. EDP Sciences .

Cowling, P.L. orcid.org/0000-0003-1310-6683, Ward, C.D. and Powley, E.J. (2012) Ensemble Determinization in Monte Carlo Tree Search for the Imperfect Information Card Game Magic: The Gathering. Computational Intelligence and AI in Games, IEEE Transactions on. 6218176. ISSN 1943-068X

Cowling, Peter I orcid.org/0000-0003-1310-6683, Devlin, Sam orcid.org/0000-0002-7769-3090, Powley, E. et al. (2 more authors) (2014) Player Preference and Style in a Leading Mobile Card Game. Computational Intelligence and AI in Games, IEEE Transactions on. pp. 233-242. ISSN 1943-068X

Cowling, Peter I. orcid.org/0000-0003-1310-6683, Powley, Edward J. and Whitehouse, Daniel (2012) Information Set Monte Carlo Tree Search. Computational Intelligence and AI in Games, IEEE Transactions on. 6203567. pp. 120-143. ISSN 1943-068X

Cox, Anna L., Gould, Sandy J.J., Cecchinato, Marta E. et al. (2 more authors) (2016) Design Frictions for Mindful Interactions : The Case for Microboundaries. In: CHI'16 Extended Abstracts on Human Factors in Computing Systems - CHI EA '16. UNSPECIFIED. ACM , pp. 1389-1397.

Crespi, F. C.L., Bracco, A., Tamii, A. et al. (45 more authors) (2018) Gamma decay of pygmy states in 90,94Zr from inelastic scattering of light ions. Journal of Physics: Conference Series. 012002. ISSN 1742-6596

Crispin-Bailey, Christopher orcid.org/0000-0003-0613-9698 and Arnone, Antonio (2016) Comparing Composite vs. Wave-Cores in a Novel Dark-Silicon Methodology. In: Phd Research in Microelectronics and Electronics (PRIME) 2016 12th, 27-30 Jul 2015, Portugal.

Crispin-Bailey, Christopher orcid.org/0000-0003-0613-9698, Kamali Sarvestani, Amir Mansoor and Austin, James orcid.org/0000-0001-5762-8614 (2018) Performance Analysis of a 3D Wireless Massively Parallel Computer. Journal of Sensor and Actuator Networks. 16. ISSN 2224-2708

Croft, Darren, Ellis, Samuel, Franks, Daniel Wayne orcid.org/0000-0002-4832-7470 et al. (7 more authors) (2017) Reproductive Conflict and the Evolution of Menopause in Killer Whales. Current Biology. pp. 298-304. ISSN 0960-9822

Cross, A.D.J. and Hancock, E.R. orcid.org/0000-0003-4496-2028 (1998) Graph matching with a dual-step EM algorithm. IEEE Transactions on Pattern Analysis and Machine Intelligence. pp. 1236-1253. ISSN 0162-8828

Cui, Lixin, Bai, Lu, Rossi, Luca et al. (1 more author) (2018) A Deep Hybrid Graph Kernel through Deep Learning Networks. In: 24th International Conference on Pattern Recognition, 21-24 Aug 2018. (In Press)

Cui, Lixin, Bai, Lu, Wang, Yue orcid.org/0000-0002-2482-005X et al. (3 more authors) (2016) P2P Lending Analysis Using the Most Relevant Graph-Based Features. In: Structural, Syntactic, and Statistical Pattern Recognition - Joint IAPR International Workshop, S+SSPR 2016, Mérida, Mexico, November 29 - December 2, 2016, Proceedings. UNSPECIFIED. Lecture Notes in Computer Science . Springer International Publishing , pp. 3-14.

Cui, Lixin, Bai, Lu, Zhang, Zhihong et al. (2 more authors) (2018) Identifying The Most Informative Features Using A Structurally Interacting Elastic Net. Neurocomputing. ISSN 0925-2312 (In Press)

Curado, Manuel, Escolano, Francisco, Lozano, Miguel Angel et al. (1 more author) (2018) Semi-Supervised Graph Rewiring with the Dirichlet Principle. In: 24th International Conference on Pattern Recognition, 21-24 Aug 2018. (In Press)

Curado, Manuel, Escolano, Francisco, Lozano, MiguelAngel et al. (1 more author) (2018) Net4lap: Neural Laplacian Regularization for Ranking and Re-Ranking. In: 24th International Conference on Pattern Recognition, 21-24 Aug 2018. (In Press)

Cussens, J. (2001) Parameter estimation in stochastic logic programs. Machine Learning, 44 (3). pp. 245-271. ISSN 0885-6125

Cussens, James orcid.org/0000-0002-1363-2336 (2008) Bayesian network learning by compiling to weighted MAX-SAT. In: McAllester, David and Myllymaki, Petri, (eds.) Proceedings of the 24th Conference on Uncertainty in Artificial Intelligence (UAI 2008). 24th Conference on Uncertainty in Artificial Intelligence, 09-12 Jul 2008. AUAI Press , Corvallis, Oregon , pp. 105-112.

Cussens, James orcid.org/0000-0002-1363-2336 (2011) Bayesian network learning with cutting planes. In: Cozman, Fabio and Pfeffer, Avi, (eds.) Proceedings of the 27th Conference on Uncertainty in Artificial Intelligence (UAI 2011). 27th Conference on Uncertainty in Artificial Intelligence, 14-17 Jul 2011. AUAI Press , Corvallis, Oregon , pp. 153-160.

Cussens, James orcid.org/0000-0002-1363-2336, Haws, David and Studený, Milan (2017) Polyhedral aspects of score equivalence in Bayesian network structure learning. Mathematical Programming. pp. 285-324. ISSN 0025-5610

Cutello, V., Nicosia, G., Pavone, M. et al. (1 more author) (2007) An Immune Algorithm for Protein Structure Prediction on Lattice Models. IEEE Transactions on Evolutionary Computation, 11 (1). 101 - 117. ISSN 1089-778X

Cutting, Joe Timothy, Cairns, Paul Antony orcid.org/0000-0002-6508-372X and Gundry, David Edward (2018) Busy doing nothing? What do players do in idle games? International journal of human-Computer studies. ISSN 1071-5819

D

Dahlan, H. A. and Hancock, E. R. orcid.org/0000-0003-4496-2028 (2016) Absorptive scattering model for rough laminar surfaces. In: Davis, L., Bimbo, A. Del and Lovell, B., (eds.) 2016 23rd International Conference on Pattern Recognition (ICPR). UNSPECIFIED. IEEE Computer Society Press , Los Alamitos, CA, USA , pp. 1905-1910.

Dai, Chengliang and Crispin-Bailey, Christopher orcid.org/0000-0003-0613-9698 (2012) Tradeoffs for EEG data reduction on Wearable Device. In: Building Bridges to Brains Workshop, 01 Nov 2012.

Dai, Hang, Pears, Nicholas Edwin orcid.org/0000-0001-9513-5634 and Duncan, Christian (2017) Modelling of Orthogonal Craniofacial Profiles. Journal of Imaging. ISSN 2313-433X

Dai, Hang, Pears, Nicholas Edwin orcid.org/0000-0001-9513-5634 and Smith, William Alfred Peter orcid.org/0000-0002-6047-0413 (2018) A Data-augmented 3D Morphable Model of the Ear. In: The 13th IEEE International Conference on AUTOMATIC FACE AND GESTURE RECOGNITION (FG 2018). UNSPECIFIED. IEEE .

Dai, Hang, Pears, Nicholas Edwin orcid.org/0000-0001-9513-5634, Smith, William Alfred Peter orcid.org/0000-0002-6047-0413 et al. (1 more author) (2017) A 3D Morphable Model of Craniofacial Shape and Texture Variation. In: 2017 IEEE International Conference on Computer Vision (ICCV). UNSPECIFIED. Title Proceedings / IEEE International Conference on Computer Vision. . , pp. 3104-3112.

Dai, Hang, Pears, Nicholas Edwin orcid.org/0000-0001-9513-5634, Smith, William Alfred Peter orcid.org/0000-0002-6047-0413 et al. (1 more author) (2018) Symmetric Shape Morphing for 3D Face and Head Modelling. In: The 13th IEEE Conference on Automatic Face and Gesture Recognition. UNSPECIFIED. IEEE .

Dai, Xiaotian and Burns, Alan orcid.org/0000-0001-5621-8816 (2017) Predicting Worst-Case Execution Time Trends in Long-Lived Real-Time Systems. In: Reliable Software Engineering Technologies - Ada Europe. UNSPECIFIED. , pp. 87-101.

Dale, Matthew Nicholas, Miller, Julian Francis orcid.org/0000-0002-7692-9655, Stepney, Susan orcid.org/0000-0003-3146-5401 et al. (1 more author) (2016) Evolving Carbon Nanotube Reservoir Computers. In: Amos, Martyn and Condon, Anne, (eds.) Unconventional Computation and Natural Computation:15th International Conference, UCNC 2016, Manchester, UK, July 11-15, 2016, Proceedings. 15th International Conference Unconventional Computation and Natural Computation (UCNC), 15 Aug 2016. Lecture Notes in Computer Science . Springer , pp. 49-61.

Dale, Matthew Nicholas, Stepney, Susan orcid.org/0000-0003-3146-5401, Miller, Julian Francis orcid.org/0000-0002-7692-9655 et al. (1 more author) (2016) Reservoir Computing in Materio : An Evaluation of Configuration through Evolution. In: IEEE Symposium Series on Computational Intelligence (SSCI), 2016. IEEE .

Daly, Ian, Williams, D., Malik, A. et al. (5 more authors) (2018) Personalised, Multi-modal, Affective State Detection for Hybrid Brain-Computer Music Interfacing. IEEE Transactions on Affective Computing. pp. 1-14. ISSN 1949-3045

Davis, R.I. and Burns, A. (2005) Hierarchical fixed priority pre-emptive scheduling. In: 26th IEEE International Real-Time Systems Symposium. RTSS'05, December 5-8, 2005, Miami, Florida, USA. IEEE , pp. 389-398. ISBN 0-7695-2490-7

Davis, R.I. and Burns, A. (2006) Resource sharing in hierarchical fixed priority pre-emptive systems. In: 27th IEEE Real-Time Systems Symposium. 27th IEEE International Real-Time Systems Symposium, DEC 05-08, 2006, Rio de Janeiro, BRAZIL. IEEE , pp. 257-267. ISBN 0-7695-2761-2

Davis, R.I. and Burns, A. (2007) Robust priority assignment for fixed priority real-time systems. In: Proceedings of the 28th IEEE Real-Time Systems Symposium. RTSS 2007, December 03 - 06, 2007, Tucson, Arizona, USA. , pp. 3-14. ISBN 0-7695-3062-1

Davis, R.I., Burns, A., Bril, R.J. et al. (1 more author) (2007) Controller Area Network (CAN) schedulability analysis: Refuted, revisited and revised. Real-Time Systems, 35 (3). pp. 239-272. ISSN 1573-1383

Davis, Robert Ian orcid.org/0000-0002-5772-0928, Altmeyer, Sebastian and Reineke, Jan (2018) Response-time analysis for fixed-priority systems with a write-back cache. Real-Time Systems. ISSN 1573-1383

Davis, Robert Ian orcid.org/0000-0002-5772-0928, Altmeyer, Sebastian, Soares Indrusiak, Leandro orcid.org/0000-0002-9938-2920 et al. (3 more authors) (2017) An extensible framework for multicore response time analysis. Real-Time Systems. pp. 1-55. ISSN 1573-1383

Davis, Robert Ian orcid.org/0000-0002-5772-0928, Cucu-Grosjean, Liliana, Bertogna, Marko et al. (1 more author) (2016) A Review of Priority Assignment in Real-Time Systems. Journal of systems architecture. pp. 64-82. ISSN 1383-7621

Davis, Robert Ian orcid.org/0000-0002-5772-0928, Thekkilakattil, Abhilash, Gettings, Oliver et al. (3 more authors) (2017) Exact Speedup Factors and Sub-Optimality for Non-Preemptive Scheduling. Real-Time Systems. pp. 1-39. ISSN 1573-1383

De Boni, M. and Manandhar, S. (2005) Implementing clarification dialogue in open-domain question answering. Journal of Natural Language Engineering, 11 (14). pp. 343-361. ISSN 1351-3249

De Oliveira, André Luiz, Braga, Rosana T. V., Masiero, Paulo C. et al. (3 more authors) (2018) Variability Management in Safety-Critical Software Product Line Engineering. In: International Conference on Software Reuse. UNSPECIFIED. .

De Oliveira Salazar Ribeiro, Pedro Fernando orcid.org/0000-0003-4319-4872, Miyazawa, A. orcid.org/0000-0003-2233-9091, Li, W. orcid.org/0000-0001-9786-585X et al. (2 more authors) (2017) Modelling and Verification of Timed Robotic Controllers. In: Polikarpova, N. and Schneider, S., (eds.) Integrated Formal Methods. UNSPECIFIED. Lecture Notes in Computer Science . Springer , pp. 18-33.

Delgado-Pérez, Pedro, Habli, Ibrahim orcid.org/0000-0003-2736-8238, Gregory, Steve et al. (3 more authors) (2018) Evaluation of Mutation Testing in a Nuclear Industry Case Study. IEEE Transactions on Reliability. ISSN 0018-9529

Despotou, George, Ryan, Mark, Arvanitis, Theodoros N et al. (4 more authors) (2017) A framework for synthesis of safety justification for digitally enabled healthcare services. DIGITAL HEALTH. 2055207617704271. ISSN 2055-2076

Dessein, Arnaud Fabien, Smith, William Alfred Peter orcid.org/0000-0002-6047-0413, Wilson, Richard Charles orcid.org/0000-0001-7265-3033 et al. (1 more author) (2017) Symmetry-Aware Mesh Segmentation into Uniform Overlapping Patches. Computer graphics forum. pp. 95-107. ISSN 0167-7055

Devlin, Sam orcid.org/0000-0002-7769-3090 and Kudenko, Daniel orcid.org/0000-0003-3359-3255 (2011) Theoretical Considerations of Potential-Based Reward Shaping for Multi-Agent Systems. In: The 10th International Conference on Autonomous Agents and Multiagent Systems. Tenth International Conference on Autonomous Agents and Multi-Agent Systems, 02 May 2011. ACM , pp. 225-232.

Devlin, Sam Michael orcid.org/0000-0002-7769-3090 and Kudenko, Daniel orcid.org/0000-0003-3359-3255 (2012) Dynamic Potential-Based Reward Shaping. In: Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems. 11th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2012), 04-08 Jun 2012. IFAAMAS , pp. 433-440.

Dickson, James, Wright, Steven orcid.org/0000-0001-7133-8533, Maheswaran, Satheesh et al. (3 more authors) (2017) Replicating HPC I/O workloads with proxy applications. In: Proceedings of PDSW-DISCS 2016:1st Joint International Workshop on Parallel Data Storage and Data Intensive Scalable Computing Systems - Held in conjunction with SC16: The International Conference for High Performance Computing, Networking, Storage and An. 1st Joint International Workshop on Parallel Data Storage and Data Intensive Scalable Computing Systems, PDSW-DISCS 2016, 14 Nov 2016. Institute of Electrical and Electronics Engineers Inc. , pp. 13-18.

Dodds, Mike orcid.org/0000-0002-4439-0130, Batty, Mark and Gotsman, Alexey (2014) C/C++ Cycles Confound Compositionality. Tiny Transactions on Computer Science.

Dodds, Mike orcid.org/0000-0002-4439-0130, Haas, Andreas and Kirsch, Christoph M. (2015) A Scalable, Correct Time-stamped Stack. In: Proceedings of the 42th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages. UNSPECIFIED. ACM .

Drachen, Anders, Pastor, Jose Maria Serio, Fontaine, Dylan Jack et al. (6 more authors) (2018) To Be or Not to Be … Social : Incorporating Simple Social Features in Mobile Game Customer Lifetime Value Predictions. In: Proceedings of Australian Computer Science Week, Interactive Entertainment. UNSPECIFIED. Association for Computing Machinery (ACM) .

Drake, John H., Swan, Jerry, Neumann, Geoff et al. (1 more author) (2017) Sparse, Continuous Policy Representations for Uniform Online Bin Packing via Regression of Interpolants. In: Hu, Bin and López-Ibáñez, Manuel, (eds.) Evolutionary Computation in Combinatorial Optimization: 17th European Conference, EvoCOP 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings. UNSPECIFIED. Springer International Publishing Switzerland , Cham , pp. 189-200.

Drewes, F., Hoffmann, B. and Plump, D. (2002) Hierarchical graph transformation. Journal of Computer and System Sciences, 64 (2). pp. 249-283. ISSN 0022-0000

Dutra e Silva Junior, Elvio Carlos, Soares Indrusiak, Leandro orcid.org/0000-0002-9938-2920, Finamore, W.A. et al. (1 more author) (2012) A Programmable look-up table-based interpolator with nonuniform sampling scheme. International Journal of Reconfigurable Computing. 647805. ISSN 1687-7209

Dziurzanski, Piotr orcid.org/0000-0001-9542-652X (2018) Value-Based Allocation of Docker Containers. In: 26th Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP). Euromicro International Conference on Parallel, Distributed and Network-based Processing, 21-23 Mar 2018. IEEE , pp. 358-362.

Dziurzanski, Piotr orcid.org/0000-0001-9542-652X and Singh, Amit Kumar (2018) Feedback-Based Admission Control for Firm Real-Time Task Allocation with Dynamic Voltage and Frequency Scaling. Computers. 26. pp. 1-19. ISSN 2073-431X

Dziurzanski, Piotr orcid.org/0000-0001-9542-652X, Singh, Amit Kumar and Indrusiak, Leandro Soares orcid.org/0000-0002-9938-2920 (2016) Energy-aware resource allocation in multi-mode automotive applications with hard real-time constraints. In: Proceedings - 2016 IEEE 19th International Symposium on Real-Time Distributed Computing, ISORC 2016. 19th IEEE International Symposium on Real-Time Distributed Computing, ISORC 2016, 17-20 May 2016. Institute of Electrical and Electronics Engineers Inc. , pp. 100-107.

Dziurzanski, Piotr orcid.org/0000-0001-9542-652X, Singh, Amit Kumar and Indrusiak, Leandro Soares orcid.org/0000-0002-9938-2920 (2016) Feedback-based admission control for hard real-time task allocation under dynamic workload on many-core systems. In: Architecture of Computing Systems -- ARCS 2016:29th International Conference, Nuremberg, Germany, April 4-7, 2016, Proceedings. 29th International Conference on Architecture of Computing Systems, ARCS 2016, 04-07 Apr 2016. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer-Verlag , pp. 157-169.

Dziurzanski, Piotr orcid.org/0000-0001-9542-652X, Singh, Amit Kumar and Soares Indrusiak, Leandro orcid.org/0000-0002-9938-2920 (2017) Multi-criteria Resource Allocation in Modal Hard Real-Time Systems. EURASIP Journal on Embedded Systems. 30. ISSN 1687-3963

Dziurzanski, Piotr orcid.org/0000-0001-9542-652X, Swan, Jerry and Soares Indrusiak, Leandro orcid.org/0000-0002-9938-2920 (2018) Value-Based Manufacturing Optimisation in Serverless Clouds for Industry 4.0. In: Proceedings of the Genetic and Evolutionary Computation Conference. The Genetic and Evolutionary Computation Conference, 15-19 Jul 2018. . (In Press)

da Silva, Carlos Eduardo, da Silva, Jose Diego Saraiva, Paterson, Colin Alexander orcid.org/0000-0002-6678-3752 et al. (1 more author) (2017) Self-Adaptive Role-Based Access Control for Business Processes. In: 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2017). UNSPECIFIED. IEEE . (In Press)

de Castro, L.N. and Timmis, J.I. (2003) Artificial immune systems as a novel soft computing paradigm. Soft Computing - A Fusion of Foundations, Methodologies and Applications, 7 (8). pp. 526-544. ISSN 1432-7643

de Lemos, R., Timmis, J., Ayara, M. et al. (1 more author) (2007) Immune-inspired adaptable error detection for automated teller machines. IEEE Transactions on Systems, Man and Cybernetics Part C, 37 ( 5). pp. 873-886. ISSN 1094-6977

de la Vara, Jose Luis, Ruiz, Alejandra, Attwood, Katrina et al. (5 more authors) (2016) Model-based specification of safety compliance needs for critical systems : A holistic generic metamodel. Information and Software Technology. pp. 16-30. ISSN 0950-5849

dos Santos, O.M. and Wellings, A. (2005) Cost Monitoring and Enforcement in the Real-Time Specification for Java- a formal evaluation. In: Proceedings of the 26th IEEE Real-time Systems Symposium. Real-Time Systems Symposium, 8 DEC 2005, Miami, Florida. IEEE , pp. 177-186. ISBN 0-7695-2490-7

E

Eastwood, Tai Chi Minh Ralph, Alexander, Robert David orcid.org/0000-0003-3818-0310 and Kelly, Timothy Patrick orcid.org/0000-0002-7385-2031 (2016) Safe Multi-objective Planning with a Posteriori Preferences. In: UNSPECIFIED.

Edwards, A.D.N., McCartney, H. and Fogarolo, F. (2006) Lambda: A multimodal approach to making mathematics accessible to blind students. In: Proceedings of the 8th International ACM Special Interest Group on Accessible Computing 2006. ACM SIGACCESS, October 23 - 25, 2006, Portland, Oregon, USA. ACM , pp. 48-54. ISBN 1-59593-290-9

Edwards, A.D.N. and Newell, C. (2004) Lively voice: a new model for speaking synthetic characters. Sprache und Datenverarbeitung: International Journal for Language Data Processing, 28 (2). pp. 133-151. ISSN 0343-5205

Ellis, Samuel, Franks, Daniel W orcid.org/0000-0002-4832-7470 and Robinson, Elva J H orcid.org/0000-0003-4914-9327 (2014) Resource redistribution in polydomous ant nest networks : local or global? Behavioral Ecology. pp. 1183-1191. ISSN 1465-7279

Ellis, Samuel, Franks, Daniel Wayne orcid.org/0000-0002-4832-7470, Nattrass, Stuart et al. (5 more authors) (2018) Postreproductive lifespans are rare in mammals. Ecology and Evolution. ISSN 2045-7758

Ellis, Samuel, Franks, Daniel Wayne orcid.org/0000-0002-4832-7470, Nattrass, Stuart et al. (4 more authors) (2017) Mortality risk and social network position in resident killer whales: sex differences and the importance of resource abundance. Proceedings of the Royal Society B: Biological Sciences. ISSN 1471-2954

Ellis, Samuel, Franks, Daniel Wayne orcid.org/0000-0002-4832-7470, Nattrass, Stuart et al. (5 more authors) (2018) Analyses of ovarian activity reveal repeated evolution of post-reproductive lifespans in toothed whales. Scientific Reports. pp. 1-10. ISSN 2045-2322

Ellis, Samuel, Franks, Daniel Wayne orcid.org/0000-0002-4832-7470 and Robinson, Elva Joan Hilda orcid.org/0000-0003-4914-9327 (2017) Ecological consequences of colony structure in dynamic ant nest networks. Ecology and Evolution. 1170–1180. ISSN 2045-7758

Ellison, Martyn, Calinescu, Radu orcid.org/0000-0002-2678-9260 and Paige, Richard F. orcid.org/0000-0002-1978-9852 (2018) Evaluating cloud database migration options using workload models. Journal of Cloud Computing: Advances, Systems and Applications (JoCCASA). 6. ISSN 2192-113X

Ellison, Martyn Holland, Calinescu, Radu Constantin orcid.org/0000-0002-2678-9260 and Paige, Richard Freeman orcid.org/0000-0002-1978-9852 (2016) Towards Platform Independent Database Modelling in Enterprise Systems. In: STAF 2016:Software Technologies: Applications and Foundations. UNSPECIFIED. Lecture Notes in Computer Science (LNCS) . SPRINGER , pp. 42-50.

Eraminan, M., Walia, E., Power, Christopher Douglas orcid.org/0000-0001-9486-8043 et al. (2 more authors) (2017) Image-based Search and Retrieval for Biface Artefacts using Features Capturing Archaeologically Significant Characteristics. Machine Vision and Applications. pp. 201-218. ISSN 1432-1769

Escolano, Francisco, Bonev, Boyan and Hancock, Edwin R. orcid.org/0000-0003-4496-2028 (2014) Quantum vs classical ranking in segment grouping. In: Structural, Syntactic, and Statistical Pattern Recognition:Joint IAPR International Workshop, S+SSPR 2014, Joensuu, Finland, August 20-22, 2014. Proceedings. Joint IAPR International Workshop on Structural, Syntactic, and Statistical Pattern Recognition, S+SSPR 2014, 20-22 Aug 2014. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer-Verlag , pp. 203-212.

Escolano, Francisco, Curado, Manuel, Biasotti, Silvia et al. (1 more author) (2017) Shape Simplification Through Graph Sparsification. In: Graph-Based Representations in Pattern Recognition - 11th IAPR-TC-15 International Workshop, GbRPR 2017, Anacapri, Italy, May 16-18, 2017, Proceedings. UNSPECIFIED. Springer Berlin / Heidelberg , pp. 13-22.

Escolano, Francisco, Curado, Manuel and Hancock, Edwin R. orcid.org/0000-0003-4496-2028 (2016) Commute Times in Dense Graphs. In: Structural, Syntactic, and Statistical Pattern Recognition - Joint IAPR International Workshop, S+SSPR 2016, Mérida, Mexico, November 29 - December 2, 2016, Proceedings. UNSPECIFIED. Lecture Notes in Computer Science . , pp. 241-251.

Escolano, Francisco, Curado, Manuel, Lozano, Miguel Angel et al. (1 more author) (2016) Dirichlet Graph Densifiers. In: Structural, Syntactic, and Statistical Pattern Recognition - Joint IAPR International Workshop, S+SSPR 2016, Mérida, Mexico, November 29 - December 2, 2016, Proceedings. UNSPECIFIED. Lecture Notes in Computer Science . Springer International Publishing , pp. 185-195.

Escolano, Francisco and Hancock, Edwin R orcid.org/0000-0003-4496-2028 (2018) Bragg Diffraction Patterns as Graph Characteristics. In: Eleventh International Conference on Energy Minimisation Methods in Computer Vision and Pattern Recognition. UNSPECIFIED. Lecture Notes in Computer Science . Springer Nature , pp. 59-72.

Escolano, Francisco, Hancock, Edwin R orcid.org/0000-0003-4496-2028, Lozano, Miguel Angel et al. (1 more author) (2017) The mutual information between graphs. Pattern Recognition Letters. pp. 12-19. ISSN 0167-8655

Escolano, Francisco, Lozano, Miguel Angel and Hancock, Edwin R orcid.org/0000-0003-4496-2028 (2017) Graph similarity through entropic manifold alignment. SIAM Journal on Imaging Sciences. pp. 942-978. ISSN 1936-4954

F

Fang, Xinwei and Bate, Iain John orcid.org/0000-0003-2415-8219 (2017) Issues of using wireless sensor network to monitor urban air quality. In: International Workshop on the Engineering of Reliable, Robust, and Secure Embedded Wireless Sensing Systems (FAILSAFE). UNSPECIFIED. ACM .

Farrow, Robert and Iacovides, Ioanna orcid.org/0000-0001-9674-8440 (2014) Gaming and the limits of digital embodiment. Philosophy and Technology. pp. 221-233. ISSN 2210-5441

Faulkner, Penelope Selina Margaret, Sebald, Angelika Anne-Marie orcid.org/0000-0001-7966-7438 and Stepney, Susan orcid.org/0000-0003-3146-5401 (2017) Tuning Jordan Algebra Artificial Chemistries with Probability Spawning Functions. In: European Conference on Artificial Life 2017, 04-08 Sep 2017.

Feld, Timo, Biondi, Alessandro, Davis, Robert Ian orcid.org/0000-0002-5772-0928 et al. (2 more authors) (2017) A Survey of Schedulability Analysis Techniques for Rate-Dependent Tasks. Journal of Systems and Software. pp. 100-107. ISSN 0164-1212

Filho, M. S. Conserva, Oliveira, Marcel Vinicius Medeiros, Sampaio, A. C. A. et al. (1 more author) (2018) Compositional and Local Livelock Analysis for CSP. Information Processing Letters. ISSN 0020-0190

Flener, P., Frisch, A.M., Hnich, B. et al. (4 more authors) (2002) Breaking row and column symmetries in matrix models. In: Proceedings of the 8th International Conference on Principles and Practice of Constraint Programmin. Principles and Practice of Constraint Programming - (CP 2002), 9 - 13 September 2002, Ithaca, New York, USA. Lecture Notes in Computer Science (2470). Springer , Berlin / Heidelberg , pp. 462-477. ISBN 978-3-540-44120-5

Fletcher, Martyn, Jackson, Tom, Jessop, Mark et al. (2 more authors) (2006) The Signal Data Explorer: A high performance Grid based signal search tool for use in distributed diagnostic applications. In: Turner, SJ, Lee, BS and Cai, W, (eds.) Sixth IEEE International Symposium on Cluster Computing and the Grid. IEEE COMPUTER SOC , LOS ALAMITOS , pp. 217-224.

Foster, Simon orcid.org/0000-0002-9889-9514 and Woodcock, Jim orcid.org/0000-0001-7955-2702 (2013) Unifying Theories of Programming in Isabelle. In: Liu, Zhiming, Woodcock, Jim and Zhu, Huibiao, (eds.) Unifying Theories of Programming and Formal Engineering Methods - International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures. UNSPECIFIED. Lecture Notes in Computer Science . SPRINGER , pp. 109-155.

Foster, Simon David orcid.org/0000-0002-9889-9514 (2018) Calculational Verification of Reactive Programs with Reactive Relations and Kleene Algebra. In: 17th Int. Conf. on Relational and Algebraic Methods in Computer Science (RAMICS 2018). UNSPECIFIED. Lecture Notes in Computer Science . (In Press)

Foster, Simon David orcid.org/0000-0002-9889-9514 (2018) Kleene Algebra in Unifying Theories of Programming. Working Paper. (Unpublished)

Foster, Simon David orcid.org/0000-0002-9889-9514, Baxter, James Edward, Cavalcanti, Ana Lucia Caneca orcid.org/0000-0002-0831-1976 et al. (2 more authors) (2018) Automating Verification of State Machines with Reactive Designs and Isabelle/UTP. In: 15th International Conference on Formal Aspects of Component Software. UNSPECIFIED. Lecture Notes in Computer Science .

Foster, Simon David orcid.org/0000-0002-9889-9514, Baxter, James Edward, Cavalcanti, Ana Lucia Caneca orcid.org/0000-0002-0831-1976 et al. (1 more author) (2018) Stateful-Failure Reactive Designs in Isabelle/UTP. Working Paper. (Unpublished)

Foster, Simon David orcid.org/0000-0002-9889-9514, Baxter, James Edward, Cavalcanti, Ana Lucia Caneca orcid.org/0000-0002-0831-1976 et al. (2 more authors) (2018) Reactive Designs in Isabelle/UTP. Working Paper. (Unpublished)

Foster, Simon David orcid.org/0000-0002-9889-9514 and Canham, Samuel James (2018) Generalised Reactive Processes in Isabelle/UTP. Working Paper. (Unpublished)

Foster, Simon David orcid.org/0000-0002-9889-9514, Cavalcanti, Ana Lucia Caneca orcid.org/0000-0002-0831-1976, Woodcock, JAMES Charles Paul orcid.org/0000-0001-7955-2702 et al. (1 more author) (2018) Unifying Theories of Time with Generalised Reactive Processes. Information Processing Letters. pp. 47-52. ISSN 0020-0190

Foster, Simon David orcid.org/0000-0002-9889-9514, Nemouchi, Yakoub and Zeyda, Frank (2018) Theory of Designs in Isabelle/UTP. Working Paper. (Unpublished)

Foster, Simon David orcid.org/0000-0002-9889-9514 and Struth, Georg (2014) On the Fine-Structure of Regular Algebra. Journal of Automated Reasoning. pp. 165-197. ISSN 0168-7433

Foster, Simon David orcid.org/0000-0002-9889-9514, Thiele, Bernhard, Cavalcanti, Ana Lucia Caneca orcid.org/0000-0002-0831-1976 et al. (1 more author) (2016) Towards a UTP semantics for Modelica. In: 6th International Symposium on Unifying Theories of Programming. UNSPECIFIED. , pp. 1-20.

Foster, Simon David orcid.org/0000-0002-9889-9514 and Woodcock, JAMES Charles Paul orcid.org/0000-0001-7955-2702 (2017) Towards Verification of Cyber-Physical Systems with UTP and Isabelle/HOL. In: Concurrency, Security, and Puzzles:Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday. UNSPECIFIED. Lecture Notes in Computer Science , pp. 39-64.

Foster, Simon David orcid.org/0000-0002-9889-9514 and Zeyda, Frank (2017) Optics in Isabelle/HOL. Archive of Formal Proofs. pp. 1-28.

Foster, Simon David orcid.org/0000-0002-9889-9514, Zeyda, Frank, Nemouchi, Yakoub et al. (2 more authors) (2018) Isabelle/UTP: Mechanised Theory Engineering for the UTP. Working Paper. (Unpublished)

Foster, Simon David orcid.org/0000-0002-9889-9514, Zeyda, Frank and Woodcock, Jim orcid.org/0000-0001-7955-2702 (2016) Unifying heterogeneous state-spaces with lenses. In: 2016 International Colloquium on Theoretical Aspects of Computing. , pp. 295-314. (In Press)

Franks, Daniel Wayne orcid.org/0000-0002-4832-7470 and Oxford, Geoffrey Stuart (2017) The co-evolution of anti-predator polymorphisms in sympatric populations. Biological Journal of the Linnean Society. pp. 1-9. ISSN 0024-4066

Freire, André P, Petrie, Helen orcid.org/0000-0002-0100-9846 and Power, Christopher Douglas orcid.org/0000-0001-9486-8043 (2011) Empirical results from an evaluation of the accessibility of websites by dyslexic users. In: Proceedings of the Workshop on Accessible Design in the Digital World. UNSPECIFIED. , pp. 41-53.

Freitas, Leo, Baxter, James, Cavalcanti, Ana Lucia Caneca orcid.org/0000-0002-0831-1976 et al. (1 more author) (2016) Modelling and Verifying a Priority Scheduler for an SCJ Runtime Environment. In: Integrated Formal Methods:12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings. UNSPECIFIED. Lecture Notes in Computer Science . Springer , pp. 63-78.

Freitas, Leo and Woodcock, Jim orcid.org/0000-0001-7955-2702 (2007) FDR Explorer. Electr. Notes Theor. Comput. Sci.. pp. 19-34.

Frisch, A. M., Hnich, B., Kiziltan, Z. et al. (2 more authors) (2006) Propagation algorithms for lexicographic ordering constraints. Artificial Intelligence, 170 (10). 803 - 834. ISSN 0004-3702

Frisch, A.M., Jefferson, C., Martinez Hernandez, B. et al. (1 more author) (2005) The Rules of Constraint Modelling. In: Proceedings of the 19th International Joint Conference on Artificial Intelligence. IJCAI-05, 30 JULY - 5 AUGUST 2005, Edinburgh, Scotland. , pp. 109-116.

Frisch, A.M., Peugniez, T.J., Doggett, A.J. et al. (1 more author) (2005) Solving Non-Boolean Satisfiability Problems with Stochastic Local Search: A Comparison of Encodings. Journal of Automated Reasoning, 35 ( 1-3). pp. 143-179. ISSN 0168-7433

Furniss, Dominic, Iacovides, Ioanna orcid.org/0000-0001-9674-8440, Lyons, Imogen et al. (2 more authors) (2016) Patient and public involvement in patient safety research: a workshop to review patient information, minimise psychological risk and inform research. Research involvement and engagement. ISSN 2056-7529

G

Gallimore, Andrew Robert, Aricescu, A. Radu, Yuzaki, Michisuke et al. (1 more author) (2016) A Computational Model for the AMPA Receptor Phosphorylation Master Switch Regulating Cerebellar Long-Term Depression. PLoS Computational Biology. 1004664. ISSN 1553-7358

Gao, Y., You, B., Yang, H. L. orcid.org/0000-0003-3985-986X et al. (11 more authors) (2016) Stochastic domain wall depinning in permalloy nanowires with various types of notches. AIP Advances. 125124. pp. 1-8. ISSN 2046-2069

Garcia-Dominguez, Antonio orcid.org/0000-0002-4744-9150 and Kolovos, Dimitrios S. orcid.org/0000-0002-1724-6563 (2016) Models from code or code as a model? In: Proceedings of the 16th International Workshop on OCL and Textual Modelling:CEUR Workshop Proceedings. UNSPECIFIED. , pp. 137-148.

García-Domínguez, Antonio orcid.org/0000-0002-4744-9150, Barmpis, Konstantinos, Kolovos, Dimitrios S. orcid.org/0000-0002-1724-6563 et al. (2 more authors) (2016) Stress-Testing Centralised Model Stores. In: Modelling Foundations and Applications - 12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings. UNSPECIFIED. SPRINGER , pp. 48-63.

Garrido, Jose, Zhao, Shuai, Burns, Alan orcid.org/0000-0001-5621-8816 et al. (1 more author) (2017) Supporting Nested Resources in MrsP. In: Reliable Software Tecnologies, 01 Jun 2017.

Gerasimou, Simos, Calinescu, Radu Constantin orcid.org/0000-0002-2678-9260 and Tamburrelli, Giordano (2018) Synthesis of Probabilistic Models for Quality-of-Service Software Engineering. Automated Software Engineering. ISSN 0928-8910

Gerasimou, Simos, Kechagia, Maria, Kolovos, Dimitris orcid.org/0000-0002-1724-6563 et al. (2 more authors) (2018) On software modernisation due to library obsolescence. In: Proceedings - 2018 ACM/IEEE 2nd International Workshop on API Usage and Evolution, WAPI 2018. ACM/IEEE 2nd International Workshop on API Usage and Evolution, WAPI 2018, co-located with the 40th International Conference on Software Engineering, ICSE 2018, 02 Jun 2018. IEEE Computer Society Press , pp. 6-9.

Gerasimou, Simos, Mason, George Rupert, Paterson, Colin Alexander orcid.org/0000-0002-6678-3752 et al. (4 more authors) (2015) Stochastic modeling, analysis and verification of mission-critical systems and processes. In: 4th IMA Conference on Mathematics in Defence. .

Gerasimou, Simos, Tamburrelli, Giordano and Calinescu, Radu orcid.org/0000-0002-2678-9260 (2015) Search-Based Synthesis of Probabilistic Models for Quality-of-Service Software Engineering. In: 30th IEEE/ACM International Conference on Automated Software Engineering (ASE 2015). UNSPECIFIED. .

Gilbody, Simon orcid.org/0000-0002-8236-6983, Brabyn, Sally orcid.org/0000-0001-5381-003X, Lovell, Karina et al. (13 more authors) (2017) Telephone-supported computerised cognitive-behavioural therapy : REEACT-2 large-scale pragmatic randomised controlled trial. The British journal of psychiatry : the journal of mental science. ISSN 1472-1465

Giscard, Pierre-Louis, Rochet, Paul and Wilson, Richard Charles orcid.org/0000-0001-7265-3033 (2017) Evaluating balance on social networks from their simple cycles. Journal of Complex Networks. pp. 1-26. ISSN 2051-1329

Giscard, Pierre-Louis and Wilson, Richard Charles orcid.org/0000-0001-7265-3033 (2018) A centrality measure for cycles and subgraphs II. Applied Network Science. ISSN 2364-8228

Gomony, Manil Dev, Garside, Jamie, Akesson, Benny et al. (2 more authors) (2017) A Globally Arbitrated Memory Tree for Mixed-Time-Criticality Systems. IEEE Transactions on Computers. 7523935. pp. 212-225. ISSN 0018-9340

Goumagias, Nik, Fernandes, Kiran, Cabras, Ignazio et al. (6 more authors) (2016) A Conceptual Framework of Business Model Emerging Resilience. In: 32nd European Group for Organization Studies (EGOS) Colloquium, 07-09 Jul 2016, Italy.

Goumagias, Nik, Purvis, Kieran, Fernandes, Kiran et al. (7 more authors) (2016) A Strategic Roadmap for Business Model Change for the Video-games Industry. In: R&D Management Conference, 03-06 Jul 2016. (In Press)

Greaves, Richard Brian, Dietmann, Sabine, Smith, Austin et al. (2 more authors) (2015) Genome-wide mouse embryonic stem cell regulatory network self-organisation : a big data CoSMoS computational modelling approach. In: CoSMoS workshop, York, UK, July 2015. Luniver Press , pp. 31-66.

Greaves, Richard Brian, Dietmann, Sabine, Smith, Austin et al. (2 more authors) (2017) A conceptual and computational framework for modelling and understanding the nonequilibrium gene regulatory networks of mouse embryonic stem cells. PLoS Computational Biology. e1005713. ISSN 1553-7358

Griffin, David Jack orcid.org/0000-0002-4077-0005, Lesage, Benjamin Michael Jean-Rene, Bate, Iain John orcid.org/0000-0003-2415-8219 et al. (2 more authors) (2017) Forecast-Based Interference : Modelling Multicore Interference from Observable Factors. In: International Conference on Real-Time Networks and Systems. UNSPECIFIED. ACM , pp. 198-207.

Grzes, Marek and Kudenko, Daniel orcid.org/0000-0003-3359-3255 (2010) Online learning of shaping rewards in reinforcement learning. Neural Networks. pp. 541-550. ISSN 0893-6080

Guan, Hao and Smith, William Alfred Peter orcid.org/0000-0002-6047-0413 (2016) Structure-from-motion in Spherical Video using the von Mises-Fisher Distribution. IEEE Transactions on Image Processing. ISSN 1057-7149

Gundry, David Edward and Deterding, Christoph Sebastian orcid.org/0000-0003-0033-2104 (2018) Intrinsic Elicitation : A Model and Design Approach for Games Collecting Human Subject Data. In: Foundations of Digital Games 2018 (FDG18). UNSPECIFIED. ACM , New York . (In Press)

Gundry, David Edward and Deterding, Christoph Sebastian orcid.org/0000-0003-0033-2104 (2018) Validity Threats in Quantitative Data Collection with Games : A Narrative Survey. Simulation & Gaming. ISSN 1046-8781 (In Press)

H

Habel, A., Muller, J. and Plump, D. (2001) Double-pushout graph transformation revisited. Mathematical Structures in Computer Science, 11 (5). pp. 637-688. ISSN 0960-1295

Habel, A. and Plump, D. (2001) Computational Completeness of Programming Languages Based on Graph Transformation. In: Honsell, F. and Miculan, M., (eds.) Foundations of Software Science and Computation Structures : 4th International Conference, FOSSACS 2001: Proceedings. Held as Part of the Joint European Conferences on Theory and Practice of Software. ETAPS 2001, April 2-6, 2001, Genova, Italy. Lecture Notes in Computer Science (2030). Springer-verlag , pp. 230-245.

Habli, Ibrahim orcid.org/0000-0003-2736-8238 and White, Sean Paul (2018) Hazard and Risk Analysis of Health Informatics: Fundamental Challenges and New Directions. In: Safety-Critical Systems Symposium, 03 Feb - 05 Sep 2018.

Habli, Ibrahim orcid.org/0000-0003-2736-8238, White, Sean Paul, Sujan, Mark et al. (2 more authors) (2018) What is the Safety Case for Health IT? A Study of Assurance Practices in England. Safety science. pp. 324-335. ISSN 0925-7535

Han, Bingbing, Zhang, Zhihong, Xu, Chuanyu et al. (5 more authors) (2017) Deep Face Model Compression Using Entropy-based Filter Selection. In: Proceedings ICIAP 2017:Lecture Notes in Computer Science. UNSPECIFIED. Springer Berlin / Heidelberg , pp. 127-136.

Hancock, E.R. orcid.org/0000-0003-4496-2028 and Atkinson, G.A. (2006) Recovery of surface orientation from diffuse polarization. IEEE Transactions on Image Processing. pp. 1653-1664. ISSN 1057-7149

Hancock, E.R. orcid.org/0000-0003-4496-2028 and Luo, B. (2001) Structural graph matching using the EM algorithm and singular value decomposition. IEEE Transactions on Pattern Analysis and Machine Intelligence. pp. 1120-1136. ISSN 0162-8828

Hancock, E.R. orcid.org/0000-0003-4496-2028 and Torsello, A. (2006) Correcting curvature-density effects in the Hamilton-Jacobi skeleton. IEEE Transactions on Image Processing. pp. 877-891. ISSN 1057-7149

Hancock, E.R. orcid.org/0000-0003-4496-2028 and Wilson, R.C. (2003) A study of pattern recovery in recurrent correlation associative memories. IEEE Transactions on Neural Networks. pp. 506-519. ISSN 1045-9227

Hancock, Edwin orcid.org/0000-0003-4496-2028, Konno, Norio, Latora, Vito et al. (4 more authors) (2013) Co-evolution of networks and quantum dynamics : a generalization of the Barabási-Albert model of preferential attachment. Working Paper. Arxiv (Cornell University)

Hancock, Edwin R orcid.org/0000-0003-4496-2028, Zhang, Zhi Hong and Bai, Lu (2018) A Unified Neighbor Reconstruction Method for Embeddings. In: 24th International Conference on Pattern Recognition, 21-24 Aug 2018. (In Press)

Hao, C, Clark, JA orcid.org/0000-0002-9230-9739 and Jacob, Jeremy Lawrence orcid.org/0000-0003-4806-7426 (2004) A search-based approach to the automated design of security protocols. Report. York Computer Science Technical Report Series ("Yellow Reports"), York C . Department of Computer Science, University of York

Hao, C., Clark, J.A. and Jacob, J.L. (2004) Automated design of security protocols. Computational Intelligence, 20 (3). pp. 503-516. ISSN 0824-7935

Hao, Feng, Clarke, Dylan, Randell, Brian et al. (1 more author) (2018) Verifiable Classroom Voting in Practice. IEEE Security & Privacy. pp. 72-81. ISSN 1540-7993

Hao, Feng, Metere, Roberto, Shahandashti, Siamak F. orcid.org/0000-0002-5284-6847 et al. (1 more author) (2018) Analysing and Patching SPEKE in ISO/IEC. Information Forensics and Security, IEEE Transactions on. ISSN 1556-6013

Hao, Feng and Shahandashti, Siamak F. orcid.org/0000-0002-5284-6847 (2014) The SPEKE Protocol Revisited. In: Security Standardisation Research, 16-17 Dec 2014, Royal Holloway, University of London.

Harbin, James orcid.org/0000-0002-6479-8600 and Soares Indrusiak, Leandro orcid.org/0000-0002-9938-2920 (2016) Comparative performance evaluation of latency and link dynamic power consumption modelling algorithms in wormhole switching networks on chip. Journal of systems architecture. pp. 33-47. ISSN 1383-7621

Hart, Jennefer, Iacovides, Ioanna orcid.org/0000-0001-9674-8440, Adams, Anne et al. (2 more authors) (2017) Understanding Engagement within the Context of a Safety Critical Game. In: The ACM SIGCHI Annual Symposium on Computer-Human Interaction in Play (CHIPLAY 2017). UNSPECIFIED. , pp. 253-264.

Hawkins, Richard orcid.org/0000-0001-7347-3413, Habli, Ibrahim orcid.org/0000-0003-2736-8238, Kolovos, Dimitrios S. orcid.org/0000-0002-1724-6563 et al. (2 more authors) (2015) Weaving an Assurance Case from Design: A Model-Based Approach. In: 16th IEEE International Symposium on High Assurance Systems Engineering, HASE 2015, Daytona Beach, FL, USA, January 8-10, 2015. UNSPECIFIED. IEEE , pp. 110-117.

Hawkins, Richard David orcid.org/0000-0001-7347-3413, Habli, Ibrahim orcid.org/0000-0003-2736-8238 and Kelly, Tim orcid.org/0000-0002-7385-2031 (2015) The Need for a Weaving Model in Assurance Case Automation. Ada User Journal. pp. 187-191. ISSN 1381-6551

Haywood, N. and Cairns, P. (2007) Engagement with an interactive museum exhibit. In: McEwan, T., Gulliksen, J. and Benyon, D., (eds.) People and Computers XIX — The Bigger Picture. Springer , London , pp. 113-129. ISBN 978-1-84628-249-2

Heathcote, Robert J. P., Darden, Safi K., Franks, Daniel Wayne orcid.org/0000-0002-4832-7470 et al. (2 more authors) (2017) Fear of predation drives stable and differentiated social relationships in guppies. Scientific Reports. ISSN 2045-2322

Heeren, Behrend, Zhang, Chao, Rumpf, Martin et al. (1 more author) (2018) Principal Geodesic Analysis in the Space of Discrete Shells. Computer graphics forum. pp. 173-184. ISSN 0167-7055

Herrera, Adolfo Sánchez-Barbudo, Willink, Edward D. and Paige, Richard F. orcid.org/0000-0002-1978-9852 (2017) A Domain Specific Transformation Language to Bridge Concrete and Abstract Syntax. In: Theory and Practice of Model Transformations - 9th International Conference, ICMT 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-5, 2016, Proceedings. UNSPECIFIED. Lecture Notes in Computer Science . SPRINGER , pp. 3-18.

Heseltine, T, Pears, N orcid.org/0000-0001-9513-5634 and Austin, J orcid.org/0000-0001-5762-8614 (2004) Three-dimensional face recognition: An Eigensurface approach. In: ICIP: 2004 INTERNATIONAL CONFERENCE ON IMAGE PROCESSING, VOLS 1- 5. IEEE , NEW YORK , pp. 1421-1424.

Hickinbotham, S J, Hancock, E R orcid.org/0000-0003-4496-2028 and Austin, J orcid.org/0000-0001-5762-8614 (1996) Segmenting modulated line textures with S-Gabor filters. In: INTERNATIONAL CONFERENCE ON IMAGE PROCESSING, PROCEEDINGS - VOL III. UNSPECIFIED. I E E E, COMPUTER SOC PRESS , NEW YORK , pp. 149-152.

Hickinbotham, Simon, Clark, Edward, Nellis, Adam et al. (3 more authors) (2016) Maximizing the Adjacent Possible in Automata Chemistries. Artificial Life. pp. 49-75. ISSN 1064-5462

Hickinbotham, Simon John and Stepney, Susan orcid.org/0000-0003-3146-5401 (2016) Augmenting Live Coding with Evolved Patterns. In: International Conference on Evolutionary and Biologically Inspired Music and Art; EvoMusArt 2016. Lecture Notes in Computer Science (LNCS) . Springer , 31–46.

Hobson, Stephen John and Austin, Jim orcid.org/0000-0001-5762-8614 (2009) Improved storage capacity in correlation matrix memories storing fixed weight codes. In: Lecture Notes in Computer Science. UNSPECIFIED. Lecture Notes in Computer Science . Springer , ICANN 2009 , pp. 728-736.

Hodge, V J orcid.org/0000-0002-2469-0224 and Austin, J orcid.org/0000-0001-5762-8614 (2002) Hierarchical word clustering - automatic thesaurus generation. Neurocomputing. pp. 819-846. ISSN 0925-2312

Hodge, V J orcid.org/0000-0002-2469-0224, Lees, K J and Austin, J L orcid.org/0000-0001-5762-8614 (2004) A high performance k-NN approach using binary neural networks. Neural Networks. pp. 441-458. ISSN 0893-6080

Hodge, V.J. orcid.org/0000-0002-2469-0224 and Austin, J. orcid.org/0000-0001-5762-8614 (2001) Hierarchical growing cell structures: TreeGCS. IEEE Transactions on Knowledge and Data Engineering. pp. 207-218.

Hodge, V.J. orcid.org/0000-0002-2469-0224 and Austin, J. orcid.org/0000-0001-5762-8614 (2005) A binary neural k-nearest neighbour technique. Knowledge and Information Systems. pp. 276-292. ISSN 0219-3116

Hodge, V.J. orcid.org/0000-0002-2469-0224 and Austin, J. orcid.org/0000-0001-5762-8614 (2002) A comparison of a novel neural spell checker and standard spell checking algorithms. Pattern recognition. pp. 2571-2580. ISSN 0031-3203

Hodge, V.J. orcid.org/0000-0002-2469-0224 and Austin, J. orcid.org/0000-0001-5762-8614 (2003) A comparison of standard spell checking algorithms and a novel binary neural approach. IEEE Transactions on Knowledge and Data Engineering. pp. 1073-1081.

Hodge, V.J. orcid.org/0000-0002-2469-0224 and Austin, J. orcid.org/0000-0001-5762-8614 (2001) An evaluation of standard retrieval algorithms and a binary neural approach. Neural Networks. pp. 287-303. ISSN 0893-6080

Hodge, V.J. orcid.org/0000-0002-2469-0224 and Austin, J. orcid.org/0000-0001-5762-8614 (2001) A novel binary spell checker. In: Dorffner, G., Bischof, H. and Hornik, K., (eds.) Artificial neural networks : ICANN 2001 : International Conference, Vienna, Austria, August 21-25, 2001 : proceedings. Lecture Notes in Computer Science . Springer-verlag , Berlin, Germany , pp. 1199-1204.

Hodge, V.J. orcid.org/0000-0002-2469-0224 and Austin, J. orcid.org/0000-0001-5762-8614 (2004) A survey of outlier detection methodologies. Artificial Intelligence Review. pp. 85-126. ISSN 1573-7462

Hodge, V.J. orcid.org/0000-0002-2469-0224, O'Keefe, S. orcid.org/0000-0001-5957-2474 and Austin, J. orcid.org/0000-0001-5762-8614 (2009) A binary neural shape matcher using Johnson Counters and chain codes. Neurocomputing. pp. 693-703. ISSN 0925-2312

Hodge, V.J., O’Keefe, S. and Austin, J. (2006) A binary neural decision table classifier. Neurocomputing, 69 (16-18). pp. 1850-1859. ISSN 0925-2312

Hodge, Victoria orcid.org/0000-0002-2469-0224, O'Keefe, Simon orcid.org/0000-0001-5957-2474 and Austin, Jim orcid.org/0000-0001-5762-8614 (2006) A Binary Neural Shape Matcher using Johnson Counters and Chain Codes. In: BICS. Brain Inspired Cognitive Systems 2006, 10-14 Oct 2006. .

Hodge, Victoria J. orcid.org/0000-0002-2469-0224 (2014) Outlier Detection in Big Data. In: Wang, J. and Wang, J., (eds.) Encyclopedia of Business Analytics and Optimization. Encyclopedia of Business Analytics and Optimization . Hershey, PA: IGI Global , pp. 1762-1771.

Hodge, Victoria J. orcid.org/0000-0002-2469-0224 and Austin, James orcid.org/0000-0001-5762-8614 (2018) An Evaluation of Classification and Outlier Detection Algorithms. Working Paper.

Hodge, Victoria J. orcid.org/0000-0002-2469-0224, Devlin, Sam Michael orcid.org/0000-0002-7769-3090, Sephton, Nicholas John et al. (3 more authors) (2017) Win Prediction in Esports : Mixed-Rank Match Prediction in Multi-player Online Battle Arena Games. Working Paper. arXiv

Hodge, Victoria J. orcid.org/0000-0002-2469-0224, Krishnan, Rajesh, Austin, Jim orcid.org/0000-0001-5762-8614 et al. (2 more authors) (2014) Short-term prediction of traffic flow using a binary neural network. Neural computing & applications. 1639–1655. ISSN 0941-0643

Hodge, Victoria J. orcid.org/0000-0002-2469-0224, Sephton, Nicholas John, Devlin, Sam Michael orcid.org/0000-0002-7769-3090 et al. (7 more authors) (2018) How the Business Model of Customisable Card Games Influences Player Engagement. IEEE Transactions on Games. ISSN 2475-1510

Hodge, Victoria Jane orcid.org/0000-0002-2469-0224 (2001) Integrating Information Retrieval & Neural Networks. PhD thesis, UNSPECIFIED.

Hodge, Victoria Jane orcid.org/0000-0002-2469-0224 and Austin, Jim orcid.org/0000-0001-5762-8614 (2012) Discretisation of Data in a Binary Neural k-Nearest Neighbour Algorithm. UNSPECIFIED, Department of Computer Science, University of York, UK.

Hodge, Victoria Jane orcid.org/0000-0002-2469-0224 and Austin, Jim orcid.org/0000-0001-5762-8614 (2001) An Evaluation of Phonetic Spell Checkers. UNSPECIFIED, Department of Computer Science, University of York, UK.

Hodge, Victoria Jane orcid.org/0000-0002-2469-0224, Eakins, John and Austin, Jim orcid.org/0000-0001-5762-8614 (2006) Eliciting Perceptual Ground Truth for Image Segmentation. UNSPECIFIED, Department of Computer Science, University of York, UK.

Hodge, Victoria Jane orcid.org/0000-0002-2469-0224, Hollier, Garry Phillip, Austin, Jim orcid.org/0000-0001-5762-8614 et al. (1 more author) (2008) Identifying Perceptual Structures In Trademark Images. In: Proceedings Fifth IASTED International Conference on Signal Processing, Pattern Recognition and Applications, 13-15 Feb 2008.

Hodge, Victoria Jane orcid.org/0000-0002-2469-0224, Jackson, Tom and Austin, Jim orcid.org/0000-0001-5762-8614 (2012) A Binary Neural Network Framework for Attribute Selection and Prediction. In: Proceedings of the 4th International Conference on Neural Computation Theory and Applications (NCTA 2012), 05-07 Oct 2012.

Hodge, Victoria Jane orcid.org/0000-0002-2469-0224, Jackson, Tom and Austin, Jim orcid.org/0000-0001-5762-8614 (2013) A HADOOP-Based Framework for Parallel and Distributed Feature Selection. UNSPECIFIED, Department of Computer Science, University of York, UK.

Hodge, Victoria Jane orcid.org/0000-0002-2469-0224, Jackson, Tom and Austin, Jim orcid.org/0000-0001-5762-8614 (2009) Optimising Activation of Bus Pre-signals. In: Models and Technologies for Intelligent Transportation Systems. Proceedings of the International Conference, 22-23 Jun 2009.

Hodge, Victoria Jane orcid.org/0000-0002-2469-0224, Jessop, Mark David, Fletcher, Martyn Anthony et al. (6 more authors) (2016) A Digital Repository and Execution Platform for Interactive Scholarly Publications in Neuroscience. Neuroinformatics. pp. 23-40. ISSN 1559-0089

Hodge, Victoria Jane orcid.org/0000-0002-2469-0224, Krishnan, Rajesh, Austin, Jim orcid.org/0000-0001-5762-8614 et al. (1 more author) (2010) A computationally efficient method for online identification of traffic incidents and network equipment failures. In: Transport Science and Technology Congress: TRANSTEC 2010, 04-07 Apr 2010.

Hodge, Victoria Jane orcid.org/0000-0002-2469-0224, Krishnan, Rajesh, Jackson, Tom et al. (2 more authors) (2011) Short-Term Traffic Prediction Using a Binary Neural Network. In: 43rd Annual UTSG Conference, 05-07 Jan 2011, Open University.

Hodge, Victoria Jane orcid.org/0000-0002-2469-0224, O'Keefe, Simon orcid.org/0000-0001-5957-2474 and Austin, Jim orcid.org/0000-0001-5762-8614 (2004) A Binary Neural Decision Table Classifier. In: Proceedings Brain Inspired Cognitive Systems 2004 (BICS 2004), 29 Aug - 01 Sep 2004.

Hodge, Victoria Jane orcid.org/0000-0002-2469-0224, O'Keefe, Simon orcid.org/0000-0001-5957-2474 and Austin, Jim orcid.org/0000-0001-5762-8614 (2016) Hadoop neural network for parallel and distributed feature selection. Neural Networks. 24–35. ISSN 0893-6080

Hodge, Victoria Jane orcid.org/0000-0002-2469-0224, O'Keefe, Simon orcid.org/0000-0001-5957-2474, Weeks, Michael et al. (1 more author) (2015) Wireless Sensor Networks for Condition Monitoring in the Railway Industry : a Survey. IEEE Transactions on Intelligent Transportation Systems. pp. 1088-1106. ISSN 1524-9050

Hodge, Victoria Jane orcid.org/0000-0002-2469-0224, Smith, Mike and Austin, Jim orcid.org/0000-0001-5762-8614 (2009) Intelligent Car Park Routeing for Road Traffic. In: Models and Technologies for Intelligent Transportation Systems. Proceedings of the International Conference, 22-23 Jun 2009.

Holloway, Paul, Kudenko, Daniel orcid.org/0000-0003-3359-3255 and James, Bell (2018) Dynamic selection of environmental variables to improve the prediction of aphid phenology : a machine learning approach. Ecological Indicators. pp. 512-521. ISSN 1470-160X

Horsman, Clare, Stepney, Susan orcid.org/0000-0003-3146-5401, Wagner, Rob C. et al. (1 more author) (2014) When does a physical system compute? Proceedings of the Royal Society of London. Series A, Mathematical and Physical Sciences. p. 20140182. ISSN 1364-5021

Horsman, Dominic, Kendon, Viv and Stepney, Susan orcid.org/0000-0003-3146-5401 (2018) Abstraction/Representation Theory and the Natural Science of Computation. In: Cuffaro, Michael E. and Fletcher, Samuel C., (eds.) Physical Perspectives on Computation, Computational Perspectives on Physics. CAMBRIDGE UNIV PRESS , pp. 127-149.

Horsman, Dominic, Kendon, Viv and Stepney, Susan orcid.org/0000-0003-3146-5401 (2017) The Natural Science of Computing. Communications of the ACM. pp. 31-34. ISSN 0001-0782

Hoverd, Tim and Stepney, Susan orcid.org/0000-0003-3146-5401 (2015) Environment Orientation : a structured simulation approach for agent-based complex systems. Natural Computing. pp. 83-97. ISSN 1567-7818

Hoverd, Tim and Stepney, Susan orcid.org/0000-0003-3146-5401 (2016) EvoMachina : a novel evolutionary algorithm inspired by bacterial genome reorganisation. In: 2nd EvoEvo Workshop, CCS 2016, 20 Sep 2016, Beurs Van Berlage.

Huang, Zhan and Alexander, Rob orcid.org/0000-0003-3818-0310 (2015) Semantic Mutation Testing for Multi-Agent Systems. In: The International Workshop on Engineering Multi-Agent Systems (EMAS). UNSPECIFIED. .

Huang, Zhan, Alexander, Rob orcid.org/0000-0003-3818-0310 and Clark, John Andrew orcid.org/0000-0002-9230-9739 (2014) Mutation Testing for Jason Agents. In: Proceedings of the 13th International Conference on Autonomous Agents and Multiagent Systems. 13th International Conference on Autonomous Agents and Multiagent Systems, 05-09 May 2014. IFAAMAS , Richland, SC .

Huibin, S., Bailey, C., Farrall, G. et al. (2 more authors) (2005) Combined Simulator Statistics and Block-Code Sampling to Study Performance Enhancement of Microarchitecture. In: Proceedings of IEEE International System-On-Chip Conference 2005. SOC Conference, 2005, 19-23 Sept. 2005, Washington, DC. , 33 - 36. ISBN 0-7803-9264-7

Hutton, S, Williams, J and Kennedy, S (1997) Women's Current Pension Arrangements: Information from the General Household Survey. Research Report. DSS In house report, 22 . Social Research Branch

I

Iacovides, Ioanna orcid.org/0000-0001-9674-8440 (2018) Supporting engagement in research through a game design competition. Research for All. ISSN 2399-8121 (In Press)

Iacovides, Ioanna orcid.org/0000-0001-9674-8440, Aczel, James, Scanlon, Eileen et al. (2 more authors) (2011) Motivation, engagement and learning through digital games. International Journal of Virtual and Personal Learning Environments. pp. 1-16.

Iacovides, Ioanna orcid.org/0000-0001-9674-8440, Blandford, Ann, Cox, Anna L. et al. (3 more authors) (2014) Infusion device standardisation and dose error reduction software. British Journal of Nursing. S16-S24. ISSN 0966-0461

Iacovides, Ioanna orcid.org/0000-0001-9674-8440, Blandford, Ann, Cox, Anna L. et al. (3 more authors) (2015) Infusion device standardisation and dose error reduction software. British Journal of Healthcare Management. pp. 68-76.

Iacovides, Ioanna orcid.org/0000-0001-9674-8440, Cox, Anna, Kennedy, Richard et al. (2 more authors) (2015) Removing the HUD : The impact of non-diegetic game elements and expertise on player involvement. In: CHI PLAY 2015 - Proceedings of the 2015 Annual Symposium on Computer-Human Interaction in Play. 2nd ACM SIGCHI Annual Symposium on Computer-Human Interaction in Play, CHI PLAY 2015, 05-07 Oct 2015. Association for Computing Machinery, Inc , pp. 13-22.

Iacovides, Ioanna orcid.org/0000-0001-9674-8440 and Cox, Anna L. (2015) Moving Beyond Fun : Evaluating Serious Experience in Digital Games. In: CHI '15: Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing Systems. UNSPECIFIED. ACM , New York, USA , pp. 2245-2254.

Iacovides, Ioanna orcid.org/0000-0001-9674-8440, Cox, Anna L., Avakian, Ara et al. (1 more author) (2014) Player strategies : achieving breakthroughs and progressing in single-player and cooperative games. In: Proceedings of the first ACM SIGCHI annual symposium on Computer-human interaction in play - CHI PLAY '14. UNSPECIFIED. ACM , New York, USA , pp. 131-140.

Iacovides, Ioanna orcid.org/0000-0001-9674-8440, Cox, Anna L. and Blandford, Ann (2013) Supporting Learning Within the Workplace : Device Training in Healthcare. In: Proceedings of the 31st European Conference on Cognitive Ergonomics. UNSPECIFIED. ECCE '13 . ACM , New York, NY, USA , 30:1-30:4.

Iacovides, Ioanna orcid.org/0000-0001-9674-8440, Cox, Anna L., McAndrew, Patrick et al. (2 more authors) (2015) Game-Play Breakdowns and Breakthroughs: Exploring the Relationship Between Action, Understanding, and Involvement. Human-Computer interaction. pp. 202-231. ISSN 0737-0024

Iacovides, Ioanna orcid.org/0000-0001-9674-8440, Jennett, Charlene, Cornish-Trestrail, Cassandra et al. (1 more author) (2013) Do games attract or sustain engagement in citizen science? : A study of volunteer motivations. In: CHI '13 Extended Abstracts on Human Factors in Computing Systems. UNSPECIFIED. ACM , New York, USA , pp. 1101-1106.

Iacovides, Ioanna orcid.org/0000-0001-9674-8440, McAndrew, Patrick, Scanlon, Eileen et al. (1 more author) (2014) The gaming involvement and informal learning framework. Simulation & Gaming. pp. 611-626. ISSN 1046-8781

Indrusiak, Leandro Soares orcid.org/0000-0002-9938-2920, Harbin, James orcid.org/0000-0002-6479-8600 and Dos Santos, Osmar Marchi (2015) Fast simulation of networks-on-chip with priority-preemptive arbitration. ACM Transactions on Design Automation of Electronic Systems. 56. pp. 1-22. ISSN 1557-7309

Ioulianou, Philokypros, Vasilakis, Vasileios orcid.org/0000-0003-4902-8226, Moscholios, Ioannis et al. (1 more author) (2018) A Signature-based Intrusion Detection System for the Internet of Things. In: Information and Communication Technology Form, 11-13 Jul 2018, Graz University of Technology. (In Press)

Iwu, F., Galloway, A., McDermid, J. et al. (1 more author) (2006) Integrating Safety and Formal Analyses using UML and PFS. Reliability Engineering and System Safety, 92 (92). pp. 156-170. ISSN 0951-8320

J

Jackson, Jennifer, Iacovides, Ioanna orcid.org/0000-0001-9674-8440, Alders, Matthew et al. (3 more authors) (2017) Connecting resilience engineering to healthcare practice : Clinical engagement through a serious video game. In: 6th Resilient Health Care Network Meeting, 14 Aug 2017 - 16 May 2018.

Jackson, Jennifer, Iacovides, Ioanna orcid.org/0000-0001-9674-8440 and Duncan, Myanna (2017) Resilience Challenge : Using an evidence-based video game as a tool to support patient safety. In: South London Simulation Network 2017 Conference: Innovation, Collaboration & Evaluation, 22 Sep 2017.

Jaradat, Omar Tawffeeq Saleem and Bate, Iain orcid.org/0000-0003-2415-8219 (2017) Using Safety Contracts to Guide the Maintenance of Systems and Safety Cases. In: Proceedings - 2017 13th European Dependable Computing Conference, EDCC 2017. 13th European Dependable Computing Conference, EDCC 2017, 04-08 Sep 2017. Institute of Electrical and Electronics Engineers Inc. , pp. 95-102.

Jarvis, Stephen A., Wright, Steven A. orcid.org/0000-0001-7133-8533 and Hammond, Simon D. (2017) 7th international workshop on performance modeling, benchmarking and simulation of high performance computing systems (PMBS 2016). Proceedings of PMBS 2016: 7th International Workshop on Performance Modeling, Benchmarking and Simulation of High Performance Computing Systems - Held in conjunction with SC 2016: The International Conference for High Performance Computing, Networking, St. 7836407. v-vi.

Jawad, Mohammed, Aziz, Furqan and Hancock, Edwin R orcid.org/0000-0003-4496-2028 (2018) Local Binary Patterns for Graph Characterization. In: 24th International Conference on Pattern Recognition, 21-24 Aug 2018. (In Press)

Jennett, Charlene, Iacovides, Ioanna orcid.org/0000-0001-9674-8440, Cox, Anna L. et al. (7 more authors) (2016) Squeezy Green Balls : Promoting Environmental Awareness through Playful Interactions. In: Proceedings of the 2016 Annual Symposium on Computer-Human Interaction in Play - CHI PLAY '16. UNSPECIFIED. , pp. 389-400.

Jiang, C. L., Santiago-Gonzalez, D., Almaraz-Calderon, S. et al. (36 more authors) (2018) Reaction rate for carbon burning in massive stars. Physical Review C. 012801. ISSN 1089-490X

Jimenez Gil, Samuel, Bate, Iain orcid.org/0000-0003-2415-8219, Lima, George et al. (3 more authors) (2017) Open Challenges for Probabilistic Measurement-Based Worst-Case Execution Time. IEEE Embedded Systems Letters. 7942057. pp. 69-72. ISSN 1943-0663

Johnson, Kenneth Harold Anthony, Calinescu, Radu Constantin orcid.org/0000-0002-2678-9260 and Kikuchi, Shinji (2013) An incremental verification framework for component-based software systems. In: CBSE '13 : Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering. 16th International ACM Sigsoft symposium on Component-based software engineering, 17-21 Jun 2013. ACM , New York , pp. 33-42.

Johnson, Kenneth Harold Anthony, Sinha, Roopak, Calinescu, Radu orcid.org/0000-0002-2678-9260 et al. (1 more author) (2015) A Multi-agent Framework for Dependable Adaptation of Evolving System Architectures. In: 41st Euromicro Conference on Software Engineering and Advanced Applications (SEAA). UNSPECIFIED. IEEE , pp. 159-166.

Joyce, Russell Andrew orcid.org/0000-0002-6773-3837 and Audsley, Neil Cameron orcid.org/0000-0003-3739-6590 (2017) Improving efficiency of persistent storage access in embedded Linux. In: 10th York Doctoral Symposium on Computer Science and Electronic Engineering, 17 Nov 2017, University of York.

K

Kamali Sarvestani, Amir Mansoor, Crispin-Bailey, Christopher orcid.org/0000-0003-0613-9698 and Austin, James orcid.org/0000-0001-5762-8614 (2012) Ball Computer or How I learned to stop worrying and love computing with wireless 3D grids. In: Building Bridges to Brains Workshop, 01 Nov 2012.

Kamel, George, Wang, Ning, Vasilakis, Vasileios orcid.org/0000-0003-4902-8226 et al. (5 more authors) (2015) CAINE: A Context-Aware Information-Centric Network Ecosystem. Ieee communications magazine. pp. 176-183. ISSN 0163-6804

Kapetanakis, S. and Kudenko, D. (2002) Reinforcement Learning of Coordination in Cooperative Multi-Agent Systems. In: Dechter, R., Kearns, M. and Sutton, R., (eds.) Proceedings of the 18th National Conference on Artificial Intelligence (AAAI). AAAI-02, July 28 – August 1, 2002, Edmonton, Alberta, Canada. , pp. 326-331. ISBN 978-0-262-51129-2

Kazakov, D and Bartlet, M. (2002) Stochastic Simulation of Inherited Kinship-Driven Altruism. Journal of Artificial Intelligence and Simulation of Behaviour, 1 (2). pp. 183-196. ISSN 1476-3036

Kazakov, D. and Bartlett, M. (2004) Co-operative navigation and the faculty of language. Applied Artificial Intelligence, 18 (9-10). pp. 885-901. ISSN 0883-9514

Kazakov, D. and Manandhar, S. (2001) Unsupervised learning of word segmentation rules with genetic algorithms and inductive logic programming. Machine Learning, 43 (1-2). pp. 121-162. ISSN 0885-6125

Kazakov, Dimitar Lubomirov orcid.org/0000-0002-0637-8106 and Bartlett, Mark orcid.org/0000-0003-3383-4100 (2014) Evolutionary paths to compositional language : Proc. of the 10th International Conference on the Evolution of Language (EVOLANG X). In: Evolang X: 10th International Conference on the Evolution of Language, 14-17 Apr 2014, University of Vienna.

Kazakov, Dimitar Lubomirov orcid.org/0000-0002-0637-8106 and Butler, Matthew Richard (2012) Testing Implications of the Adaptive Market Hypothesis via Computational Intelligence. In: Computational Intelligence for Financial Engineering & Economics (CIFEr), 2012 IEEE Conference on. 2012 IEEE Computational Intelligence for Financial Engineering and Economics (CIFEr 2012), 29-30 Mar 2012. IEEE , pp. 1-8.

Kazakov, Dimitar Lubomirov orcid.org/0000-0002-0637-8106, Cordoni, Guido, Algahtani, Eyad et al. (7 more authors) (2018) Learning implicational models of universal grammar parameters. In: Cuskley, C., Flaherty, M., Little, H., McCrohon, L., Ravignani, A. and Verhoef, T., (eds.) The Evolution of Language: Proceedings of the 12th International Conference (EVOLANGXII). Online at http://evolang.org/torun/proceedings/papertemplate.html?p=176 , Torun, Poland .

Kendon, Viv, Sebald, Angelika orcid.org/0000-0001-7966-7438 and Stepney, Susan orcid.org/0000-0003-3146-5401 (2015) Heterotic computing : exploiting hybrid computational devices. Philosophical Transactions of the Royal Society of London. Series A, Mathematical and Physical Sciences. 20150091. ISSN 1471-2962

Kennedy, J.V., Austin, J. orcid.org/0000-0001-5762-8614, Pack, R. et al. (1 more author) (1995) C-NNAP - A parallel processing architecture for binary neural networks. In: Proceedings of the IEEE International Conference on Neural Networks (ICNN 95). (University of Western Australia, Perth, Australia, Nov 27-Dec 01, 1995). IEEE , New York , pp. 1037-1041.

Kervina, D., Pustisek, M., Ackermann, P. et al. (2 more authors) (2012) A Tool for Development and Evaluation of Accessible Web 2.0 Applications. In: 21st International Electrotechnical and Computer Science Conference. UNSPECIFIED. IEEE COMPUTER SOC , pp. 89-92.

Kim, S., Clark, J.A. and McDermid, J.A. (2001) Investigating the Effectiveness of Object-Oriented Testing Strategies with the Mutation Method Sun-Woo Kim, John A. Clark *, John A. McDermid. Software Testing, Verification and Reliability, 11 ( 4). pp. 207-225. ISSN 0960-0833

Kimble, C. and Hildreth, P. (2005) Dualities, Distributed Communities of Practice and Knowledge Management. Journal of Knowledge Management, 9 (4). pp. 102-113. ISSN 13673270

Kirk, Richard O., Mudalige, Gihan R., Reguly, Istvan Z. et al. (3 more authors) (2017) Achieving performance portability for a heat conduction solver mini-application on modern multi-core systems. In: Proceedings - 2017 IEEE International Conference on Cluster Computing, CLUSTER 2017. 2017 IEEE International Conference on Cluster Computing, CLUSTER 2017, 05-08 Sep 2017. Institute of Electrical and Electronics Engineers Inc. , pp. 834-841.

Kirke, Alexis, Williams, Duncan, Miranda, Eduardo R et al. (4 more authors) (2018) Unconsciously interactive Films in a cinema environment—a demonstrative case study. Digital Creativity. pp. 1-17. ISSN 1462-6268

Kirkwood, Jobie, Wilson, Julie orcid.org/0000-0002-5171-8480, O'keefe, Simon orcid.org/0000-0001-5957-2474 et al. (1 more author) (2014) A high-throughput colourimetric method for the determination of pH in crystallization screens. Acta Crystallographica Section D: Biological Crystallography. pp. 2367-2375. ISSN 0907-4449

Kirkwood, Jobie Samuel, Hargreaves, David, O'Keefe, Simon orcid.org/0000-0001-5957-2474 et al. (1 more author) (2015) Analysis of crystallization data the Protein Data Bank. Acta Crystallographica Section F: Structural Biology and Crystallization Communications. pp. 1228-1234. ISSN 1744-3091

Kirkwood, Jobie Samuel, Hargreaves, David, O'Keefe, Simon orcid.org/0000-0001-5957-2474 et al. (1 more author) (2015) Using isoelectric point to determine the pH for initial protein crystallisation trials. Bioinformatics. pp. 1444-1451. ISSN 1460-2059

Kloetzer, Laure, Scheider, Daniel, Jennett, Charlene et al. (4 more authors) (2013) Learning by volunteer computing, thinking and gaming : What and how are volunteers learning by participating in Virtual Citizen Science? In: Changing Configurations of Adult Education in Transitional Times: Conference Proceedings. UNSPECIFIED. ESREA: European Society for Research on the Education of Adults , pp. 73-92.

Kocsis, Zoltan A. and Swan, Jerry (2017) Genetic Programming + Proof Search = Automatic Improvement. Journal of Automated Reasoning. pp. 1-20. ISSN 1573-0670

Koike, S., Takahashi, H., Yonezawa, H. et al. (4 more authors) (2006) Demonstration of quantum telecloning of optical coherent states. Physical Review Letters, 96 (6). 060504. ISSN 0031-9007

Kokkinakis, Athanasios V., Cowling, Peter I. orcid.org/0000-0003-1310-6683, Drachen, Anders et al. (1 more author) (2017) Exploring the relationship between video game expertise and fluid intelligence. PloS One. e0186621. ISSN 1932-6203

Kolovos, D.S., Paige, R.F. and Polack, F.A.C. (2006) Merging Models with the Epsilon Merging Language. In: Model Driven Engineering Languages and Systems. 9th International Conference, MoDELS 2006, October 1-6, 2006, Genova, Italy. Lecture Notes in Computer Science (4199). Springer , Berlin / Heidelberg , pp. 215-229. ISBN 978-3-540-45772-5

Kolovos, DImitris S. orcid.org/0000-0002-1724-6563 and Paige, Richard F. orcid.org/0000-0002-1978-9852 (2017) The Epsilon Pattern Language. In: Proceedings - 2017 IEEE/ACM 9th International Workshop on Modelling in Software Engineering, MiSE 2017. 9th IEEE/ACM International Workshop on Modelling in Software Engineering, MiSE 2017, 21-22 May 2017. Institute of Electrical and Electronics Engineers Inc. , pp. 54-60.

Kolovos, Dimitrios S. orcid.org/0000-0002-1724-6563, Garcia-Dominguez, Antonio orcid.org/0000-0002-4744-9150, Paige, Richard F. orcid.org/0000-0002-1978-9852 et al. (7 more authors) (2016) MONDO : Scalable modelling and model management on the Cloud. CEUR Workshop Proceedings 1403. pp. 55-64. ISSN 1613-0073

Kolovos, Dimitrios S. orcid.org/0000-0002-1724-6563, Matragkas, Nicholas and Garcia-Dominguez, Antonio orcid.org/0000-0002-4744-9150 (2016) Towards flexible parsing of structured textual model representations. In: Proceedings of the 2nd Workshop on Flexible Model Driven Engineering:CEUR Workshop Proceedings. UNSPECIFIED. , pp. 22-31.

Kornbrot, D., Penn, P., Petrie, H. et al. (2 more authors) (2007) Roughness perception in haptic virtual reality for sighted and blind people. Perception and Psychophysics, 69 (4). pp. 502-512. ISSN 0031-5117

Krastev, Mihail Svilenov, Sebald, Angelika Anne-Marie orcid.org/0000-0001-7966-7438 and Stepney, Susan orcid.org/0000-0003-3146-5401 (2017) Functional grouping analysis of varying reactor types in the Spiky-RBN AChem. In: European Conference on Artificial Life 2017, 04-08 Sep 2017.

Krawiec, Krzysztof, Simons, Christopher, Swan, Jerry et al. (1 more author) (2018) Metaheuristic Design Patterns: New Perspectives for Larger-Scale Search Architectures. In: Vasant, Pandian, Alparslan-Gok, Sirma Zeynep and Weber, Gerhard-Wilhelm, (eds.) Handbook of Research on Emergent Applications of Optimization Algorithms. IGI Global , Hershey, PA, USA , pp. 1-36.

Krishnan, Rajesh, Hodge, Victoria orcid.org/0000-0002-2469-0224, Austin, Jim orcid.org/0000-0001-5762-8614 et al. (4 more authors) (2010) INTELLIGENT DECISION SUPPORT FOR TRAFFIC MANAGEMENT. In: Proceedings of 17th ITS World Congress, 25-29 Oct 2010.

Krishnan, Rajesh, Hodge, Victoria Jane orcid.org/0000-0002-2469-0224, Austin, Jim orcid.org/0000-0001-5762-8614 et al. (1 more author) (2010) A Computationally Efficient Method for Online Identification of Traffic Control Intervention Measures. In: 42nd Annual UTSG Conference, 05-07 Jan 2010.

Kudenko, D., Bauer, M. and Dengler, D. (2003) Group decision making through mediated discussions. In: Brusilovsky, P., Corbett, A. and de Rosis, F., (eds.) User Modeling 2003. Proceedings. 9th International Conference, UM 2003, June 22-26, 2003, Johnstown, PA, USA,. Lecture Notes in Computer Science (2702). Springer , Berlin / Heidelberg , pp. 238-247. ISBN 978-3-540-40381-4

Kumari, Shringi, Deterding, Christoph Sebastian orcid.org/0000-0003-0033-2104 and Kuhn, Gustav (2018) Why Game Designers Should Study Magic. In: Foundations of Digital Games 2018 (FDG18). UNSPECIFIED. New York, NY: ACM Press . (In Press)

Kumari, Shringi, Power, Christopher Douglas orcid.org/0000-0001-9486-8043 and Cairns, Paul Antony orcid.org/0000-0002-6508-372X (2017) Investigating Uncertainty in Digital Games and its Impact on Player Immersion. In: ACM CHI 2017. UNSPECIFIED. ACM , pp. 503-509.

Kurd, Z. and Kelly, T.P. (2005) Using Safety Critical Artificial Neural Networks in Gas Turbine Aero-Engine Control. In: 24th International Conference on Computer Safety, Reliability and Security. SAFECOMP 2005, September 28-30, 2005, Fredrikstad, Norway. Lecture Notes in Computer Science (3688). Springer , Berlin / Heidelberg , pp. 136-150. ISBN 978-3-540-29200-5

Kurd, Z. and Kelly, T.P. (2007) Using fuzzy self-organising maps for safety critical systems. Reliability Engineering and System Safety, 92 (11). pp. 1563-1583. ISSN 0951-8320

Kuusinen, Kati, Petrie, Helen orcid.org/0000-0002-0100-9846, Fagerholm, Fabian et al. (1 more author) (2016) Flow, Intrinsic Motivation, and Developer Experience in Software Engineering. In: Proceedings of the International Conference on Agile Software Development:Agile Processes in Software Engineering and Extreme Programming (XP 2016). UNSPECIFIED. Lecture Notes in Business Information Processing . Springer .

Kwon, J., Wellings, A. and King, S. (2005) Ravenscar-Java: a High-integrity Profile for Real-time Java. Concurrency and Computation: Practice and Experience, 17 (5-6). 681 - 713. ISSN 1532-0626

L

Laleau, Regine and Polack, Fiona orcid.org/0000-0001-7954-6433 (2008) Using formal metamodels to check consistency of functional views in information systems specification. Information and Software Technology. pp. 797-814. ISSN 0950-5849

Lampert, Thomas (2010) Spectrogram Track Detection : An Active Contour Algorithm. PhD thesis, UNSPECIFIED.

Lampert, Thomas and O'Keefe, Simon orcid.org/0000-0001-5957-2474 (2008) Active Contour Detection of Linear Patterns in Spectrogram Images. In: 19TH INTERNATIONAL CONFERENCE ON PATTERN RECOGNITION, VOLS 1-6. 19th International Conference on Pattern Recognition (ICPR 2008), 08-11 Dec 2008. IEEE , NEW YORK , pp. 3350-3353.

Lampert, Thomas and O'Keefe, Simon orcid.org/0000-0001-5957-2474 (2009) A Comparison Framework for Spectrogram Track Detection Algorithms. In: Kurzynski, Marek and Wozniak, Michal, (eds.) Computer Recognition Systems. 6th International Conference on Computer Recognition Systems, 25-28 May 2009. Advances in Intelligent and Soft Computing . Springer , p. 119.

Lampert, Thomas and O'Keefe, Simon orcid.org/0000-0001-5957-2474 (2011) A Detailed Investigation into Low-Level Feature Detection in Spectrogram Images. Pattern recognition. pp. 2076-2092. ISSN 0031-3203

Lampert, Thomas and O'Keefe, Simon orcid.org/0000-0001-5957-2474 (2009) Machine Learning of Harmonic Relationships which Maximise Source Detection and Discrimination. In: Workshop on Machine Intelligence for Autonomous Operations, 07-08 Oct 2009.

Lampert, Thomas and O'Keefe, Simon orcid.org/0000-0001-5957-2474 (2010) A Survey of Spectrogram Track Detection Algorithms. Applied Acoustics. pp. 87-100.

Lampert, Thomas and O'Keefe, Simon orcid.org/0000-0001-5957-2474 (2010) An active contour algorithm for spectrogram track detection. Pattern Recognition Letters. pp. 1201-1206.

Lampert, Thomas, O'Keefe, Simon orcid.org/0000-0001-5957-2474 and Pears, Nick orcid.org/0000-0001-9513-5634 (2009) Line Detection Methods for Spectrogram Images. In: Kurzynski, Marek and Wozniak, Michal, (eds.) Computer Recognition Systems. 6th International Conference on Computer Recognition Systems, 25-28 May 2009. Advances in Intelligent and Soft Computing . Springer , pp. 127-134.

Lampert, Thomas, Pears, Nick orcid.org/0000-0001-9513-5634 and O'Keefe, Simon orcid.org/0000-0001-5957-2474 (2009) A Multi-Scale Piecewise-Linear Feature Detector for Spectrogram Tracks. In: AVSS: 2009 6TH IEEE INTERNATIONAL CONFERENCE ON ADVANCED VIDEO AND SIGNAL BASED SURVEILLANCE. 6th IEEE International Conference on Advanced Video and Signal Based Surveillance, 2009, 02-04 Sep 2009. IEEE , NEW YORK , pp. 330-335.

Lampert, Thomas Andrew and O'Keefe, Simon orcid.org/0000-0001-5957-2474 (2013) On the detection of tracks in spectrogram images. Pattern recognition. pp. 1396-1408. ISSN 0031-3203

Larsen, Peter Gorm, Fitzgerald, John, Woodcock, Jim orcid.org/0000-0001-7955-2702 et al. (3 more authors) (2016) Towards Semantically Integrated Models and Tools for Cyber-Physical Systems Design. In: 7th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation. UNSPECIFIED. , pp. 171-186.

Laurenza, Riccardo, Lupo, Cosmo orcid.org/0000-0002-5227-4009, Spedalieri, Gaetana et al. (2 more authors) (2018) Channel Simulation in Quantum Metrology. Quantum Measurements and Quantum Metrology. ISSN 2299-114X

Law, Timothy R., Hancox, Jonny, Cheng, Tammy M.K. et al. (4 more authors) (2016) Optimisation of a Molecular Dynamics Simulation of Chromosome Condensation. In: Proceedings - 28th IEEE International Symposium on Computer Architecture and High Performance Computing, SBAC-PAD 2016. 28th IEEE International Symposium on Computer Architecture and High Performance Computing, SBAC-PAD 2016, 26-28 Oct 2016. IEEE Computer Society Press , pp. 126-133.

Layas, Fatma A.m and Petrie, Helen orcid.org/0000-0002-0100-9846 (2016) Exploring intrinsic and extrinsic motivations to participate in a crowdsourcing project to support blind and partially sighted students. In: Universal Design 2016:Learning from the past, designing for the future (Proceedings of the 3rd International Conference on Universal Design, UD2016). UNSPECIFIED. IOS Press , Amsterdam , 545 - 556.

Leong, Chris Wai Kiat, Kelly, Timothy Patrick orcid.org/0000-0002-7385-2031 and Alexander, Robert David orcid.org/0000-0003-3818-0310 (2017) Incorporating epistemic uncertainty into the safety assurance of socio-technical systems. In: 2nd international Workshop on Causal Reasoning for Embedded and Safety-critical Systems Technologies, 29 Apr 2017.

Lesage, Benjamin Michael Jean-Rene, Griffin, David Jack orcid.org/0000-0002-4077-0005, Altmeyer, Sebastian et al. (2 more authors) (2017) On the analysis of random replacement caches using static probabilistic timing methods for multi-path programs. Real-Time Systems. pp. 1-82. ISSN 1573-1383

Li, Chunqing and Hancock, Edwin R orcid.org/0000-0003-4496-2028 (2018) Vertex-Level Three-Dimensional Shape Deformability Measurement Based on Line Segment Advection. IET Computer Vision. ISSN 1751-9632

Li, Zhenyu, Beugnon, Sebastien, Puech, William et al. (1 more author) (2017) Rethinking the High Capacity 3D Steganography : Increasing its Resistance to Steganalysis. In: IEEE International Conference on Image Processing (ICIP). UNSPECIFIED. IEEE , pp. 510-514.

Li, Zhenyu and Bors, Adrian Gheorghe orcid.org/0000-0001-7838-0021 (2016) 3D Mesh Steganalysis using local shape features. In: Proc. IEEE Int. Conf. on Acoustics, Speech and Signal Processing (ICASSP). UNSPECIFIED. IEEE , pp. 2144-2148.

Li, Zhenyu and Bors, Adrian Gheorghe orcid.org/0000-0001-7838-0021 (2016) Selection of robust features for the Cover Source Mismatch problem in 3D steganalysis. In: Proc. of International Conference on Pattern Recognition (ICPR). UNSPECIFIED. IEEE , pp. 4251-4256.

Li, Zhenyu and Bors, Adrian Gheorghe orcid.org/0000-0001-7838-0021 (2017) Steganalysis of 3D objects using statistics of local feature sets. Information Sciences. pp. 85-99. ISSN 0020-0255

Liang, B. and Austin, J. orcid.org/0000-0001-5762-8614 (2005) A neural network for mining large volumes of time series data. In: IEEE International Conference on Industrial Technology (ICIT) 2005 (14-17 December 2005, City University of Hong Kong). IEEE , New York , pp. 688-693.

Lima, G M D and Burns, A orcid.org/0000-0001-5621-8816 (2003) An optimal fixed-priority assignment algorithm for supporting fault-tolerant hard real-time systems. IEEE Transactions on Computers. pp. 1332-1346. ISSN 0018-9340

Limberger, Frederico Artur and Wilson, Richard Charles orcid.org/0000-0001-7265-3033 (2018) Curvature-based spectral signatures for non-rigid shape retrieval. Computer Vision and Image Understanding. ISSN 1077-3142

Liu, H., Liao, G. Q., Zhang, Y. H. et al. (13 more authors) (2018) Cherenkov radiation-based optical fibre diagnostics of fast electrons generated in intense laser-plasma interactions. Review of Scientific Instruments. 083302. ISSN 0034-6748

Lones, Michael Adam, Fuente, Luis Alberto, Turner, Alexander Phillip et al. (4 more authors) (2014) Artificial Biochemical Networks : Evolving Dynamical Systems to Control Dynamical Systems. IEEE Transactions on Evolutionary Computation. 6423886. pp. 145-166. ISSN 1089-778X

Loureiro, Joao, Rangarajan, Raghuraman, Nikolic, Borislav et al. (2 more authors) (2018) Extensive Analysis of a Real-Time Dense Wired Sensor Network Based on Traffic Shaping. ACM Transactions on Cyber-Physical Systems. ISSN 2378-9638 (In Press)

Lu, Bai, Cui, Lixin, Rossi, Luca et al. (1 more author) (2017) Adaptive Feature Selection Based on the Most Informative Graph-Based Features. In: Graph-Based Representations in Pattern Recognition - 11th IAPR-TC-15 International Workshop, GbRPR 2017, Anacapri, Italy, May 16-18, 2017, Proceedings. UNSPECIFIED. Springer Berlin / Heidelberg , pp. 276-287.

Luckcuck, Matt, Wellings, Andy orcid.org/0000-0002-3338-0623 and Cavalcanti, Ana orcid.org/0000-0002-0831-1976 (2016) Safety-Critical Java: : level 2 in practice. Concurrency and Computation: Practice and Experience. pp. 1-27. ISSN 1532-0634

Ludtke, N. and Wilson, R.C. (2003) A mixture model for population codes of Gabor filters. IEEE Transactions on Neural Networks, 14 (4). pp. 794-803. ISSN 1045-9227

Lum, Daniel J., Howell, John C., Allman, M. S. et al. (5 more authors) (2016) Quantum enigma machine: Experimentally demonstrating quantum data locking. Physical Review A. 022315. ISSN 1094-1622

Luo, B., Wilson, R.C. and Hancock, E.R. (2003) Spectral embedding of graphs. Pattern Recognition, 36 (10). pp. 2213-2230. ISSN 0031-3203

Lupo, Cosmo orcid.org/0000-0002-5227-4009, Ottaviani, Carlo orcid.org/0000-0002-0032-3999, Papanastasiou, Panagiotis et al. (1 more author) (2018) Continuous-variable measurement-device-independent quantum key distribution: Composable security against coherent attacks. Physical Review A. 052327. pp. 1-10. ISSN 1094-1622

Lupo, Cosmo orcid.org/0000-0002-5227-4009, Ottaviani, Carlo orcid.org/0000-0002-0032-3999, Papanastasiou, Panagiotis et al. (1 more author) (2018) Parameter estimation with almost no public communication for continuous-variable quantum key distribution. Physical Review Letters. 220505. ISSN 1079-7114

Lupo, Cosmo orcid.org/0000-0002-5227-4009 and Pirandola, Stefano orcid.org/0000-0001-6165-5615 (2017) Super-additivity and entanglement assistance in quantum reading. QUANTUM INFORMATION COMPUTATION. pp. 611-622. ISSN 1533-7146

Lupo, Cosmo orcid.org/0000-0002-5227-4009 and Pirandola, Stefano orcid.org/0000-0001-6165-5615 (2016) Ultimate Precision Bound of Quantum and Subwavelength Imaging. Phys. Rev. Lett.. 190802. ISSN 1079-7114

Lyons, Imogen, Furniss, Dominic, Blandford, Ann et al. (11 more authors) (2018) Errors and discrepancies in the administration of intravenous infusions: a mixed methods multihospital observational study. BMJ Quality & Safety. ISSN 2044-5423

Lüttgen, G. and Mendler, M. (2002) The intuitionism behind statecharts steps. ACM Transactions on Computational Logic, 3 (1). pp. 1-41. ISSN 1529-3785

Lüttgen, G. and Vogler, W. (2004) Bisimulation on speed: Worst-case efficiency. Information and Computation, 191 (2). pp. 105-144. ISSN 0890-5401

M

Ma, Yunfeng and Indrusiak, Leandro Soares orcid.org/0000-0002-9938-2920 (2016) Hardware-accelerated parallel genetic algorithm for fitness functions with variable execution times. In: GECCO 2016 - Proceedings of the 2016 Genetic and Evolutionary Computation Conference. 2016 Genetic and Evolutionary Computation Conference, GECCO 2016, 20-24 Jul 2016. Association for Computing Machinery, Inc , pp. 829-836.

Ma, Yunfeng and Soares Indrusiak, Leandro orcid.org/0000-0002-9938-2920 (2017) Hardware-accelerated analysis of real-time Networks-on-Chip. Microprocessors and Microsystems. pp. 81-91. ISSN 0141-9331

Madani, Sina and Kolovos, Dimitrios S. orcid.org/0000-0002-1724-6563 (2016) Re-implementing Apache Thrift using model-driven engineering technologies : An experience report. CEUR Workshop Proceedings 1403. pp. 149-156. ISSN 1613-0073

Madani, Sina, Kolovos, Dimitrios S. orcid.org/0000-0002-1724-6563 and Paige, Richard F. orcid.org/0000-0002-1978-9852 (2018) Parallel model validation with epsilon. In: Modelling Foundations and Applications - 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Proceedings. 14th European Conference on Modelling Foundations and Applications, ECMFA 2018 Held as Part of STAF 2018, 26-28 Jun 2018. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer-Verlag , pp. 115-131.

Maierhofer, M., Bailey, C. and Sotudeh, R. (2001) Affordable scalability: An analysis of modular multimedia server. International Journal of Computers and Applications, 23 (2). pp. 79-89. ISSN 1206-212X

Makrai, Gabor and Bate, Iain orcid.org/0000-0003-2415-8219 (2018) Signal selection in a complex environmental distributed sensing problem. In: Proceedings of the 13th International Conference on Distributed Computing in Sensor Systems, DCOSS 2017. 13th International Conference on Distributed Computing in Sensor Systems, DCOSS 2017, 05-07 Jun 2017. Institute of Electrical and Electronics Engineers Inc. , pp. 155-162.

Malialis, Kleanthis, Devlin, Sam orcid.org/0000-0002-7769-3090 and Kudenko, Daniel orcid.org/0000-0003-3359-3255 (2016) Resource Abstraction for Reinforcement Learning in Multiagent Congestion Problems. In: International Conference on Autonomous Agents and Multi-Agent Systems, 09-13 May 2016.

Manandhar, S., Tarim, A. and Walsh, T. (2003) Scenario-based stochastic constraint programming. In: Proceedings of the 18th International Joint Conference in Artificial Intelligence. IJCAI 03, August 9-15, 2003, Acapulco, Mexico. , pp. 257-262.

Manandhar, Suresh Kumar orcid.org/0000-0002-2822-2903 and Can, Burcu (2012) Probabilistic Hierarchical Clustering Of Morphological Paradigms. In: EACL '12 Proceedings of the 13th Conference of the European Chapter of the Association for Computational Linguistics. European Chapter of the Association for Computational Linguistics (EACL), 23 Apr - 27 Nov 2012. Association for Computational Linguistics , Stroudsburg, PA , pp. 654-663.

Manandhar, Suresh Kumar orcid.org/0000-0002-2822-2903 and Can, Burcu (2018) Tree Structured Dirichlet Processes for Hierarchical Morphological Segmentation. Computational linguistics. pp. 349-374. ISSN 0891-2017

Mannion, Patrick, Devlin, Sam orcid.org/0000-0002-7769-3090, Duggan, Jim et al. (1 more author) (2017) Multi-Agent Credit Assignment in Stochastic Resource Management Games. The Knowledge Engineering Review. ISSN 0269-8889

Mannion, Patrick, Devlin, Sam orcid.org/0000-0002-7769-3090, Mason, Karl et al. (2 more authors) (2017) Policy Invariance under Reward Transformations for Multi-Objective Reinforcement Learning. Neurocomputing. 263. pp. 60-73. ISSN 0925-2312

Marsden, Emma Josephine orcid.org/0000-0003-4086-5765 and Kasprowicz, Rowena Eloise orcid.org/0000-0001-9248-6834 (2017) Foreign Language Educators’ Exposure to Research : Reported Experiences, Exposure Via Citations, and a Proposal for Action. The Modern Language Journal. 613–642. ISSN 1540-4781

Marshall, Angus M. and Paige, Richard orcid.org/0000-0002-1978-9852 (2018) Requirements in digital forensics method definition : Observations from a UK study. Digital Investigation. ISSN 1742-2876

Mason, George Rupert, Calinescu, Radu Constantin orcid.org/0000-0002-2678-9260, Kudenko, Daniel orcid.org/0000-0003-3359-3255 et al. (1 more author) (2017) Assured Reinforcement Learning for Safety-Critical Applications. In: Doctoral Consortium at the 10th International Conference on Agents and Artificial Intelligence. UNSPECIFIED. SciTePress .

Mason, George Rupert, Calinescu, Radu Constantin orcid.org/0000-0002-2678-9260, Kudenko, Daniel orcid.org/0000-0003-3359-3255 et al. (1 more author) (2017) Assured Reinforcement Learning with Formally Verified Abstract Policies. In: 9th International Conference on Agents and Artificial Intelligence (ICAART). UNSPECIFIED. .

Massey, P., Clark, J.A. and Stepney, S. (2006) Human-competitive evolution of quantum computing artefacts. Evolutionary Computation, 14 (1). pp. 21-40. ISSN 1063-6560

Matsushita, T. and Runciman, C. (2001) The accepting power of unary string logic programs. Theoretical Computer Science, 266 (1-2). pp. 59-79. ISSN 0304-3975

Maxim, Dorin, Davis, Robert Ian orcid.org/0000-0002-5772-0928, Cucu-Grosjean, Liliana et al. (1 more author) (2016) Probabilistic Analysis for Mixed Criticality Scheduling with SMC and AMC. In: Proceedings Workshop on Mixed Criticality systems (WMC) 2016. UNSPECIFIED. .

McCorry, Patrick, Shahandashti, Siamak F. orcid.org/0000-0002-5284-6847 and Hao, Feng (2017) A Smart Contract for Boardroom Voting with Maximum Voter Privacy. In: Financial Cryptography and Data Security:21st International Conference, FC 2017, Sliema, Malta, April 3-7, 2017, Revised Selected Papers. Financial Cryptography and Data Security, 03-07 Apr 2017. Springer , pp. 357-375.

McCutcheon, Christopher, Hitchens, Michael and Drachen, Anders (2017) eSport vs irlSport. In: Advances in Computer Entertainment Technology:14th International Conference, ACE 2017, London, UK, December 14-16, 2017, Proceedings. UNSPECIFIED. Lecture Notes in Computer Science . , pp. 531-542.

Mehrnezhad, Maryam, Toreini, Ehsan, Shahandashti, Siamak F. orcid.org/0000-0002-5284-6847 et al. (1 more author) (2017) Stealing PINs via Mobile Sensors: Actual Risk versus User Perception. International Journal of Information Security. pp. 1-23. ISSN 1615-5262

Mehrnezhad, Maryam, Toreini, Ehsan, Shahandashti, Siamak F. orcid.org/0000-0002-5284-6847 et al. (1 more author) (2016) TouchSignatures : Identification of User Touch Actions and PINs Based on Mobile Sensor Data via JavaScript. Journal of Information Security and Applications. pp. 23-38. ISSN 2214-2126

Meise, Kristine, Franks, Daniel Wayne orcid.org/0000-0002-4832-7470 and Bro-Jorgensen, Jakob (2018) Multiple adaptive and non-adaptive processes determine responsiveness to heterospecific alarm calls in African savanna herbivores. Proceedings of the Royal Society B: Biological Sciences. pp. 1-9. ISSN 1471-2954

Mekler, Elisa, Iacovides, Ioanna orcid.org/0000-0001-9674-8440 and Bopp, Julia (2018) A Game that Makes You Question...” Exploring the Role of Reflection for the Player Experience. In: Proceedings of the annual ACM Conference CHI Play 2018. UNSPECIFIED. ACM .

Mekler, Elisa, Rank, Stefan, Steinemann, Sharon et al. (2 more authors) (2016) Designing for Emotional Complexity in Games : The Interplay of Positive and Negative Affect. In: UNSPECIFIED.

Melani, Alessandra, Bertogna, Marko, Davis, Robert Ian orcid.org/0000-0002-5772-0928 et al. (3 more authors) (2016) Exact Response Time Analysis for Fixed Priority Memory-Processor Co-scheduling. IEEE Transactions on Computers. pp. 1-15. ISSN 0018-9340

Mendis, Hashan Roshantha, Audsley, Neil Cameron orcid.org/0000-0003-3739-6590 and Soares Indrusiak, Leandro orcid.org/0000-0002-9938-2920 (2017) Dynamic and Static Task Allocation for Hard Real-time Video Stream Decoding on NoCs. LITES: Leibniz Transactions on Embedded Systems. 1. pp. 1-25. ISSN 2199-2002

Mendis, Hashan Roshantha, Chen, Wei-Ming, Soares Indrusiak, Leandro orcid.org/0000-0002-9938-2920 et al. (2 more authors) (2018) Impact of Memory Frequency Scaling on User-centric Smartphone Workloads. In: Proceedings of the 33rd ACM/SIGAPP Symposium on Applied Computing (SAC 2018). UNSPECIFIED. .

Menezes, R. and Wood, A. (2006) The Fading Concept in Tuple-Space Systems. In: Proceedings of the 2006 ACM Symposium on Applied Computing. Symposium on Applied Computing: SESSION: Coordination models, languages and applications, April 23 - 27, 2006, Dijon, France. ACM , pp. 440-444. ISBN 1-59593-108-2

Menon, Catherine and Alexander, Robert David orcid.org/0000-0003-3818-0310 (2018) Ethics and the safety of autonomous systems. In: UNSPECIFIED.

Menon, Catherine and Alexander, Robert David orcid.org/0000-0003-3818-0310 (2017) A Safety-Case Approach for Ethical Considerations for Autonomous Vehicles. In: 12th International Conference on System Safety and Cyber Security, 30 Oct - 01 Nov 2017.

Millard, Alan G. orcid.org/0000-0002-4424-5953, Redpath, Richard, Jewers, Alistair et al. (5 more authors) (2018) ARDebug : An augmented reality tool for analysing and debugging swarm robotic systems. Frontiers Robotics AI. 87. ISSN 2296-9144

Millard, Alan Gregory orcid.org/0000-0002-4424-5953, Joyce, Russell Andrew orcid.org/0000-0002-6773-3837, Hilder, James Alan et al. (5 more authors) (2017) The Pi-puck extension board: a Raspberry Pi interface for the e-puck robot platform. In: IEEE/RSJ International Conference on Intelligent Robots and Systems, 24-28 Sep 2017, Vancouver Convention Centre.

Minear, Martyn, Deterding, Christoph Sebastian orcid.org/0000-0003-0033-2104 and Devlin, Sam orcid.org/0000-0002-7769-3090 (2016) Gamification design for motivating and measuring modal shift. In: 11th ITS European Congress. UNSPECIFIED. , Glasgow .

Minello, G., Torsello, A. and Hancock, E. R. orcid.org/0000-0003-4496-2028 (2016) Quantum thermodynamics of time evolving networks. In: Davis, L., Bimbo, A. Del and Lovell, B., (eds.) 2016 23rd International Conference on Pattern Recognition (ICPR). UNSPECIFIED. IEEE Computer Society Press , Los Alamitos, CA, USA , pp. 1536-1541.

Minello, Giorgia, Torsello, Andrea and Hancock, Edwin R. orcid.org/0000-0003-4496-2028 (2016) Thermodynamic Characterization of Temporal Networks. In: Structural, Syntactic, and Statistical Pattern Recognition - Joint IAPR International Workshop, S+SSPR 2016, Merida, Mexico, Nov 30- Dec 2, 2016. Proceedings. UNSPECIFIED. Lecture Notes in Computer Science . Springer International Publishing , pp. 49-59.

Miyazawa, Alvaro orcid.org/0000-0003-2233-9091 and Cavalcanti, Ana orcid.org/0000-0002-0831-1976 (2011) Refinement-based verification of sequential implementations of Stateflow charts. Electronic Proceedings in Theoretical Computer Science. pp. 65-83. ISSN 2075-2180

Miyazawa, Alvaro orcid.org/0000-0003-2233-9091 and Cavalcanti, Ana orcid.org/0000-0002-0831-1976 (2016) SCJ-Circus : a refinement-oriented formal notation for Safety-Critical Java. Electronic Proceedings in Theoretical Computer Science. pp. 71-86. ISSN 2075-2180

Moschitti, A., Quarteroni, S., Basili, R. et al. (1 more author) (2007) Exploiting Syntactic and Shallow Semantic Kernels for Question Answer Classification. In: Proceedings of 45th Annual meeting of the Association for Computational Linguistics. ACL 2007, June 2007, Prague, Czech Republic. , pp. 776-783.

Moscholios, Ioannis, Vasilakis, Vasileios orcid.org/0000-0003-4902-8226, Logothetis, Michael et al. (1 more author) (2017) State-Dependent Bandwidth Sharing Policies for Wireless Multirate Loss Networks. IEEE Trans. Wireless Commun. pp. 1-16.

Moscholios, Ioannis, Vasilakis, Vasileios orcid.org/0000-0003-4902-8226, Sagias, Nikos et al. (1 more author) (2018) On Channel Sharing Policies in LEO Mobile Satellite Systems. Ieee transactions on aerospace and electronic systems. ISSN 0018-9251

Moscholios, Ioannis, Vasilakis, Vasileios orcid.org/0000-0003-4902-8226, Sarigiannidis, Panagiotis et al. (2 more authors) (2018) An analytical framework in LEO mobile satellite systems servicing batched Poisson traffic. Iet communications. pp. 18-25. ISSN 1751-8628

Moss, G E and Runciman, C orcid.org/0000-0002-0151-3233 (2001) Inductive benchmarking for purely functional data structures. Journal of Functional Programming. pp. 525-556. ISSN 1469-7653

Moyo, Daniel, Beattie, Lynette, Andrews, Paul Simon et al. (6 more authors) (2018) Macrophage transactivation for chemokine production identified as a negative regulator of granulomatous inflammation using agent-based modeling. Frontiers in Immunology. 637. ISSN 1664-3224

Myers, R., Hancock, E.R. orcid.org/0000-0003-4496-2028 and Wilson, R.C. (2000) Bayesian graph edit distance. IEEE Transactions on Pattern Analysis and Machine Intelligence. pp. 628-635. ISSN 0162-8828

N

Nasios, N. and Bors, A.G. (2006) Kernel-based classification using quantum mechanics. Pattern Recognition, 40 (3). pp. 875-889. ISSN 0031-3203

Nicolaou, Nicoletta, Malik, Asad, Daly, Ian et al. (7 more authors) (2017) Directed motor-auditory EEG connectivity is modulated by music tempo. Frontiers in human neuroscience. 502. ISSN 1662-5161

Nikolic, Borislav, Tobuschat, Sebastian, Soares Indrusiak, Leandro orcid.org/0000-0002-9938-2920 et al. (2 more authors) (2018) Real-Time Analysis of Priority-Preemptive NoCs with Arbitrary Buffer Sizes and Router Delays. Real-Time Systems. pp. 1-43. ISSN 1573-1383

Norouzzadeh, Yaser R., Spronck, Pieter, Sifa, Rafet et al. (1 more author) (2017) Predicting Victory in a Hybrid Online Competitive Game : The Case of Destiny. In: Proceedings of the Thirteenth Artificial Intelligence and Interactive Digital Entertainment International Conference (AIIDE). UNSPECIFIED. , pp. 207-214.

Notaros, Jelena, Mower, Jacob, Heuck, Mikkel et al. (8 more authors) (2017) Programmable dispersion on a photonic integrated circuit for classical and quantum applications. Optics Express. pp. 21275-21285. ISSN 1094-4087

Nucciarelli, Alberto, Li, Feng, Fernandes, Kiran Jude et al. (5 more authors) (2017) From value chains to technological platforms : the effects of crowdfunding in the digital game industry. JOURNAL OF BUSINESS RESEARCH. ISSN 0148-2963

O

O'Brien, Heather, Cairns, Paul Antony orcid.org/0000-0002-6508-372X and Hall, Mark (2018) A practical approach to measuring user engagement with the refined user engagement scale (UES) and new UES short form. International journal of human-Computer studies. pp. 28-39. ISSN 1071-5819

O'Keefe, S. E M orcid.org/0000-0001-5957-2474 and Austin, J. orcid.org/0000-0001-5762-8614 (1995) Image object labelling and classification using an associative memory. In: Fifth International Conference on Image Processing and its Applications, 1995. Fifth International Conference on Image Processing and its Applications, 04-06 Jul 1995. IET , London , pp. 286-290.

Ogunyomi, Babajide, Rose, Louis M. orcid.org/0000-0002-3419-2579 and Kolovos, Dimitrios S. orcid.org/0000-0002-1724-6563 (2018) Incremental execution of model-to-text transformations using property access traces. International Journal on Software & Systems Modelling. pp. 1-17. ISSN 1619-1366

Oliveira, M., Cavalcanti, A. and Woodcock, J. (2004) ArcAngel: a tactic language for refinement. Formal Aspects of Computing, 15 (1). pp. 28-47. ISSN 0934-5043

Oliveira, Marcel Vinicius Medeiros, Júnior, Ivan Soares de Medeiros and Woodcock, Jim orcid.org/0000-0001-7955-2702 (2013) A Verified Protocol to Implement Multi-way Synchronisation and Interleaving in CSP. In: Hierons, Robert M., Merayo, Mercedes G. and Bravetti, Mario, (eds.) Software Engineering and Formal Methods:11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings. UNSPECIFIED. Lecture Notes in Computer Science . SPRINGER , pp. 46-60.

Othman, Mohd Kamal, Petrie, Helen orcid.org/0000-0002-0100-9846 and Power, Christopher Douglas orcid.org/0000-0001-9486-8043 (2013) Measuring the usability of a smartphone delivered museum guide. Procedia - Social and Behavioral Sciences. pp. 629-637. ISSN 1877-0428

Othman, Mohd Kamal, Petrie, Helen orcid.org/0000-0002-0100-9846 and Power, Christopher Douglas orcid.org/0000-0001-9486-8043 (2010) Understanding visitors' experiences with multimedia guides in cultural spaces. In: Proceedings of Transforming Culture in the Digital Age (International Conference in Tartu, April 14--16), Tartu, Estonia. UNSPECIFIED. Estonian National Museum, Estonian Literary Museum, University of Tartu , pp. 30-36.

Othman, Mohd Kamal, Petrie, Helen orcid.org/0000-0002-0100-9846 and Power, Christopher Douglas orcid.org/0000-0001-9486-8043 (2013) Visitors' Emotions, Touristic or Spiritual Experiences in Historic Churches : The Development of Church Experience Scale (CES). Procedia - Social and Behavioral Sciences. pp. 675-683. ISSN 1877-0428

Otoni, R., Cavalcanti, A. L. C. orcid.org/0000-0002-0831-1976 and Sampaio, A. C. A. (2017) Local Analysis of Determinism for CSP. In: Cavalheiro, S. and Fiadeiro, J., (eds.) Formal Methods:Foundations and Applications : 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings. UNSPECIFIED. Lecture Notes in Computer Science . Springer International Publishing Switzerland , pp. 107-124.

Ottaviani, Carlo orcid.org/0000-0002-0032-3999, Laurenza, Riccardo, Cope, Thomas Peter William et al. (3 more authors) (2016) Secret key capacity of the thermal-loss channel : improving the lower bound. Proceedings of SPIE - The International Society for Optical Engineering. ISSN 0277-786X

Ottaviani, Carlo orcid.org/0000-0002-0032-3999, Mancini, Stefano and Pirandola, Stefano orcid.org/0000-0001-6165-5615 (2017) Gaussian two-mode attacks in one-way quantum cryptography. Physical Review A. 052310. pp. 1-9. ISSN 1094-1622

Ottaviani, Carlo orcid.org/0000-0002-0032-3999 and Pirandola, Stefano orcid.org/0000-0001-6165-5615 (2016) General immunity and superadditivity of two-way Gaussian quantum cryptography. Scientific Reports. 22225. ISSN 2045-2322

Owenson, Andrew, Wright, Steven orcid.org/0000-0001-7133-8533, Bunt, Richard et al. (3 more authors) (2018) Developing and Using a Geometric Multigrid, Unstructured Grid Mini-Application to Assess Many-Core Architectures. In: Proceedings - 26th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2018. 26th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2018, 21-23 Mar 2018. Institute of Electrical and Electronics Engineers Inc. , pp. 68-76.

O’Keefe, S. and Dekhtyarenko, O.K. (2006) SOM-based sparse binary encoding for AURA classifier. In: Proceedings of the 2006 International Joint Conference on Neural Networks. IJCNN '06, July 16-21, 2006, Vancouver, BC, Canada. IEEE , pp. 966-972. ISBN 0-7803-9490-9

P

Paige, R.F. and Ostroff, J.S. (2004) ERC: an Object-Oriented Refinement Calculus for Eiffel. Formal Aspects of Computing, 16 (1). pp. 51-79. ISSN 0934-5043

Paige, Richard F. orcid.org/0000-0002-1978-9852 (2018) Engineering bidirectional transformations. In: Gibbons, Jeremy and Stevens, Perdita, (eds.) Bidirectional Transformations:International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures. International Summer School on Bidirectional Transformations, 2016, 25-29 Jul 2016. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer-Verlag , pp. 151-187.

Paige, Richard F. orcid.org/0000-0002-1978-9852 (2016) Language engineering : Challenges, opportunities and potential disasters for interactive systems. In: EICS 2016 - 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems. 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2016, 21-24 Jun 2016. Association for Computing Machinery, Inc , p. 3.

Paige, Richard F. orcid.org/0000-0002-1978-9852, Brooke, Phillip J. and Ostroff, Jonathan S. (2007) Metamodel-based model conformance and multiview consistency checking. ACM Transactions on Software Engineering and Methodology. 11. B1-B49. ISSN 1049-331X

Paige, Richard F. orcid.org/0000-0002-1978-9852, Syriani, Eugene, Ergin, Huseyin et al. (1 more author) (2016) Patterns in model engineering 2015 - A workshop summary. CEUR Workshop Proceedings 1403. pp. 44-50. ISSN 1613-0073

Paige, Richard Freeman orcid.org/0000-0002-1978-9852, Kolovos, Dimitrios orcid.org/0000-0002-1724-6563, Barmpis, Konstantinos et al. (2 more authors) (2017) Stress-Testing Remote Model Querying APIs for Relational and Graph-Based Stores. Software and Systems Modeling. pp. 1-29. ISSN 1619-1366

Paige, Richard Freeman orcid.org/0000-0002-1978-9852, Matragkas, Nikolaos orcid.org/0000-0002-8594-1912 and Rose, Louis Matthew orcid.org/0000-0002-3419-2579 (2016) Evolving models in Model-Driven Engineering : State-of-the-art and future challenges. Journal of Systems and Software. pp. 272-280. ISSN 0164-1212

Paige, Richard Freeman orcid.org/0000-0002-1978-9852, Olsen, Gøran K, Kolovos, Dimitris orcid.org/0000-0002-1724-6563 et al. (2 more authors) (2010) Building Model-Driven Engineering Traceability. In: ECMDA Traceability Workshop (ECMDA-TW). UNSPECIFIED. Sintef , p. 49.

Papadopoulos, Alessandro, Bini, Enrico, Baruah, Sanjoy et al. (1 more author) (2018) AdaptMC: A Control-Theoretic Approach for Achieving Resilience in Mixed-Criticality Systems. In: Altmeyer, Sebastian, (ed.) Proceeding ECRTS Conference. UNSPECIFIED. LIPICS , Dagstuhl , 14:1-14:22.

Papanastasiou, Panagiotis, Lupo, Cosmo orcid.org/0000-0002-5227-4009, Weedbrook, Christian et al. (1 more author) (2018) Quantum key distribution with phase-encoded coherent states : Asymptotic security analysis in thermal-loss channels. Phys. Rev. A. 012340. pp. 1-8.

Papanastasiou, Panagiotis, Ottaviani, Carlo orcid.org/0000-0002-0032-3999 and Pirandola, Stefano orcid.org/0000-0001-6165-5615 (2017) Finite-size analysis of measurement-device-independent quantum cryptography with continuous variables. Physical Review A. 042332. ISSN 1094-1622

Papanastasiou, Panagiotis, Ottaviani, Carlo orcid.org/0000-0002-0032-3999 and Pirandola, Stefano orcid.org/0000-0001-6165-5615 (2018) Gaussian one-way thermal quantum cryptography with finite-size effects. Physical Review A. 032314. pp. 1-9. ISSN 1094-1622

Papanastasiou, Panagiotis, Weedbrook, Christian and Pirandola, Stefano orcid.org/0000-0001-6165-5615 (2018) Continuous-variable quantum key distribution in fast fading channels. Physical Review A. ISSN 1094-1622

Pasley, A. and Austin, J. (2004) Distribution Forecasting of High Frequency Time Series. Decision Support Systems, 37 (4). pp. 501-513. ISSN 0167-9236

Patel, Ankur and Smith, William Alfred Peter orcid.org/0000-0002-6047-0413 (2016) Manifold-based Constraints for Operations in Face Space. Pattern recognition. pp. 206-217. ISSN 0031-3203

Paterson, Colin orcid.org/0000-0002-6678-3752 and Calinescu, Radu Constantin orcid.org/0000-0002-2678-9260 (2018) Observation-Enhanced QoS Analysis of Component-Based Systems. IEEE Transactions on Software Engineering. ISSN 0098-5589

Paterson, Colin Alexander orcid.org/0000-0002-6678-3752 and Calinescu, Radu Constantin orcid.org/0000-0002-2678-9260 (2017) Accurate Analysis of Quality Properties of Software with Observation-Based Markov Chain Refinement. In: IEEE International Conference on Software Architecture (ICSA 2017). UNSPECIFIED. IEEE . (In Press)

Patrick, M., Alexander, R. orcid.org/0000-0003-3818-0310, Oriol, M. et al. (1 more author) (2013) Selecting Highly Efficient Sets of Subdomains for Mutation Adequacy. In: Software Engineering Conference (APSEC, 2013 20th Asia-Pacific). UNSPECIFIED. , pp. 91-98.

Patrick, Matthew, Alexander, Rob orcid.org/0000-0003-3818-0310, Oriol, Manuel et al. (1 more author) (2014) Probability-based semantic interpretation of mutants. In: Proceedings - IEEE Seventh International Conference on Software Testing, Verification and Validation Workshops:ICSTW 2014. 7th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2014, 31 Mar - 04 Apr 2014. IEEE Computer Society Press , pp. 186-195.

Patrick, Matthew, Alexander, Rob orcid.org/0000-0003-3818-0310, Oriol, Manuel et al. (1 more author) (2015) Subdomain-based test data generation. Journal of Systems and Software. pp. 328-342. ISSN 0164-1212

Patrick, Matthew Timothy, Alexander, Rob orcid.org/0000-0003-3818-0310, Oriol, Manuel Yves Antoine et al. (1 more author) (2013) Using Mutation Analysis to Evolve Subdomains for Random Testing. In: Mutation 2013: 8th International Workshop on Mutation Analysis, 18 Mar 2013.

Patrick, Matthew Timothy, Oriol, Manuel Yves Antoine and Clark, John Andrew orcid.org/0000-0002-9230-9739 (2012) MESSI : Mutant Evaluation by Static Semantic Interpretation. In: Mutation 2012: 7th International Workshop on Mutation Analysis, 17 Apr 2012. (In Press)

Pears, N.E. (2001) Mobile robot tracking of pre-planned paths. Advanced Robotics, 15 (1). pp. 97-107. ISSN 0169-1864

Pears, Nick orcid.org/0000-0001-9513-5634, Heseltine, Tom and Romero, Marcelo (2010) From 3D Point Clouds to Pose-Normalised Depth Maps. International Journal of Computer Vision. pp. 152-176. ISSN 0920-5691

Pennycook, S. J., Hammond, S. D., Mudalige, G. R. et al. (2 more authors) (2012) On the acceleration of wavefront applications using distributed many-core architectures. Computer Journal. pp. 138-153. ISSN 0010-4620

Perry, Robert, Drachen, Anders, Kearney, Allison et al. (5 more authors) (2018) Online-only friends, real-life friends or strangers? Differential associations with passion and social capital in video game play. Computers in Human Behavior. pp. 202-210.

Pesudo, V., Borge, M. J.G., Moro, A. M. et al. (35 more authors) (2017) Scattering of the Halo Nucleus Be 11 on Au 197 at Energies around the Coulomb Barrier. Physical Review Letters. 152502. ISSN 1079-7114

Petrie, H., Hamilton, F., King, N. et al. (1 more author) (2006) Remote usability evaluations with disabled people. In: Grinter, R., Rodden, T., Aoki, P., Cutrell, E., Jeffries, R. and Olson, G., (eds.) Proceedings of the Special Interest Group on Computer-Human Interaction 2006 Conference on Human Factors in Computing Systems. CHI2006, April 22 - 27, 2006, Montréal, Québec, Canada. ACM , New York, NY, USA , 1133 - 1141. ISBN 1-59593-372-7

Petrie, H. and Kheir, O. (2007) The relationship between accessibility and usability of websites. In: Proceedings of the Special Interest Group on Computer-Human Interaction 2007 Conference on Human Fac. Human Factors in Computing Systems (SESSION: Empirical studies of web interaction ), 28th April - 3rd May 2007, San Jose, California, USA. , 397 - 406. ISBN 978-1-59593-593-9

Petrie, H.L., Weber, G. and Fisher, W. (2005) Personalisation, interaction and navigation in rich multimedia documents for print-disabled users. IBM Systems Journal, 44 (3). 629 - 635. ISSN 0018-8670

Petrie, Helen orcid.org/0000-0002-0100-9846, Abdullah Sani, Zaidatol Haslinda, Swallow, David Mark orcid.org/0000-0001-7405-2370 et al. (1 more author) (2016) Three case studies on methods of working with older people in the design of new technologies. In: Universal Design 2016:Learning from the past, designing for the future (Proceedings of the 3rd International Conference on Universal Design, UD2016). UNSPECIFIED. IOS Press , Amsterdam , pp. 1-12.

Petrie, Helen orcid.org/0000-0002-0100-9846, Power, Christopher Douglas orcid.org/0000-0001-9486-8043, Swallow, David et al. (6 more authors) (2011) The value chain for web accessibility : challenges and opportunities. In: Proceedings of Accessible Design In the Digital World 2011. UNSPECIFIED. University of York .

Petrie, Helen orcid.org/0000-0002-0100-9846, Savva, Andreas and Power, Christopher Douglas orcid.org/0000-0001-9486-8043 (2015) Towards a unified definition of web accessibility. In: Proceedings of the 12th Web for all Conference. UNSPECIFIED. ACM , p. 35.

Petrie, Helen orcid.org/0000-0002-0100-9846 and Weber, Gerhard (2016) Technology for disabled and older people : what have we achieve, where are we going? In: Proceedings of the 2016 CHI Conference Extended Abstracts on Human Factors in Computing Systems (CHI EA '16). UNSPECIFIED. ACM , pp. 1-3.

Pirandola, Stefano orcid.org/0000-0001-6165-5615, Braunstein, Samuel L. orcid.org/0000-0003-4790-136X, Laurenza, Riccardo et al. (4 more authors) (2018) Theory of channel simulation and bounds for private communication. Quantum Sci. Technol.. 035009. ISSN 2058-9565

Pirandola, Stefano orcid.org/0000-0001-6165-5615 and Braunstein, Samuel Leon orcid.org/0000-0003-4790-136X (2016) Unite to build a quantum internet. Nature. pp. 169-171. ISSN 1476-4687

Pirandola, Stefano orcid.org/0000-0001-6165-5615, Laurenza, Riccardo, Ottaviani, Carlo orcid.org/0000-0002-0032-3999 et al. (1 more author) (2017) Fundamental limits of repeaterless quantum communications. Nature Communications. 15043. pp. 1-15. ISSN 2041-1723

Pirandola, Stefano orcid.org/0000-0001-6165-5615 and Lupo, Cosmo orcid.org/0000-0002-5227-4009 (2017) Ultimate Precision of Adaptive Noise Estimation. Physical Review Letters. 100502. ISSN 1079-7114

Pirker, Johanna, Lesjak, Isabel, Punz, Andreas et al. (1 more author) (2018) Social Aspects of the Game Development Process in the Global Gam Jam. In: ICGJ 2018 Proceedings of the International Conference on Game Jams, Hackathons, and Game Creation Events. UNSPECIFIED. New York, NY: ACM Press , New York , pp. 9-16.

Pirker, Johanna, Rattinger, Andre, Drachen, Anders et al. (1 more author) (2018) Analyzing Player Networks in Destiny. Entertainment Computing. pp. 71-83. ISSN 1875-9521

Pitchford, Jonathan William orcid.org/0000-0002-8756-0902, Cussens, James orcid.org/0000-0002-1363-2336, Raseta, Marko et al. (1 more author) (2017) Integrated testing strategies can be optimal for chemical risk classification. Mathematical Biosciences. pp. 1-8. ISSN 0025-5564

Plump, Detlef orcid.org/0000-0002-1148-822X (2017) From Imperative to Rule-based Graph Programs. Journal of Logical and Algebraic Methods in Programming. pp. 154-173.

Plump, Detlef orcid.org/0000-0002-1148-822X, Drewes, Frank and Hoffmann, Berthold (2000) Hierarchical Graph Transformation. In: Proceedings Foundations of Software Science and Computation Structures (FOSSACS 2000). UNSPECIFIED. Lecture Notes in Computer Science . Springer , pp. 98-113.

Plump, Detlef orcid.org/0000-0002-1148-822X and Hristakiev, Ivaylo (2016) Attributed Graph Transformation via Rule Schemata : Church-Rosser Theorem. In: Milazzo, Paolo, Wimmer, Manuel and Varró, Dániel, (eds.) Software Technologies: Applications and Foundations:STAF 2016 Collocated Workshops, Revised Selected Papers. UNSPECIFIED. Lecture Notes in Computer Science . Springer , pp. 145-160.

Plump, Detlef orcid.org/0000-0002-1148-822X and Hristakiev, Ivaylo (2018) Checking Graph Programs for Confluence. In: Seidl, Martina and Zschaler, Steffen, (eds.) Software Technologies: Applications and Foundations - STAF 2017 Collocated Workshops, Revised Selected Papers. UNSPECIFIED. Lecture Notes in Computer Science . Springer , pp. 92-108.

Plump, Detlef orcid.org/0000-0002-1148-822X and Hristakiev, Ivaylo (2017) Towards Critical Pair Analysis for the Graph Programming Language GP 2. In: James, Phillip and Roggenbach, Markus, (eds.) Recent Trends in Algebraic Development Techniques (WADT 2016), Revised Selected Papers. UNSPECIFIED. Lecture Notes in Computer Science . Springer , pp. 153-169.

Plump, Detlef orcid.org/0000-0002-1148-822X and Wulandari, Gia (2018) Verifying a Copying Garbage Collector in GP 2. In: Mazzara, Manuel, Ober, Lulian and Salaün, Gwen, (eds.) Software Technologies: Applications and Foundations - STAF 2018 Collocated Workshops, Revised Selected Papers. 9th International Workshop on Graph Computation Models (GCM 2018), 27 Jun 2018. Lecture Notes in Computer Science . Springer . (In Press)

Poledna, S, Burns, A orcid.org/0000-0001-5621-8816, Wellings, A orcid.org/0000-0002-3338-0623 et al. (1 more author) (2000) Replica determinism and flexible scheduling in hard real-time dependable systems. IEEE Transactions on Computers. pp. 100-111. ISSN 0018-9340

Porter, Zoe Larissa Mayne, Habli, Ibrahim orcid.org/0000-0003-2736-8238, Monkhouse, Helen Elizabeth et al. (1 more author) (2018) The Moral Responsibility Gap and the Increasing Autonomy of Systems. In: First International Workshop on Artificial Intelligence Safety Engineering, 18 Sep 2018.

Poskitt, Chris, Dodds, Mike orcid.org/0000-0002-4439-0130, Paige, Richard Freeman orcid.org/0000-0002-1978-9852 et al. (1 more author) (2014) Towards Rigorously Faking Bidirectional Model Transformations. In: Dingel, Juergen, de Lara, Juan, Lucio, Levi and Vangheluwe, Hans, (eds.) AMT 2014 - Analysis of Model Transformations Workshop Proceedings. ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems, 28 Sep - 03 Oct 2014. CEUR Workshop Proceedings . CEUR Workshop Proceedings , pp. 70-75.

Poulding, S., Alexander, R. orcid.org/0000-0003-3818-0310, Clark, J.A. orcid.org/0000-0002-9230-9739 et al. (1 more author) (2015) The optimisation of stochastic grammars to enable cost-effective probabilistic structural testing. Journal of Systems and Software. pp. 296-310. ISSN 0164-1212

Poulding, Simon Marcus, Alexander, Rob orcid.org/0000-0003-3818-0310, Clark, John Andrew orcid.org/0000-0002-9230-9739 et al. (1 more author) (2013) The Optimisation of Stochastic Grammars to Enable Cost-Effective Probabilistic Structural Testing. In: GECCO 2013, 06-10 Jul 2013.

Poulding, Simon Marcus, Staunton, Jan Peter and Burles, Nathan John orcid.org/0000-0003-3030-1675 (2011) Full Implementation of an Estimation of Distribution Algorithm on a GPU. In: GECCO 2011, GPUs for Genetic and Evolutionary Computation Competition, 12-16 Jul 2011.

Power, Christopher Douglas orcid.org/0000-0001-9486-8043, Cairns, Paul Antony orcid.org/0000-0002-6508-372X, Denisova, Alena et al. (2 more authors) (2018) Lost at the Edge of Uncertainty: Measuring Player Experience in Digital Games. International Journal of Human-Computer Interaction. pp. 1-14. ISSN 1532-7590

Power, Christopher Douglas orcid.org/0000-0001-9486-8043, Eramian, Mark, Daley, Mark et al. (1 more author) (2018) From Helmut Jürgensen's Former Students: The Game of Informatics Research. Journal of Automata, Languages and Combinatorics. pp. 127-141. ISSN 2567-3785

Power, Christopher Douglas orcid.org/0000-0001-9486-8043, Lewis, Andrew, Petrie, Helen orcid.org/0000-0002-0100-9846 et al. (7 more authors) (2017) Improving Archaeologists' Online Archive Experiences Through User-Centred Design. ACM Journal on Computing and Cultural Heritage. ISSN 1556-4711

Power, Christopher Douglas orcid.org/0000-0001-9486-8043, Petrie, Helen orcid.org/0000-0002-0100-9846, Swallow, David et al. (1 more author) (2009) Who supports the support workers? : E-learning for support workers of students with disabilities. In: CTA 2009 Proceedings of the Second International Conference on Information and Communication Technologies and Accessibility. UNSPECIFIED. , pp. 167-178.

Prasad, D., Burns, A. and Atkins, M. (2003) The valid use of utility in adaptive real-time systems. Real-Time Systems, 25 ( 2-3). pp. 277-296. ISSN 0922-6443

Puech, W, Bors, A G orcid.org/0000-0001-7838-0021, Pitas, I et al. (1 more author) (2001) Projection distortion analysis for flattened image mosaicing from straight uniform generalized cylinders. Pattern recognition. pp. 1657-1670. ISSN 0031-3203

Pölzlbauer, Florian, Bate, Iain John orcid.org/0000-0003-2415-8219 and Davis, Robert Ian orcid.org/0000-0002-5772-0928 (2017) Analysis and Optimization of Message Acceptance Filter Configurations for Controller Area Network (CAN). In: International Conference on Real-Time Networks and Systems. UNSPECIFIED. ACM , pp. 247-256.

Q

Qiu, X.P, Yang, D.Z, Zhou, S.M et al. (6 more authors) (2008) Rotation of the pinning direction in the exchange bias training effect in polycrystalline NiFe/FeMn bilayers. Physical Review Letters. 147207. pp. 1-4. ISSN 1079-7114

Qomariyah, Nunung Nurul and Kazakov, Dimitar Lubomirov orcid.org/0000-0002-0637-8106 (2017) Learning from Ordinal Data with Inductive Logic Programming in Description Logic. In: Online proceedings of the 27th conference on Inductive Logic Programming. UNSPECIFIED. .

Qomariyah, Nunung Nurul and Kazakov, Dimitar Lubomirov orcid.org/0000-0002-0637-8106 (2018) Learning from Ordinal Data with Inductive Logic Programming in Description Logic. In: Lachiche, Nicolas and Vrain, Christel, (eds.) Late Breaking Papers of the 27th International Conference on Inductive Logic Programming. 27th International Conference on Inductive Logic Programming, 04-06 Sep 2017, Centre International Universitaire pour la Recherche. CEUR Workshop Proceedings , http://ceur-ws.org/Vol-2085/ , pp. 38-50.

Qu, Haizhou, Sardelich Nascimento, Marcelo, Qomariyah, Nunung Nurul et al. (1 more author) (2016) Integrating Time Series with Social Media Data in an Ontology for the Modelling of Extreme Financial Events. In: Khan, Fahad, Vintar, Špela, Araúz, Pilar León, Faber, Pamela, Frontini, Francesca, Parvizi, Artemis, Simeunović, Larisa Grčić and Unger, Christina, (eds.) LREC 2016 Proceedings. International Conference on Language Resources and Evaluation, 23-28 May 2016. European Language Resources Association (ELRA) , pp. 57-63.

R

Radjenovic, A. and Paige, R. (2006) Architecture Description Languages for High Integrity Real-Time Systems. IEEE Software, 23 (2). pp. 71-79. ISSN 0740-7459

Rae, Andrew and Alexander, Robert David orcid.org/0000-0003-3818-0310 (2017) Forecasts or fortune-telling : when are expert judgements of safety risk valid? Safety science. pp. 156-165. ISSN 0925-7535

Rae, Andrew and Alexander, Robert David orcid.org/0000-0003-3818-0310 (2017) Probative blindness and false assurance about safety. Safety science. pp. 190-204. ISSN 0925-7535

Rae, Andrew and Wildman, Luke (2003) A taxonomy of attacks on secure devices. In: Proceedings of the Australia Information Warfare and Security Conference 2003. Australia Information Warfare and Security Conference., 20-21 Nov 2003. , pp. 251-264.

Rae, Andrew John, Alexander, Rob orcid.org/0000-0003-3818-0310 and McDermid, John Alexander orcid.org/0000-0003-4745-4272 (2014) Fixing the cracks in the crystal ball : A maturity model for quantitative risk assessment. Reliability Engineering and System Safety. pp. 67-81. ISSN 0951-8320

Ramsin, R. and Paige, R.F. orcid.org/0000-0002-1978-9852 (2010) Iterative criteria-based approach to engineering the requirements of software development methodologies. IET SOFTWARE. pp. 91-104. ISSN 1751-8806

Ratcliffe, Dino, Devlin, Sam orcid.org/0000-0002-7769-3090, Kruschwitz, Udo et al. (1 more author) (2017) Clyde: A deep reinforcement learning DOOM playing agent. In: What's Next For AI In Games. .

Read, Mark N, Alden, Kieran, Rose, Louis M orcid.org/0000-0002-3419-2579 et al. (1 more author) (2016) Automated multi-objective calibration of biological agent-based simulations. Interface. ISSN 1742-5662

Read, Mark N, Bailey, Jacqueline, Timmis, Jon orcid.org/0000-0003-1055-0471 et al. (1 more author) (2016) Leukocyte Motility Models Assessed through Simulation and Multi-objective Optimization-Based Model Selection. PLoS Computational Biology. e1005082. ISSN 1553-7358

Remde, Stephen, Cowling, Peter I. orcid.org/0000-0003-1310-6683, Dahal, Keshav P. et al. (2 more authors) (2012) An empirical study of hyperheuristics for managing very large sets of low level heuristics. Journal of the Operational Research Society. pp. 392-405. ISSN 1476-9360

Ribeiro, E. and Hancock, E.R. orcid.org/0000-0003-4496-2028 (2001) Shape from periodic texture using the eigenvectors of local affine distortion. IEEE Transactions on Pattern Analysis and Machine Intelligence. pp. 1459-1465. ISSN 0162-8828

Ridge, E. and Kudenko, D. (2007) Analyzing heuristic performance with response surface models: prediction, optimization and robustness. In: Proceedings of the 9th Annual Genetic and Evolutionary Computation Conference. GECCO 2007, July 07 - 11, 2007, London, England. , pp. 150-157.

Ritchie, Kay L., White, David, Kramer, Robin S.S. et al. (3 more authors) (2018) Enhancing CCTV : Averages improve face identification from poor-quality images. Applied Cognitive Psychology. ISSN 0888-4080

Roberts, Stephen, Wright, Steven orcid.org/0000-0001-7133-8533, Lecomber, David et al. (4 more authors) (2016) POSE : A mathematical and visual modelling tool to guide energy aware code optimisation. In: 2015 6th International Green and Sustainable Computing Conference. 6th International Green and Sustainable Computing Conference, IGSC 2015, 14-16 Dec 2015. Institute of Electrical and Electronics Engineers Inc. .

Roberts, Stephen I., Wright, Steven A. orcid.org/0000-0001-7133-8533, Fahmy, Suhaib A. et al. (1 more author) (2017) Metrics for energy-aware software optimisation. In: High Performance Computing - 32nd International Conference, ISC High Performance 2017, Proceedings. 32nd International Conference, ISC High Performance, 2017, 18-22 Jun 2017. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer-Verlag , pp. 413-430.

Robles-Kelly, A and Hancock, E R orcid.org/0000-0003-4496-2028 (2005) Graph edit distance from spectral seriation. IEEE Transactions on Pattern Analysis and Machine Intelligence. pp. 365-378. ISSN 0162-8828

Robles-Kelly, A and Hancock, E R orcid.org/0000-0003-4496-2028 (2004) A graph-spectral approach to shape-from-shading. IEEE Transactions on Image Processing. pp. 912-926. ISSN 1057-7149

Robles-Kelly, Antonio and Hancock, Edwin R. orcid.org/0000-0003-4496-2028 (2007) Shape-from-shading using the heat equation. IEEE Transactions on Image Processing. pp. 7-21. ISSN 1057-7149

Rossi, Luca, Torsello, Andrea and Hancock, Edwin R orcid.org/0000-0003-4496-2028 (2015) Unfolding Kernel Embeddings of Graphs : Enhancing Class Separation through Manifold Learning. Pattern Recognition. pp. 3357-3370. ISSN 0031-3203

Rossi, Luca, Torsello, Andrea and Hancock, Edwin R. orcid.org/0000-0003-4496-2028 (2015) Measuring graph similarity through continuous-time quantum walks and the quantum Jensen-Shannon divergence. Physical Review E. 022815. ISSN 1550-2376

Rossi, Luca, Torsello, Andrea and Hancock, Edwin R. orcid.org/0000-0003-4496-2028 (2014) Node centrality for continuous-time quantum walks. In: Structural, Syntactic, and Statistical Pattern Recognition:Joint IAPR International Workshop, S+SSPR 2014, Joensuu, Finland, August 20-22, 2014. Proceedings. Joint IAPR International Workshop on Structural, Syntactic, and Statistical Pattern Recognition, S+SSPR 2014, 20-22 Aug 2014. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer-Verlag , pp. 103-112.

Runciman, C. orcid.org/0000-0002-0151-3233 (1997) FUNCTIONAL PEARL : lazy wheel sieves and spirals of primes. Journal of Functional Programming. pp. 219-225. ISSN 1469-7653

Runciman, Colin orcid.org/0000-0002-0151-3233 and Braquehais, Rudy (2016) FitSpec: : refining property sets for functional testing. In: Proceedings of 9th International Symposium on Haskell. UNSPECIFIED. ASSOC COMPUTING MACHINERY , Nara, Japan , pp. 1-12.

Rusilowicz, Martin James, Dickenson, Michael, Charlton, Adrian et al. (2 more authors) (2016) A batch correction method for liquid chromatography–mass spectrometry data that does not depend on quality control samples. Metabolomics. ISSN 1573-3890

Russell, Benjamin James and Stepney, Susan orcid.org/0000-0003-3146-5401 (2017) The Geometry of Speed Limiting Resources in Physical Models of Computation. International Journal of Foundations of Computer Science. 321–333. ISSN 1793-6373

Russell, Benjamin James and Stepney, Susan orcid.org/0000-0003-3146-5401 (2014) Zermelo Navigation and a Speed Limit to Quantum Information Processing. Physical Review A (Atomic, Molecular, and Optical Physics). 012303. ISSN 1094-1622

Russell, Benjamin James and Stepney, Susan orcid.org/0000-0003-3146-5401 (2015) Zermelo Navigation in the Quantum Brachistochrone. Journal of Physics A: Mathematical and Theoretical. 115303. ISSN 1751-8113

S

Samardak, A., Taylor, S., Nogaret, A. et al. (4 more authors) (2008) Analogue summation of electrical spike trains in semiconductor nerve fibres. Physica E-Low Dimensional Systems and Nanostructures, 40 (6). pp. 2214-2216. ISSN 1386-9477

Sanchez, Beatriz A., Barmpis, Konstantinos, Neubauer, Patrick et al. (2 more authors) (2018) Restmule : Enabling resilient clients for remote APIs. In: Proceedings - 2018 ACM/IEEE 15th International Conference on Mining Software Repositories, MSR 2018. 15th ACM/IEEE International Conference on Mining Software Repositories, MSR 2018, co-located with the 40th International Conference on Software Engineering, ICSE 2018, 28-29 May 2018. IEEE Computer Society Press , pp. 537-541.

Santos, Osmar Marchi dos, Woodcock, Jim orcid.org/0000-0001-7955-2702 and Paige, Richard F. orcid.org/0000-0002-1978-9852 (2011) Using Model Transformation to Generate Graphical Counter-Examples for the Formal Analysis of xUML Models. In: Perseil, Isabelle, Breitman, Karin and Sterritt, Roy, (eds.) 16th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2011, Las Vegas, Nevada, USA, 27-29 April 2011. UNSPECIFIED. IEEE Computer Society Press , pp. 117-126.

Santos Costa, V., Page, D. and Cussens, J. (2008) CLP(BN): constraint logic programming for probabilistic knowledge. In: De Raedt, L., Frasconi, P., Kersting, K. and Muggleton, S., (eds.) Probabilistic Inductive Logic Programming: Theory and Applications. Lecture Notes in Computer Science (4911). Springer , Berlin / Heidelberg , pp. 156-188. ISBN 978-3-540-78651-1

Savva, Andreas, Petrie, Helen orcid.org/0000-0002-0100-9846 and Power, Christopher Douglas orcid.org/0000-0001-9486-8043 (2015) Comparing Concurrent and Retrospective Verbal Protocols for Blind and Sighted Users. In: Human-Computer Interaction. UNSPECIFIED. , pp. 55-71.

Savva, Andreas, Petrie, Helen orcid.org/0000-0002-0100-9846 and Power, Christopher Douglas orcid.org/0000-0001-9486-8043 (2016) Types of problems elicited by verbal protocols for blind and sighted participants. In: Proceedings of the 15th International Conference on Computers Helping People with Special Needs. UNSPECIFIED. Lecture Notes in Computer Science . Springer .

Scantlebury, Arabella, Sheard, Laura, Watt, Ian orcid.org/0000-0002-3147-8299 et al. (3 more authors) (2017) Exploring the implementation of an electronic record into a maternity unit : a qualitative study using Normalisation Process Theory. BMC medical informatics and decision making. p. 4. ISSN 1472-6947

Schoeberl, Martin, Dalsgaard, Andreas Engelbredt, Hansen, René Rydhof et al. (7 more authors) (2016) Safety-critical Java for embedded systems. Concurrency and Computation: Practice and Experience. pp. 1-22. ISSN 1532-0634

Scozzi, Monica Visani, Iacovides, Ioanna orcid.org/0000-0001-9674-8440 and Linehan, Conor (2017) A Mixed Method Approach for Evaluating and Improving the Design of Learning in Puzzle Games. In: The ACM SIGCHI Annual Symposium on Computer-Human Interaction in Play (CHIPLAY 2017). UNSPECIFIED. ACM , pp. 217-228.

Selviandro, Nungki, Kelly, Tim orcid.org/0000-0002-7385-2031 and Hawkins, Richard David orcid.org/0000-0001-7347-3413 (2018) The Visual Inheritance Structure to Support the Design of Visual Notations. In: Third International Workshop on Human Factors in Modeling (HuFaMo’18). UNSPECIFIED. . (In Press)

Sephton, Nicholas John, Cowling, Peter Ivan orcid.org/0000-0003-1310-6683, Devlin, Sam orcid.org/0000-0002-7769-3090 et al. (2 more authors) (2016) Using Association Rule Mining to Predict Opponent Deck Content in Android: Netrunner. In: IEEE Computational Intelligence and Games Conference (CIG 2016), 20-23 Sep 2016, Greece.

Shahandashti, Siamak F. orcid.org/0000-0002-5284-6847 (2016) Electoral Systems Used around the World. In: Hao, Feng and Ryan, Peter Y. A., (eds.) Real-World Electronic Voting: Design, Analysis and Deployment. Series in Security, Privacy and Trust . CRC Press .

Shahandashti, Siamak F. orcid.org/0000-0002-5284-6847 and Hao, Feng (2016) DRE-ip : A Verifiable E-Voting Scheme without Tallying Authorities. In: ESORICS 2016::Computer Security – ESORICS 2016. European Symposium on Research in Computer Security, 26-30 Sep 2016. , Switzerland , pp. 223-240.

Shalan, Ahmad, Abdulrahman, Abubakar, Habli, Ibrahim orcid.org/0000-0003-2736-8238 et al. (2 more authors) (2018) YORwalK : Desiging a Smartphone Exercise Application for People with Intermittent Claudication. In: Studies in health technology and informatics. UNSPECIFIED. Studies in Health Technology and Informatics . , pp. 311-315.

Shanker, Sanil, Turner, Aaron, Sherly, Elizabeth et al. (1 more author) (2010) Sequential Data Mining using Correlation Matrix Memory. In: Proceedings. ICNIT 2010 International Conference on Networking and Information Technology. Proceedings. ICNIT 2010 International Conference on Networking and Information Technology, 11-12 Jun 2010. IEEE , pp. 470-472.

Sharma, Mudita, López-Ibáñez, Manuel and Kazakov, Dimitar Lubomirov orcid.org/0000-0002-0637-8106 (2018) Performance Assessment of Recursive Probability Matching for Adaptive Operator Selection in Differential Evolution. In: 15th Intl Conf. on Parallel Problem Solving from Nature. LNCS . SPRINGER-VERLAG BERLIN , pp. 321-333.

Sifa, Rafet, Zhai, Kevin, Pawlakos, Eric et al. (4 more authors) (2018) Controlling the Crucible : A Novel PvP Recommender Systems Framework for Destiny. In: Proceedings of Australian Computer Science Week, Interactive Entertainment. UNSPECIFIED. Association for Computing Machinery (ACM) .

Silva, F.~N., Comin, C.~H., Peron, T.~K.~D. et al. (5 more authors) (2014) Concentric Symmetry. Working Paper.

Singh, Amit Kumar, Dziurzanski, Piotr orcid.org/0000-0001-9542-652X and Indrusiak, Leandro Soares orcid.org/0000-0002-9938-2920 (2016) Value and energy aware adaptive resource allocation of soft real-time jobs on many-core HPC data centers. In: Proceedings - 2016 IEEE 19th International Symposium on Real-Time Distributed Computing, ISORC 2016. 19th IEEE International Symposium on Real-Time Distributed Computing, ISORC 2016, 17-20 May 2016. Institute of Electrical and Electronics Engineers Inc. , pp. 190-197.

Singh, Amit Kumar, Dziurzanski, Piotr orcid.org/0000-0001-9542-652X and Indrusiak, Leandro Soares orcid.org/0000-0002-9938-2920 (2016) Value and energy optimizing dynamic resource allocation in many-core HPC systems. In: 2015 IEEE 7th International Conference on Cloud Computing Technology and Science (CloudCom). 7th IEEE International Conference on Cloud Computing Technology and Science, CloudCom 2015, 30 Nov - 03 Dec 2015. Institute of Electrical and Electronics Engineers Inc. , pp. 180-185.

Singh, Amit Kumar, Dziurzanski, Piotr orcid.org/0000-0001-9542-652X, Mendis, Hashan Roshantha et al. (1 more author) (2017) A Survey and Comparative Study of Hard and Soft Real-time Dynamic Resource Allocation Strategies for Multi/Many-core Systems. ACM Comput. Surv.. 24. ISSN 0360-0300

Singh, Amit Kumar, Dziurzanski, Piotr orcid.org/0000-0001-9542-652X and Soares Indrusiak, Leandro orcid.org/0000-0002-9938-2920 (2015) Market-inspired Dynamic Resource Allocation in Many-core High Performance Computing Systems. In: Proceedings of International Conference on High Performance Computing & Simulation. 2015 International Conference on High Performance Computing & Simulation (HPCS 2015), 20-24 Jul 2015, Hilton Hotel. IEEE , pp. 413-420.

Smith, William A. P. orcid.org/0000-0002-6047-0413 and Hancock, Edwin R. orcid.org/0000-0003-4496-2028 (2006) Recovering facial shape using a statistical model of surface normal direction. IEEE Transactions on Pattern Analysis and Machine Intelligence. pp. 1914-1930. ISSN 0162-8828

Smith, William Alfred Peter orcid.org/0000-0002-6047-0413 and Fang, Fufu (2016) Height from Photometric Ratio with Model-based Light Source Selection. Computer Vision and Image Understanding. pp. 128-138. ISSN 1077-3142

Smith, William Alfred Peter orcid.org/0000-0002-6047-0413, Ramamoorthi, Ravi and Tozza, Silvia (2018) Height-from-Polarisation with Unknown Lighting or Albedo. IEEE Transactions on Pattern Analysis and Machine Intelligence. ISSN 0162-8828 (In Press)

Smith, William Alfred Peter orcid.org/0000-0002-6047-0413, Ramamoorthi, Ravi and Tozza, Silvia (2016) Linear Depth Estimation from an Uncalibrated, Monocular Polarisation Image. In: Lecture Notes in Computer Science. UNSPECIFIED. Lecture Notes in Computer Science . , pp. 109-125.

Snijders, Lysanne, Blumstein, Daniel, Stanley, Christina et al. (1 more author) (2017) Animal Social Network Theory Can Help Wildlife Conservation. Trends in Ecology & Evolution. pp. 567-577. ISSN 0169-5347

Soares Indrusiak, Leandro orcid.org/0000-0002-9938-2920 (2014) End-to-End Schedulability Tests for Multiprocessor Embedded Systems based on Networks-on-Chip with Priority-Preemptive Arbitration. Journal of systems architecture. pp. 553-561. ISSN 1383-7621

Soares Indrusiak, Leandro orcid.org/0000-0002-9938-2920, Burns, Alan orcid.org/0000-0001-5621-8816 and Nikolic, Borislav (2018) Buffer-aware bounds to multi-point progressive blocking in priority-preemptive NoCs. In: Proceedings of the 2018 Design, Automation & Test in Europe Conference (DATE). Design, Automation and Test in Europe, 19-23 Mar 2018, Dresden. , pp. 219-224.

Soares Indrusiak, Leandro orcid.org/0000-0002-9938-2920 and Dziurzanski, Piotr orcid.org/0000-0001-9542-652X (2015) An Interval Algebra for Multiprocessor Resource Allocation. In: Soudris, Dimitrios and Carro, Luigi, (eds.) The International Conference on Systems, Architectures, Modeling and Simulation (SAMOS). International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XV), 20-23 Jul 2015, Samos. .

Soares Indrusiak, Leandro orcid.org/0000-0002-9938-2920, Dziurzanski, Piotr orcid.org/0000-0001-9542-652X and Singh, Amit Kumar (2016) Dynamic Resource Allocation in Embedded, High-Performance and Cloud Computing. River Publishers , (178pp).

Soares Indrusiak, Leandro orcid.org/0000-0002-9938-2920, Harbin, James Robert orcid.org/0000-0002-6479-8600 and Sepulveda, Martha Johanna (2017) Side-Channel Attack Resilience through Route Randomisation in Secure Real-Time Networks-on-Chip. In: Proceedings of the 12th International Symposium on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC 2017). UNSPECIFIED. .

Sormaz, Mladen, Watson, David Mark, Smith, William Alfred Peter orcid.org/0000-0002-6047-0413 et al. (2 more authors) (2016) Modelling the perceptual similarity of facial expressions from image statistics and neural responses. Neuroimage. pp. 64-71. ISSN 1053-8119

Spedalieri, Gaetana and Braunstein, Samuel Leon orcid.org/0000-0003-4790-136X (2014) Asymmetric quantum hypothesis testing with Gaussian states. Physical Review A. 052307. ISSN 1094-1622

Spedalieri, Gaetana, Lupo, Cosmo orcid.org/0000-0002-5227-4009, Braunstein, Samuel L. orcid.org/0000-0003-4790-136X et al. (1 more author) (2018) Thermal quantum metrology in memoryless and correlated environments. Quantum Sci. Technol.. ISSN 2058-9565 (In Press)

Srivisut, Komsan, Clark, John A. orcid.org/0000-0002-9230-9739 and Paige, Richard F. orcid.org/0000-0002-1978-9852 (2018) Dependent input sampling strategies : using metaheuristics for generating parameterised random sampling regimes. In: GECCO 2018 - Proceedings of the 2018 Genetic and Evolutionary Computation Conference. 2018 Genetic and Evolutionary Computation Conference, GECCO 2018, 15-19 Jul 2018. Association for Computing Machinery, Inc , pp. 1451-1458.

Srivisut, Komsan, Paige, Richard Freeman orcid.org/0000-0002-1978-9852 and Clark, John Andrew orcid.org/0000-0002-9230-9739 (2018) Correlated Input Strategies: Using Metaheuristics for Generating Parameterised Random Sampling Regimes. In: Proceedings of the Genetic and Evolutionary Computation Conference (GECCO) 2018. UNSPECIFIED. ACM . (In Press)

Srivratanakul, Thitima, Clark, John Andrew orcid.org/0000-0002-9230-9739 and Polack, Fiona orcid.org/0000-0001-7954-6433 (2004) Writing Effective Security Abuse Cases. Report. York Computer Science Technical Report . Department of Computer Science, University of York

Stafford, Tom, Devlin, Sam orcid.org/0000-0002-7769-3090, Sifa, Rafet et al. (1 more author) (2017) Exploration and Skill Acquisition in a Major Online Game. In: The 39th Annual Meeting of the Cognitive Science Society (CogSci). UNSPECIFIED. .

Stephens, Kyle and Bors, Adrian Gheorghe orcid.org/0000-0001-7838-0021 (2016) Group Activity Recognition on Outdoor Scenes. In: IEEE International Conference on Advanced Video and Signal-based Surveillance (AVSS). UNSPECIFIED. IEEE , pp. 59-65.

Stephens, Kyle and Bors, Adrian Gheorghe orcid.org/0000-0001-7838-0021 (2017) Human Group Activity Recognition based on Modelling Moving Regions Interdependencies. In: Proc. of International Conference on Pattern Recognition (ICPR). UNSPECIFIED. IEEE , pp. 2116-2121.

Stephens, Kyle and Bors, Adrian Gheorghe orcid.org/0000-0001-7838-0021 (2018) Modelling of interactions for the recognition of activities in groups of people. Digital Signal Processing. 34–46. ISSN 1051-2004

Stephens, Kyle and Bors, Adrian Gheorghe orcid.org/0000-0001-7838-0021 (2017) Recognizing Interactions Between People from Video Sequences. In: International Conference on Analysis and Image Analysis (CAIP). UNSPECIFIED. Lecture Notes in Computer Science . Springer , pp. 80-91.

Stephenson, Z. and McDermid, J. (2005) Deriving architectural flexibility requirements in safety-critical systems. IEE Proceedings - Software, 152 (14). pp. 143-152. ISSN 1462-5970

Stepney, S., Braunstein, S.L., Clark, J.A. et al. (9 more authors) (2005) Journeys in non-classical computation I: A grand challenge for computing research. International Journal on Parallel, Emergent and Distributed Systems, 20 (1). pp. 5-19. ISSN 1744-5760

Stepney, Susan orcid.org/0000-0003-3146-5401 (2014) Local and global models of physics and computation. International Journal of General Systems. pp. 673-681. ISSN 1563-5104

Stepney, Susan orcid.org/0000-0003-3146-5401, Clark, John Andrew orcid.org/0000-0002-9230-9739 and Chivers, Howard (2004) Breaking the Model : finalisation and a taxonomy of security attack. Report. York Computer Science Technical Report . Department of Computer Science, University of York

Still, Lloyd Robert and Soares Indrusiak, Leandro orcid.org/0000-0002-9938-2920 (2018) Memory-Aware Genetic Algorithms for Task Mapping on Hard Real-Time Networks-on-Chip. In: 26th Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP). UNSPECIFIED. .

Stovold, James Henry and O'Keefe, Simon Edward Marius orcid.org/0000-0001-5957-2474 (2016) Reaction–diffusion chemistry implementation of associative memory neural network. International Journal on Parallel, Emergent and Distributed Systems. pp. 74-94. ISSN 1744-5760

Studeny´, Milan and Cussens, James orcid.org/0000-0002-1363-2336 (2016) The Chordal Graph Polytope for Learning Decomposable Models. In: Antonucci, Alessandro, Corani, Giorgio and Polpo de Campos, Cassio, (eds.) Proceedings of the Eighth International Conference on Probabilistic Graphical Models. UNSPECIFIED. Journal of Machine Learning Research: Workshop and Conference Proceedings . , pp. 499-510.

Studený, Milan and Cussens, James orcid.org/0000-0002-1363-2336 (2017) Towards using the chordal graph polytope in learning decomposable models. International Journal of Approximate Reasoning. pp. 259-281. ISSN 0888-613X

Sujan, Mark, Habli, Ibrahim orcid.org/0000-0003-2736-8238, Pozzi, Simone et al. (3 more authors) (2017) How can health care organisations make and justify decisions about risk reduction? : Lessons from a cross-industry review and a health care stakeholder consensus development process. Reliability Engineering and System Safety. ISSN 0951-8320

Sujan, Mark A., Habli, Ibrahim orcid.org/0000-0003-2736-8238, Kelly, Tim P. orcid.org/0000-0002-7385-2031 et al. (2 more authors) (2016) Should healthcare providers do safety cases? Lessons from a cross-industry review of safety case practices. Safety science. pp. 181-189. ISSN 0925-7535

Swallow, David Mark orcid.org/0000-0001-7405-2370, Petrie, Helen orcid.org/0000-0002-0100-9846 and Power, Christopher Douglas orcid.org/0000-0001-9486-8043 (2016) Understanding and supporting web developers: : design and evaluation of a web accessibility information resource (WebAIR). In: Universal Design 2016:Learning from the past, designing for the future (Proceedings of the 3rd International Conference on Universal Design, UD2016). UNSPECIFIED. IOS Press , Amsterdam , 482 - 491.

Swallow, David Mark orcid.org/0000-0001-7405-2370, Petrie, Helen orcid.org/0000-0002-0100-9846, Power, Christopher Douglas orcid.org/0000-0001-9486-8043 et al. (2 more authors) (2016) Involving older adults in the technology design process: : a case study on mobility and wellbeing in the built environment. In: UNSPECIFIED.

Swan, Jeremiah and Burles, Nathan John orcid.org/0000-0003-3030-1675 (2015) Hyper-quicksort: energy efficient sorting via the Templar framework for Template Method Hyper-heuristics. In: 39th CREST Open Workshop: Measuring, Testing and Optimising Computational Energy Consumption, 23-24 Feb 2015, UCL.

Swan, Jerry, Krawiec, Krzysztof and Ghani, Neil (2017) Polytypic Genetic Programming. In: Squillero, Giovanni, (ed.) 20th European Conference on the Applications of Evolutionary Computation. UNSPECIFIED. LNCS . Springer , Amsterdam , pp. 66-81.

schiller, michael, Wallner, Guenter, Schinnerl, Christopher et al. (4 more authors) (2018) Inside the Group : Investigating Social Structures in Player Groups and Their Influence on Activity. IEEE Transactions on Games. ISSN 2475-1510 (In Press)

T

Tang, X. and Woodcock, J. (2004) Travelling processes. In: Mathematics of Program Construction, MPC 2004 Proceedings. 7th International Conference, MPC 2004, July 12-14, 2004, Stirling, Scotland, UK. Lecture Notes in Computer Science (3125). Springer , Berlin / Heidelberg , pp. 381-399. ISBN 978-3-540-22380-1

Tarim, S.A., Manandhar, S. and Walsh, T. (2006) Stochastic constraint programming: A scenario based approach. Journal of Constraints, 11 (1). pp. 53-80. ISSN 1383-7133

Thabtah, Fadi A. and Cowling, Peter I. orcid.org/0000-0003-1310-6683 (2008) Mining the data from a hyperheuristic approach using associative classification. Expert systems with applications. pp. 1093-1101. ISSN 0957-4174

Thimbleby, H. and Cairns, Paul Antony orcid.org/0000-0002-6508-372X (2017) Interactive numerals. Royal Society Open Science. ISSN 2054-5703

Thimbleby , H., Cairns, P. and Jones, M. (2001) Usability Analysis with Markov Models. ACM Transactions on Computer-Human Interaction, 8 (2). pp. 99-132. ISSN 1073-0516

Timmis, J. (2006) Artificial Immune Systems: Today and Tomorrow. Natural Computing, 6 (1). pp. 1-18. ISSN 1567-7818

Timperley, Christopher Steven, Stepney, Susan orcid.org/0000-0003-3146-5401 and Le Goues, Claire (2017) An Investigation into the Use of Mutation Analysis for Automated Program Repair. In: International Symposium on Search Based Software Engineering, 09-11 Sep 2017, Paderborn.

Ting, I-H., Kimble, C. and Kudenko, D. (2005) A pattern restore method for restoring missing patterns in server side clickstream data. In: Web Technologies Research and Development - APWeb 2005. 7th Asia-Pacific Web Conference, March 29 - April 1, 2005, Shanghai, China. Lecture Notes in Computer Science (3399). Springer , Berlin / Heidelberg , pp. 501-512. ISBN 978-3-540-25207-8

Toreini, Ehsan, Shahandashti, Siamak F. orcid.org/0000-0002-5284-6847 and Hao, Feng (2017) Texture to the Rescue : Practical Paper Fingerprinting based on Texture Patterns. ACM Transactions on Privacy and Security (TOPS). 9. ISSN 2471-2566

Torsello, Andrea, Gasparetto, Andrea, Rossi, Luca et al. (2 more authors) (2014) Transitive state alignment for the quantum jensen-shannon kernel. In: Fränti,, Pasi, Brown, Gavin, Loog, Marco, Escolano, Francisco and Pelillo, Marcello, (eds.) Structural, Syntactic, and Statistical Pattern Recognition:Joint IAPR International Workshop, S+SSPR 2014, Joensuu, Finland, August 20-22, 2014. Proceedings. Joint IAPR International Workshop on Structural, Syntactic, and Statistical Pattern Recognition, S+SSPR 2014, 20-22 Aug 2014. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer-Verlag , pp. 22-31.

Tozza, Silvia, Smith, William Alfred Peter orcid.org/0000-0002-6047-0413, Zhu, Dizhong et al. (2 more authors) (2017) Linear Differential Constraints for Photo-polarimetric Height Estimation. In: 2017 IEEE International Conference on Computer Vision (ICCV). UNSPECIFIED. IEEE Computer Society Press . (In Press)

Tracey, N, Clark, John Andrew orcid.org/0000-0002-9230-9739 and Mander, Keith (1998) The way forward for unifying dynamic test-case generation: The optimisation-based approach. Proceedings of the IFIP International Workshop on Dependable Computing and Its Applications (DCIA)..

Truby, David, Bertolli, Carlo, Wright, Steven A. orcid.org/0000-0001-7133-8533 et al. (3 more authors) (2018) Pointers Inside Lambda Closure Objects in OpenMP Target Offload Regions. In: Proceedings of the Fifth Workshop on the LLVM Compiler Infrastructure in HPC:Workshop held in conjunction with SC18. UNSPECIFIED. Technical Consortium on High Performance Computing . . (In Press)

Truby, David, Wright, Steven A. orcid.org/0000-0001-7133-8533, Kevis, Robert et al. (3 more authors) (2018) BookLeaf: An Unstructured Hydrodynamics Mini-application. In: IEEE International Conference on Cluster Computing 2018, 10 Sep - 13 Oct 2018.

Truby, David R., Bertolli, Carlo, Wright, Steven A. orcid.org/0000-0001-7133-8533 et al. (3 more authors) (2018) Implicit mapping of pointers inside C++ Lambda closure objects in OpenMP target offload regions. In: UK OpenMP Users' Conference 2018, 21-22 May 2018, St Catherine's College. (In Press)

Turner, Alexander Phillip, Caves, Leo orcid.org/0000-0002-8610-1114, Stepney, Susan orcid.org/0000-0003-3146-5401 et al. (2 more authors) (2017) Artificial Epigenetic Networks : Automatic Decomposition of Dynamical Control Tasks using Topological Self-Modification. IEEE transactions on neural networks and learning systems. pp. 218-230. ISSN 2162-237X

U

Udzir, N.I., Wood, A.M. and Jaco, J.L. (2007) Coordination with Multicapabilities. Science of Computer Programming, 64 (2). pp. 205-222. ISSN 0167-6423

V

Vasilakis, Vasileios orcid.org/0000-0003-4902-8226, Alohali, Bashar, Moscholios, Ioannis et al. (1 more author) (2017) Security Analysis of Integrated Diffie-Hellman Digital Signature Algorithm Protocols. In: IEICE Information and Communication Technology Forum, 04-06 Jul 2017. (In Press)

Vasilakis, Vasileios orcid.org/0000-0003-4902-8226, Moscholios, Ioannis, Alzahrani, Bander et al. (1 more author) (2017) Toward Information-Centric Software-Defined Cellular Networks. In: The 14th International Conference on Telecommunications (ConTEL), 28 Jun 2016 - 30 Jun 2017, Hotel International, Miramarska 24. (In Press)

Vasilakis, Vasileios orcid.org/0000-0003-4902-8226, Moscholios, Ioannis and Logothetis, Michael (2016) Quality of Service Differentiation in Heterogeneous CDMA Networks: A Mathematical Modelling Approach. Wireless Networks. pp. 1-17. ISSN 1022-0038

Vasilakis, Vasileios orcid.org/0000-0003-4902-8226, Moscholios, Ioannis, Vardakas, John et al. (1 more author) (2017) On the Digital Certificate Management in Advanced Metering Infrastructure Networks. In: IEICE Information and Communication Technology Forum, 04-06 Jul 2017. (In Press)

van Loock, P. and Braunstein, S.L. (2001) Telecloning of continuous quantum variables. Physical Review Letters, 87 (24). pp. 247901-1. ISSN 0031-9007

von der Br�uggen, Georg, Chen, Jian-Jia, Davis, Robert Ian orcid.org/0000-0002-5772-0928 et al. (1 more author) (2016) Exact Speedup Factors for Linear-Time Schedulability Tests for Fixed-Priority Preemptive and Non-preemptive Scheduling. Information Processing Letters. pp. 1-5. ISSN 0020-0190

W

Walker, Michael and Runciman, Colin orcid.org/0000-0002-0151-3233 (2018) Cheap Remarks about Concurrent Programs. In: Proceedings of 14th International Symposium on Functional and Logic Programming. UNSPECIFIED. Springer . (In Press)

Walker, Michael Stewart and Runciman, Colin orcid.org/0000-0002-0151-3233 (2015) Deja Fu: a concurrency testing library for Haskell. In: Proceedings of 8th International Symposium on Haskell. UNSPECIFIED. ASSOC COMPUTING MACHINERY , pp. 141-152.

Walker, T., Kudenko, D. and Strens, M.J.A. (2004) Algorithms for distributed exploration. In: López de Mántaras, R. and Saitta, L., (eds.) Proceedings of the Sixteenth European Conference on Artificial Intelligence. ECAI'2004, August 22-27, 2004, Valencia, Spain. IOS Press , pp. 84-88. ISBN 1-58603-452-9

Walllace, Malcolm, Rita, Borgo, Colin, Runciman et al. (1 more author) (2006) Fine-grained visualization pipelines and lazy functional languages. IEEE Transactions on Visualization and Computer Graphics. pp. 973-980. ISSN 1077-2626

Wang, Jianjia, Wilson, R. C. orcid.org/0000-0001-7265-3033 and Hancock, E. R. orcid.org/0000-0003-4496-2028 (2016) Network entropy analysis using the Maxwell-Boltzmann partition function. In: Davis, L., Bimbo, A. Del and Lovell, B., (eds.) 2016 23rd International Conference on Pattern Recognition (ICPR). UNSPECIFIED. IEEE Computer Society Press , Los Alamitos, CA, USA , pp. 1321-1326.

Wang, Jianjia, Wilson, Richard C. orcid.org/0000-0001-7265-3033 and Hancock, Edwin R. orcid.org/0000-0003-4496-2028 (2017) Detecting Alzheimer's Disease using Directed Graphs. In: Graph-Based Representations in Pattern Recognition - 11th IAPR-TC-15 International Workshop, GbRPR 2017, Anacapri, Italy, May 16-18, 2017, Proceedings. UNSPECIFIED. Springer Berlin / Heidelberg , pp. 94-104.

Wang, Jianjia, Wilson, Richard C. orcid.org/0000-0001-7265-3033 and Hancock, Edwin R. orcid.org/0000-0003-4496-2028 (2017) Minimising Entropy Changes in Dynamic Network Evolution. In: Graph-Based Representations in Pattern Recognition - 11th IAPR-TC-15 International Workshop, GbRPR 2017, Anacapri, Italy, May 16-18, 2017, Proceedings. UNSPECIFIED. Springer Berlin / Heidelberg , pp. 255-265.

Wang, Jianjia, Wilson, Richard C. orcid.org/0000-0001-7265-3033 and Hancock, Edwin R. orcid.org/0000-0003-4496-2028 (2016) Thermodynamic Network Analysis with Quantum Spin Statistics. In: Structural, Syntactic, and Statistical Pattern Recognition - Joint IAPR International Workshop, S+SSPR 2016, Mérida, Mexico, November 29 - December 2, 2016, Proceedings. UNSPECIFIED. Lecture Notes in Computer Science . Springer International Publishing , pp. 153-162.

Wang, Jianjia, Wilson, Richard C. orcid.org/0000-0001-7265-3033 and Hancock, Edwin R. orcid.org/0000-0003-4496-2028 (2016) fMRI Activation Network Analysis Using Bose-Einstein Entropy. In: Structural, Syntactic, and Statistical Pattern Recognition - Joint IAPR International Workshop, S+SSPR 2016, Mérida, Mexico, November 29 - December 2, 2016, Proceedings. UNSPECIFIED. Lecture Notes in Computer Science . Springer International Publishing , pp. 218-228.

Wang, Jianjia, Wilson, Richard Charles orcid.org/0000-0001-7265-3033 and Hancock, Edwin R orcid.org/0000-0003-4496-2028 (2018) Directed Graph Evolution from Euler-Lagrange Dynamics. In: 24th International Conference on Pattern Recognition, 21-24 Aug 2018. (In Press)

Wang, Jianjia, Wilson, Richard Charles orcid.org/0000-0001-7265-3033 and Hancock, Edwin R orcid.org/0000-0003-4496-2028 (2018) Directed and Undirected Network Evolution from Euler-Lagrange Dynamics. Pattern Recognition Letters. pp. 1-11. ISSN 0167-8655

Wang, Jianjia, Wilson, Richard Charles orcid.org/0000-0001-7265-3033 and Hancock, Edwin R orcid.org/0000-0003-4496-2028 (2017) Network Edge Entropy from Maxwell-Boltzmann Statistics. In: Proceedings ICIAP 2017:Lecture Notes in Computer Science. UNSPECIFIED. Springer Berlin / Heidelberg . (In Press)

Wang, Jianjia, Wilson, Richard Charles orcid.org/0000-0001-7265-3033 and Hancock, Edwin R orcid.org/0000-0003-4496-2028 (2017) Spin Statistics, Partition Functions and Network Entropy. Journal of Complex Networks. pp. 1-25. ISSN 2051-1329

Wang, Junlin, Xia, Jing, Zhang, Xichao et al. (7 more authors) (2018) Controllable transport of a skyrmion in a ferromagnetic narrow channel with voltage-controlled magnetic anisotropy. Journal of Physics D: Applied Physics. 205002. ISSN 0022-3727

Wang, Junlin, Zhang, Xichao, Lu, Xianyang et al. (6 more authors) (2017) Magnetic domain wall engineering in a nanoscale permalloy junction. Applied Physics Letters. 072401. 072401-1 072401-5. ISSN 0003-6951

Wang, Zhi-Wei and Braunstein, Samuel Leon orcid.org/0000-0003-4790-136X (2018) Surfaces away from horizons are not thermodynamic. Nature Communications. 2977. ISSN 2041-1723

Wang, Zhiwei and Braunstein, Samuel Leon orcid.org/0000-0003-4790-136X (2016) Higher-dimensional performance of port-based teleportation. Scientific Reports. 33004. ISSN 2045-2322

Weeks, M., Hodge, V. orcid.org/0000-0002-2469-0224, O'Keefe, S. orcid.org/0000-0001-5957-2474 et al. (2 more authors) (2003) Improved AURA k-Nearest Neighbour approach. In: Mira, J and Alvarez, JR, (eds.) ARTIFICIAL NEURAL NETS PROBLEM SOLVING METHODS, PT II. 7th International Work Conference on Artificial and Natural Neural Networks, 03-06 Jun 2003. Lecture Notes in Computer Science . SPRINGER-VERLAG BERLIN , BERLIN , pp. 663-670.

Weeks, Michael, Jessop, Mark David, Fletcher, Martyn Anthony et al. (3 more authors) (2013) The CARMEN software as a service infrastructure. Philosophical Transactions of the Royal Society of London. Series A, Mathematical and Physical Sciences. ISSN 1471-2962

Wei, Hao, Timmis, Jonathan Ian orcid.org/0000-0003-1055-0471 and Alexander, Robert David orcid.org/0000-0003-3818-0310 (2017) Evolving Test Environments to Identify Faults in Swarm Robotics Algorithms. In: IEEE Congress on Evolutionary Computation 2017, 05-08 Jun 2017.

Wei, Kun, Woodcock, Jim orcid.org/0000-0001-7955-2702 and Burns, Alan orcid.org/0000-0001-5621-8816 (2012) Modelling Temporal Behaviour in Complex Systems with Timebands. In: Hinchey, Mike and Coyle, Lorcan, (eds.) Conquering Complexity. SPRINGER , London , pp. 277-307.

Wei, Kun, Woodcock, Jim and Burns, Alan orcid.org/0000-0001-5621-8816 (2011) Timed circus : Timed CSP with the miracle. In: Perseil, Isabelle, Breitman, Karin and Sterritt, Roy, (eds.) 16th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2011, Las Vegas, Nevada, USA, 27-29 April 2011. 16th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2011, 27-29 Apr 2011. IEEE Computer Society Press , pp. 55-64.

Weiss, Michael, Franks, Daniel Wayne orcid.org/0000-0002-4832-7470, Croft, Darren et al. (1 more author) (2018) Measuring the complexity of social associations using mixture models. Behavioral Ecology and Sociobiology. ISSN 1432-0762 (In Press)

Wellings, A orcid.org/0000-0002-3338-0623 and Burns, A orcid.org/0000-0001-5621-8816 (1997) Implementing atomic actions in Ada 95. IEEE Transactions on Software Engineering. pp. 107-123. ISSN 0098-5589

Wellings, A. J. orcid.org/0000-0002-3338-0623, Cholpanov, V. and Burns, A. orcid.org/0000-0001-5621-8816 (2016) Implementing Safety-Critical Java Missions in Ada. ACM Ada Letters. pp. 51-62. ISSN 1094-3641

Weyns, Danny and Calinescu, Radu orcid.org/0000-0002-2678-9260 (2015) Tele Assistance: : A Self-Adaptive Service-Based System Exemplar. In: 2015 IEEE/ACM 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS). UNSPECIFIED. , pp. 88-92.

White, David, Burton, A. Mike orcid.org/0000-0002-2035-2084, Jenkins, Rob orcid.org/0000-0003-4793-0435 et al. (1 more author) (2014) Redesigning photo-id to improve unfamiliar face matching performance. Journal of Experimental Psychology: Applied. pp. 166-173.

White, David R., Joffe, Leonid, Bowles, Edward et al. (1 more author) (2017) Deep Parameter Tuning of Concurrent Divide and Conquer Algorithms in Akka. In: Squillero, Giovanni and Sim, Kevin, (eds.) Applications of Evolutionary Computation: 20th European Conference, EvoApplications 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings, Part II. UNSPECIFIED. Springer International Publishing Switzerland , Cham , pp. 35-48.

White, I D, Godby, R W orcid.org/0000-0002-1012-4176, Rieger, M M et al. (1 more author) (1998) Dynamic image potential at an Al(111) surface. Physical Review Letters. pp. 4265-4268. ISSN 1079-7114

Whitham, J. and Audsley, N.C. (2006) MCGREP - A Predictable Architecture for Embedded Real-Time Systems. In: Proceedings of the 27th IEEE International Real-Time Systems Symposium. RTSS 06, December 05 - 08, 2006, Rio de Janeiro, Brazil. IEEE , 13 - 24. ISBN 0-7695-2761-2

Wilkinson, A. and Wood, A. (2005) Isomorphic Types for Open Coordination Systems. In: Zheng, Z.Q., (ed.) Proceedings of the 17th IASTED International Conference on Parallel and Distributed Computing and Systems. PDCS 2005, November 14 – 16, 2005, Phoenix, AZ, USA. ACTA Press , pp. 404-408.

Williams, Duncan Alastair Hyatt (2018) Stagger Lee : How Violent Nostalgia Created an American Folk Song Standard. Journal of Extreme Anthropology. pp. 1-9. ISSN 2535-3241

Williams, Duncan Alastair Hyatt (2016) Utility Versus Creativity in Biomedical Musification. Journal of Creative Music Systems. ISSN 2399-7656

Williams, Duncan Alastair Hyatt, Murphy, Damian Thomas orcid.org/0000-0002-6676-9459 and Fazenda, Bruno (2017) Towards bio-responsive control for music. In: DMRN+12 Digital Music Research Network, 19 Dec 2017, Queen Mary University of London.

Williams, Richard A, Timmis, Jon orcid.org/0000-0003-1055-0471 and Qwarnstrom, Eva E (2016) Statistical Techniques Complement UML When Developing Domain Models of Complex Dynamical Biosystems. PloS One. e0160834. ISSN 1932-6203

Wilson, R C orcid.org/0000-0001-7265-3033 and Hancock, E R orcid.org/0000-0003-4496-2028 (1997) Structural matching by discrete relaxation. IEEE Transactions on Pattern Analysis and Machine Intelligence. pp. 634-648. ISSN 0162-8828

Wilson, R C orcid.org/0000-0001-7265-3033, Hancock, E R orcid.org/0000-0003-4496-2028 and Luo, B (2005) Pattern vectors from algebraic graph theory. IEEE Transactions on Pattern Analysis and Machine Intelligence. pp. 1112-1124. ISSN 0162-8828

Wilson, Richard Charles orcid.org/0000-0001-7265-3033, Hancock, Edwin R orcid.org/0000-0003-4496-2028, Pekalska, Elzbieta et al. (1 more author) (2014) Spherical and hyperbolic embeddings of data. IEEE Transactions on Pattern Analysis and Machine Intelligence. ISSN 0162-8828

Woodcock, J. C. P. orcid.org/0000-0001-7955-2702, Cavalcanti, A. L. C. orcid.org/0000-0002-0831-1976, Fitzgerald, J. et al. (2 more authors) (2014) Contracts in CML. In: 6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation. UNSPECIFIED. Lecture Notes in Computer Science . SPRINGER , pp. 54-73.

Woodcock, JAMES Charles Paul orcid.org/0000-0001-7955-2702 and Foster, Simon David orcid.org/0000-0002-9889-9514 (2017) UTP By Example : Designs. In: Jonathan P., Bowen, Liu, Zhiming and Zhang, Zili, (eds.) Engineering Trustworthy Software Systems. Springer , pp. 16-50.

Woodcock, James Charles Paul orcid.org/0000-0001-7955-2702, Divakaran, Sumesh, D'Souza, Deepak et al. (3 more authors) (2015) Refinement-Based Verification of the FreeRTOS Scheduler in VCC. In: Butler, Michael, Conchon, Sylvain and Zaidi, Fatiha, (eds.) Formal Methods and Software Engineering - 17th International Conference on Formal Engineering Methods, ICFEM 2015. UNSPECIFIED. Lecture Notes in Computer Science , pp. 170-186.

Woodcock, Jim orcid.org/0000-0001-7955-2702 and Bandur, Victor (2012) Unifying Theories of Undefinedness in UTP. In: Wolff, Burkhart, Gaudel, Marie-Claude and Feliachi, Abderrahmane, (eds.) Unifying Theories of Programming, 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers. UNSPECIFIED. Lecture Notes in Computer Science . SPRINGER , Heidelberg , pp. 1-22.

Woodcock, Jim orcid.org/0000-0001-7955-2702, Fitzgerald, John, Gamble, Carl et al. (2 more authors) (2015) Cyber-Physical Systems Design: Formal Foundations, Methods and Integrated Tool Chains. In: UNSPECIFIED.

Woodcock, Jim orcid.org/0000-0001-7955-2702, Foster, Simon David orcid.org/0000-0002-9889-9514 and Butterfield, Andrew (2016) Heterogeneous Semantics and Unifying Theories. In: 7th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation. UNSPECIFIED. , pp. 374-394. (In Press)

Worthington, P L and Hancock, E R orcid.org/0000-0003-4496-2028 (1999) New constraints on data-closeness and needle map consistency for shape-from-shading. IEEE Transactions on Pattern Analysis and Machine Intelligence. pp. 1250-1267. ISSN 0162-8828

Worthington, P L and Hancock, E R orcid.org/0000-0003-4496-2028 (2001) Object recognition using shape-from-shading. IEEE Transactions on Pattern Analysis and Machine Intelligence. pp. 535-542. ISSN 0162-8828

Wright, Joss, Stepney, S orcid.org/0000-0003-3146-5401, Clark, John Andrew orcid.org/0000-0002-9230-9739 et al. (1 more author) (2005) Formalizing anonymity : A review. Report. York Computer Science Technical Report Series, YCS . Department of Computer Science, University of York

Wright, S. A. orcid.org/0000-0001-7133-8533, Hammond, S. D., Pennycook, S. J. et al. (6 more authors) (2013) Parallel file system analysis through application I/O Tracing. Computer Journal. pp. 141-155. ISSN 0010-4620

Wright, S. A. orcid.org/0000-0001-7133-8533, Hammond, S. D., Pennycook, S. J. et al. (3 more authors) (2012) LDPLFS : Improving I/O performance without application modification. In: Proceedings of the 2012 IEEE 26th International Parallel and Distributed Processing Symposium Workshops, IPDPSW 2012. 2012 IEEE 26th International Parallel and Distributed Processing Symposium Workshops, IPDPSW 2012, 21-25 May 2012. , pp. 1352-1359.

Wright, Steven A. orcid.org/0000-0001-7133-8533 (2014) Monitoring, analysis and optimisation of I/O in parallel applications. PhD thesis, UNSPECIFIED.

Wright, Steven A. orcid.org/0000-0001-7133-8533, Hammond, Simon D., Pennycook, Simon J. et al. (1 more author) (2011) Light-weight parallel I/O analysis at scale. In: Computer Performance Engineering - 8th European Performance Engineering Workshop, EPEW 2011, Proceedings. 8th European Performance Engineering Workshop, EPEW 2011, 12-13 Oct 2011. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . , pp. 235-249.

Wright, Steven A. orcid.org/0000-0001-7133-8533 and Jarvis, Stephen A. (2015) Quantifying the Effects of Contention on Parallel File Systems. In: Proceedings - 2015 IEEE 29th International Parallel and Distributed Processing Symposium Workshops, IPDPSW 2015. 29th IEEE International Parallel and Distributed Processing Symposium Workshops, IPDPSW 2015, 25-29 May 2015. Institute of Electrical and Electronics Engineers Inc. , pp. 932-940.

X

Xiao, Bai, Yan, Cheng, Yang, Haichuan et al. (3 more authors) (2017) Adaptive Hash Retrieval with Kernel Based Similarity. Pattern Recognition. ISSN 0031-3203

Xu, Chen, Zhang, Zhihong, Wang, Beizhan et al. (2 more authors) (2017) Recovering Variations in Facial Albedo from Low Resolution Images. Pattern Recognition. pp. 1-37. ISSN 0031-3203

Xu, Weiping, Hancock, Edwin R orcid.org/0000-0003-4496-2028 and Wilson, Richard Charles orcid.org/0000-0001-7265-3033 (2014) Ricci flow embedding for rectifying non-Euclidean dissimilarity data. Pattern Recognition. pp. 3709-3725. ISSN 0031-3203

Y

Yan, Yu, Lu, Cong, Tu, Hongqing et al. (13 more authors) (2016) Element specific spin and orbital moments of nanoscale CoFeB amorphous thin films on GaAs(100). RSC Advances. 095011. ISSN 2046-2069

Ye, C., Wilson, R. C. orcid.org/0000-0001-7265-3033 and Hancock, E. R. orcid.org/0000-0003-4496-2028 (2016) Analyzing graph time series using a generative model. In: Davis, L., Bimbo, A. Del and Lovell, B., (eds.) 2016 23rd International Conference on Pattern Recognition (ICPR). UNSPECIFIED. IEEE Computer Society Press , Los Alamitos, CA, USA , pp. 3338-3343.

Ye, Cheng, Wilson, Richard C. orcid.org/0000-0001-7265-3033 and Hancock, Edwin R. orcid.org/0000-0003-4496-2028 (2016) Correlation Network Evolution Using Mean Reversion Autoregression. In: Structural, Syntactic, and Statistical Pattern Recognition - Joint IAPR International Workshop, S+SSPR 2016, Mérida, Mexico, November 29 - December 2, 2016, Proceedings. UNSPECIFIED. Lecture Notes in Computer Science . , pp. 163-173.

Ye, Cheng, Wilson, Richard C. orcid.org/0000-0001-7265-3033 and Hancock, Edwin R. orcid.org/0000-0003-4496-2028 (2014) Entropic graph embedding via multivariate degree distributions. In: Structural, Syntactic, and Statistical Pattern Recognition:Joint IAPR International Workshop, S+SSPR 2014, Joensuu, Finland, August 20-22, 2014. Proceedings. Joint IAPR International Workshop on Structural, Syntactic, and Statistical Pattern Recognition, S+SSPR 2014, 20-22 Aug 2014. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer-Verlag , pp. 163-172.

Ye, Cheng, Wilson, Richard C. orcid.org/0000-0001-7265-3033 and Hancock, Edwin R. orcid.org/0000-0003-4496-2028 (2016) A Jensen-Shannon Divergence Kernel for Directed Graphs. In: Structural, Syntactic, and Statistical Pattern Recognition - Joint IAPR International Workshop, S+SSPR 2016, Mérida, Mexico, November 29 - December 2, 2016, Proceedings. UNSPECIFIED. Lecture Notes in Computer Science (LNCS) . , pp. 196-206.

Ye, Cheng, Wilson, Richard Charles orcid.org/0000-0001-7265-3033 and Hancock, Edwin R orcid.org/0000-0003-4496-2028 (2017) Network Analysis using Entropy Component Analysis. Journal of Complex Networks. pp. 1-27. ISSN 2051-1329

Ye, Cheng, Wilson, Richard Charles orcid.org/0000-0001-7265-3033, Rossi, Luca et al. (2 more authors) (2018) Thermodynamic Analysis of Time Evolving Networks. Entropy. ISSN 1099-4300 (In Press)

Ye, Kangfeng, Foster, Simon David orcid.org/0000-0002-9889-9514 and Woodcock, JAMES Charles Paul orcid.org/0000-0001-7955-2702 (2018) Compositional Assume-Guarantee Reasoning of Control Law Diagrams using UTP. Working Paper. (Unpublished)

Yohannis, Alfa, Kolovos, Dimitris orcid.org/0000-0002-1724-6563 and Polack, Fiona orcid.org/0000-0001-7954-6433 (2017) Turning models inside out. CEUR Workshop Proceedings 1403. pp. 430-434. ISSN 1613-0073

Yohannis, Alfa, Rodriguez, Horacio Hoyos, Polack, Fiona orcid.org/0000-0001-7954-6433 et al. (1 more author) (2018) Towards efficient loading of change-based models. In: Modelling Foundations and Applications - 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Proceedings. 14th European Conference on Modelling Foundations and Applications, ECMFA 2018 Held as Part of STAF 2018, 26-28 Jun 2018. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer-Verlag , pp. 235-250.

Yonezawa, Hidehiro, Braunstein, Samuel L. orcid.org/0000-0003-4790-136X and Furusawa, Akira (2007) Experimental demonstration of quantum teleportation of a squeezed state. Physical Review Letters. Art. No. 110503. ISSN 1079-7114

Z

Zendle, David Isaac, Cairns, Paul Antony orcid.org/0000-0002-6508-372X and Kudenko, Daniel orcid.org/0000-0003-3359-3255 (2018) No Priming in Video Games. Computers in Human Behaviour. pp. 113-125. ISSN 0747-5632

Zendle, David Isaac, Kudenko, Daniel orcid.org/0000-0003-3359-3255 and Cairns, Paul Antony orcid.org/0000-0002-6508-372X (2018) Behavioural realism and the activation of aggressive concepts in violent video games. Entertainment Computing. pp. 21-29. ISSN 1875-9521

Zeyda, Frank, Foster, Simon David orcid.org/0000-0002-9889-9514 and Freitas, Leo (2016) An Axiomatic Value Model for Isabelle/UTP. In: 6th International Symposium on Unifying Theories of Programming. 6th International Symposium on Unifying Theories of Programming, 04-05 Jun 2016. , pp. 1-20. (In Press)

Zeyda, Frank, Ouy, Julian, Foster, Simon David orcid.org/0000-0002-9889-9514 et al. (1 more author) (2017) Formalising Cosimulation Models. In: 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems (CoSim-CPS 2017). UNSPECIFIED. .

Zhan, Yuan and Clark, John Andrew orcid.org/0000-0002-9230-9739 (2004) Automatic test-data generation for testing simulink models. Report. York Computer Science Technical Report . Department of Computer Science, University of York

Zhang, S., Burns, A. orcid.org/0000-0001-5621-8816 and Cheng, T.H. (2002) Cycle-time properties of the timed token medium access control protocol. IEEE Transactions on Computers. pp. 1362-1367. ISSN 0018-9340

Zhang, Yiping, Zhang, Z., Hu, Guosheng et al. (1 more author) (2016) Face image super-resolution via weighted patches regression. In: Davis, L., Bimbo, A. Del and Lovell, B., (eds.) 2016 23rd International Conference on Pattern Recognition (ICPR). UNSPECIFIED. IEEE Computer Society Press , Los Alamitos, CA, USA , pp. 3892-3897.

Zhang, Zhen, Bedder, Matthew, Smith, Stephen Leslie orcid.org/0000-0002-6885-2643 et al. (3 more authors) (2016) Characterization and Classification of Adherent Cells in Monolayer Culture using Automated Tracking and Evolutionary Algorithms. Biosystems. pp. 110-121. ISSN 0303-2647

Zhang, Zhihong, Bai, Lu, Liang, Yuanheng et al. (1 more author) (2016) Joint Hypergraph Learning and Sparse Regression for Feature Selection. Pattern Recognition. pp. 291-309. ISSN 0031-3203

Zhang, Zhihong, Bai, Lu, Ren, Peng et al. (1 more author) (2016) High-order graph matching kernel for early carcinoma EUS image classification. Multimedia Tools and Applications. 3993–4012. ISSN 1573-7721

Zhang, Zhihong, Hancock, Edwin R orcid.org/0000-0003-4496-2028, Bai, Lu et al. (1 more author) (2018) Depth-Based Subgraph Convolutional Neural Networks. In: 24th International Conference on Pattern Recognition, 21-24 Aug 2018. (In Press)

Zhang, Zhihong, Liang, Yuanheng, Bai, Lu et al. (1 more author) (2016) Discriminative sparse representation for face recognition. Multimedia Tools and Applications. 3973–3992. ISSN 1573-7721

Zhang, Zhihong, Tian, Yiyang, Bai, Lu et al. (2 more authors) (2017) High-order covariate interacted Lasso for feature selection. Pattern Recognition Letters. 139 - 146. ISSN 0167-8655

Zhang, Zhihong, Xiahou, Jianbing, Bai, Zheng-Jian et al. (4 more authors) (2016) Discriminative Lasso. Cognitive Computation. pp. 847-855. ISSN 1866-9956

Zhao, Shuai, Garrido, Jose, Burns, Alan orcid.org/0000-0001-5621-8816 et al. (1 more author) (2017) New Schedulability Analysis for MrsP. In: 2017 IEEE 23rd International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA). IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 01 Sep 2017. IEEE , p. 1.

Zolotas, Athanasios, Clarisó, Robert, Matragkas, Nicholas et al. (2 more authors) (2016) Constraint programming for type inference in flexible model-driven engineering. Computer Languages, Systems and Structures. ISSN 1477-8424

Zolotas, Athanasios, Matragkas, Nicholas, Devlin, Sam orcid.org/0000-0002-7769-3090 et al. (2 more authors) (2018) Type inference in flexible model-driven engineering using classification algorithms. International Journal on Software & Systems Modelling. ISSN 1619-1366

Zolotas, Athanasios, Rodriguez, Horacio Hoyos, Kolovos, Dimitrios S. orcid.org/0000-0002-1724-6563 et al. (2 more authors) (2017) Bridging Proprietary Modelling and Open-Source Model Management Tools : The Case of PTC Integrity Modeller and Epsilon. In: Proceedings - ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems, MODELS 2017. 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2017, 17-22 Sep 2017. Institute of Electrical and Electronics Engineers Inc. , pp. 237-247.

Zolotas, Athanasios, Wei, Ran, Gerasimou, Simos et al. (3 more authors) (2018) Towards automatic generation of UML profile graphical editors for papyrus. In: Modelling Foundations and Applications - 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Proceedings. 14th European Conference on Modelling Foundations and Applications, ECMFA 2018 Held as Part of STAF 2018, 26-28 Jun 2018. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer-Verlag , pp. 12-27.

Zou, Xueyi, Alexander, Rob orcid.org/0000-0003-3818-0310 and McDermid, John Alexander orcid.org/0000-0003-4745-4272 (2014) Safety validation of sense and avoid algorithms using simulation and evolutionary search. In: 33rd International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2014, 10-12 Sep 2014.

Zou, Xueyi, Alexander, Robert David orcid.org/0000-0003-3818-0310 and McDermid, John Alexander orcid.org/0000-0003-4745-4272 (2016) On the Validation of a UAV Collision Avoidance System Developed by Model-Based Optimization: : Challenges and a Tentative Partial Solution. In: UNSPECIFIED.

Zou, Xueyi, Alexander, Robert David orcid.org/0000-0003-3818-0310 and McDermid, John Alexander orcid.org/0000-0003-4745-4272 (2016) Testing Method for Multi-UAV Conflict Resolution Using Agent-Based Simulation and Multi-Objective Search. Journal of Aerospace Information Systems. ISSN 2327-3097

This list was generated on Tue Oct 16 03:50:57 2018 BST.