Department of Computer Science

Publications

  1. 2019
  2. Published

    The Fluted Fragment Revisited

    Pratt-Hartmann, I., Swast, W. & Tendera, L., 16 Sep 2019, In : The Journal of Symbolic Logic. p. 1020-1048 29 p.

    Research output: Contribution to journalArticle

  3. Published

    Love, Money, Fame, Nudge

    Goble, C., 6 Sep 2019.

    Research output: Contribution to conferenceAbstract

  4. Published

    Person Re-identification with Joint Verification and Identification of Identity-Attribute Labels

    Zhang, S., He, Y., Wei, J., Mei, S., Wan, S. & Chen, K., 2 Sep 2019, In : IEEE Access.

    Research output: Contribution to journalArticle

  5. Published

    A CDCL-Style Calculus for Solving Non-linear Constraints

    Franz Brausse, Korovin, K., Margarita Korovina & Norbert Mueller, Sep 2019, Frontiers of Combining Systems, 12th International Symposium: FroCoS 2019, Proceedings. Herzig, A. & Popescu, A. (eds.). Springer Nature, Vol. 11715. p. 131-148 18 p. (LNCS; vol. 11715).

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

  6. Accepted/In press

    Finding Security Vulnerabilities in Unmanned Aerial Vehicles Using Software Verification

    Alhawi, O., Mustafa, M. A. & Cordeiro, L., 26 Aug 2019, (Accepted/In press) IEEE International Workshop on Secure Internet of Things (SIoT) .

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

  7. Published

    The Fluted Fragment with Transitivity

    Pratt-Hartmann, I. & Tendera, L., 20 Aug 2019, p. 18:1-18:15. 15 p.

    Research output: Contribution to conferencePaper

  8. E-pub ahead of print

    Mapping anatomical related entities to human body parts based on wikipedia in discharge summaries

    Wang, Y., Fan, X., Chen, L., Chang, E. I., Ananiadou, S., Tsujii, J. & Xu, Y., 17 Aug 2019, In : BMC Bioinformatics. 20, 1

    Research output: Contribution to journalArticle

  9. Accepted/In press

    Boost the Impact of Continuous Formal Verification in Industry

    Monteiro, F. R., Gadelha, M. Y. R. & Cordeiro, L., 15 Aug 2019, (Accepted/In press) 10th Workshop on Tools for Automatic Program Analysis .

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

  10. Accepted/In press

    Automated Formal Verification of Stand-alone Solar Photovoltaic Systems

    Trindade, A. B. & Cordeiro, L., 14 Aug 2019, (Accepted/In press) In : Solar Energy.

    Research output: Contribution to journalArticle

  11. Accepted/In press

    Evolution of communities of software: using tensor decompositions to compare software ecosystems

    Blanthorn, O., Caine, C. & Navarro Lopez, E., 13 Aug 2019, (Accepted/In press) In : Applied Network Science.

    Research output: Contribution to journalArticle

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