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

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 authors) (2006) Knowledge-Based Systems: A Re-Evaluation. Journal of Knowledge Management, 10 ( 3). pp. 127-142. ISSN 1367-3270

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. ISBN 978-1-57735-507-6

Alberto, A., Cavalcanti, A. L. C. orcid.org/0000-0002-0831-1976, Gaudel, M.-C. et al. (1 more authors) (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. Journal of the Royal Society 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

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 authors) (2016) On the effectiveness of cache partitioning in hard real-time systems. Real-Time Systems. ISSN 1573-1383

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

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, Toulouse. Lecture Notes in Computer Science . Springer , pp. 33-44. ISBN 978-3-642-40793-2

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

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.

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. ISBN 0-471-96282-1

Austin, J orcid.org/0000-0001-5762-8614, Turner, A, Turner, M et al. (1 more authors) (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, EDINBURGH. IEEE , EDISON , pp. 619-624. ISBN 0-85296-721-7

Austin, Jim orcid.org/0000-0001-5762-8614, Hobson, Stephen John, Burles, Nathan John orcid.org/0000-0003-3030-1675 et al. (1 more authors) (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. ISBN 978-3-642-33269-2

Austin, Jim orcid.org/0000-0001-5762-8614, Jackson, Tom, Hodge, Victoria Jane et al. (1 more authors) (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, Stratford-upon-Avon.

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. ISBN 978-0-7695-3388-9

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, Joensuu. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer-Verlag , pp. 374-383. ISBN 9783662444146

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

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. 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 authors) (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, Stockholm. IEEE Computer Society Press .

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

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

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 authors) (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 authors) (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 (2016) An Enhanced Bailout Protocol for Mixed Criticality Embedded Software. IEEE Transactions on Software Engineering. ISSN 0098-5589

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.

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

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

Borba, P., Sampaio, A., Cavalcanti, A. et al. (1 more authors) (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 authors) (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. ISBN 1-58603-688-2

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. ISBN 978-1-4503-1083-3

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 . ISBN 1 84 206 054 6

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

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, I.D.K., Stepney, S., Sudbery, A. et al. (1 more authors) (2005) Searching for highly entangled multi-qubit states. Journal of Physics A: Mathematical and General, 38 (5). pp. 1119-1131. ISSN 03054470

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

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

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

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, Beijing. , 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. ISBN 978-3-642-40728-4

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 authors) (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. ISBN 978-1-4503-3488-4

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. 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 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, Baruah, Sanjoy and Guo, Zhishan (2016) Preemptive uniprocessor scheduling of dual-criticality implicit-deadline sporadic tasks. In: Proc of ECRTS:. UNSPECIFIED. , pp. 1-8.

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

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

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. ISBN 978-3-662-46675-9

Calinescu, Radu orcid.org/0000-0002-2678-9260, Ghezzi, Carlo, Johnson, Kenneth Harold Anthony et al. (3 more authors) (2015) 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 authors) (2012) Self-adaptive software needs quantitative verification at runtime. Communications of the ACM. pp. 69-77. ISSN 0001-0782

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

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

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, 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, 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 authors) (2004) 3D Euclidean Reconstruction of Buildings from Uncalibrated Image Sequences. International Journal of Shape Modelling, 10 (1). pp. 115-131. ISSN 0218-6543

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, 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, 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 authors) (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, The University of York.

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

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

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

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

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

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, Helsinki. AUAI Press , Corvallis, Oregon , pp. 105-112. ISBN 0-9749039-4-9

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, Barcelona. AUAI Press , Corvallis, Oregon , pp. 153-160. ISBN 978-0-9749039-7-2

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

D

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

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 authors) (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, Cucu-Grosjean, Liliana, Bertogna, Marko et al. (1 more authors) (2016) A Review of Priority Assignment in Real-Time Systems. Journal of systems architecture. pp. 64-82. ISSN 1383-7621

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

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, Taipeh. ACM , pp. 225-232. ISBN 0-9826571-5-3

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, Valencia. IFAAMAS , pp. 433-440. ISBN 978-0-9817381-3-0

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 .

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 authors) (2012) A Programmable look-up table-based interpolator with nonuniform sampling scheme. International Journal of Reconfigurable Computing. 647805. ISSN 1687-7209

Dziurzanski, Piotr, 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, York. Institute of Electrical and Electronics Engineers Inc. , pp. 100-107. ISBN 9781467390323

Dziurzanski, Piotr, 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, Nuremberg. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer-Verlag , pp. 157-169. ISBN 978-3-319-30695-7

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 authors) (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

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, Joensuu. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer-Verlag , pp. 203-212. ISBN 9783662444146

Escolano, Francisco, Hancock, Edwin R orcid.org/0000-0003-4496-2028, Lozano, Miguel Angel et al. (1 more authors) (2016) The Mutual Information Between Graphs. Pattern Recognition Letters. ISSN 0167-8655

F

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. ISBN 0-7695-2585-7

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 orcid.org/0000-0002-9889-9514, Zeyda, Frank and Woodcock, Jim orcid.org/0000-0001-7955-2702 (2015) Isabelle/UTP:A Mechanised Theory Engineering Framework. In: Naumann, David, (ed.) Unifying Theories of Programming:5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers. UNSPECIFIED. Lecture Notes in Computer Science . SPRINGER , pp. 21-41. ISBN 978-3-319-14805-2

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

Freitas, Leo, Baxter, James, Cavalcanti, Ana Lucia Caneca orcid.org/0000-0002-0831-1976 et al. (1 more authors) (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. ISBN 978-3-319-33693-0

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 authors) (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 authors) (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

G

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

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

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

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

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

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.

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)

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

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

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

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. ISBN 0-7803-8554-3

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. ISBN 0-7803-3259-8

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. ISBN 978-3-642-04273-7

Hodge, V J 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, 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. 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. 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. 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. 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. 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. 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. ISBN 3540424865

Hodge, V.J. 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., 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, 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, Island of Lesvos. .

Hodge, Victoria J., 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 Jane (2001) Integrating Information Retrieval & Neural Networks. PhD thesis, The University of York.

Hodge, Victoria Jane 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 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, 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, Hollier, Garry Phillip, Austin, Jim orcid.org/0000-0001-5762-8614 et al. (1 more authors) (2008) Identifying Perceptual Structures In Trademark Images. In: Proceedings Fifth IASTED International Conference on Signal Processing, Pattern Recognition and Applications, 13-15 Feb 2008, Innsbruck.

Hodge, Victoria Jane, 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, Barcelona.

Hodge, Victoria Jane, 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, 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, Rome.

Hodge, Victoria Jane, 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, Krishnan, Rajesh, Austin, Jim orcid.org/0000-0001-5762-8614 et al. (1 more authors) (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, New Delhi.

Hodge, Victoria Jane, 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, Milton Keynes.

Hodge, Victoria Jane, 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, Stirling.

Hodge, Victoria Jane, 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, O'Keefe, Simon orcid.org/0000-0001-5957-2474, Weeks, Michael et al. (1 more authors) (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, 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, Rome.

Horsman, Clare, Stepney, Susan orcid.org/0000-0003-3146-5401, Wagner, Rob C. et al. (1 more authors) (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

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

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, Paris. IFAAMAS , Richland, SC . ISBN 978-1-4503-2738-1

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

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

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

J

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, Vancouver. ACM , New York , pp. 33-42. ISBN 978-1-4503-2122-8

Johnson, Kenneth Harold Anthony, Sinha, Roopak, Calinescu, Radu orcid.org/0000-0002-2678-9260 et al. (1 more authors) (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.

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

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 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, New York. IEEE , pp. 1-8. ISBN 978-1-4673-1801-3

Kelly, Tim orcid.org/0000-0002-7385-2031, Hawkins, Richard David orcid.org/0000-0001-7347-3413, Habli, Ibrahim orcid.org/0000-0003-2736-8238 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:. UNSPECIFIED. IEEE , pp. 110-117.

Kennedy, J.V., Austin, J. orcid.org/0000-0001-5762-8614, Pack, R. et al. (1 more authors) (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. ISBN 0780327691

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

Kirkwood, Jobie, Wilson, Julie orcid.org/0000-0002-5171-8480, O'keefe, Simon orcid.org/0000-0001-5957-2474 et al. (1 more authors) (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 authors) (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 authors) (2015) Using isoelectric point to determine the pH for initial protein crystallisation trials. Bioinformatics. pp. 1444-1451. ISSN 1460-2059

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

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

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

Krishnan, Rajesh, Hodge, Victoria, 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, Busan.

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

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

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

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, The University of York.

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, Tampa. IEEE , NEW YORK , pp. 3350-3353. ISBN 978-1-4244-2174-9

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, Jelenia Góra. Advances in Intelligent and Soft Computing . Springer , p. 119. ISBN 9783540939054

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

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, Jelenia Góra. Advances in Intelligent and Soft Computing . Springer , pp. 127-134. ISBN 9783540939054

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, Genova. IEEE , NEW YORK , pp. 330-335. ISBN 978-1-4244-4755-8

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

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. ISBN 0-7803-9484-4

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

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

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

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

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, Denver. Association for Computing Machinery, Inc , pp. 829-836. ISBN 9781450342063

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

Malialis, Kleanthis, Devlin, Sam Michael 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, Singapore.

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, Avignon. Association for Computational Linguistics , Stroudsburg, PA , pp. 654-663. ISBN 978-1-937284-19-0

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

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

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

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

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

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

O

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, Edinburgh. IET , London , pp. 286-290. ISBN 0-85296-642-3

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. ISBN 978-3-642-40560-0

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

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

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

Patrick, M., Alexander, R. orcid.org/0000-0003-3818-0310, Oriol, M. et al. (1 more authors) (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 authors) (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, Cleveland, OH. IEEE Computer Society Press , pp. 186-195. ISBN 9780769551944

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

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

Petrie, H., Hamilton, F., King, N. et al. (1 more authors) (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

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

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

Poskitt, Chris, Dodds, Mike orcid.org/0000-0002-4439-0130, Paige, Richard Freeman orcid.org/0000-0002-1978-9852 et al. (1 more authors) (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, Valencia. CEUR Workshop Proceedings . CEUR Workshop Proceedings , pp. 70-75.

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

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

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 authors) (2001) Projection distortion analysis for flattened image mosaicing from straight uniform generalized cylinders. Pattern recognition. pp. 1657-1670. ISSN 0031-3203

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

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

Read, Mark N, Bailey, Jacqueline, Timmis, Jon orcid.org/0000-0003-1055-0471 et al. (1 more authors) (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.

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 (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, Joensuu. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer-Verlag , pp. 103-112. ISBN 9783662444146

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

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

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

Sephton, Nicholas John, Cowling, Peter Ivan orcid.org/0000-0003-1310-6683, Devlin, Sam Michael 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, Santorini.

Shanker, Sanil, Turner, Aaron, Sherly, Elizabeth et al. (1 more authors) (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, Manila. IEEE , pp. 470-472.

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 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, York. Institute of Electrical and Electronics Engineers Inc. , pp. 190-197. ISBN 9781467390323

Singh, Amit Kumar, Dziurzanski, Piotr 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, Vancouver. Institute of Electrical and Electronics Engineers Inc. , pp. 180-185. ISBN 9781467395601

Singh, Amit Kumar, Dziurzanski, Piotr 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, Amsterdam. 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

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 and Dziurzanski, Piotr (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, Agios Konstantinos. . ISBN 978-1-4673-7311-1

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

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

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

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.

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

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

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

Taylor, R S, Hayward, C, Eyre, V et al. (15 more authors) (2015) Clinical effectiveness and cost-effectiveness of the Rehabilitation Enablement in Chronic Heart Failure (REACH-HF) facilitated self-care rehabilitation intervention in heart failure patients and caregivers:rationale and protocol for a multicentre randomised controlled trial. BMJ open. e009994. ISSN 2044-6055

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

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

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, Joensuu. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer-Verlag , pp. 22-31. ISBN 9783662444146

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

Turner, Alexander Phillip, Caves, Leo orcid.org/0000-0002-8610-1114, Stepney, Susan orcid.org/0000-0003-3146-5401 et al. (2 more authors) (2016) Artificial Epigenetic Networks:Automatic Decomposition of Dynamical Control Tasks using Topological Self-Modification. IEEE transactions on neural networks and learning systems. 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

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 authors) (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, 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 authors) (2006) Fine-grained visualization pipelines and lazy functional languages. IEEE Transactions on Visualization and Computer Graphics. pp. 973-980. ISSN 1077-2626

Wang, Zhiwei and Braunstein, Samuel Leon orcid.org/0000-0003-4790-136X (2016) Higher-dimensional performance of port-based teleportation. In: UNSPECIFIED.

Weeks, M., Hodge, V., 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, MENORCA. Lecture Notes in Computer Science . SPRINGER-VERLAG BERLIN , BERLIN , pp. 663-670. ISBN 3-540-40211-X

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, 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. ISBN 978-1-4471-2296-8

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, Las Vegas, NV. IEEE Computer Society Press , pp. 55-64. ISBN 9780769543819

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

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 authors) (2014) Redesigning photo-id to improve unfamiliar face matching performance. Journal of Experimental Psychology: Applied. pp. 166-173.

White, I D, Godby, R W, Rieger, M M et al. (1 more authors) (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, 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 authors) (2014) Spherical and hyperbolic embeddings of data. IEEE Transactions on Pattern Analysis and Machine Intelligence. ISSN 0162-8828 (In Press)

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. ISBN 978-3-319-25422-7

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. ISBN 978-3-642-35704-6

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.

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 authors) (2005) Formalizing anonymity:A review. Report. York Computer Science Technical Report Series, YCS . Department of Computer Science, University of York

X

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

Ye, Cheng, Wilson, Richard orcid.org/0000-0001-7265-3033 and Hancock, Edwin 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.) Proceedings 23rd International Conference on Pattern Recognition:. UNSPECIFIED. IEEE Computer Society Press , Los Alamitos, CA, USA .

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, Joensuu. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer-Verlag , pp. 163-172. ISBN 9783662444146

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

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, 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. ISSN 0303-2647

Zhang, Zhihong, Bai, Lu, Liang, Yuanheng et al. (1 more authors) (2016) Joint Hypergraph Learning and Sparse Regression for Feature Selection. Pattern Recognition. pp. 1-45. ISSN 0031-3203

Zhang, Zhihong, Bai, Lu, Ren, Peng et al. (1 more authors) (2016) High-order graph matching kernel for early carcinoma EUS image classification. Multimedia Tools and Applications. ISSN 1573-7721

Zhang, Zhihong, Bai, Lu, Xiahou, Jianbing et al. (2 more authors) (2016) High-order Covariate Interacted Lasso for Feature Selection. Pattern Recognition Letters. ISSN 0167-8655

Zhang, Zhihong, Liang, Yuanheng, Bai, Lu et al. (1 more authors) (2016) Discriminative sparse representation for face recognition. Multimedia Tools and Applications. ISSN 1573-7721

Zhang, Zhihong, Xiahou, Jianbing, Bai, Zheng-Jian et al. (4 more authors) (2016) Discriminative Lasso. Cognitive Computation. ISSN 1866-9956

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

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 Fri Sep 23 03:31:52 2016 BST.