Convergence of probability collectives with adaptive choice of temperature parameters

Smyrnakis, M. & Leslie, D. S., 2010, Learning and intelligent optimization: 4th International Conference, LION 4, Venice, Italy, January 18-22, 2010. Selected Papers. Blum, C. & Battiti, R. (eds.). Berlin: Springer, p. 200-203 4 p. (Lecture Notes in Computer Science; vol. 6073).

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

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

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

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)

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

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

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