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

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

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

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

Obtaining (Ɛ,δ)-differential privacy guarantees when using the Poisson distribution to synthesize tabular data

Jackson, J., Mitra, R., Francis, B. & Dove, I., 12/09/2024, Privacy in Statistical Databases – PSD2024. Domingo-Ferrer, J. & Önen, M. (eds.). Cham: Springer, p. 102-112 11 p. (Lecture Notes in Computer Science; vol. 14915).

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

Angry-Builds: An empirical study of affect metrics and builds success on GitHub ecosystem

Ortu, M., Pinna, A., Tonelli, R., Marchesi, M., Bowes, D. & Destefanis, G., 21/05/2018, XP '18: Proceedings of the 19th International Conference on Agile Software Development: Companion. New York: Association for Computing Machinery (ACM), 2 p. a35

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

SIF Permutations and Chord-connected Diagrams

Blitvic, N., 2014, Discrete Mathematics and Theoretical Computer Science Proceedings: 26th International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2014), 2014 Chicago, United States. p. 801-814 14 p.

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

Improving the Reliability for Confidence Estimation

Qu, H., Li, Y., Foo, L. G., Kuen, J., Gu, J. & Liu, J., 30/10/2022, Computer Vision – ECCV 2022 - 17th European Conference, 2022, Proceedings. Avidan, S., Brostow, G., Cissé, M., Farinella, G. M. & Hassner, T. (eds.). Cham: Springer Science and Business Media Deutschland GmbH, p. 391-408 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13687 LNCS).

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

The relationship between evolutionary coupling and defects in large industrial software (journal-first abstract)

Kirbas, S., Caglayan, B., Hall, T., Counsell, S., Bowes, D., Sen, A. & Bener, A., 2/04/2018, 25th IEEE International Conference on Software Analysis, Evolution and Reengineering, SANER 2018 - Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 471 1 p.

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

Programmable resource discovery using peer-to-peer networks

Smith, P., Simpson, S. & Hutchison, D., 1/01/2002, IFIP-TC6 4th International Working Conference, IWAN 2002: Active Networks . Tschudin, C., Takada, O., Sterbenz, J. & Plattner, B. (eds.). Springer, p. 229-240 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2546).

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

Budget imbalance criteria for auctions: a formalized theorem

Caminati, M. B., Kerber, M. & Rowat, C., 30/06/2014, Trends in Contemporary Computer Science. Bialystok University of Technology Publishing Office, (arXiv preprint arXiv:1412.0542).

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

Minimizing Characterizing Sets

Bulut, K., Jourdan, G. V. & Türker, U. C., 13/02/2020, Formal Aspects of Component Software (FACS 2019). Arbab, F. & Jongmans, S. S. (eds.). Cham: Springer, p. 72-86 15 p. (Lecture Notes in Computer Science; vol. 12018).

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

Performance modelling and evaluation of firewall architectures for multimedia applications

Roedig, U. & Schmitt, J., 1/05/2004, Networking 2004: Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications Third International IFIP-TC6 Networking Conference Athens, Greece, May 9–14, 2004, Proceedings. Mitrou, N., Kontovasilis, K., Rouskas, G. N., Iliadis, I. & Merakos, L. (eds.). Berlin: Springer Verlag, p. 40-51 12 p. (Lecture Notes in Computer Science; vol. 3042).

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

Ubiquitous interaction: using surfaces in everyday environments as pointing devices

Strohbach, M., Van Laerhoven, K., Gellersen, H. & Schmidt, A., 01/2002, Universal Access Theoretical Perspectives, Practice, and Experience: 7th ERCIM International Workshop on User Interfaces for All, Paris, France, October 24–25, 2002, Revised Papers. Carbonell, N. & Stephanidis, C. (eds.). Berlin: Springer, p. 263-279 17 p. (Lecture Notes in Computer Science; vol. 2615).

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

D-DEMOS: a distributed, end-to-end verifiable, internet voting system

Chondros, N., Zhang, B., Zacharias, T., Diamantopoulos, P., Maneas, S., Patsonakis, C., Delis, A., Kiayias, A. & Roussopoulos, M., 27/06/2016, Proceedings of the 36th IEEE International Conference on Distributed Computing Systems (ICDCS 2016) . IEEE, p. 711-720 10 p. (2016 IEEE 36th International Conference on Distributed Computing Systems (ICDCS), ).

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

Ceremonies for end-to-end verifiable elections

Kiayias, A., Zacharias, T. & Zhang, B., 03/2017, PKC 2017: Public-Key Cryptography – PKC 2017 : 20th IACR International Conference on Practice and Theory in Public-Key Cryptography, Amsterdam, The Netherlands, March 28-31, 2017, Proceedings, Part II Editors (view affiliations). Springer, p. 305-334 30 p. (Lecture Notes in Computer Science; vol. 10175).

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

Algorithm engineering in robust optimization

Goerigk, M. & Schöbel, A., 11/11/2016, Algorithm Engineering: Selected Results and Surveys. Kliemann, L. & Sanders, P. (eds.). Springer, p. 245-279 35 p. (Lecture Notes in Computer Science; vol. 9220).

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

The Optimized Social Distance Lab: A Methodology for Automated Building Layout Redesign for Social Distancing

Fagan, D. & Conroy-Dalton, R., 2/02/2022, Machine Learning, Optimization, and Data Science: 7th International Conference, LOD 2021, Grasmere, UK, October 4–8, 2021, Revised Selected Papers, Part II. Nicosia, G., Ojha, V., La Malfa, E., La Malfa, G., Jansen, G., Pardalos, P. M., Giuffrida, G. & Umeton, R. (eds.). Cham: Springer, (Lecture Notes in Computer Science; vol. 13164).

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

Experience of enhancing the space sensing of networked robots using atlas service-oriented architecture

Helal, S., Lim, S., Bose, R., Yang, H.-I., Kim, H. & Cho, Y.-J., 2008, 8th Asia-Pacific Conference on Computer-Human Interaction, APCHI 2008. Lee, S., Choo, H., Ha, S. & Shin, I. C. (eds.). Berlin: Springer, 10 p. (Lecture Notes in Computer Science; vol. 5068).

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

A means-end analysis of consumers' perceptions of virtual world affordances for e-commerce

Tran, M. Q., Minocha, S., Roberts, D., Laing, A. & Langdridge, D., 2011, Human-Computer Interaction – INTERACT 2011. INTERACT 2011. Campos, P., Graham, N., Jorge, J., Nunes, N., Palanque, P. & Winckler, M. (eds.). Lisbon: Springer, p. 362-379 18 p. (Lecture Notes in Computer Science; vol. 6946).

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

Collaborative Learning of Gesture Recognition and 3D Hand Pose Estimation with Multi-order Feature Analysis

Yang, S., Liu, J., Lu, S., Er, M. H. & Kot, A. C., 3/12/2020, Computer Vision – ECCV 2020 (ECCV 2020). Springer, Cham, p. 769-786 (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

HARD-Net: Hardness-AwaRe Discrimination Network for 3D Early Activity Prediction

Li, T., Liu, J., Zhang, W. & Duan, L., 23/08/2020, Computer Vision – ECCV 2020: 16th European Conference, Glasgow, UK, August 23–28, 2020, Proceedings, Part XI. Springer, Cham, p. 420-436 (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

A detailed analysis of a multi-agent diverse team

Soriano Marcolino, L., Zhang, C., Xin Jiang, A. & Tambe, M., 4/06/2014, Coordination, Organizations, Institutions and Norms in Agent Systems IX: COIN 2013 International Workshops, COIN@AAMAS, St. Paul, MN, USA, May 6, 2013, COIN@PRIMA, Dunedin, New Zealand, December 3, 2013, Revised Selected Papers. Balke, T., Dignum, F., van Riemsdijk, M. B. & Chopra, A. K. (eds.). Springer, p. 3-24 22 p. (Lecture Notes in Computer Science; vol. 8386).

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

Sound and Complete Certificates for Quantitative Termination Analysis of Probabilistic Programs

Chatterjee, K., Goharshady, A. K., Meggendorfer, T. & Žikelić, Đ., 7/08/2022, Computer Aided Verification - 34th International Conference, CAV 2022, Proceedings. Shoham, S. & Vizel, Y. (eds.). Cham: Springer, p. 55-78 24 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13371 LNCS).

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

OpenFlyData: the way to go for biological data integration

Zhao, J., Miles, A., Klyne, G. & Shotton, D., 2009, Data integration in the life sciences: 6th International Workshop, DILS 2009, Manchester, UK, July 20-22, 2009. Proceedings. Paton, N. W., Missier, P. & Hedeler, C. (eds.). Berlin: Springer, p. 47-54 8 p. (Lecture Notes in Computer Science; vol. 5647).

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

The Jinx on the NASA software defect data sets

Petrić, J., Bowes, D., Hall, T., Christianson, B. & Baddoo, N., 1/06/2016, EASE '16 Proceedings of the 20th International Conference on Evaluation and Assessment in Software Engineering. New York: Association for Computing Machinery, Inc, 5 p. 13

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

Novel Class Detection Using Hybrid Ensemble

PANDIT, D., ZHANG, L., MISTRY, K. & JIANG, R., 2/12/2020, 2020 International Conference on Machine Learning and Cybernetics (ICMLC). IEEE, p. 267-272 6 p. 9469587. (Proceedings - International Conference on Machine Learning and Cybernetics; vol. 2020-December).

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

Modeling personalised adaptive systems

Sutcliffe, A. & Sawyer, P., 2013, Advanced Information Systems Engineering: 25th International Conference, CAiSE 2013, Valencia, Spain, June 17-21, 2013. Proceedings. Salinesi, C., Norrie, M. C. & Pastor, Ó. (eds.). Berlin: Springer, p. 178-192 15 p. (Lecture Notes in Computer Science; vol. 7908).

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

QoS Filters: Addressing the Heterogeneity Gap

Yeadon, N. J., Mauthe, A., Hutchison, D. & Garcia, F., 1996, Interactive Distributed Multimedia Systems and Services European Workshop IDMS'96 Berlin, Germany, March 4–6, 1996 Proceedings. Butscher, B., Moeller , E. & Pusch, H. (eds.). Berlin: Springer Verlag, p. 227-243 17 p. (Lecture Notes in Computer Science; vol. 1045).

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

The CONNECT Architecture

Grace, P., Georgantas, N., Bennaceur, A., Blair, G., Chauvel, F., Issarny, V., Paolucci, M., Saadi, R., Souville, B. & Sykes, D., 2011, Formal Methods for Eternal Networked Software Systems: 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures. Bernardo, M. & Issarny, V. (eds.). Berlin: Springer Verlag, p. 27-52 26 p. (Lecture Notes in Computer Science; vol. 6659).

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

Reservation and grouping stations for the IEEE 802.11 DCF

Xiao, Y., Li, H., Wu, K., Leung, K. K. & Ni, Q., 2005, NETWORKING 2005. Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications Systems 4th International IFIP-TC6 Networking Conference, Waterloo, Canada, May 2-6, 2005. Proceedings. Boutaba, R., Almeroth, K., Puigjaner, R., Shen, S. & Black, J. P. (eds.). Berlin: Springer Verlag, p. 395-405 11 p. (Lecture Notes in Computer Science; vol. 3462).

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

A convolution BiLSTM neural network model for Chinese event extraction

Zeng, Y., Yang, H., Feng, Y., Wang, Z. & Zhao, D., 2/12/2016, Natural Language Understanding and Intelligent Applications: 5th CCF Conference on Natural Language Processing and Chinese Computing, NLPCC 2016, and 24th International Conference on Computer Processing of Oriental Languages, ICCPOL 2016, Kunming, China, December 2–6, 2016, Proceedings. Lin, C.-Y., Xue, N., Zhao, D., Huang, X. & Feng, Y. (eds.). Cham: Springer, p. 275-287 13 p. ( Lecture Notes in Computer Science; vol. 10102).

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

Efficient overlay audio conferencing

Egi, N., Blundell, N. & Mathy, L., 05/2006, NETWORKING 2006. Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications Systems: 5th International IFIP-TC6 Networking Conference, Coimbra, Portugal, May 15-19, 2006. Proceedings. Boavida, F., Plagemann, T., Stiller, B., Westphal, C. & Monteiro, E. (eds.). Berlin: Springer Verlag, p. 666-677 12 p. (Lecture Notes in Computer Science; vol. 3976).

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

Detection of stance and sentiment modifiers in political blogs

Skeppstedt, M., Simaki, V., Paradis, C. & Kerren, A., 2017, SPECOM 2017: Speech and Computer. Karpov, A., Potapova, R. & Mporas, I. (eds.). Cham: Springer, p. 302-311 10 p. (Lecture Notes in Computer Science; vol. 10458).

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

Value Iteration for Long-Run Average Reward in Markov Decision Processes.

Ashok, P., Chatterjee, K., Daca, P., Kretínský, J. & Meggendorfer, T., 13/07/2017, CAV 2017: Computer Aided Verification . Majumdar, R. & Kunčak, V. (eds.). Cham: Springer, p. 201-221 21 p. (Lecture Notes in Computer Science ; vol. 10426).

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

Playing Games with Your PET: Extending the Partial Exploration Tool to Stochastic Games

Meggendorfer, T. & Weininger, M., 26/07/2024, Computer Aided Verification: CAV 2024. Gurfinkel, A. & Ganesh, V. (eds.). Cham: Springer, p. 359-372 14 p. (Lecture Notes in Computer Science; vol. 14683).

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

Deep learning based pedestrian detection at distance in smart cities

Dinakaran, R. K., Easom, P., Bouridane, A., Zhang, L., Jiang, R., Mehboob, F. & Rauf, A., 1/01/2020, Intelligent Systems and Applications - Proceedings of the 2019 Intelligent Systems Conference IntelliSys Volume 2. Bi, Y., Bhatia, R. & Kapoor, S. (eds.). Springer-Verlag, p. 588-593 6 p. (Advances in Intelligent Systems and Computing; vol. 1038).

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

Where we Succeed and Fail: Reflecting on the Challenge of doing Research with Children

Read, J., Metatla, O., Horton, M., Rubegni, E. & Yip, J., 27/06/2022, Proceedings of Interaction Design and Children, IDC 2022. New York: ACM, p. 712-714 3 p. (Proceedings of Interaction Design and Children, IDC 2022).

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

The making of a dataset for smart spaces

Kim, E., Helal, S., Lee, J. & Hossain, S., 2010, International Conference on Ubiquitous Intelligence and Computing, UIC 2010. Yu, Z., Liscano, R., Chen, G., Zhang, D. & Zhou, X. (eds.). Berlin: Springer, p. 110-124 15 p. (Lecture Notes in Computer Science; vol. 6406).

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

Assessing behavioral responses in persuasive ubiquitous systems

Lee, D., Helal, S. & Sung, Y., 2013, nternational Conference on Smart Homes and Health Telematics: ICOST 2013: Inclusive Society: Health and Wellbeing in the Community, and Care at Home . Biswas, J., Kobayashi, H., Wong, L., Abdulrazak, B. & Mokhtari, M. (eds.). Berlin: Springer, p. 176-186 11 p. (Lecture Notes in Computer Science; vol. 7910 ).

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

An augment-and-branch-and-cut framework for mixed 0-1 programming

Letchford, A. N. & Lodi, A., 2003, Combinatorial Optimization : Eureka! You Shrink. Jünger, M., Reinelt, G. & Rinaldi, G. (eds.). Berlin: Springer, p. 119-133 15 p. (Lecture Notes in Computer Science ; vol. 2570).

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

Polynomial-time separation of simple comb inequalities

Lodi, A. & Letchford, A. N., 2002, Integer Programming and Combinatorial Optimization: Proceedings of the 9th International IPCO Conference. Cook, W. J. & Schulz, A. S. (eds.). Berlin: Springer, p. 93-108 16 p. (Lecture Notes in Computer Science; vol. 2337).

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

A faster exact separation algorithm for blossom inequalities

Letchford, A. N., Reinelt, G. & Theis, D. O., 2004, Integer Programming and Combinatorial Optimization : Proceedings of the 10th International IPCO Conference. Nemhauser, G. & Bienstock, D. (eds.). Berlin: Springer, p. 19-52 34 p. (Lecture Notes in Computer Science; vol. 3064).

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

Tracking differential evolution algorithms: an adaptive approach through multinomial distribution tracking with exponential forgetting

Epitropakis, M., Tasoulis, D., Pavlidis, N., Plagianakos, V. P. & Vrahatis, M. N., 2012, Artificial Intelligence: Theories and Applications: 7th Hellenic Conference on AI, SETN 2012, Lamia, Greece, May 28-31, 2012. Proceedings. Maglogianis, I., Plagianakos, V. & Vlahavas, I. (eds.). Berlin: Springer Verlag, p. 214-222 9 p. (Lecture Notes in Computer Science; vol. 7297).

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

Trading strategies for markets: a design framework and its application

Vytelingum, P., Dash, R. K., He, M., Sykulski, A. & Jennings, N. R., 2006, Agent-mediated electronic commerce : designing trading agents and mechanisms. La Poutre, H., Sadeh, N. M. & Janson, S. (eds.). Berlin: Springer Verlag, p. 171-186 16 p. (Lecture Notes in Computer Science; vol. 3937).

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

On the complexity of wafer-to-wafer integration

Duvillié, G., Bougeret, M., Boudet, V., Dokka Venkata Satyanaraya, T. & Girodeau, R., 16/05/2015, Algorithms and Complexity : 9th International Conference, CIAC 2015, Paris, France, May 20-22, 2015. Proceedings. Paschos, V. T. & Widmayer, P. (eds.). Cham: Springer, p. 208-220 13 p. (Lecture Notes in Computer Science; vol. 9079).

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

Fast Separation Algorithms for Three-Index Assignment Problems

Dokka, T., Mourtos, I. & Spieksma, F. C. R., 2012, Combinatorial optimization: Second International Symposium, ISCO 2012, Athens, Greece, April 19-21, 2012, revised selected papers. Ridha Mahjoub, A., Markakis, V., Milis, I. & Paschos, V. T. (eds.). New York: Springer Berlin Heidelberg, p. 189-200 12 p. (Lecture Notes in Computer Science; vol. 7422).

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