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