Browse Publications

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

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

  3. Publications content icon
    Published

    A Growing Story [President's Message]

    Xin Yao, 12 Oct 2015, In: IEEE Computational Intelligence Magazine. 10, 4, p. 3-3 1 p., 7296714.

    Research output: Contribution to journalArticlepeer-review

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

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

  6. Publications content icon
    Published

    A crown jewel defense strategy based particle swarm optimization

    Shan He & , 2012, 2012 IEEE Congress on Evolutionary Computation, CEC 2012. 6256145. (2012 IEEE Congress on Evolutionary Computation, CEC 2012).

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

  7. Publications content icon
    Published

    A cut-free cyclic proof system for kleene algebra

    Anupam Das & , 30 Aug 2017, Automated Reasoning with Analytic Tableaux and Related Methods : 26th International Conference, TABLEAUX 2017, Brasilia, Brazil, September 25-28 2017, Proceedings. Nalon, C. & Schmidt, R. A. (eds.). Springer, p. 261-277 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10501 LNAI).

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

  8. Publications content icon
    Published

    A graph theoretic approach for object shape representation in compositional hierarchies using a hybrid generative-descriptive model

    Mete Ozay, Ales Leonardis & Jeremy Wyatt, 2014, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). PART 3 ed. Springer, Vol. 8691 LNCS. p. 566-581 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8691 , no. 3).

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

  9. Publications content icon
    Published

    A logical approach for behavioural composition of scenario-based models

    Behzad Bordbar & , 2015, Formal Methods and Software Engineering 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings. Editor, M., Conchon, S. & Zaidi, F. (eds.). Springer, Vol. 9407. p. 252-269 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9407).

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

  10. Publications content icon
    Published

    A market-based approach for detecting malware in the cloud via introspection

    Tom Chothia & Rami Bahsoon, 2017, Service-Oriented Computing - 15th International Conference, ICSOC 2017, Proceedings. Maximilien, M., Vallecillo, A., Wang, J. & Oriol, M. (eds.). Springer Verlag, p. 722-730 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10601 LNCS).

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

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

  12. Publications content icon
    Published

    A memory binary particle swarm optimization

    Shan He & , 2012, 2012 IEEE Congress on Evolutionary Computation, CEC 2012. 6256150. (2012 IEEE Congress on Evolutionary Computation, CEC 2012).

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

  13. Publications content icon
    Published

    A multimodal optimization and surprise based consensus community detection algorithm

    Shan He, , & , 11 Jul 2015, GECCO 2015 - Companion Publication of the 2015 Genetic and Evolutionary Computation Conference. Silva, S. (ed.). Association for Computing Machinery , p. 1407-1408 2 p. (GECCO 2015 - Companion Publication of the 2015 Genetic and Evolutionary Computation Conference).

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

  14. Publications content icon
    Published

    A new memetic algorithm with fitness approximation for the defect-tolerant logic mapping in crossbar-based nanoarchitectures

    Xin Yao, 1 Dec 2014, In: IEEE Transactions on Evolutionary Computation. 18, 6, p. 846-859 14 p., 6655961.

    Research output: Contribution to journalArticlepeer-review

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

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

  17. Publications content icon
    Published

    A proof-theoretic analysis of the classical propositional matrix method

    Eike Ritter & , 1 Feb 2014, In: Journal of Logic and Computation. 24, 1, p. 283-301 19 p.

    Research output: Contribution to journalArticlepeer-review

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

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

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

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