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

A CORBA assisted multimedia proxy server.

Fallows, J. R. & Marshall, I. W., 1998, Multimedia applications, services and techniques - ECMAST'98 : third European conference, Berlin, Germany, May 1998 : proceedings. Hutchison, D. & Schafer, R. (eds.). 1425 ed. Berlin: Springer, p. 149-162 14 p. (Lecture notes in computer science).

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

Spatio-temporal LSTM with trust gates for 3D human action recognition

Liu, J., Shahroudy, A., Xu, D. & Wang, G., 17/09/2016, Computer Vision – ECCV 2016. Springer, Cham, p. 816-833 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

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

Adaptive Computationally Efficient Network for Monocular 3D Hand Pose Estimation

Fan, Z., Liu, J. & Wang, Y., 29/10/2020, Computer Vision – ECCV 2020 (ECCV 2020). Springer, Cham, p. 127-144 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

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

Creating cool stuff - Pupils' experience of the BBC micro:bit

Sentance, S., Waite, J., Hodges, S., Macleod, E. & Yeomans, L., 8/03/2017, SIGCSE '17: Proceedings of the 2017 ACM SIGCSE Technical Symposium on Computer Science Education. ACM, p. 531-536 6 p. javascript:void(0);

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

HYSST: Hyper-heuristic search strategies and timetabling

Kheiri, A., Özcan, E. & Parkes, A. J., 29/08/2012, PATAT 2012 - Proceedings of the 9th International Conference on the Practice and Theory of Automated Timetabling. Kjenstad, D., Riise, A., Nordlander, T. E., McCollum, B. & Burke, E. (eds.). SINTEF, p. 497-499 3 p.

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

Botyacc: unified P2P botnet detection using behavioural analysis and graph analysis

Nagaraja, S., 2014, Computer Security - ESORICS 2014: 19th European Symposium on Research in Computer Security, Wroclaw, Poland, September 7-11, 2014. Proceedings, Part II. Kutyłowski, M. & Vaidya, J. (eds.). Springer, p. 439-456 18 p. (Lecture Notes in Computer Science; vol. 8713).

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

Exploring clustering for multi-document Arabic summarisation

El-Haj, M., Kruschwitz, U. & Fox, C., 2011, Information Retrieval Technology: 7th Asia Information Retrieval Societies Conference, AIRS 2011, Dubai, United Arab Emirates, December 18-20, 2011. Proceedings. Salem, M. V. M., Shaalan, K., Oroumchian, F., Shakery, A. & Khelalfa, H. (eds.). Berlin: Springer, p. 550-561 12 p. (Lecture Notes in Computer Science; vol. 7097).

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

Possibilities for cultural customization of mobile communication devices: the case of Iranian mobile users

Aryana, B., Boks, C. & Navabi, A., 2011, Human Centered Design: HCD 2011. Kurosu, M. (ed.). Berlin: Springer, p. 177-186 10 p. (Lecture Notes in Computer Science; vol. 6776).

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

A Bayesian Nonparametric Approach to Differentially Private Data

Battiston, M., Ayed, F. & Di Benedetto, G., 16/09/2020, Privacy in Statistical Databases: UNESCO Chair in Data Privacy, International Conference, PSD 2020, Proceedings. Domingo-Ferrer, J. & Muralidhar, K. (eds.). Springer, p. 32-48 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12276 LNCS).

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

Fast variational inference in the conjugate exponential family

Hensman, J., Rattray, M. & Lawrence, N. D., 2012, Advances in Neural Information Processing Systems. Vol. 4. p. 2888-2896 9 p.

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

Why here and now

Rizzo, A., Rubegni, E. & Caporali, M., 2009, Universal Access in Human-Computer Interaction. Intelligent and Ubiquitous Interaction Environments: UAHCI 2009. Stephanidis, C. (ed.). Berlin: Springer-Verlag, p. 729-737 9 p. (Lecture Notes in Computer Science; vol. 5615).

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

Reversing the polarity with emoticons

Teh, P. L., Rayson, P. E., Pak, I., Piao, S. S. & Yeng , S. M., 17/06/2016, Natural Language Processing and Information Systems: 21st International Conference on Applications of Natural Language to Information Systems, NLDB 2016, Salford, UK, June 22-24, 2016, Proceedings. Metais, E., Meziane, F., Saraee, M., Sugumaran, V. & Vadera, S. (eds.). Springer, p. 453-458 6 p. (Lecture Notes in Computer Science; vol. 9612).

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

Pricing and QoS

Stiller, B., Barlet-Ros, P., Cushnie, J., Domingo-Pascual, J., Hutchison, D., Lopes, R., Mauthe, A., Popa, M., Roberts, J., Solé-Pareta, J., Trcek, D. & Veciana, C., 1/01/2003, Quality of Future Internet Services. Springer, Vol. 2856. p. 263-291 29 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter (peer-reviewed) › peer-review

The role of software architecture in constraining adaptation in component-based middleware platforms

Blair, G. S., Blair, L., Issarny, V., Tuma, P. & Zarras, A., 1/01/2000, Middleware 2000 - IFIP/ACM International Conference on Distributed Systems Platforms and Open Distributed Processing, Proceedings. Sventek, J. & Coulson, G. (eds.). Springer-Verlag, p. 164-184 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1795).

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

Towards new security primitives based on hard ai problems (Transcript of discussion)

Yan, J., 2013, Security Protocols XXI: 21st International Workshop, Cambridge, UK, March 19-20, 2013, Revised Selected Papers. Christianson, B., Malcolm, J., Stajano, F., Anderson, J. & Bonneau, J. (eds.). Berlin: Springer Verlag, p. 11-18 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8263 ).

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

IPv6 AS relationships, cliques, and congruence

Giotsas, V., Luckie, M., Huffaker, B. & Claffy, K., 2015, Passive and Active Measurement: 16th International Conference, PAM 2015, New York, NY, USA, March 19-20, 2015, Proceedings. Mirkovic, J. & Liu, Y. (eds.). Berlin: Springer, p. 111-122 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8995).

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

Guessing Winning Policies in LTL Synthesis by Semantic Learning.

Kretínský, J., Meggendorfer, T., Prokop, M. & Rieder, S., 17/07/2023, Computer Aided Verification - 35th International Conference, CAV 2023, Proceedings. Enea, C. & Lal, A. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 390-414 25 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13964 LNCS).

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

Monetize This? Marketized-Commons Platforms, New Opportunities and Challenges for Collective Action

Wilkins, D., Nuseibeh, B. & Levine, M., 27/06/2019, Human-Computer Interaction. Design Practice in Contemporary Societies - Thematic Area, HCI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Proceedings: Thematic Area, HCI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part III. Kurosu, M. (ed.). Cham: Springer, p. 130-147 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11568).

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

People versus information: The evolution of mobile technology

Harper, R., 2003, Human-Computer Interaction with Mobile Devices and Services. Mobile HCI 2003. Chittaro, L. (ed.). Heidelberg: Springer, p. 1-14 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2795).

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

Performance of selection hyper-heuristics on the extended hyflex domains

Almutairi, A., Özcan, E., Kheiri, A. & Jackson, W. G., 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. 154-162 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

When sensor meets tensor: Filling missing sensor values through a tensor approach

Ruan, W., Xu, P., Sheng, Q. Z., Tran, N. K., Falkner, N. J. G., Li, X. & Zhang, W. E., 24/10/2016, CIKM 2016 - Proceedings of the 2016 ACM Conference on Information and Knowledge Management. Association for Computing Machinery (ACM), p. 2025-2028 4 p.

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

Forecasting seasonal time series using weighted gradient RBF network based autoregressive model

Ruan, W., Sheng, Q. Z., Xu, P., Tran, N. K., Falkner, N. J. G., Li, X. & Zhang, W. E., 24/10/2016, CIKM 2016 - Proceedings of the 2016 ACM Conference on Information and Knowledge Management. Association for Computing Machinery (ACM), p. 2021-2024 4 p.

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

Visual Methods for the Design of Shape-Changing Interfaces

Sturdee, M., Everitt, A., Lindley, J., Coulton, P. & Alexander, J., 25/08/2019, IFIP Conference on Human-Computer Interaction: INTERACT 2019. Lamas, D., Loizides, F., Nacke, L., Petrie, H., Winckler, M. & Zaphiris, P. (eds.). Springer, p. 337-358 22 p. ( Lecture Notes in Computer Science; vol. 11748).

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

Ensemble Clustering for Boundary Detection in High-Dimensional Data

Anagnostou, P., Pavlidis, N. G. & Tasoulis, S., 15/02/2024, Machine Learning, Optimization, and Data Science - 9th International Conference, LOD 2023, Revised Selected Papers. Nicosia, G., Ojha, V., La Malfa, E., La Malfa, G., Pardalos, P. M. & Umeton, R. (eds.). Cham: Springer, p. 324-333 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14506 LNCS).

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

A Comparison of Direct and Indirect Multi-Touch Input for Large Surfaces

Schmidt, D., Block, F. & Gellersen, H., 26/08/2009, Human-Computer Interaction – INTERACT 2009 : 12th IFIP TC 13 International Conference, Uppsala, Sweden, August 24-28, 2009, Proceedings, Part I. Gross, T., Gullikson, J., Kotzé , P., Oestreicher , L., Palanque, P., Oliveira Prates, R. & Winckler, M. (eds.). Berlin: Springer, p. 582-594 13 p. (Lecture Notes in Computer Science; vol. 5726).

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

Foreword

Martins, B., Moncla, L. & Murrieta-Flores, P., 5/11/2019, GeoHumanities '19 Proceedings of the 3rd ACM SIGSPATIAL International Workshop on Geospatial Humanities. Martins, B., Moncla, L. & Murrieta-Flores, P. (eds.). New York: ACM, p. III 1 p. (Proceedings of the 3rd ACM SIGSPATIAL International Workshop on Geospatial Humanities, GeoHumanities 2019).

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

Novel decoding technique for the synchronous and quasi-synchronous multiple access adder channel

Markarian, G., Benachour, P. & Honary, B., 1997, Cryptography and coding: 6th IMA conference, Cirencester, UK, December 17-19, 1997. Darnell, M. (ed.). Berlin: Springer, Vol. 1355. p. 209-220 12 p. (Lecture notes in computer science; no. 1355).

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

Representation and annotation of dialogue.

Grice, M., Leech, G., Weisser, M. & Wilson, A., 2000, Handbook of multimodal and spoken dialogue systems: resources, terminology and product evaluation. Gibbon, D., Mertins, I. & Moore, R. K. (eds.). SECS 5 ed. Boston, Mass.: Kluwer Academic Publishers, p. 1-101 101 p. (The Kluwer international series in engineering and computer science).

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

Individual differences in virtual environments

Sas, C., 01/2004, Scientific Visualisation and Human-Machine Interaction in a Problem-Solving Environment.. 3038 ed. Springer-Verlag, Vol. Intern. p. 1047-1054 8 p. (Lecture Notes in Computer Science).

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

An Expressive Aspect Composition Language for UML State Diagrams

Whittle, J., Moreira, A., Araújo, J., Jayaraman, P., Elkhodary, A. & Rabbi, R., 2007, MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS. Springer, p. 514-528 15 p. (Lecture Notes In Computer Science).

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

Scalable Precomputed Search Trees

Lau, M. & Kuffner, J., 2010, Motion in Games Third International Conference, MIG 2010, Utrecht, The Netherlands, November 14-16, 2010. Proceedings. Boulic, R., Chrysanthou , Y. & Komura, T. (eds.). Dordrecht: Springer Verlag, p. 70-81 (LECTURE NOTES IN COMPUTER SCIENCE; vol. 6459).

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

The development of informatics capability in elementary schools: what to do, and how to make it work.

Passey, D. & Ridgway, J., 1994, Exploring a new partnership: children, teachers and technology: proceedings of the IFIP WG3.5 international working conference. Wright, J. & Benzie, D. (eds.). Oxford: Elsevier, p. 33-48 16 p. (IFIP transactions A. A-58. Computer science and technology, ISSN: 0926-5473).

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