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

• 2699 Article
• 2676 Conference contribution
• 1256 Paper
• 195 Chapter
• 771 More
  • 112 Book
  • 84 Editorial
  • 71 Preprint
  • 70 Other
  • 70 Working paper
  • 51 Other chapter contribution
  • 40 Chapter (peer-reviewed)
  • 33 Other contribution
  • 26 Other report
  • 23 Poster
  • 23 Letter
  • 23 Doctoral Thesis
  • 22 Conference article
  • 19 Software
  • 18 Commissioned report
  • 15 Abstract
  • 14 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

  SLEEC-TK

  Getir Yaman, S., Ribeiro, P., Burholt, C., Jones, M., Cavalcanti, A. L. C. & Calinescu, R., 4 Apr 2024

  Research output: Non-textual form › Software
• 2018

  Implementation Code for DOMtegrity: Ensuring Web Page Integrity against Malicious Browser Extensions

  Toreini, E. (Developer), Mehrnezhad, M. (Other), Shahandashti, S. F. (Other) & Hao, F. (Other), 2018

  Research output: Non-textual form › Software
• 2017

  Code for SPEKE Verification

  Hao, F. (Other), Metere, R. (Developer), Shahandashti, S. F. (Other) & Dong, C. (Other), 2017

  Research output: Non-textual form › Software

• Smart Contract for Anonymous Voting over Ethereum

  McCorry, P. (Developer), Shahandashti, S. F. (Other) & Hao, F. (Other), 2017

  Research output: Non-textual form › Software
• 2016

  RoboTool

  Miyazawa, A. H., De Oliveira Salazar Ribeiro, P. F., Li, W., Cavalcanti, A. L. C. (Director) & Timmis, J. I. (Director), 20 May 2016

  Research output: Non-textual form › Software

• 2014

  CARMEN

  Austin, J. (Developer), 2014

  Research output: Non-textual form › Software

• 2013

  Epsilon

  Kolovos, D. (Developer), Garcia-Dominguez, A. (Developer), Rose, L. M. (Developer) & Bezemer, M., 2013

  Research output: Non-textual form › Software

• GOBNILP: Globally Optimal Bayesian Network learning using Integer Linear Programming

  Cussens, J. (Developer) & Bartlett, M. (Developer), 2013

  Research output: Non-textual form › Software

• The Epsilon Languages and Tools Framework

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

  Research output: Non-textual form › Software

  File
• 2012

  Monte Carlo Tree Search

  Cowling, P. I. (Developer), Powley, E. J. (Developer) & Whitehouse, D. (Developer), 2012

  Research output: Non-textual form › Software

• YORLL: York Reinforcement Learning Library

  Reinforcement Learning Research Group, 2012

  Research output: Non-textual form › Software

• You Share

  Austin, J. (Developer), 2012

  Research output: Non-textual form › Software
• 2011

  Demonstration software for IDS Sensor Placement

  Chen, H., Fuller, R. & Clark, J. A., 31 Mar 2011

  Research output: Non-textual form › Software

• jStar: Bringing separation logic to Java

  Distefano, D. (Developer), Parkinson, M. J. (Developer), Dodds, M. (Developer), Grigore, R. (Developer), Petersen, R. (Developer), Botincan, M. (Developer), Gabi, D. (Developer), Turk, T. (Developer), Naudziuniene, D. (Developer), van Staden, S. (Developer) & Wright, A. (Developer), 2011

  Research output: Non-textual form › Software

• wdsCarve

  Chivers, H. R. (Developer) & Hargreaves, C. (Developer), 2011

  Research output: Non-textual form › Software

• 2010

  Java Bread Board

  Crispin-Bailey, C. (Developer) & Freeman, M. (Developer), 2010

  Research output: Non-textual form › Software

• STDetect: Spectrogram Track Detection

  Lampert, T., 20 Dec 2010

  Research output: Non-textual form › Software
• 2004

  FaceEnforce: Facial Biometric System

  Austin, J. (Developer), 2004

  Research output: Non-textual form › Software
• 1995

  AURA: Advanced Uncertain Reasoning Architecture

  Austin, J. (Developer), 1995

  Research output: Non-textual form › Software