Skip to main

Submitted outputs' details

The submitted outputs' details allows you to browse and search for outputs submitted to the REF 2021. Use the search and filters below to find the outputs you are looking for.
Learn about submitted outputs
Download all details for all outputs (spreadsheet)
Download all details for all outputs (spreadsheet) (generating)

Search and filter

Clear search and filter

Filter by

  • The University of Leicester
   None selected
  • 11 - Computer Science and Informatics
   None selected
   None selected
   None selected
   None selected
Download output details for outputs in the current view (spreadsheet)
Download output details for outputs in the current view (spreadsheet) (generating)
Showing outputs 1 to 49 of 49

A Biologically Inspired Appearance Model for Robust Visual Tracking

Submitting institution
The University of Leicester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1109/TNNLS.2016.2586194
Open access status
Compliant
Title of journal
IEEE Transactions on Neural Networks and Learning Systems

A fuzzy approach to addressing uncertainty in Airport Ground Movement optimisati ...

Submitting institution
The University of Leicester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1016/j.trc.2018.04.020
Open access status
Compliant
Title of journal
Transportation Research Part C: Emerging Technologies

A hybrid Constraint Programming/Mixed Integer Programming framework for the preventive ...

Submitting institution
The University of Leicester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1016/j.ejor.2017.08.033
Open access status
Compliant
Title of journal
European Journal of Operational Research

A more realistic approach for airport ground movement optimisation with stand ho ...

Submitting institution
The University of Leicester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1007/s10951-013-0323-3
Open access status
Out of scope for open access requirements
Title of journal
Journal of Scheduling

A Social Sensing Model for Event Detection and User Influence Discovering in Social ...

Submitting institution
The University of Leicester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1109/TCSS.2019.2938954
Open access status
Compliant
Title of journal
IEEE Transactions on Computational Social Systems

An Adaptive Multilevel Indexing Method for Disaster Service Discovery

Submitting institution
The University of Leicester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1109/tc.2014.2378273
Open access status
Out of scope for open access requirements
Title of journal
IEEE Transactions on Computers

An Approach to Optimise Resource Provision with Energy-awareness in Datacentres by ...

Submitting institution
The University of Leicester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1109/tetc.2018.2794328
Open access status
Compliant
Title of journal
IEEE Transactions on Emerging Topics in Computing

Asymptotically Optimal Encodings of Range Data Structures for Selection and Top-k ...

Submitting institution
The University of Leicester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1145/3012939
Open access status
Compliant
Title of journal
ACM Transactions on Algorithms

Availability Analysis for Satellite Data Processing Systems Based on SRAM FPGAs

Submitting institution
The University of Leicester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1109/TAES.2016.140914
Open access status
Out of scope for open access requirements
Title of journal
IEEE Transactions on Aerospace and Electronic Systems

Code defenders: crowdsourcing effective tests and subtle mutants with a mutation ...

Submitting institution
The University of Leicester
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
DOI
10.1109/ICSE.2017.68
Open access status
Technical exception
Title of conference / published proceedings
Proceedings of the 39th International Conference on Software Engineering, ICSE 2017, Buenos Aires, Argentina, May 20-28, 2017

Context-Aware Mouse Behavior Recognition Using Hidden Markov Models

Submitting institution
The University of Leicester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1109/TIP.2018.2875335
Open access status
Compliant
Title of journal
IEEE Transactions on Image Processing

Derivation of young children's interaction strategies with digital educational games ...

Submitting institution
The University of Leicester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1016/j.ijhcs.2020.102558
Open access status
Compliant
Title of journal
International Journal of Human-Computer Studies

Digital Educational Games: Methodologies for Evaluating the Impact of Game Type

Submitting institution
The University of Leicester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1145/3177881
Open access status
Compliant
Title of journal
ACM Transactions on Computer - Human Interaction

Do Automatically Generated Unit Tests Find Real Faults? An Empirical Study of Effectiveness ...

Submitting institution
The University of Leicester
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.1109/ASE.2015.86
Title of conference / published proceedings
30th IEEE/ACM International Conference on Automated Software Engineering, ASE 2015, Lincoln, NE, USA, November 9-13, 2015

Dynamic Software Project Scheduling through a Proactive-rescheduling Method

Submitting institution
The University of Leicester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1109/TSE.2015.2512266
Open access status
Out of scope for open access requirements
Title of journal
IEEE Transactions on Software Engineering

Encoding Nearest Larger Values

Submitting institution
The University of Leicester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1016/j.tcs.2017.02.017
Open access status
Compliant
Title of journal
Theoretical Computer Science

Encoding Range Minima and Range Top-2 Queries

Submitting institution
The University of Leicester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1098/rsta.2013.0131
Open access status
Out of scope for open access requirements
Title of journal
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences

Engineering with Logic: Rigorous Test-Oracle Specification and Validation for TCP/IP ...

Submitting institution
The University of Leicester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1145/3243650
Open access status
Exception within 3 months of publication
Title of journal
Journal of the ACM

From Communicating Machines to Graphical Choreographies

Submitting institution
The University of Leicester
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.1145/2676726.2676964
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
POPL '15: Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

Incremental Execution of Rule-based Model Transformation: Using Dependency Injection ...

Submitting institution
The University of Leicester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1007/s10009-020-00583-y
Open access status
Compliant
Title of journal
International Journal on Software Tools for Technology Transfer

Inferring Extended Finite State Machine Models from Software Executions

Submitting institution
The University of Leicester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1007/s10664-015-9367-7
Open access status
Out of scope for open access requirements
Title of journal
Empirical Software Engineering: an international journal

Inferring visual contracts from Java programs

Submitting institution
The University of Leicester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1007/s10515-018-0242-9
Open access status
Compliant
Title of journal
Automated Software Engineering

Input–output conformance testing for software product lines

Submitting institution
The University of Leicester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1016/j.jlamp.2016.09.007
Open access status
Compliant
Title of journal
Journal of Logical and Algebraic Methods in Programming

K-branching UIO sequences for partially specified observable non-deterministic F ...

Submitting institution
The University of Leicester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1109/TSE.2019.2911076
Open access status
Compliant
Title of journal
IEEE Transactions on Software Engineering

Lem : Reusable engineering of real-world semantics

Submitting institution
The University of Leicester
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2014
DOI
10.1145/2628136.2628143
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
ICFP '14: Proceedings of the 19th ACM SIGPLAN international conference on Functional programming

Logical Characterisation of Hybrid Conformance

Submitting institution
The University of Leicester
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2020
DOI
10.4230/LIPIcs.ICALP.2020.130
Open access status
Compliant
Title of conference / published proceedings
The 47th International Colloquium on Automata, Languages and Programming (ICALP 2020)

Modeling Information Diffusion over Social Networks for Temporal Dynamic Predict ...

Submitting institution
The University of Leicester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1109/TKDE.2017.2702162
Open access status
Compliant
Title of journal
IEEE Transactions on Knowledge and Data Engineering

Multiobjective evolutionary algorithms for strategic deployment of resources in operational ...

Submitting institution
The University of Leicester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1016/j.ejor.2019.02.002
Open access status
Compliant
Title of journal
European Journal of Operational Research

New approaches to nurse rostering benchmark instances

Submitting institution
The University of Leicester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1016/j.ejor.2014.01.039
Open access status
Out of scope for open access requirements
Title of journal
European Journal of Operational Research

On Temporal Graph Exploration

Submitting institution
The University of Leicester
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.1007/978-3-662-47672-7_36
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
Proceedings of the 42nd International Colloquium on Automata, Languages, and Programming

Online Ensemble Learning of Data Streams with Gradually Evolved Classes

Submitting institution
The University of Leicester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1109/TKDE.2016.2526675
Open access status
Out of scope for open access requirements
Title of journal
IEEE Transactions on Knowledge and Data Engineering

Parallel Algorithms for Generating Distinguishing Sequences for Observable Non-deterministic ...

Submitting institution
The University of Leicester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1145/3051121
Open access status
Compliant
Title of journal
ACM Transactions on Software Engineering and Methodology

Pruning Rules for Optimal Runway Sequencing

Submitting institution
The University of Leicester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1287/trsc.2016.0733
Open access status
Compliant
Title of journal
Transportation Science

Quantitative Assume Guarantee Synthesis

Submitting institution
The University of Leicester
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
DOI
10.1007/978-3-319-63390-9_19
Open access status
Deposit exception
Title of conference / published proceedings
Computer Aided Verification - 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II

RES: Real-time Video Stream Analytics using Edge Enhanced Clouds

Submitting institution
The University of Leicester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1109/TCC.2020.2991748
Open access status
Compliant
Title of journal
IEEE Transactions on Cloud Computing

Reversing Place Transition Nets

Submitting institution
The University of Leicester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.23638/LMCS-16(4:5)2020
Open access status
Exception within 3 months of publication
Title of journal
Logical Methods in Computer Science

Short-Time Velocity Identification and Coherent-Like Detection of Ultra-High Speed ...

Submitting institution
The University of Leicester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1109/TSP.2018.2862407
Open access status
Compliant
Title of journal
IEEE Transactions on Signal Processing

SibylFS: Formal specification and oracle-based testing for POSIX and real-world file ...

Submitting institution
The University of Leicester
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.1145/2815400.2815411
Title of conference / published proceedings
SOSP '15: Proceedings of the 25th Symposium on Operating Systems Principles

Sound conformance testing for cyber-physical systems: Theory and implementation

Submitting institution
The University of Leicester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1016/j.scico.2017.07.002
Open access status
Compliant
Title of journal
Science of Computer Programming

Synthesising Executable Gene Regulatory Networks from Single-Cell Gene Expression ...

Submitting institution
The University of Leicester
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.1007/978-3-319-21690-4_38
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015

The Infinitary Lambda Calculus of the Infinite Eta Bohm Trees

Submitting institution
The University of Leicester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1017/S096012951500033X
Open access status
Out of scope for open access requirements
Title of journal
Mathematical Structures in Computer Science

The late acceptance Hill-Climbing heuristic

Submitting institution
The University of Leicester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1016/j.ejor.2016.07.012
Open access status
Technical exception
Title of journal
European Journal of Operational Research

The optimal absolute ratio for online bin packing

Submitting institution
The University of Leicester
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2014
DOI
10.1137/1.9781611973730.94
Title of conference / published proceedings
Proceedings of the Twenty-Sixth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2015, San Diego, CA, USA, January 4-6, 2015

Timing Semantics for Abstraction and Execution of Synthesized High-Level Robot C ...

Submitting institution
The University of Leicester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1109/TRO.2015.2414134
Open access status
Out of scope for open access requirements
Title of journal
IEEE Transactions on Robotics

Understanding the Relationship between Frustration and the Severity of Usability ...

Submitting institution
The University of Leicester
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.1145/2858036.2858511
Title of conference / published proceedings
ACM Proceedings of Conference on Human Factors in Computing Systems (CHI)

Updating Probabilistic Knowledge on Condition/Event Nets using Bayesian Networks

Submitting institution
The University of Leicester
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
DOI
10.4230/LIPIcs.CONCUR.2018.27
Open access status
Compliant
Title of conference / published proceedings
29th International Conference on Concurrency Theory (CONCUR 2018)

Verifying component and connector models against crosscutting structural views

Submitting institution
The University of Leicester
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2014
DOI
10.1145/2568225.2568237
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
36th International Conference on Software Engineering, ICSE ’14, Hyderabad, India - May 31 - June 07, 2014

Verifying Increasingly Expressive Temporal Logics for Infinite-State Systems

Submitting institution
The University of Leicester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1145/3060257
Open access status
Compliant
Title of journal
Journal of the ACM

Video Stream Analysis in Clouds: An Object Detection and Classification Framework ...

Submitting institution
The University of Leicester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1109/TCC.2016.2517653
Open access status
Out of scope for open access requirements
Title of journal
IEEE Transactions on Cloud Computing
Showing outputs 1 to 49 of 49

Filter by higher education institution

Select one or more of the following higher education institutions and then click Apply selected filters when you have finished.
No higher education institutions found.

Filter by unit of assessment

Select one or more of the following units of assessment and then click Apply selected filters when you have finished.
No unit of assessments found.

Filter by output type

Select one or more of the following output types and then click Apply selected filters when you have finished.

Filter by year

Select one or more of the following years and then click Apply selected filters when you have finished.

Filter by open access status

Select one or more of the following open access statuses and then click Apply selected filters when you have finished.