Search research publications and outputs

  1. 2014
  2. The gaming involvement and informal learning framework

    Iacovides, I., McAndrew, P., Scanlon, E. & Aczel, J., 17 Dec 2014

    Article in Simulation & Gaming

  3. The Use of Controlled Vocabularies and Structured Expressions in the Assurance of CPS

    Attwood, K. C., Kelly, T. & Conmy, P., Dec 2014, Ada User Journal, 35, 4, p. 251-258 7 p.

    Research output: Contribution to specialist publicationArticle

  4. Monitoring, analysis and optimisation of I/O in parallel applications

    Wright, S. A., 1 Nov 2014

    Research output: ThesisDoctoral Thesis

  5. Player strategies: achieving breakthroughs and progressing in single-player and cooperative games

    Iacovides, I., Cox, A. L., Avakian, A. & Knoll, T., 1 Oct 2014, Proceedings of the first ACM SIGCHI annual symposium on Computer-human interaction in play - CHI PLAY '14. New York, USA: ACM, p. 131-140 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  6. Automatically Improving Constraint Models in Savile Row through Associative-Commutative Common Subexpression Elimination

    Nightingale, P., Akgun, O., Gent, I. P., Jefferson, C. & Miguel, I., 8 Sep 2014, Principles and Practice of Constraint Programming. Cham: SPRINGER, p. 590-605 16 p. (Lecture Notes in Computer Science; vol. 8656).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  7. Discriminating instance generation for automated constraint model selection

    Gent, I. P., Hussain, B. S., Jefferson, C., Kotthoff, L., Miguel, I., Nightingale, G. F. & Nightingale, P., 8 Sep 2014, Principles and Practice of Constraint Programming - 20th International Conference, CP 2014, Proceedings. Springer Verlag, p. 356-365 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  8. Infusion device standardisation and dose error reduction software

    Iacovides, I., Blandford, A., Cox, A. L., Franklin, B. D., Lee, P. & Vincent, C. J., 28 Aug 2014

    Article in British Journal of Nursing

  9. Breaking conditional symmetry in automated constraint modelling with CONJURE

    Akgun, O., Gent, I. P., Jefferson, C. A., Miguel, I. J. & Nightingale, P. W., 18 Aug 2014, ECAI 2014. IOS Press, Vol. 263. p. 3-8 6 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  10. Concentric Symmetry

    Silva, F. N., Comin, C. H., Peron, T. K. D., Rodrigues, F. A., Ye, C., Wilson, R. C., Hancock, E. & Costa, L. . F., 1 Jul 2014.

    Research output: Working paper

  11. Generating custom propagators for arbitrary constraints

    Gent, I., Jefferson, C., Linton, S., Miguel, I. & Nightingale, P., 1 Jun 2014

    Article in Artificial Intelligence

  12. Mutation Testing for Jason Agents

    Huang, Z., Alexander, R. & Clark, J. A., 6 May 2014, Proceedings of the 13th International Conference on Autonomous Agents and Multiagent Systems. Richland, SC: IFAAMAS, 16 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  13. Outlier Detection in Big Data

    Wang, J. (ed.) & Hodge, V. J., 1 Apr 2014, Encyclopedia of Business Analytics and Optimization. Wang, J. (ed.). Hershey, PA: IGI Global, p. 1762-1771 10 p. (Encyclopedia of Business Analytics and Optimization).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  14. Qualitative modelling via constraint programming

    Kelsey, T. W., Kotthoff, L., Jefferson, C. A., Linton, S. A., Miguel, I. J., Nightingale, P. W. & Gent, I. P., 1 Apr 2014

    Article in Journal of Constraints

  15. Entropic graph embedding via multivariate degree distributions

    Ye, C., Wilson, R. C. & Hancock, E. R., 1 Jan 2014, Structural, Syntactic, and Statistical Pattern Recognition: Joint IAPR International Workshop, S+SSPR 2014, Joensuu, Finland, August 20-22, 2014. Proceedings. Springer-Verlag, Vol. 8621 LNCS. p. 163-172 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8621 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  16. Incorporating scale invariance into the cellular associative neural network

    Burles, N., O'Keefe, S. & Austin, J., 1 Jan 2014, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer-Verlag, Vol. 8681 LNCS. p. 435-442 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8681 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  17. Quantum vs classical ranking in segment grouping

    Escolano, F., Bonev, B. & Hancock, E. R., 1 Jan 2014, Structural, Syntactic, and Statistical Pattern Recognition: Joint IAPR International Workshop, S+SSPR 2014, Joensuu, Finland, August 20-22, 2014. Proceedings. Springer-Verlag, Vol. 8621 LNCS. p. 203-212 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8621 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  18. Combining Multiple Correlated Reward and Shaping Signals by Measuring Confidence

    Brys, T., Nowé, A., Kudenko, D. & Taylor, M., 2014, The 28th Conference of the American Association on Artificial Intelligence: AAAI 2014.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  19. Commute time for a gaussian wave packet on a graph

    Aziz, F., Wilson, R. C. & Hancock, E. R., 2014, Structural, Syntactic, and Statistical Pattern Recognition: Joint IAPR International Workshop, S+SSPR 2014, Joensuu, Finland, August 20-22, 2014. Proceedings. Springer-Verlag, Vol. 8621 LNCS. p. 374-383 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8621 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  20. Contracts in CML

    Woodcock, J. C. P., Cavalcanti, A. L. C., Fitzgerald, J., Foster, S. & Larsen, P. G., 2014, 6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation. SPRINGER, p. 54-73 20 p. (Lecture Notes in Computer Science; vol. 8803).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  21. Depth-Based Complexity Traces of Hypergraphs from Directed Line Graphs

    Bai, L., Ren, P., Escolano, F. & Hancock, E. R., 2014, Proceedings of the 22nd International Conference on Pattern Recognition. IEEE Computer Society Press, 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  22. Indistinguishability Obfuscation and UCEs: The Case of Computationally Unpredictable Sources

    Brzuska, C., Farshim, P. & Mittelbach, A., 2014, Advances in Cryptology – CRYPTO 2014. Vol. 8616. p. 188-205

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  23. Node centrality for continuous-time quantum walks

    Rossi, L., Torsello, A. & Hancock, E. R., 2014, Structural, Syntactic, and Statistical Pattern Recognition: Joint IAPR International Workshop, S+SSPR 2014, Joensuu, Finland, August 20-22, 2014. Proceedings. Springer-Verlag, Vol. 8621 LNCS. p. 103-112 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8621 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  24. Pattern Recognition Using Associative Memories

    Burles, N. J., 2014, 182 p.

    Research output: ThesisDoctoral Thesis

  25. Probability-based semantic interpretation of mutants

    Patrick, M., Alexander, R., Oriol, M. & Clark, J. A., 2014, Proceedings - IEEE Seventh International Conference on Software Testing, Verification and Validation Workshops: ICSTW 2014. IEEE Computer Society Press, p. 186-195 10 p. 6825657

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  26. Safety validation of sense and avoid algorithms using simulation and evolutionary search

    Zou, X., Alexander, R. & McDermid, J. A., 2014. 16 p.

    Research output: Contribution to conferencePaper

  27. The SPEKE Protocol Revisited

    Hao, F. & Shahandashti, S. F., 2014, p. 26–38.

    Research output: Contribution to conferencePaper

  28. Towards Rigorously Faking Bidirectional Model Transformations

    Poskitt, C., Dodds, M., Paige, R. F. & Rensink, A., 2014, AMT 2014 - Analysis of Model Transformations Workshop Proceedings. Dingel, J., de Lara, J., Lucio, L. & Vangheluwe, H. (eds.). CEUR Workshop Proceedings, Vol. 1277. p. 70-75 (CEUR Workshop Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  29. Transitive state alignment for the quantum jensen-shannon kernel

    Torsello, A., Gasparetto, A., Rossi, L., Bai, L. & Hancock, E. R., 2014, Structural, Syntactic, and Statistical Pattern Recognition: Joint IAPR International Workshop, S+SSPR 2014, Joensuu, Finland, August 20-22, 2014. Proceedings. Fränti, P., Brown, G., Loog, M., Escolano, F. & Pelillo, M. (eds.). Springer-Verlag, Vol. 8621 LNCS. p. 22-31 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8621 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  30. 2013
  31. Selecting Highly Efficient Sets of Subdomains for Mutation Adequacy

    Patrick, M., Alexander, R., Oriol, M. & Clark, J. A., 1 Dec 2013, Software Engineering Conference (APSEC, 2013 20th Asia-Pacific). Vol. 1. p. 91-98 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  32. A HADOOP-Based Framework for Parallel and Distributed Feature Selection

    Hodge, V. J., Jackson, T. & Austin, J., 1 Sep 2013, Department of Computer Science, University of York, UK

    Research output: Other contribution

  33. Do games attract or sustain engagement in citizen science? A study of volunteer motivations

    Iacovides, I., Jennett, C., Cornish-Trestrail, C. & Cox, A. L., 1 Apr 2013, CHI '13 Extended Abstracts on Human Factors in Computing Systems. New York, USA: ACM, p. 1101-1106 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  34. Performance modelling of magnetohydrodynamics codes

    Bird, R. F., Wright, S. A., Beckingsale, D. A. & Jarvis, S. A., 1 Mar 2013, Computer Performance Engineering - 9th European Workshop, EPEW 2012, Revised Selected Papers. Vol. 7587 LNCS. p. 197-209 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7587 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  35. Using Mutation Analysis to Evolve Subdomains for Random Testing

    Patrick, M. T., Alexander, R., Oriol, M. Y. A. & Clark, J. A., Mar 2013, p. 53-62. 10 p.

    Research output: Contribution to conferencePaper

  36. Co-evolution of networks and quantum dynamics: a generalization of the Barabási-Albert model of preferential attachment

    Hancock, E., Konno, N., Latora, V., Machida, T., Nicosia, V., Severini, S. & Wilson, R., 4 Feb 2013, Arxiv (Cornell University), 10 p.

    Research output: Working paper

  37. Parallel file system analysis through application I/O Tracing

    Wright, S. A., Hammond, S. D., Pennycook, S. J., Bird, R. F., Herdman, J. A., Miller, I., Vadgama, A., Bhalerao, A. & Jarvis, S. A., 1 Feb 2013

    Article in Computer Journal

  38. A Verified Protocol to Implement Multi-way Synchronisation and Interleaving in CSP

    Oliveira, M. V. M., Júnior, I. S. D. M. & Woodcock, J., 2013, Software Engineering and Formal Methods : 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings. Hierons, R. M., Merayo, M. G. & Bravetti, M. (eds.). SPRINGER, Vol. 8137. p. 46-60 15 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  39. An incremental verification framework for component-based software systems

    Johnson, K. H. A., Calinescu, R. C. & Kikuchi, S., 2013, CBSE '13 : Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering. New York: ACM, p. 33-42 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  40. Extending the Associative Rule Chaining Architecture for Multiple Arity Rules

    Burles, N. J., Austin, J. & O'Keefe, S., 2013, Proceedings of the Ninth International Workshop on Neural-Symbolic Learning and Reasoning. p. 47-51 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  41. Improving the associative rule chaining architecture

    Burles, N. J., O'Keefe, S. & Austin, J., 2013, Artificial Neural Networks and Machine Learning - ICANN 2013: 23rd International Conference on Artificial Neural Networks, Sofia, Bulgaria, September 2013. Proceedings.. Mladenov, V., Palm, G., Appollini, B., Koprinkova-Hristova, P., Villa, A. & Kasabov, N. (eds.). Berlin: Springer-Verlag, Vol. 8131 LNCS. p. 98-105 8 p. (Lecture Notes in Computer Science; vol. 8131).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  42. Learning by volunteer computing, thinking and gaming: What and how are volunteers learning by participating in Virtual Citizen Science?

    Kloetzer, L., Scheider, D., Jennett, C., Iacovides, I., Eveleigh, A., Cox, A. L. & Gold, M., 2013, Changing Configurations of Adult Education in Transitional Times: Conference Proceedings. ESREA: European Society for Research on the Education of Adults, p. 73-92

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  43. Supporting Learning Within the Workplace: Device Training in Healthcare

    Iacovides, I., Cox, A. L. & Blandford, A., 2013, Proceedings of the 31st European Conference on Cognitive Ergonomics. New York, NY, USA: ACM, p. 30:1-30:4 (ECCE '13).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  44. Testing Autonomous Robot Control Software Using Procedural Content Generation

    Arnold, J. & Alexander, R., 2013, Computer Safety, Reliability, and Security. Springer, Vol. 8153 LNCS. p. 33-44 12 p. (Lecture Notes in Computer Science; vol. 8153).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  45. The Epsilon Languages and Tools Framework

    Kolovos, D., Rose, L. M. & Paige, R. F., 2013

    Research output: Non-textual formSoftware

  46. Unifying Theories of Programming in Isabelle

    Foster, S. & Woodcock, J., 2013, 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. Liu, Z., Woodcock, J. & Zhu, H. (eds.). SPRINGER, Vol. 8050. p. 109-155 47 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  47. 2012
  48. Tradeoffs for EEG data reduction on Wearable Device

    Dai, C. & Crispin-Bailey, C., Nov 2012.

    Research output: Contribution to conferencePoster

  49. LDPLFS: Improving I/O performance without application modification

    Wright, S. A., Hammond, S. D., Pennycook, S. J., Miller, I., Herdman, J. A. & Jarvis, S. A., 18 Oct 2012, Proceedings of the 2012 IEEE 26th International Parallel and Distributed Processing Symposium Workshops, IPDPSW 2012. p. 1352-1359 8 p. 6270802

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  50. A Binary Neural Network Framework for Attribute Selection and Prediction

    Hodge, V. J., Jackson, T. & Austin, J., 5 Oct 2012, p. 510-515. 5 p.

    Research output: Contribution to conferencePaper

  51. Discretisation of Data in a Binary Neural k-Nearest Neighbour Algorithm

    Hodge, V. J. & Austin, J., 1 Jun 2012, Department of Computer Science, University of York, UK

    Research output: Other contribution

  52. Dynamic Potential-Based Reward Shaping

    Devlin, S. M. & Kudenko, D., Jun 2012, Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems. IFAAMAS, p. 433-440 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  53. Probabilistic Hierarchical Clustering Of Morphological Paradigms

    Manandhar, S. K. & Can, B., 23 Apr 2012, EACL '12 Proceedings of the 13th Conference of the European Chapter of the Association for Computational Linguistics . Stroudsburg, PA: Association for Computational Linguistics, p. 654-663 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  54. On the acceleration of wavefront applications using distributed many-core architectures

    Pennycook, S. J., Hammond, S. D., Mudalige, G. R., Wright, S. A. & Jarvis, S. A., 1 Feb 2012

    Article in Computer Journal

  55. A Rule Chaining Architecture Using a Correlation Matrix Memory

    Austin, J., Hobson, S. J., Burles, N. J. & O'Keefe, S., 2012, Artificial Neural Networks and Machine Learning – ICANN 2012: 22nd International Conference on Artificial Neural Networks, Lausanne, Switzerland, September 11-14, 2012, Proceedings, Part I. PART 1 ed. SPRINGER-VERLAG BERLIN, Vol. 7552. p. 49-56 (Lecture Notes in Computer Science; vol. 7552).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  56. A Tool for Development and Evaluation of Accessible Web 2.0 Applications

    Kervina, D., Pustisek, M., Ackermann, P., Velasco, C. A. & Power, C. D., 2012, 21st International Electrotechnical and Computer Science Conference. IEEE COMPUTER SOC, p. 89-92 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  57. Modelling Temporal Behaviour in Complex Systems with Timebands

    Wei, K., Woodcock, J. & Burns, A., 2012, Conquering Complexity. Hinchey, M. & Coyle, L. (eds.). London : SPRINGER, p. 277-307 31 p.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  58. Resource-sensitive synchronization inference by abduction

    Botincan, M., Dodds, M. D. & Jagannathan, S., 2012, POPL '12 Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages . New York: ACM, p. 309-322 14 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  59. Testing Implications of the Adaptive Market Hypothesis via Computational Intelligence

    Kazakov, D. L. & Butler, M. R., 2012, Computational Intelligence for Financial Engineering & Economics (CIFEr), 2012 IEEE Conference on . IEEE, p. 1-8

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  60. Unifying Theories of Undefinedness in UTP

    Woodcock, J. & Bandur, V., 2012, Unifying Theories of Programming, 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers. Wolff, B., Gaudel, M-C. & Feliachi, A. (eds.). Heidelberg: SPRINGER, Vol. 7681. p. 1-22 22 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  61. 2011
  62. Light-weight parallel I/O analysis at scale

    Wright, S. A., Hammond, S. D., Pennycook, S. J. & Jarvis, S. A., 1 Dec 2011, Computer Performance Engineering - 8th European Performance Engineering Workshop, EPEW 2011, Proceedings. Vol. 6977 LNCS. p. 235-249 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6977 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  63. Extensible Automated Constraint Modelling

    Akgun, O., Miguel, I., Jefferson, C., Frisch, A. M. & Hnich, B., Aug 2011, Proceedings of theTwenty-Fifth AAAI Conference on Artificial Intelligence. San Francisco: AAAI Press, p. 4-11 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  64. Timed circus: Timed CSP with the miracle

    Wei, K., Woodcock, J. & Burns, A., 25 Jul 2011, 16th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2011, Las Vegas, Nevada, USA, 27-29 April 2011. Perseil, I., Breitman, K. & Sterritt, R. (eds.). IEEE Computer Society Press, p. 55-64 10 p. 5773380

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  65. Theoretical Considerations of Potential-Based Reward Shaping for Multi-Agent Systems

    Devlin, S. & Kudenko, D., May 2011, The 10th International Conference on Autonomous Agents and Multiagent Systems . ACM, p. 225-232

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  66. Short-Term Traffic Prediction Using a Binary Neural Network.

    Hodge, V. J., Krishnan, R., Jackson, T., Austin, J. & Polak, J., 5 Jan 2011.

    Research output: Contribution to conferencePaper

  67. Bayesian network learning with cutting planes

    Cussens, J., 2011, Proceedings of the 27th Conference on Uncertainty in Artificial Intelligence (UAI 2011). Cozman, F. & Pfeffer, A. (eds.). Corvallis, Oregon: AUAI Press, p. 153-160 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  68. Empirical results from an evaluation of the accessibility of websites by dyslexic users

    Freire, A. P., Petrie, H. & Power, C. D., 2011, Proceedings of the Workshop on Accessible Design in the Digital World. p. 41-53 13 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  69. Full Implementation of an Estimation of Distribution Algorithm on a GPU

    Poulding, S. M., Staunton, J. P. & Burles, N. J., 2011.

    Research output: Contribution to conferencePaper

  70. The value chain for web accessibility: challenges and opportunities

    Petrie, H., Power, C. D., Swallow, D., Velasco, C. A., Gallagher, B., Magennis, M., Murphy, E., Collin, S. & Down, K., 2011, Proceedings of Accessible Design In the Digital World 2011. University of York

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  71. Using Model Transformation to Generate Graphical Counter-Examples for the Formal Analysis of xUML Models

    Santos, O. M. D., Woodcock, J. & Paige, R. F., 2011, 16th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2011, Las Vegas, Nevada, USA, 27-29 April 2011. Perseil, I., Breitman, K. & Sterritt, R. (eds.). IEEE Computer Society Press, p. 117-126 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  72. 2010
  73. INTELLIGENT DECISION SUPPORT FOR TRAFFIC MANAGEMENT

    Krishnan, R., Hodge, V., Austin, J., Polak, J., Jackson, T., Smith, M. & Lee, T., 25 Oct 2010.

    Research output: Contribution to conferencePaper

  74. AURA-Alert: The use of Binary Associative Memories for Condition Monitoring Applications

    Austin, J., Jackson, T., Hodge, V. J. & Brewer, G., 22 Jun 2010, p. 699-711.

    Research output: Contribution to conferencePaper

  75. A computationally efficient method for online identification of traffic incidents and network equipment failures

    Hodge, V. J., Krishnan, R., Austin, J. & Polak, J., 4 Apr 2010.

    Research output: Contribution to conferencePaper

  76. A Computationally Efficient Method for Online Identification of Traffic Control Intervention Measures

    Krishnan, R., Hodge, V. J., Austin, J. & Polak, J., 5 Jan 2010.

    Research output: Contribution to conferencePaper

  77. Building Model-Driven Engineering Traceability

    Paige, R. F., Olsen, G. K., Kolovos, D., Zschaler, S. & Power, C. D., 2010, ECMDA Traceability Workshop (ECMDA-TW). Sintef, p. 49 1 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  78. Sequential Data Mining using Correlation Matrix Memory

    Shanker, S., Turner, A., Sherly, E. & Austin, J., 2010, Proceedings. ICNIT 2010 International Conference on Networking and Information Technology. IEEE, p. 470-472 3 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  79. Spectrogram Track Detection: An Active Contour Algorithm

    Lampert, T., 2010, York: The Department of Computer Science, University of York. 201 p.

    Research output: ThesisDoctoral Thesis

  80. Understanding visitors' experiences with multimedia guides in cultural spaces

    Othman, M. K., Petrie, H. & Power, C. D., 2010, Proceedings of Transforming Culture in the Digital Age (International Conference in Tartu, April 14--16), Tartu, Estonia. Estonian National Museum, Estonian Literary Museum, University of Tartu, p. 30-36

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  81. ‘Quantum’ Parallel computation with neural networks

    Burles, N. J., 2010, 85 p.

    Research output: ThesisMaster's Thesis

  82. 2009
  83. Improved storage capacity in correlation matrix memories storing fixed weight codes

    Hobson, S. J. & Austin, J., 16 Sep 2009, Lecture Notes in Computer Science. PART 1 ed. ICANN 2009: Springer, Vol. 5768. p. 728-736 9 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  84. Intelligent Car Park Routeing for Road Traffic

    Hodge, V. J., Smith, M. & Austin, J., 22 Jun 2009, p. 326-333.

    Research output: Contribution to conferencePaper

  85. Optimising Activation of Bus Pre-signals

    Hodge, V. J., Jackson, T. & Austin, J., 22 Jun 2009, p. 344-353.

    Research output: Contribution to conferencePaper

  86. A Comparison Framework for Spectrogram Track Detection Algorithms

    Lampert, T. & O'Keefe, S., 1 May 2009, Computer Recognition Systems . Kurzynski, M. & Wozniak, M. (eds.). Springer, Vol. 3. p. 119 126 p. (Advances in Intelligent and Soft Computing ; vol. 57/2009).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  87. Line Detection Methods for Spectrogram Images

    Lampert, T., O'Keefe, S. & Pears, N., 1 May 2009, Computer Recognition Systems. Kurzynski, M. & Wozniak, M. (eds.). Springer, Vol. 3. p. 127-134 (Advances in Intelligent and Soft Computing; vol. 57/2009).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  88. A Multi-Scale Piecewise-Linear Feature Detector for Spectrogram Tracks

    Lampert, T., Pears, N. & O'Keefe, S., 2009, AVSS: 2009 6TH IEEE INTERNATIONAL CONFERENCE ON ADVANCED VIDEO AND SIGNAL BASED SURVEILLANCE. NEW YORK: IEEE, p. 330-335 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  89. Who supports the support workers? E-learning for support workers of students with disabilities

    Power, C. D., Petrie, H., Swallow, D. & Sannia, M., 2009, CTA 2009 Proceedings of the Second International Conference on Information and Communication Technologies and Accessibility. p. 167-178 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  90. 2008
  91. Manifesto - Model Engineering for Complex Systems

    Bézivin, J., Paige, R. F., Aßmann, U., Rumpe, B. & Schmidt, D., 17 Oct 2008, Perspectives Workshop: Model Engineering of Complex Systems (MECS). 4 p. (Dagstuhl Seminar Proceedings; vol. 08331).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  92. Identifying Perceptual Structures In Trademark Images

    Hodge, V. J., Hollier, G. P., Austin, J. & Eakins, J., 13 Feb 2008, p. 1-6. 6 p.

    Research output: Contribution to conferencePaper

  93. Active Contour Detection of Linear Patterns in Spectrogram Images

    Lampert, T. & O'Keefe, S., 2008, 19TH INTERNATIONAL CONFERENCE ON PATTERN RECOGNITION, VOLS 1-6. NEW YORK: IEEE, p. 3350-3353 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  94. Bayesian network learning by compiling to weighted MAX-SAT

    Cussens, J., 2008, Proceedings of the 24th Conference on Uncertainty in Artificial Intelligence (UAI 2008). McAllester, D. & Myllymaki, P. (eds.). Corvallis, Oregon: AUAI Press, p. 105-112 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  95. Observations for Assertion-based Scenarios in the context of Model Validation and Extension to Test Case Generation

    Aydal, E. G., Paige, R. F. & Woodcock, J., 2008, First International Conference on Software Testing Verification and Validation, ICST 2008, Lillehammer, Norway, April 9-11, 2008, Workshops Proceedings. IEEE Computer Society Press, p. 11-20 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  96. 2007
  97. 2006
  98. Multi-cultural visualization : how functional programming can enrich visualization (and vice versa)

    Borgo, R., Duke, D., Wallace, M. & Runciman, C., 22 Nov 2006, Vision, Modeling, and Visualization 2006 : Proceedings, November 22 - 24, 2006. AKA Verlag - IOS Press, p. 245-252 7 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  99. A Binary Neural Shape Matcher using Johnson Counters and Chain Codes

    Hodge, V., O'Keefe, S. & Austin, J., 10 Mar 2006, BICS.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  100. Eliciting Perceptual Ground Truth for Image Segmentation

    Hodge, V. J., Eakins, J. & Austin, J., 1 Feb 2006, 78 p. Department of Computer Science, University of York, UK

    Research output: Other contribution

  101. The Signal Data Explorer: A high performance Grid based signal search tool for use in distributed diagnostic applications

    Fletcher, M., Jackson, T., Jessop, M., Liang, B. & Austin, J., 2006, Sixth IEEE International Symposium on Cluster Computing and the Grid. Turner, SJ., Lee, BS. & Cai, W. (eds.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 217-224 8 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  102. 2005
  103. A neural network for mining large volumes of time series data

    Liang, B. & Austin, J., Dec 2005, IEEE International Conference on Industrial Technology (ICIT) 2005 (14-17 December 2005, City University of Hong Kong). New York: IEEE, Vol. 1-2. p. 688-693 5 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  104. Formalizing anonymity: A review

    Wright, J., Stepney, S., Clark, J. A. & Jacob, J. L., 2005, YCS-2005-389 ed. Department of Computer Science, University of York. 64 p. (York Computer Science Technical Report Series; vol. YCS, no. YCS-2005-389)

    Research output: Book/ReportOther report

  105. 2004
  106. A Binary Neural Decision Table Classifier

    Hodge, V. J., O'Keefe, S. & Austin, J., 29 Aug 2004.

    Research output: Contribution to conferencePaper

  107. A search-based approach to the automated design of security protocols

    Hao, C., Clark, JA. & Jacob, J. L., 2004, YCS-2004-376 ed. Department of Computer Science, University of York. 102 p. (York Computer Science Technical Report Series ("Yellow Reports"); vol. YCS , no. YCS-2004-376)

    Research output: Book/ReportOther report

  108. Automatic test-data generation for testing simulink models

    Zhan, Y. & Clark, J. A., 2004, Department of Computer Science, University of York. 16 p. (York Computer Science Technical Report ; vol. YCS, no. YCS-2004-382)

    Research output: Book/ReportOther report

  109. Breaking the Model: finalisation and a taxonomy of security attack

    Stepney, S., Clark, J. A. & Chivers, H., 2004, Department of Computer Science, University of York. 20 p. (York Computer Science Technical Report; vol. YCS, no. YCS-2004-371)

    Research output: Book/ReportOther report

  110. Three-dimensional face recognition: An Eigensurface approach

    Heseltine, T., Pears, N. & Austin, J., 2004, ICIP: 2004 INTERNATIONAL CONFERENCE ON IMAGE PROCESSING, VOLS 1- 5. NEW YORK: IEEE, Vol. 2. p. 1421-1424 4 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  111. Writing Effective Security Abuse Cases

    Srivratanakul, T., Clark, J. A. & Polack, F., 2004, Department of Computer Science, University of York. 52 p. (York Computer Science Technical Report; vol. YCS, no. YCS-2004-375)

    Research output: Book/ReportOther report

  112. 2003
  113. A taxonomy of attacks on secure devices

    Rae, A. & Wildman, L., 2003, Proceedings of the Australia Information Warfare and Security Conference 2003. p. 251-264

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  114. Gender and poverty in Britain

    Bradshaw, J., Finch, N., Kemp, P., Mayhew, E. & Williams, J., 2003, Manchester: Equal Opportunities Commission. (Working paper series)

    Research output: Book/ReportBook

  115. Improved AURA k-Nearest Neighbour approach

    Weeks, M., Hodge, V., O'Keefe, S., Austin, J. & Lees, K., 2003, ARTIFICIAL NEURAL NETS PROBLEM SOLVING METHODS, PT II. Mira, J. & Alvarez, JR. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 2687. p. 663-670 8 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  116. 2002
  117. Mapping employment focussed services for disabled people

    Arksey, H., Thornton, P. & Williams, J., 2002, London: Social Research Branch, Department for Work and Pensions. (Department for Work and Pensions In-house Report)

    Research output: Book/ReportCommissioned report

  118. Metaheuristic Search as a Cryptological Tool

    Clark, JA., 2002, University of York. 176 p.

    Research output: ThesisDoctoral Thesis

  119. 2001
  120. Integrating Information Retrieval & Neural Networks

    Hodge, V. J., 1 Dec 2001, YCST-2002-04 ed. Department of Computer Science, University of York.

    Research output: ThesisDoctoral Thesis

  121. An Evaluation of Phonetic Spell Checkers

    Hodge, V. J. & Austin, J., 1 Sep 2001, Department of Computer Science, University of York, UK

    Research output: Other contribution

  122. Learning in multi-agent systems

    Alonso, E., D'Inverno, M., Kudenko, D., Luck, M. & Noble, J., Jun 2001

    Article in The Knowledge Engineering Review

  123. A novel binary spell checker

    Hodge, V. J., Austin, J., Dorffner, G. (ed.), Bischof, H. (ed.) & Hornik, K. (ed.), 2001, Artificial neural networks : ICANN 2001 : International Conference, Vienna, Austria, August 21-25, 2001 : proceedings. Berlin, Germany: Springer-verlag, p. 1199-1204 5 p. (Lecture Notes in Computer Science; vol. 2130).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  124. 2000
  125. Hierarchical Graph Transformation

    Plump, D., Drewes, F. & Hoffmann, B., 2000, Proceedings Foundations of Software Science and Computation Structures (FOSSACS 2000). Springer, p. 98-113 16 p. (Lecture Notes in Computer Science; vol. 1784).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  126. 1999
  127. Chemical structure matching using correlation matrix memories

    Austin, J., Turner, A., Turner, M. & Lees, K., 1999, NINTH INTERNATIONAL CONFERENCE ON ARTIFICIAL NEURAL NETWORKS (ICANN99), VOLS 1 AND 2. EDISON: IEEE, Vol. 2. p. 619-624 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  128. 1998
  129. 1997
  130. A survey of authentication protocol literature: Version 1.0

    Clark, J. A. & Jacob, J. L., 1997, Citeseer.

    Research output: Book/ReportOther report

  131. Simplification Orders for Term Graph Rewriting

    Plump, D., 1997, Proceedings Mathematical Foundations of Computer Science (MFCS 1997). Springer, p. 458-467 (Lecture Notes in Computer Science; vol. 1295).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  132. Women's Current Pension Arrangements: Information from the General Household Survey

    Hutton, S., Williams, J. & Kennedy, S., 1997, Department of Social Security, London: Social Research Branch. (DSS In house report)

    Research output: Book/ReportCommissioned report

  133. 1996
  134. Segmenting modulated line textures with S-Gabor filters

    Hickinbotham, S. J., Hancock, E. R. & Austin, J., 1996, INTERNATIONAL CONFERENCE ON IMAGE PROCESSING, PROCEEDINGS - VOL III. NEW YORK: I E E E, COMPUTER SOC PRESS, Vol. 3. p. 149-152 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  135. Using correlation matrix memories for inferencing in expert systems

    Austin, J. & Filer, R., 1996, NEURAL NETWORKS AND THEIR APPLICATIONS. Taylor, JG. (ed.). CHICHESTER: John Wiley & Sons, p. 229-244 16 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  136. 1995
  137. C-NNAP - A parallel processing architecture for binary neural networks

    Kennedy, J. V., Austin, J., Pack, R. & Cass, B., 1995, Proceedings of the IEEE International Conference on Neural Networks (ICNN 95). (University of Western Australia, Perth, Australia, Nov 27-Dec 01, 1995). New York: IEEE, Vol. 2. p. 1037-1041 4 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  138. Image object labelling and classification using an associative memory

    O'Keefe, S. E. M. & Austin, J., 1995, Fifth International Conference on Image Processing and its Applications, 1995. London: IET, p. 286-290 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  139. 1994
  140. Critical Pairs in Term Graph Rewriting

    Plump, D., 1994, Proc. Mathematical Foundations of Computer Science (MFCS 1994). Springer, p. 556-566 (Lecture Notes in Computer Science; vol. 841).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution