Department of Computer Science

Publications

  1. 2020
  2. Accepted/In press

    Multi-Scale Verification of Distributed Synchronisation

    Gainer, P., Linker, S., Dixon, C., Hustadt, U. & Fisher, M., 10 Jul 2020, (Accepted/In press) In : Formal Methods in System Design.

    Research output: Contribution to journalArticle

  3. Published

    Verifiable Self-Aware Agent-Based Autonomous Systems

    Dennis, L. A. & Fisher, M., Jul 2020, In : IEEE Sensors. Proceedings.

    Research output: Contribution to journalArticle

  4. Published

    Toward the Development of Data Governance Standards for Using Clinical Free-Text Data in Health Research: Position Paper

    Jones, K. H., Ford, E. M., Lea, N., Griffiths, L. J., Hassan, L., Heys, S., Squires, E. & Nenadic, G., 29 Jun 2020, In : JOURNAL OF MEDICAL INTERNET RESEARCH.

    Research output: Contribution to journalArticle

  5. Accepted/In press

    Language Evolution and Healthiness for Critical Cyber-Physical Systems

    Banach, R. & Zhu, H., 25 Jun 2020, (Accepted/In press) In : Journal of software: Evolution and Process.

    Research output: Contribution to journalArticle

  6. Accepted/In press

    An Efficient Floating-Point Bit-Blasting API for Verifying C Programs

    Gadelha, M. R., Cordeiro, L. & Nicole, D. A., 23 Jun 2020, (Accepted/In press) 13th Workshop on Numerical Software Verification .

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

  7. Accepted/In press

    Real-World Effectiveness, Its Predictors and Onset of Action of Cholinesterase Inhibitors and Memantine in Dementia: A Retrospective Health Record Study of 7400 Individuals using the UK CRIS Platform

    Vaci, N., Koychev, I., Kim, C-H., Kormilitzin, A., Liu, Q., Lucas, C., Dehghan, A., Nenadic, G. & Nevado-Holgado, A., 20 Jun 2020, (Accepted/In press) In : British Journal of Psychiatry.

    Research output: Contribution to journalArticle

  8. Accepted/In press

    PyDSLRep: A Domain-Specific Language for Robotic Simulation in V-Rep

    Jiménez, A. C., Anzola, J. P., García-Díaz, V., González-Crespo, R. & Zhao, L., 18 Jun 2020, (Accepted/In press) In : P L o S One.

    Research output: Contribution to journalArticle

  9. E-pub ahead of print

    Augmented Reality and Television: Dimensions and Themes

    Saeghe, P., Abercrombie, G., Weir, B., Clinch, S., Pettifer, S. & Stevens, R., 17 Jun 2020, ACM International Conference on Interactive Media Experiences.

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

  10. E-pub ahead of print

    Conceptualizing Augmented Reality Television for the Living Room

    Vatavu, R-D., Saeghe, P., Chambel, T., Vinayagamoorthy, V. & Ursu, M. F., 17 Jun 2020, ACM International Conference on Interactive Media Experiences.

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

  11. Published

    DeepEventMine: End-to-end Neural Nested Event Extraction from Biomedical Texts

    Ananiadou, S., 17 Jun 2020, In : Bioinformatics (Oxford, England). 9 p.

    Research output: Contribution to journalArticle

Previous 1 2 3 4 5 6 7 8 ...696 Next
Return to faculty and school overview