Computer Science

Organisational unit: School

Publications

  1. Accepted/In press

    Side-Channel Attacks on Fingerprint Matching Algorithms

    David Oswald & , 5 Sep 2016, (Accepted/In press) Proceedings of 6th International Workshop on Trustworthy Embedded Devices (TrustED 2016). 11 p.

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

  2. Published

    Editorial: Special Issue on Understanding Complexity in Multiobjective Optimization

    Joshua Knowles & , Apr 2017, In: Journal of Multi-Criteria Decision Analysis. 24, 1-2, p. 3-4 2 p.

    Research output: Contribution to journalEditorialpeer-review

  3. Published

    Understanding Complexity in Multiobjective Optimization

    Joshua Knowles & , 2015, In: Dagstuhl Reports. 5, 1, p. 96-163

    Research output: Contribution to journalArticlepeer-review

  4. Published

    A new set of algebraic benchmark problems for SAT solvers

    Volker Sorge, & , 1 Jan 2005, p. 459-466. 8 p.

    Research output: Contribution to conference (unpublished)Paper

  5. Published

    Why do you need this? Selective disclosure of data among citizen scientists

    Sandy Gould, 2 May 2019, CHI 2019 - Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery (ACM), 11 p. 392. (Conference on Human Factors in Computing Systems - Proceedings).

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

  6. Published

    Combining multi-robot motion planning and goal allocation using roadmaps

    Masoumeh Mansouri & , 30 May 2021, 2021 IEEE International Conference on Robotics and Automation (ICRA). IEEE, (IEEE International Conference on Robotics and Automation (ICRA)).

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

  7. Accepted/In press

    A network-flow reduction for the multi-robot goal allocation and motion planning problem

    Masoumeh Mansouri & , 15 May 2021, (Accepted/In press) 17th IEEE International Conference on Automation Science and Engineering (CASE 2021).

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

  8. Published

    Meta-Heuristic Combining Prior Online and Offline Information for the Quadratic Assignment Problem

    Xin Yao, 1 Mar 2014, In: IEEE Transactions on Cybernetics. 44, 3, p. 429-444

    Research output: Contribution to journalArticlepeer-review

  9. Published

    Probabilistic model checking of labelled markov processes via finite approximate bisimulations

    David Parker, 2014, Horizons of the Mind. A Tribute to Prakash Panangaden : Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday. van Breugel, F., Kashefi, E., Palamidessi, C. & Rutten, J. (eds.). Springer, Vol. 8464 LNCS. p. 40-58 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8464 LNCS).

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

  10. Published

    Modelling fracture processes in bones

    2014

    Research output: Book/ReportBook

Previous 1 2 3 4 5 6 7 8 ...457 Next