Computer Science

Research output

Research output per year 1971 2002 2003 2004 2005 2006 2007 2008 2009 2010 2011 2012 2013 2014 2015 2016 2017 2018 2019 2020 2021 2022 2023 2025

• 2708 Article
• 2683 Conference contribution
• 1256 Paper
• 195 Chapter
• 776 More
  • 112 Book
  • 84 Editorial
  • 71 Preprint
  • 71 Working paper
  • 70 Other
  • 51 Other chapter contribution
  • 40 Chapter (peer-reviewed)
  • 33 Other contribution
  • 27 Other report
  • 24 Poster
  • 23 Conference article
  • 23 Letter
  • 23 Doctoral Thesis
  • 19 Software
  • 18 Commissioned report
  • 15 Abstract
  • 15 Comment/debate
  • 12 Review article
  • 10 Literature review
  • 8 Special issue
  • 7 Book/Film/Article review
  • 6 Anthology
  • 5 Entry for encyclopedia/dictionary
  • 2 Artefact
  • 2 Discussion paper
  • 1 Scholarly edition
  • 1 Foreword/postscript
  • 1 Meeting abstract
  • 1 Featured article
  • 1 Master's Thesis

Research output per year

Research output per year

Search results

• 2024

  International Scientific Report on the Safety of Advanced AI: (Interim Report)

  Bengio, Y. & McDermid, J. A., 11 May 2024, 131 p.

  Research output: Book/Report › Other report

  Open Access
• 2023

  Closing the gaps: Complexity and uncertainty in the safety assurance and regulation of automated driving

  Burton, S. & McDermid, J. A., 11 Jan 2023, 24 p.

  Research output: Book/Report › Other report

• Exemplar Papers for Reality-Based Safety Engineering

  Alexander, R., 6 Jul 2023, The Department of Computer Science, University of York. 23 p.

  Research output: Book/Report › Other report

  Open Access

  File

• Formalising the Double-Pushout Approach to Graph Transformation

  Soeldner, R. & Plump, D., 2023, ArXiv e-prints. 36 p.

  Research output: Book/Report › Other report

  Open Access
• 2019

  Certification of Highly Automated Vehicles for Use on UK Roads: Creating An Industry-Wide Framework for Safety

  Koopman, P., Hierons, R., Khastgir, S., Clark, J., Fisher, M., Alexander, R., Eder, K., Thomas, P., Barrett, G., Torr, P., Blake, A., Ramamoorthy, S. & McDermid, J. A., Oct 2019, Five AI Ltd.

  Research output: Book/Report › Other report

  Open Access

  File
• 2015

  Situation coverage – a coverage criterion for testing autonomous robots

  Alexander, R., Hawkins, H. R. & Rae, A. J., Feb 2015, Department of Computer Science, University of York. 21 p.

  Research output: Book/Report › Other report

  Open Access

  File
• 2005

  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/Report › Other report

  File
• 2004

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

  Hao, C., Clark, J. & 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/Report › Other report

  Open Access

  File

• 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/Report › Other report

  Open Access

  File

• A Z Patterns Catalogue II: definitions and laws, v0.1

  Valentine, S. H., Stepney, S. & Toyn, I., 1 Oct 2004, Department of Computer Science, University of York. (Department of Computer Science Technical Report; vol. YCS-2004-383)

  Research output: Book/Report › Other report

• 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/Report › Other report

  Open Access

  File

• Security Zonal Analysis

  Srivratanakul, T., Clark, J. A. & Polack, F., 2004, Department of Computer Science, University of York. 43 p. (York Computer Science Technical Report)

  Research output: Book/Report › Other report

• 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/Report › Other report

  Open Access

  File
• 2003

  A Z Patterns Catalogue I: specification and refactorings, v0.1

  Stepney, S., Polack, F. & Toyn, I., 1 Jan 2003, Department of Computer Science, University of York. (Department of Computer Science Technical Report series; vol. YCS-2003-349)

  Research output: Book/Report › Other report

• CSP/FDR2 to Handel-C translation

  Stepney, S., 1 Jun 2003, The Department of Computer Science, University of York. (Department of Computer Science Technical Report; vol. YCS-2003-357)

  Research output: Book/Report › Other report

• The DeCCo Project Papers I: Z Specification of Pasp

  Stepney, S. & Nabney, I. T., 1 Jun 2003, Department of Computer Science, University of York. (Computer Science Technical Report series; vol. YCS-2002-358)

  Research output: Book/Report › Other report

• The DeCCo Project Papers II: Z Specification of Asp

  Stepney, S. & Nabney, I. T., 1 Jun 2003, Department of Computer Science, University of York. (Computer Science Technical Report; vol. YCS-2002-359)

  Research output: Book/Report › Other report

• The DeCCo Project Papers III: Z Specification of Compiler Templates

  Stepney, S. & Nabney, I. T., 1 Jun 2003, Department of Computer Science, University of York. (Computer Science Technical Report Series; vol. YCS-2002-361)

  Research output: Book/Report › Other report

• The DeCCo Project Papers IV: Z Specification of Linker and Hexer

  Stepney, S., 1 Jun 2003, Department of Computer Science, University of York. (Computer Science Technical Report Series; vol. YCS-2002-361)

  Research output: Book/Report › Other report

• The DeCCo Project Papers V: Compiler Correctness Proofs

  Stepney, S., 1 Jun 2003, Department of Computer Science, University of York. (Computer Science Technical Report series; vol. YCS-2003-362)

  Research output: Book/Report › Other report

• The DeCCo Project Papers VI: Z to Prolog DCTG translation guidelines

  Stepney, S., 1 Jun 2003, Department of Computer Science, University of York. (Computer Science Technical Report; vol. YCS-2003-363)

  Research output: Book/Report › Other report
• 1997

  A survey of authentication protocol literature: Version 1.0

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

  Research output: Book/Report › Other report

  File
• 1995

  \Isetl-sc \Linda: Parallel Programming with Bags

  Douglas, A., Wood, A. & Rowstron, A., 1995, Department of Computer Science, University of York. (Computer Science Technical Report Series; vol. YCS-1995-257)

  Research output: Book/Report › Other report

• 1994

  Analysis of Dependable Computing Systems

  Nicholson, M. & McDermid, J. A., 1994, Department of Computer Science, University of York. (Computer Science Technical Report Series; vol. YCS-1994-245)

  Research output: Book/Report › Other report

• 1992

  An Evaluation of the Ten15 Persistent Store

  Blanchard, T. D. & McDermid, J. A., 1992, Department of Computer Science, University of York. (York Computer Science Technical Report Series ("Yellow Reports"); no. YCS-1992-187)

  Research output: Book/Report › Other report

• Incremental Type Checking in Z

  Vasconcelos, A. M. L. D. & McDermid, J. A., 1 Dec 1992, Department of Computer Science, University of York. (Computer Science Technical Report Series; vol. YCS-1992-185)

  Research output: Book/Report › Other report

• The Probe Project

  Blanchard, T. D. & McDermid, J. A., 1992, The Department of Computer Science, University of York. (York Computer Science Technical Report Series ("Yellow Reports"); no. YCS-1992-167)

  Research output: Book/Report › Other report