Browse Publications

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 proceeding › Conference contribution

Adjusting parallel coordinates for investigating multi-objective search

Miqing Li, Ran Cheng & Xin Yao, 14 Oct 2017, Simulated Evolution and Learning : 11th International Conference, SEAL 2017, Proceedings. Li, X., Zhang, M., Zhang, Q., Middendorf, M., Tan, K. C., Tan, Y., Jin, Y., Shi, Y. & Tang, K. (eds.). Springer, p. 224-235 12 p. (Lecture Notes in Computer Science; vol. 10593 ).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

A characterization of testable hypergraph properties

Felix Joos, Jaehoon Kim, Daniela Kuhn & Deryk Osthus, 13 Nov 2017, Proceedings - 58th Annual IEEE Symposium on Foundations of Computer Science, FOCS 2017. IEEE Computer Society Press, Vol. 2017-October. p. 859-867 9 p. 8104116

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

A better understanding of machine learning malware misclassifcation

Tom Chothia & Behzad Bordbar, 1 Jan 2018, Information Systems Security and Privacy - 3rd International Conference, ICISSP 2017, Revised Selected Papers. Mori, P., Furnell, S. & Camp, O. (eds.). Springer Verlag, p. 35-58 24 p. (Communications in Computer and Information Science; vol. 867).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Beam steering mimo antenna for mobile phone of 5g cellular communications operating at mm-wave frequencies: Design

Peter Gardner, Alexandros Feresidis, 31 Jan 2018, Recent Advances in Information, Communications and Signal Processing. River Publishers, p. 35-64 30 p.

Research output: Chapter in Book/Report/Conference proceeding › Chapter

Algorithms and hardness results for nearest neighbor problems in bicolored point sets

Rajesh Chitnis, 13 Mar 2018, LATIN 2018 -Theoretical Informatics: 13th Latin American Symposium, Buenos Aires, Argentina, April 16-19, 2018, Proceedings. Mosteiro, M. A., Bender, M. A. & Farach-Colton, M. (eds.). Springer Verlag, p. 80-93 (Lecture Notes in Computer Science ; vol. 10807).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Quotient inductive-inductive types

Nicolai Kraus, 14 Apr 2018, Foundations of Software Science and Computation Structures : 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Proceedings. Baier, C. & Dal Lago, U. (eds.). Springer Verlag, p. 293-310 (Lecture Notes in Computer Science ; vol. 10803 ).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

A tight lower bound for steiner orientation

Rajesh Chitnis, 25 Apr 2018, Computer Science - Theory and Applications : 13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 6–10, 2018, Proceedings. Podolskii, V. V. & Fomin, F. V. (eds.). Springer Verlag, p. 65-77 13 p. (Lecture Notes in Computer Science ; vol. 10846 ).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Can we create large k-cores by adding few edges?

Rajesh Chitnis, 25 Apr 2018, Computer Science - Theory and Applications : 13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 6–10, 2018, Proceedings. Podolskii, V. V. & Fomin, F. V. (eds.). Springer Verlag, p. 78-89 11 p. (Lecture Notes in Computer Science ; vol. 10846).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Focussing, MALL and the Polynomial Hierarchy

Anupam Das, 30 Jun 2018, Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Proceedings. Sebastiani, R., Galmiche, D. & Schulz, S. (eds.). Springer, p. 689-705 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10900 LNAI).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Thinking with hands, acting with minds: embodied cognition and creative practice

Chris Baber, 8 Aug 2018, Proceedings of the 20th Congress of the International Ergonomics Association (IEA 2018) - Volume VII: Ergonomics in Design, Design for All, Activity Theories for Work Analysis and Design, Affective Design. Bagnara, S., Tartaglia, R., Albolino, S., Alexander, T. & Fujita, Y. (eds.). 1st ed. 2019 edition ed. Springer Verlag, Vol. 8. p. 225-234 10 p. (Advances in Intelligent Systems and Computing; vol. 824).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Deep Nested level sets: fully automated segmentation of cardiac MR images in patients with pulmonary hypertension

Jinming Duan, 13 Sep 2018, Medical Image Computing and Computer Assisted Intervention – MICCAI 2018: 21st International Conference, Granada, Spain, September 16-20, 2018, Proceedings, Part IV. Frangi, A. F., Fichtinger, G., Schnabel, J. A., Alberola-López, C. & Davatzikos, C. (eds.). Springer Verlag, p. 595-603 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11073 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Cardiac MR segmentation from undersampled k-space using deep latent representation learning

Jinming Duan, 26 Sep 2018, Medical Image Computing and Computer Assisted Intervention – MICCAI 2018: 21st International Conference, Granada, Spain, September 16-20, 2018, Proceedings, Part I. Schnabel, J. A., Davatzikos, C., Alberola-López, C., Fichtinger, G. & Frangi, A. F. (eds.). Springer Verlag, p. 259-267 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11070 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

What lies beneath: virtual and augmented reality techniques for maritime heritage

Bob Stone, 1 Oct 2018, Underwater worlds: submerged visions in science and culture. Abberley, W. (ed.). Cambridge Scholars Publishing, p. 208-238 30 p.

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

Combining deep learning and shape priors for bi-ventricular segmentation of volumetric cardiac magnetic resonance images

Jinming Duan, 23 Nov 2018, Shape in Medical Imaging : nternational Workshop, ShapeMI 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 20, 2018, Proceedings. Lombaert, H., Paniagua, B., Egger, B., Lüthi, M., Reuter, M. & Wachinger, C. (eds.). Springer Verlag, p. 258-267 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11167 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

The 2019 comparison of tools for the analysis of quantitative formal models (QComp 2019 competition report)

David Parker, 4 Apr 2019, Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2019. Beyer, D., Huisman, M., Kordon, F. & Steffen, B. (eds.). Springer, Vol. 3. p. 69-92 24 p. (Lecture Notes in Computer Science; vol. 11429).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Factoring Products of Braids via Garside Normal Form

Christophe Petit, 6 Apr 2019, Public-Key Cryptography – PKC 2019 - 22nd IACR International Conference on Practice and Theory of Public-Key Cryptography, Proceedings: 22nd IACR International Conference on Practice and Theory of Public-Key Cryptography, Beijing, China, April 14-17, 2019, Proceedings, Part II. Sako, K. & Lin, D. (eds.). Springer, p. 646-678 33 p. (Lecture Notes in Computer Science; vol. 11443 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

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

Tom Chothia, Chris Novakovic, Andreea 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 proceeding › Chapter

Development of a questionnaire to measure immersion in video media: the film IEQ

Sandy Gould, 4 Jun 2019, TVX '19 Proceedings of the 2019 ACM International Conference on Interactive Experiences for TV and Online Video. Association for Computing Machinery (ACM), p. 35-46

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Data efficient unsupervised domain adaptation for cross-modality image segmentation

Jinming Duan, 10 Oct 2019, Medical Image Computing and Computer Assisted Intervention – MICCAI 2019: 22nd International Conference, Shenzhen, China, October 13–17, 2019, Proceedings, Part II. Shen, D., Liu, T., Peters, T. M., Staib, L. H., Essert, C., Zhou, S., Yap, P-T. & Khan, A. (eds.). Springer, p. 669-677 9 p. (Lecture Notes in Computer Science ; vol. 11765).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Self-supervised learning for cardiac MR image segmentation by anatomical position prediction

Jinming Duan, 10 Oct 2019, Medical Image Computing and Computer Assisted Intervention – MICCAI 2019: 22nd International Conference, Shenzhen, China, October 13–17, 2019, Proceedings, Part II. Shen, D., Liu, T., Peters, T. M., Staib, L. H., Essert, C., Zhou, S., Yap, P-T. & Khan, A. (eds.). Springer, p. 541-549 9 p. (Lecture Notes in Computer Science ; vol. ecture Notes in Computer Science ).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

VS-Net: variable splitting network for accelerated parallel MRI reconstruction

Jinming Duan, 10 Oct 2019, Medical Image Computing and Computer Assisted Intervention – MICCAI 2019: 22nd International Conference, Shenzhen, China, October 13–17, 2019, Proceedings, Part IV. Shen, D., Liu, T., Peters, T. M., Staib, L. H., Essert, C., Zhou, S., Yap, P-T. & Khan, A. (eds.). Springer, p. 713-722 10 p. (Lecture Notes in Computer Science; vol. 11767).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

k-t NEXT: dynamic MR image reconstruction exploiting spatio-temporal correlations

Jinming Duan, 10 Oct 2019, Medical Image Computing and Computer Assisted Intervention – MICCAI 2019: 22nd International Conference, Shenzhen, China, October 13–17, 2019, Proceedings, Part II. Shen, D., Liu, T., Peters, T. M., Staib, L. H., Essert, C., Zhou, S., Yap, P-T. & Khan, A. (eds.). Springer, p. 505-513 9 p. (Lecture Notes in Computer Science; vol. 11765).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Verification and control of turn-based probabilistic real-time games

David Parker, 4 Nov 2019, The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy: Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday. Alvim, M., Chatzikokolakis, K., Olarte, C. & Valencia, F. (eds.). Springer, Vol. 11760. p. 379-396 16 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Combining character and word embeddings for affect in arabic informal social media microblogs

Mark Lee, 2020, Natural Language Processing and Information Systems - 25th International Conference on Applications of Natural Language to Information Systems, NLDB 2020, Proceedings. Métais, E., Meziane, F., Horacek, H. & Cimiano, P. (eds.). Springer Vieweg, p. 213-224 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12089 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Which places grow faster? An empirical analysis of employment growth factors at the local level for the Spanish economy

Diana Gutierrez Posada, 12 May 2020, Innovations in Urban and Regional Systems: Contributions from GIS&T, Spatial Analysis and Location Modeling. Thill, J-C. (ed.). Springer, Cham, p. 87-111 25 p.

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