Automatic detection and identification of retinal vessel junctions in colour fundus photography

Pratt, H., Williams, B. M., Ku, J., Coenen, F. & Zheng, Y., 22/06/2017, Medical Image Understanding and Analysis - 21st Annual Conference, MIUA 2017, Proceedings. Gonzalez-Castro, V. & Valdes Hernandez, M. (eds.). Springer-Verlag, p. 27-37 11 p. (Communications in Computer and Information Science; vol. 723).

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

Do Online Resources Give Satisfactory Answers to Questions about Meaning and Phraseology?

Hanks, P. & Franklin, E., 18/09/2019, Computational and Corpus-Based Phraseology: Third International Conference, Europhras 2019, Malaga, Spain, September 25–27, 2019, Proceedings. Corpas Pastor, G. & Mitkov, R. (eds.). Springer, p. 159-172 14 p. (Lecture Notes in Computer Science; vol. 11755).

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

Layered Symbolic Security Analysis in DY*

Bhargavan, K., Bichhawat, A., Hosseyni, P., Küsters, R., Pruiksma, K., Schmitz, G., Waldmann, C. & Würtele, T., 12/01/2024, Computer Security – ESORICS 2023 - 28th European Symposium on Research in Computer Security, 2023, Proceedings. Tsudik, G., Conti, M., Liang, K. & Smaragdakis, G. (eds.). p. 3-21 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14346 LNCS).

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

Inferring semantic mapping between policies and code: the clue is in the language

Anthonysamy, P., Edwards, M., Weichel, C. & Rashid, A., 29/03/2016, Engineering Secure Software and Systems : 8th International Symposium, ESSoS 2016, London, United Kingdom, April 6-8, 2016. Proceedings.. Caballero, J., Bodden, E. & Athanasopoulos, E. (eds.). Springer, p. 233-250 18 p. (Lecture Notes in Computer Science; vol. 9639).

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

Constructs competition miner: process control-flow discovery of BP-domain constructs

Redlich, D., Molka, T., Gilani, W., Blair, G. S. & Rashid, A., 2014, Business Process Management: 12th International Conference, BPM 2014, Haifa, Israel, September 7-11, 2014. Proceedings. Sadiq, S., Soffer, P. & Völzer, H. (eds.). Springer, p. 134-150 17 p. (Lecture Notes in Computer Science; vol. 8659).

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

Research challenges for business process models at run-time

Redlich, D., Blair, G. S., Rashid, A., Molka, T. & Gilani, W., 2014, Models@run.time: foundations, applications, and roadmaps. Bencomo, N., France, R., Cheng, B. H. C. & Assmann, U. (eds.). Springer, p. 208-236 29 p. (Lecture Notes in Computer Science; vol. 8378).

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

Joint Destriping and Segmentation of OCTA Images

Wu, X., Gao, D., Williams, B. M., Stylianides, A., Zheng, Y. & Jin, Z., 1/01/2020, Medical Image Understanding and Analysis - 23rd Conference, MIUA 2019, Proceedings. Zheng, Y., Williams, B. M. & Chen, K. (eds.). Springer, p. 423-435 13 p. (Communications in Computer and Information Science; vol. 1065 CCIS).

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

GLIM: a developing system

Francis, B., Hinde, J. & Slater, M., 1982, Computer Science and Statistics: proceedings of the 14th Symposium on the Interface. Heiner, K., Sacher, R. & Wilkinson, J. (eds.). New York: Springer Verlag, p. 190-201 12 p.

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

Text-based user-kNN: measuring user similarity based on text reviews

Terzi, M., Rowe, M., Ferrario, M. A. & Whittle, J., 23/06/2014, User modeling, adaptation, and personalization. Springer, p. 195-206 12 p. (Lecture Notes in Computer Science; vol. 8538).

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

Promoting Criticality with Design Futuring with Young Children

Sharma, S., Howell, N., Ventä-Olkkonen, L., Iivari, N., Eden, G., Hartikainen, H., Kinnula, M., Durall, E., Nitsche, M., Okkonen, J., Pait, S., Rubegni, E., Sluis-Thiescheffer, W., van der Velden, L. & Varanasi, U. S., 13/10/2024, NordiCHI '24: Proceedings of the 13th Nordic Conference on Human-Computer Interaction. ACM, Vol. 2. p. 1-15 15 p. (Nordic Conference on Human-Computer Interaction).

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

Evolving preferences among emergent groups of agents

Marrow, P., Hoile, C., Wang, F. & Bonsma, E., 2003, Adaptive agents and multi-agent systems: adaptation and multi-agent learning. Alonso, E., Kudenko, D. & Kazakov, D. (eds.). Berlin: Springer Verlag, p. 159-173 15 p. (Lecture Notes in Computer Science; vol. 2636).

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

Trellis decoding techniques and their performance in the adder channel for synchronous and asynchronous CCMA codes

Benachour, P., Markarian, G. & Honary, B., 1997, Cryptography and coding: 6th IMA International Conference Cirencester, UK, December 17–19, 1997 Proceedings. Darnell, M. (ed.). Berlin: Springer, p. 23-29 7 p. (Lecture Notes in Computer Science; vol. 1355).

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

Emergent organisation in colonies of simple automata.

Marshall, I. W. & Roadknight, C. M., 2001, Advances in artificial life. 2159 ed. Springer, 724 p. (Lecture notes in artificial intelligence / Lecture notes in computer science).

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

A Performance Analysis of Movement Patterns

Sas, C., O'Hare, G. M. P. & Reilly, R., 01/2004, Scientific Visualisation and Human-Machine Interaction in a Problem-Solving Environment.. 3038 ed. Springer-Verlag., Vol. Intern. p. 984-991 8 p. (Lecture Notes in Computer Science).

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

An Agent Infrastructure for Privacy-Enhancing Agent-Based E-commerce Applications

Such, J. M., Espinosa, A. & Garcia-Fornes, A., 2012, Advanced Agent Technology. Dechesne, F., Hattori, H., ter Mors, A., Such, J. M., Weyns, D. & Dignum, F. (eds.). Berlin: Springer Verlag, p. 411-425 15 p. (Lecture Notes in Computer Science; vol. 7068).

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

A novel mechanism for routing in highly mobile Ad-hoc sencor networks

Tateson, J. & Marshall, I. W., 2004, Wireless Sensor Networks. Karl, H., Willig, A. & Wolisz, .. (eds.). 2920 ed. Berlin: Springer Berlin Heidelberg, p. 204-217 14 p. (Lecture Notes in Computer Science).

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

Differentiated Quality of Service in Application Layer Active Networks.

Roadknight, C. & Marshall, I. W., 2000, Active Networks. Yasuda, H. (ed.). 1942 ed. Berlin ; London: Springer, p. 358-370 13 p. (Lecture Notes in Computer Science).

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