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

Using Machine Learning to Recognise Novice and Expert Programmers

Lee, C. H. & Hall, T., 23/11/2021, Product-Focused Software Process Improvement - 22nd International Conference, PROFES 2021, Proceedings: 22nd International Conference, PROFES 2021, Turin, Italy, November 26, 2021, Proceedings. Ardito, L., Jedlitschka, A., Morisio, M. & Torchiano, M. (eds.). Cham: Springer, p. 199-206 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13126 LNCS).

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

A Comparative Study of Evaluation Metrics for Long-Document Financial Narrative Summarization with Transformers

Zmandar, N., El-Haj, M. & Rayson, P., 21/06/2023, Natural Language Processing and Information Systems - 28th International Conference on Applications of Natural Language to Information Systems, NLDB 2023, Proceedings. Métais, E., Meziane, F., Manning, W., Reiff-Marganiec, S. & Sugumaran, V. (eds.). Cham: Springer, p. 391-403 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13913 LNCS).

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

The myth of the 'Martini solution'

Harper, R., Sellen, A., Kindberg, T., Gosett, P. & Väänänen-Vainio-Mattila, K., 2004, Mobile Human-Computer Interaction - MobileHCI 2004. Brewster, S. & Dunlop, M. (eds.). Berlin: Springer, 2 p. (Lecture Notes in Computer Science; vol. 3160).

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

Stance Classification in Texts from Blogs on the 2016 British Referendum

Simaki, V., Paradis, C. & Kerren, A., 2017, Proceedings of the 19th International Conference on Speech and Computer – SPECOM 2017. Karpov, A., Potapova, R. & Mporas, I. (eds.). Cham: Springer, p. 700-709 10 p. (Lecture Notes in Computer Science; vol. 10458).

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

Automatic Estimation of Web Bloggers’ Age Using Regression Models

Simaki, V., Aravantinou, C., Mporas, I. & Megalooikonomou, V., 2015, Speech and Computer: SPECOM 2015. Ronzhin, A., Potapova, R. & Fakotakis, N. (eds.). Cham: Springer, p. 113-120 8 p. (Lecture Notes in Computer Science; vol. 9319).

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

Gender Classification of Web Authors Using Feature Selection and Language Models

Aravantinou, C., Simaki, V., Mporas, I. & Megalooikonomou, V., 2015, SPECOM 2015: Speech and Computer. Ronzhin, A., Potapova, R. & Fakotakis, N. (eds.). Cham: Springer, p. 226-233 8 p. (Lecture Notes in Computer Science; vol. 9319).

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

Dynamic spatial positioning: physical collaboration around interactive table by children in India

Jamil, I., O'Hara, K., Perry, M., Karnik, A., Marshall, M., Jha, S., Gupta, S. & Subramanian, S., 09/2013, Human-Computer Interaction INTERACT 2013: 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part IV. Kotzé, P., Marsden, G., Lindgaard, G., Wesson, J. & Winckler, M. (eds.). Berlin: Springer, p. 141-158 18 p. (Lecture Notes in Computer Science; vol. 8120).

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

Distributed Computing - GRID Computing

Mauthe, A. & Heckmann, O., 01/2005, Lecture Notes in Computer Science: Steinmetz, Ralf and Wehrle, Klaus. Springer Berlin / Heidelberg, p. 193-206

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

Recursive SVM based on TEDA

Kangin, D. & Angelov, P., 2015, Statistical learning and data sciences: Third International Symposium, SLDS 2015, Egham, UK, April 20-23, 2015, Proceedings. Gammerman, A., Vovk, V. & Papadopoulos, H. (eds.). Cham: Springer, p. 156-168 13 p. (Lecture Notes in Computer Science; vol. 9047).

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

Real-World Applications of Multiobjective Optimization

Stewart, T., Bandte, O., Braun, H., Chakraborti, N., Ehrgott, M., Göbelt, M., Jin, Y., Nakayama, H., Poles, S. & Di Stefano, D., 2008, Multiobjective Optimization: Interactive and Evolutionary Approaches. Branke, J., Deb, K., Miettinen, K. & Słowiński, R. (eds.). Berlin: Springer, p. 285-327 43 p. (Lecture Notes in Computer Science; vol. 5252).

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

Integer quadratic quasi-polyhedra

Letchford, A. N., 2010, Integer Programming and Combinatorial Optimization: Proceedings of the 14th International IPCO Conference. Eisenbrand, F. & Shepherd, F. B. (eds.). Berlin: Springer, p. 258-270 13 p. (Lecture Notes in Computer Science; vol. 6080).

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

A new approach to the stable set problem based on ellipsoids

Giandomenico, M., Letchford, A. N., Rossi, F. & Smriglio, S., 2011, Integer Programming and Combinatorial Optimization : Proceedings of the 15th International IPCO Conference. Günlük, O. & Woeginger, G. (eds.). Berlin: Springer, p. 223-234 12 p. (Lecture Notes in Computer Science; vol. 6655).

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

Software development for dynamic systems

Dalcher, D., 2002, Metainformatics. Springer, p. 58-75 18 p. (Lecture Notes in Computer Science).

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

Project effort estimation: Or, when size makes a difference

Benediktsson, O. & Dalcher, D., 2004, Software Process Improvement. Springer, p. 171-183 13 p. (Lecture Notes in Computer Science).

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

Approximation algorithms for the wafer to wafer integration problem

Dokka, T., Bougeret, M., Boudet, V., Giroudeau, R. & C.R. Spieksma, F., 2013, Approximation and Online Algorithms: 10th International Workshop, WAOA 2012, Ljubljana, Slovenia, September 13-14, 2012, Revised Selected Papers. Erlebach, T. & Persiano, G. (eds.). Berlin : Springer-Verlag, Vol. 7846. p. 286-297 12 p. (Lecture Notes in Computer Science; vol. 7846).

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

Falling down is part of Growing up: The Study of Failure and the Software Engineering Community

Dalcher, D., 1994, Software Engineering Education. Diaz-Herrera, J. L. (ed.). Berlin: Springer, p. 489-496 8 p. (Lecture Notes in Computer Science; vol. 750).

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

Correct Approximation of Stationary Distributions.

Meggendorfer, T., 22/04/2023, Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Proceedings. Sankaranarayanan, S. & Sharygina, N. (eds.). Springer, p. 489-507 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13993 LNCS).

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

Gap inequalities for the max-cut problem: a cutting-plane algorithm

Galli, L., Kaparis, K. & Letchford, A., 2012, Combinatorial Optimization: Second International Symposium, ISCO 2012, Athens, Greece, April 19-21, 2012, Revised Selected Papers. Mahjoub, A. R. (ed.). Berlin: Springer, p. 178-188 11 p. (Lecture Notes in Computer Science; vol. 7422).

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

A hyper-heuristic with a round robin neighbourhood selection

Kheiri, A. & Özcan, E., 22/03/2013, Evolutionary Computation in Combinatorial Optimization: 13th European Conference, EvoCOP 2013, Proceedings. Springer, p. 1-12 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7832 LNCS).

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

SketCHI 3.0: Hands-on special interest group on sketching education in HCI

Sturdee, M., Lewis, M., Méndez, G. G., Phoa, J., Hoang, T. & Carpendale, S., 13/05/2020, CHI EA '20: Extended Abstracts of the 2020 CHI Conference on Human Factors in Computing Systems. New York: ACM, p. 1-4 4 p.

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

A heuristic for maximising energy efficiency in OFDMA systems with QoS constraints

Letchford, A. N., Ni, Q. & Zhong, Z., 1/07/2018, Combinatorial Optimization: 5th International Symposium. Lee, J., Rinaldi, G. & Mahjoub, A. R. (eds.). Springer, p. 303-312 10 p. (Lecture Notes in Computer Science; vol. 10856).

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

A method for analysing traceability between privacy policies and privacy controls of online social networks

Anthonysamy, P., Greenwood, P. & Rashid, A., 2014, Privacy technologies and policy: First Annual Privacy Forum, APF 2012, Limassol, Cyprus, October 10-11, 2012, Revised Selected Papers. Preneel, B. & Ikonomou, D. (eds.). Berlin: Springer, p. 187-202 16 p. (Lecture Notes in Computer Science; vol. 8319).

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

Domain-specific metamodelling languages for software language engineering

Zschaler, S., Kolovos, D. S., Drivalos, N., Paige, R. F. & Rashid, A., 2010, Software language engineering: Second International Conference, SLE 2009, Denver, CO, USA, October 5-6, 2009, Revised Selected Papers. van den Brand, M., Gašević, D. & Gray, J. (eds.). Berlin: Springer, p. 334-353 20 p. (Lecture Notes in Computer Science; vol. 5969).

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

Match graph construction for large image databases

Kim, K. I., Tompkin, J., Theobald, M., Kautz, J. & Theobalt, C., 2012, Computer Vision – ECCV 2012 : 12th European Conference on Computer Vision, Florence, Italy, October 7-13, 2012, Proceedings, Part I. Springer, p. 272-285 14 p. (Lecture Notes in Computer Science; vol. 7572).

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

Perceptive media: adaptive storytelling for digital broadcast

Gradinar, A., Burnett, D., Coulton, P., Forrester, I., Watkins, M., Scutt, T. & Murphy, E., 14/09/2015, Human-Computer Interaction – INTERACT 2015 : 15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015, Proceedings, Part IV. Abascal, J., Barbosa, S., Fetter, M., Gross, T., Palanque, P. & Winckler, M. (eds.). Cham: Springer, p. 586-589 4 p. (Lecture Notes in Computer Science; vol. 9299).

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

Towards future situation-Awareness: A conceptual middleware framework for opportunistic situation identification

Yang, K., Wang, J., Bao, L., Ding, M., Wang, J. & Wang, Y., 13/11/2016, Q2SWinet 2016 - Proceedings of the 12th ACM Symposium on QoS and Security for Wireless and Mobile Networks, co-located with MSWiM 2016. New York: Association for Computing Machinery, Inc, p. 95-101 7 p. (Q2SWinet 2016 - Proceedings of the 12th ACM Symposium on QoS and Security for Wireless and Mobile Networks, co-located with MSWiM 2016).

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

IoT-based implementation and mobility-driven management of the smart and energy efficient home appliance ecosystem

Ahmad, A., Altamimi, A. B. & Alshammari, M. T., 22/07/2018, Smart Societies, Infrastructure, Technologies and Applications - First International Conference, SCITA 2017, Proceedings. Mehmood, R., Katib, I., Chlamtac, I. & Bhaduri, B. (eds.). Springer-Verlag, p. 353-356 4 p. (Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST; vol. 224).

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

Comparison of user performance in mixed 2D-3D multi-display environments

Karnik, A., Grossman, T. & Subramanian, S., 09/2013, Human-Computer Interaction INTERACT 2013: 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part I. Kotzé, P., Marsden, G., Lindgaard, G., Wesson, J. & Winckler, M. (eds.). Berlin: Springer, p. 260-277 18 p. (Lecture Notes in Computer Science; vol. 8117).

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

Structural Monitoring: Decision-Support through Multiple-Data Interpretation

Stalker, R. & Smith, I. F. C., 01/1998, Artificial Intelligence in Structural Engineering: Information Technology for Design, Collaboration, Maintenance, and Monitoring. Smith, I. F. C. (ed.). Berlin: Springer, p. 474-478 5 p. (Lecture Notes in Computer Science; vol. 1454).

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

Augmented reality applications to structural monitoring

Stalker, R. & Smith, I. F. C., 01/1998, Artificial Intelligence in Structural Engineering: Information Technology for Design, Collaboration, Maintenance, and Monitoring. Smith, I. F. C. (ed.). Berlin: Springer, p. 479-483 5 p. (Lecture Notes in Computer Science; vol. 1454).

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

A Runtime Quality Architecture for Service-Oriented Systems

Robinson, D. & Kotonya, G., 2008, Service-Oriented Computing – ICSOC 2008 6th International Conference, Sydney, Australia, December 1-5, 2008. Proceedings. Bouguettaya , A., Krueger , I. & Margaria, T. (eds.). Berlin: Springer, p. 468-482 15 p. (Lecture Notes in Computer Science; vol. 5364).

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

Enabling flexible services using xml metadata.

Velasco, L. & Marshall, I., 1999, Multimedia applications, services and techniques. Leopold, H. & Garcia, N. (eds.). 1629 ed. Berlin ; London: Springer, p. 332-349 18 p. (Lecture notes in computer science).

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

Opportunistic Reuse: Lessons from Scrapheap Software Development

Kotonya, G., Lock, S. & Mariani, J., 10/2008, Component-based software engineering: 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings. Chaudron, M. R. V., Szyperski, C. A. & Reussner, R. (eds.). Berlin: Springer, p. 302-309 8 p. (Lecture Notes in Computer Science; vol. 5282).

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

Cloud-based detection of road bottlenecks using obd-ii telematics

Sohail, A. M., Khattak, K. S., Iqbal, A., Khan, Z. H. & Ahmad, A., 29/11/2019, Proceedings - 22nd International Multitopic Conference, INMIC 2019. Institute of Electrical and Electronics Engineers Inc., 9022754. (Proceedings - 22nd International Multitopic Conference, INMIC 2019).

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

Binary positive semidefinite matrices and associated integer polytopes

Letchford, A. N. & Sorensen, M. M., 2008, Integer Programming and Combinatorial Optimization : Proceedings of the 13th International IPCO Conference. Lodi, A., Panconesi, A. & Rinaldi, G. (eds.). Berlin: Springer, p. 125-139 15 p. (Lecture Notes in Computer Science; vol. 5035).

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

Cue now, reflect later: a study of delayed reflection of diary events

Chong, M. K., Whittle, J., Rashid, U. & Ang, C. S., 30/08/2015, Human-Computer Interaction - INTERACT 2015: 15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015, Proceedings, Part III. Abascal, J., Barbosa, S., Fetter, M., Gross, T., Palanque, P. & Winckler, M. (eds.). Berlin: Springer Verlag, p. 367-375 9 p. (Lecture Notes in Computer Science; vol. 9298).

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

Tools at the Frontiers of Quantitative Verification: QComp 2023 Competition Report

Andriushchenko, R., Bork, A., Budde, C. E., Češka, M., Grover, K., Hahn, E. M., Hartmanns, A., Israelsen, B., Jansen, N., Jeppson, J., Junges, S., Köhl, M. A., Könighofer, B., Křetínský, J., Meggendorfer, T., Parker, D., Pranger, S., Quatmann, T., Ruijters, E. & Taylor, L. & 3 others, Volk, M., Weininger, M. & Zhang, Z., 1/11/2024, TOOLympics Challenge 2023 - Updates, Results, Successes of the Formal-Methods Competitions. Beyer, D., Hartmanns, A. & Kordon, F. (eds.). Cham: Springer, p. 90-146 57 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14550 LNCS).

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

Preface

Zheng, Y., Williams, B. M. & Chen, K., 1/01/2020, Medical Image Understanding and Analysis: 23rd Conference, MIUA 2019, Liverpool, UK, July 24–26, 2019, Proceedings. Zheng, Y., Williams, B. M. & Chen, K. (eds.). Cham: Springer, p. vi (Communications in Computer and Information Science; vol. 1065).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Other chapter contribution