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

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

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

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