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

Towards Understanding Source Location Privacy in Wireless Sensor Networks through Fake Sources

Jhumka, A., Bradbury, M. & Leeke, M., 6/09/2012, 2012 IEEE 11th International Conference on Trust, Security and Privacy in Computing and Communications. IEEE, p. 760-768 9 p.

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

Technology and mastery: exploring design sensitivities for technology in mountaineering

Cheverst, K., Bødker, M. & Daiber, F., 20/10/2020, HCI Outdoors: Theory, Design, Methods and Applications. Human–Computer Interaction Series. McCrickard, D. S., Jones, M. & Stelter, T. L. (eds.). Cham: Springer, p. 197-211 15 p. (HCI Series).

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

Open Innovation: Restoring the Capability Proximity

Hutton, S., Demir, R. & Eldridge, S., 3/09/2019, BAM2019 Conference Proceedings: Building and Sustaining High Performance Organisations During Uncertain Times. Birmingham: British Academy of Management, 34 p.

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

Behavior modeling using a hierarchical HMM approach

Chiao, S.-Y. & Xydeas, C. S., 1/12/2004, Hybrid Intelligent Systems, 2004. HIS '04. Fourth International Conference on. IEEE, p. 92-97 6 p.

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

Partitioning of indoor airspace for multi-zone thermal modelling using hierarchical cluster analysis

Tsitsimpelis, I. & Taylor, C. J., 15/07/2015, 14th European Control Conference. IEEE, p. 410-415 6 p.

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

Conditional mean embeddings as regressors

Grunewalder, S., Lever, G., Gretton, A., Baldassarre, L., Patterson, S. & Pontil, M., 2012, Proceedings of the 29th International Conference on Machine Learning, Edinburgh, Scotland, 2012. 898

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

Genie: supporting the model driven development of reflective, component-based adaptive systems

Bencomo, N., Grace, P., Flores-Cortes, C., Hughes, D. & Blair, G. S., 05/2008, ICSE '08 Proceedings of the 30th international conference on Software engineering. New York: ACM, p. 811-814 4 p.

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

Leaky Wave Fed Substrate Integrated Horn Antenna

Wang, L. & Goussetis, G., 1/09/2020, 2020 13th UK-Europe-China Workshop on Millimetre-Waves and Terahertz Technologies, UCMMT 2020 - Proceedings. IEEE, 9295990. (2020 13th UK-Europe-China Workshop on Millimetre-Waves and Terahertz Technologies, UCMMT 2020 - Proceedings).

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

Understanding How Design Action Plans Support the Strategic Use of Design

Emilene, Z., Na, J. H., Evans, M., Walters, A., Whicher, A. & Cooper, R., 28/06/2018, Design Research Society 2018 Conference. Design Research Society, Vol. 2. p. 780-791 12 p.

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

Fluorescence spectroscopy as a tool for determination of organic matter removal efficiency at water treatment works

Bieroza, M. Z., Bridgeman, J. & Baker, A., 2010, Integrating water systems. Boxall, J. & Maksimovic, C. (eds.). Boca Raton: CRC PRESS-TAYLOR & FRANCIS GROUP, p. 467-473 7 p.

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