Browse Publications

  1. 2012
  2. Publications content icon
    Published

    The geometry of synthesis how to make hardware out of software

    Dan Ghica, 1 Jan 2012, Mathematics of Program Construction - 11th International Conference, MPC 2012, Proceedings. Gibbons, J. & Nogueira, P. (eds.). Springer Verlag, p. 23-24 2 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7342 LNCS).

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

  3. 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

  4. Publications content icon
    Published

    Rainbow matchings of size δ(G) in properly edge-colored graphs

    Allan Lo, , & , 28 Jun 2012, In: Electronic Journal of Combinatorics. 19, 2

    Research output: Contribution to journalArticlepeer-review

  5. Publications content icon
    Published

    A system-level game semantics

    Dan Ghica & , 24 Sep 2012, In: Electronic Notes in Theoretical Computer Science. 286, p. 191-211 21 p.

    Research output: Contribution to journalArticlepeer-review

  6. Publications content icon
    Published

    Game semantics in the nominal model

    Dan Ghica, 24 Sep 2012, In: Electronic Notes in Theoretical Computer Science. 286, p. 173-189 17 p.

    Research output: Contribution to journalArticlepeer-review

  7. Publications content icon
    Published

    Community detection in social and biological networks using differential evolution

    Mirco Musolesi, , Daniel Tennant, Ralf Weber, John Heath & Shan He, 30 Oct 2012, Learning and Intelligent Optimization - 6th International Conference, LION 6, Revised Selected Papers. p. 71-85 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7219 LNCS).

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

  8. 2013
  9. 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

  10. Publications content icon
    Published

    An investigation of the performance portability of OpenCL

    Stephen Jarvis, 2013, In: Journal of Parallel and Distributed Computing. 73, 11, p. 1439-1450 12 p.

    Research output: Contribution to journalArticlepeer-review

  11. Publications content icon
    Published

    Generalizations of Hedberg's theorem

    Martin Escardo, & , 2013, Typed Lambda Calculi and Applications - 11th International Conference, TLCA 2013, Proceedings. p. 173-188 16 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

  12. Publications content icon
    Published

    Ontological extension of PROSA for manufacturing network formation

    Mozafar Saadat & , 2013, Industrial Applications of Holonic and Multi-Agent Systems - 6th International Conference, HoloMAS 2013, Proceedings. p. 140-151 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8062 LNAI).

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

Previous 12 3 4 5 6 7 8 9 ...25 Next