NFC-based Mobile Interactions with Direct-View Displays

Seewoonauth, K., Rukzio, E., Hardy, R. & Holleis, P., 2009, Human-Computer Interaction – INTERACT 2009 : 12th IFIP TC 13 International Conference, Uppsala, Sweden, August 24-28, 2009, Proceedings, Part I. Gross, T., Gulliksen, J., Kotzé, P., Oestreicher, L., Palanque, P., Oliveira Prates , R. & Winckler, M. (eds.). Berlin: Springer, p. 835-838 4 p. (Lecture Notes in Computer Science; vol. 5726).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Designing Integrated Development Environments to Support Students with ADHD

Halpin, L., 23/02/2025, ECTELDC 2024 Doctoral Consortium of ECTEL 2024: Proceedings of the Doctoral Consortium of the 19th European Conference on Technology Enhanced Learning (ECTELDC 2024) co-located with the 19th European Conference on Technology Enhanced Learning (ECTEL 2024). CEUR Workshop Proceedings, p. 50-54 5 p. (CEUR Workshop Proceedings).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

A tool suite for multi-paradigm specification

Blair, L., Jones, T. & Blair, G., 1/01/1999, Fundamental Approaches to Software Engineering - 2nd Intrnational Conference, FASE 1999 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 1999, Proceedings. Finance, J.-P. (ed.). Springer-Verlag, p. 234-238 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1577).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

A self-organising approach for smart meter communication systems

Tauber, M. G., Skopik, F., Bleier, T. & Hutchison, D., 1/01/2014, IWSOS 2013: Self-Organizing Systems. Springer-Verlag, p. 169-175 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8221 LNCS).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Dynamic link measurements using active components

Pezaros, D. P., Sifalakis, M., Schmid, S. & Hutchison, D., 1/12/2007, Active Networks : IFIP International Working Conference. Springer, p. 188-204 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3912 LNCS).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Towards autonomic networks

Schmid, S., Sifalakis, M. & Hutchison, D., 20/06/2005, IFIP TC6 International Conference on Autonomic Networking: AN 2006: Autonomic Networking. Gaïti, D., Al-Shaer, E., Calvert, K., Pujolle, G., Leduc, G., Martikainen, O. & Dobson, S. (eds.). Springer-Verlag, p. 1-11 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4195 LNCS).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

A multimedia enhanced transport service in a quality of service architecture

Campbell, A., Coulson, G. & Hutchison, D., 1/01/1994, NOSSDAV 1993: Network and Operating System Support for Digital Audio and Video. Shepherd, D., Blair, G., Coulson, G., Davies, N. & Garcia, F. (eds.). Springer, p. 124-137 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 846 LNCS).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

A conceptual framework to support content-based multimedia applications

Hartley, E., Parkes, A. P. & Hutchison, D., 1/01/1999, Multimedia Applications, Services and Techniques - ECMAST 1999 . Garcia, N. & Leopold, H. (eds.). Springer, p. 297-315 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1629).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Specification and analysis of automata-based designs

Bryans, J., Blair, L., Bowman, H. & Derrick, J., 1/12/2000, Integrated Formal Methods - Second International Conference, IFM 2000, Proceedings. Springer, p. 176-193 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1945 LNCS).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

A use-based approach for enhancing UCON

Grompanopoulos, C., Gouglidis, A. & Mavridis, I., 1/12/2013, Security and Trust Management. Jøsang, A., Samarati, P. & Petrocchi, M. (eds.). Berlin: Springer Verlag, p. 81-96 16 p. (Lecture Notes in Computer Science ; vol. 7783 ).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Language independent evaluation of translation style and consistency: comparing human and machine translations of Camus’ novel “The Stranger”

El-Haj, M., Rayson, P. & Hall, D., 2014, Text, speech and dialogue: 17th International Conference, TSD 2014, Brno, Czech Republic, September 8-12, 2014. Proceedings. Sojka, P., Horák, A., Kopecek, I. & Pala, K. (eds.). Springer International Publishing, p. 116-124 9 p. (Lecture Notes in Computer Science; vol. 8655).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Advanced instructional design for complex safety critical and emergency training.

Dobson, M. & Spector, M., 2000, Proceedings of Intelligent tutoring systems : 5th International Conference, ITS 2000, Montreal , Canada, June 19-23, 2000. Gauthier, G., Frasson, C. & VanLehn, K. (eds.). 1839 ed. Montreal: Springer, p. 668-668 1 p. (Lecture notes in computer science).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

On the reliability of network measurement techniques used for malware traffic analysis (transcript of discussion)

Nagaraja, S., 2014, Security Protocols XXII: 22nd International Workshop, Cambridge, UK, March 19-21, 2014, Revised Selected Papers. Christianson, B., Malcolm, J., Matyáš, V., Švenda, P., Stajano, F. & Anderson, J. (eds.). Springer, p. 334-339 6 p. (Lecture Notes in Computer Science; vol. 8809).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Example-based learning for single image super-resolution

Kim, K. I. & Kwon, Y., 2008, Pattern Recognition: 30th DAGM Symposium, Munich, Germany, June 10-13, 2008, Proceedings. Rigoll, G. (ed.). Munich, Germany: Springer, p. 456-465 10 p. (Lecture Notes in Computer Science; vol. 5096).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Fast blur detection and parametric deconvolution of retinal fundus images

Williams, B. M., Al-Bander, B., Pratt, H., Lawman, S., Zhao, Y., Zheng, Y. & Shen, Y., 1/10/2017, Fetal, Infant and Ophthalmic Medical Image Analysis - International Workshop, FIFI 2017 and 4th International Workshop, OMIA 2017 Held in Conjunction with MICCAI 2017, Proceedings. Cardoso, M. J. & Arbel, T. (eds.). Cham: Springer-Verlag, p. 194-201 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10554 ).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Aimbot detection in online FPS games using a heuristic method based on distribution comparison matrix

Yu, S. Y., Hammerla, N., Yan, J. & Andras, P., 2012, Neural Information Processing: 19th International Conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012, Proceedings, Part V. Huang, T., Zeng, Z., Li, C. & Leung, C. S. (eds.). Berlin: Springer Verlag, p. 654-661 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7667 ).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

MDPs as Distribution Transformers: Affine Invariant Synthesis for Safety Objectives.

Akshay, S., Chatterjee, K., Meggendorfer, T. & Žikelić, Đ., 17/07/2023, Computer Aided Verification - 35th International Conference, CAV 2023, Proceedings. Enea, C. & Lal, A. (eds.). p. 86-112 27 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13966 LNCS).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Consuming anthropology

Suchman, L., 2012, Interdisciplinarity: reconfigurations of the social and natural sciences. Barry, A. & Born, G. (eds.). Abingdon: Routledge, (Culture, economy and the social).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

Exploring the Use of Discrete Gestures for Authentication

Chong, M. K. & Marsden, G., 08/2009, Human-Computer Interaction – INTERACT 2009: 12th IFIP TC 13 International Conference, Uppsala, Sweden, August 24-28, 2009, Proceedings, Part II. Gross, T., Gulliksen, J., Kotzé, P., Oestreicher, L., Palanque , P., Oliveira Prates, R. & Winckler, M. (eds.). Berlin: Springer, p. 205-213 9 p. (Lecture Notes in Computer Science; vol. 5727).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Solving Large Maximum Clique Problems on a Quantum Annealer

Pelofske, E., Hahn, G. & Djidjev, H., 1/01/2019, Quantum Technology and Optimization Problems - 1st International Workshop, QTOP 2019, Proceedings. Feld, S. & Linnhoff-Popien, C. (eds.). Springer-Verlag, p. 123-135 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11413 LNCS).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Modulation Based Non-Orthogonal Multiple Access for 5G Resilient Networks

Khan, R., Jayakody, D. N. K., Pervaiz, H. & Tafazolli, R., 19/02/2019, 2018 IEEE Globecom Workshops, GC Wkshps 2018 - Proceedings. Institute of Electrical and Electronics Engineers Inc., 8644085. (2018 IEEE Globecom Workshops, GC Wkshps 2018 - Proceedings).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

How Good Are My Tests?

Bowes, D., Hall, T., Petrić, J., Shippey, T. & Turhan, B., 3/07/2017, 2017 IEEE/ACM 8th Workshop on Emerging Trends in Software Metrics (WETSoM). IEEE Computer Society, p. 9-14 6 p. 7968009. (2017 IEEE/ACM 8th Workshop on Emerging Trends in Software Metrics (WETSoM)).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Dynamic QoS management for scalable video flows

Campbell, A., Hutchison, D. & Aurrecoechea, C., 1/01/1995, NOSSDAV 1995: Network and Operating Systems Support for Digital Audio and Video. Little, T. D. C. & Gusella, R. (eds.). Springer, p. 101-112 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1018).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

A formal description technique supporting expression of quality of service and media synchronization

Bowman, H., Blair, L., Blair, G. S. & Chetwynd, A. G., 1/01/1994, Multimedia Transport and Teleservices - International COST 237 Workshop, Proceedings. Springer-Verlag, p. 145-167 23 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 882 LNCS).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Periscope: Unifying looking glass querying

Giotsas, V., Dhamdhere, A. & Claffy, K. C., 2016, PAM 2016: Passive and Active Measurement : 17th International Conference, PAM 2016, Heraklion, Greece, March 31 - April 1, 2016. Proceedings. Karagiannis, T. & Dimitropoulos, X. (eds.). Cham: Springer, p. 177-189 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9631).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

A Framework for Policy Driven Auto-Adaptive Systems using Dynamic Framed Aspects.

Blair, L. & Greenwood, P., 1/11/2006, Transactions on Aspect-Oriented Software Development II. Berlin : Springer, p. 30-65 36 p. (Lecture Notes in Computer Science; vol. 4242).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

An identity crisis in the life sciences

Zhao, J., Goble, C. & Stevens, R., 2006, Provenance and Annotation of Data: International Provenance and Annotation Workshop, IPAW 2006, Chicago, IL, USA, May 3-5, 2006, Revised Selected Papers. Moreau, L. & Foster, I. (eds.). Berlin: Springer, p. 254-269 16 p. (Lecture Notes in Computer Science; vol. 4145).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Ensemble move acceptance in selection hyper-heuristics

Kheiri, A., Mısır, M. & Özcan, E., 24/09/2016, Computer and Information Sciences - 31st International Symposium, ISCIS 2016, Proceedings. Lent, R., Gelenbe, E., Czachórski, T. & Grochla, K. (eds.). Springer Verlag, p. 21-29 9 p. (Communications in Computer and Information Science; vol. 659).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Failures of security APIs: a new case

Algwil, A. & Yan, J., 23/02/2016, Financial Cryptography and Data Security: 2016 Proceedings. New York: Springer, 17 p. (Lecture Notes in Computer Science).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Secrecy outage analysis for massive MIMO-Enabled multi-tier 5G hybrid hetnets

Umer, A., Hassan, S. A., Pervaiz, H., Ni, Q., Musavian, L. & Ahmed, S. H., 3/07/2018, 2018 IEEE International Conference on Communications Workshops, ICC Workshops 2018 - Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 1-6 6 p. (2018 IEEE International Conference on Communications Workshops, ICC Workshops 2018 - Proceedings).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Learning Style Transformation Using Intelligent IoT, 5G and beyond

Benachour, P. & Thayananthan, V., 1/05/2019, Advanced Security Issues of IoT Based 5G Plus Wireless Communication for Industry 4.0. Thayananthan, V. (ed.). Nova Science Publishers

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

Beyond indicators: A scoping review of the academic literature related to sdg4 and educational technology

Jordan, K., 7/09/2020, Addressing Global Challenges and Quality Education - 15th European Conference on Technology Enhanced Learning, EC-TEL 2020, Proceedings. Alario-Hoyos, C., Rodríguez-Triana, M. J., Scheffel, M., Arnedillo-Sánchez, I. & Dennerlein, S. M. (eds.). Springer Science and Business Media Deutschland GmbH, p. 353-357 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12315 LNCS).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review