Browse Publications

  1. Publications content icon
    Published

    A masked ring-LWE implementation

    Sujoy Sinha Roy, 1 Sep 2015, Cryptographic Hardware and Embedded Systems - CHES 2015: 17th International Workshop Saint-Malo, France, September 13–16, 2015 Proceedings. Güneysu, T. & Handschuh, H. (eds.). Springer Verlag, p. 683-702 (Lecture Notes in Computer Science ; vol. 9293).

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

  2. Publications content icon
    E-pub ahead of print

    A model of heritage content to support the design and analysis of video games for history education

    Bob Stone, 18 Sep 2018, In : Journal of Computers in Education. p. 1-26 28 p.

    Research output: Contribution to journalArticlepeer-review

  3. Publications content icon
    Published
  4. Publications content icon
    Published

    A new semantic model for domain-ontology learning

    John Barnden, 4 Mar 2015, Human Centred Computing: First International Conference, HCC 2014, Phnom Penh, Cambodia, November 27-29, 2014, Revised Selected Papers. Zu, Q., Hu, B., Gu, N. & Seng, S. (eds.). Springer, Vol. 8944. p. 140-155 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8944).

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

  5. Publications content icon
    Published

    A practical energy modeling method for industrial robots in manufacturing

    Duc Pham, 1 Jan 2017, Challenges and Opportunity with Big Data: 19th Monterey Workshop 2016, Beijing, China, October 8–11, 2016 Revised Selected Papers. Zhang, L., Ren, L. & Kordon, F. (eds.). Springer Verlag, p. 25-36 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10228 LNCS).

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

  6. Publications content icon
    Published

    A sequent calculus for a semi-associative law

    Noam Zeilberger, 5 Feb 2019, In : Logical Methods in Computer Science. 15, 1, p. 9:1-9:23 23 p., 9.

    Research output: Contribution to journalArticlepeer-review

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

  8. Publications content icon
    Published

    A systematic review of service level management in the cloud

    Rami Bahsoon, 1 Feb 2016, In : ACM Computing Surveys. 48, 3, 27 p., 43.

    Research output: Contribution to journalArticlepeer-review

  9. Publications content icon
    Published

    A tight algorithm for Strongly Connected Steiner Subgraph on two terminals with demands

    Rajesh Chitnis, 1 Apr 2017, In : Algorithmica. 77, 4, p. 1216-1239 24 p.

    Research output: Contribution to journalArticlepeer-review

  10. Publications content icon
    Published

    A tight lower bound for planar Steiner Orientation

    Rajesh Chitnis, 1 Aug 2019, In : Algorithmica. 81, 8, p. 3200-3216 17 p.

    Research output: Contribution to journalArticlepeer-review

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