Browse Publications

  1. Chapter (peer-reviewed) › Research › Peer-reviewed
  2. Publications content icon
    Published

    Preferred features of open learner models for university students

    Susan Bull, 22 Jun 2012, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Cerri, SA. (ed.). Springer, Vol. 7315 LNCS. p. 411-421 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7315 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

  3. Book › Research
  4. Publications content icon
    Published

    Intelligent computer mathematics: International conference, CICM 2015 Washington, DC, USA, july 13–17, 2015 proceedings

    Manfred Kerber (ed.), (ed.), (ed.), (ed.) & Volker Sorge (ed.), 2015, Springer. 359 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9150)

    Research output: Book/ReportBook

  5. Chapter › Research
  6. Publications content icon
    Published

    Automatically calculating quantitative integrity measures for imperative programs

    Tom Chothia, Chris Novakovic & , 2015, Data Privacy Management, Autonomous Spontaneous Security, and Security Assurance : 9th International Workshop, DPM 2014, 7th International Workshop, SETOP 2014, and 3rd International Workshop, QASA 2014, Wroclaw, Poland, September 10-11, 2014. Revised Selected Papers. Garcia-Alfaro, J., Herrera-Joancomartí, J. & Lupu, E. (eds.). Springer, Vol. 8872. p. 250-265 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8872).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  7. Publications content icon
    Published

    Choose Your Pwn Adventure: Adding Competition and Storytelling to an Introductory Cybersecurity Course

    Tom Chothia, Chris Novakovic, Andreea-Ina Radu & Richard J Thomas, 27 Apr 2019, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag, p. 141-172 32 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11345 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  8. Publications content icon
    Published

    Concentrated hitting times of randomized search heuristics with variable drift

    Per Kristian Lehre & , 2014, Algorithms and Computation - 25th International Symposium, ISAAC 2014, Proceedings. Ahn, H-K. & Shin, C-S. (eds.). Springer Verlag, p. 686-697 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8889).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  9. Publications content icon
    Published

    Hybrid Performance-Oriented Scheduling of Moldable Jobs with QoS Demands in Multiclusters and Grids

    Stephen Jarvis, , & , 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Jin, H., Sun, J., Pan, Y. & Xiao, N. (eds.). Springer Verlag, p. 217-224 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3251).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  10. Conference contribution › Research
  11. Publications content icon
    Published

    2015 neuchȃtel’s cast-as-intended verification mechanism

    David Galindo Chacon, & , 13 Aug 2015, E-Voting and Identity: 5th International Conference, VoteID 2015, Bern, Switzerland, September 2-4, 2015, Proceedings. Haenni, R., Koenig, R. E. & Wikström, D. (eds.). Springer, Vol. 9269. p. 3-18 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9269).

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

  12. Publications content icon
    Published

    3D articulated registration of the mouse hind limb for bone morphometric analysis in rheumatoid arthritis

    Amy Naylor, , Andrew Filer & Ela Claridge, 2014, Biomedical Image Registration: 6th International Workshop, WBIR 2014, London, UK, July 7-8, 2014. Proceedings. Ourselin, S. & Modat, M. (eds.). Springer, Vol. 8545. p. 41-50 (Lecture Notes in Computer Science ; vol. 8545).

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

  13. Publications content icon
    Published

    A Tight Algorithm for Strongly Connected Steiner Subgraph on Two Terminals with Demands (Extended Abstract)

    Rajesh Chitnis, , , , & , 3 Dec 2014, Parameterized and Exact Computation : 9th International Symposium, IPEC 2014, Wroclaw, Poland, September 10-12, 2014. Revised Selected Papers. Cygan, M. & Heggernes, P. (eds.). Springer Verlag, p. 159-171 (Lecture Notes in Computer Science ; vol. 8894).

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

  14. Publications content icon
    Published

    A constructive model of uniform continuity

    Martin Escardo, 2013, Typed Lambda Calculi and Applications - 11th International Conference, TLCA 2013, Proceedings. p. 236-349 114 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7941 LNCS).

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

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