City Research Online

A

Aminof, B., De Giacomo, G., Di Stasio, A. ORCID: 0000-0001-5475-2978 , Francon, H., Rubin, S. & Zhu, S.view all authors (2025). ltl Synthesis Under Environment Specifications for Reachability and Safety Properties. Information and Computation, 303, article number 105255. doi: 10.1016/j.ic.2024.105255

B

Bennetot, A. ORCID: 0000-0001-8232-8728, Donadello, I. ORCID: 0000-0002-0701-5729, El Qadi El Haouari, A. ORCID: 0000-0002-7296-1252 , Dragoni, M. ORCID: 0000-0003-0380-6571, Frossard, T. ORCID: 0009-0005-6388-5672, Wagner, B. ORCID: 0009-0002-6747-1862, Sarranti, A. ORCID: 0000-0002-1085-8428, Tulli, S. ORCID: 0000-0002-6826-370X, Trocan, M. ORCID: 0000-0001-6241-0126, Chatila, R. ORCID: 0000-0001-7822-0634, Holzinger, A. ORCID: 0000-0002-6786-5194, d'Avila Garcez, A. S. ORCID: 0000-0001-7375-9518 & Díaz-Rodríguez, N. ORCID: 0000-0003-3362-9326view all authors (2025). A Practical Tutorial on Explainable AI Techniques. ACM Computing Surveys, 57(2), pp. 1-44. doi: 10.1145/3670685

C

Cabello, S. & Giannopoulos, P. ORCID: 0000-0002-6261-1961 (2025). Searching in Euclidean Spaces with Predictions. In: Approximation and Online Algorithms: 22nd International Workshop, WAOA 2024,. Workshop on Approximation and Online Algorithms (WAOA) - co-located with ALGO 2024, 5-6 Sep 2024, London, UK. doi: 10.1007/978-3-031-81396-2

G

Ghasemi, S., Rafe, V., Bahrampour, A. & Heckel, R.view all authors (2025). Whole test suite generation from graph transformation specifications using ant colony optimization. Software Quality Journal, 33(1), article number 10. doi: 10.1007/s11219-024-09702-3

Greggio, J., Malamateniou, C. ORCID: 0000-0002-2352-8575, Baruteau, K. P. , Reyes-Aldasoro, C. C. ORCID: 0000-0002-9466-2018, Huckstep, O. J., Francis, J. M., Williamson, W., Leeson, P., Lewandowski, A. J. & Lapidaire, W.view all authors (2025). Distinct Circle of Willis anatomical configurations in healthy preterm born adults: a 3D time-of-flight magnetic resonance angiography study. BMC Medical Imaging, 25(1), article number 33. doi: 10.1186/s12880-025-01562-y

H

Heitlinger, S. ORCID: 0000-0001-6148-350X, Light, A., Akama, Y. , Lindström, K. & Stahl, A.view all authors (2025). More-than-human participatory design. In: Smith, R. C., Loi, D., Winschiers-Theophilus, H. , Huybrechts, L. & Simonsen, J.view all authors (Eds.), Routledge International Handbook of Contemporary Participatory Design. . London, UK: Routledge. doi: 10.4324/9781003334330-5

O

Odense, S. & d'Avila Garcez, A. ORCID: 0000-0001-7375-9518 (2025). A semantic framework for neurosymbolic computation. Artificial Intelligence, 340, article number 104273. doi: 10.1016/j.artint.2024.104273

P

Pour, M. A. N., Algergawy, A., Blomqvist, E. , Buche, P., Chen, J., Cotovio, P. G., Coulet, A., Cufi, J., Dong, H., Faria, D., Ferraz, L., Hertling, S., He, Y., Horrocks, I., Ibanescu, L., Jain, S., Jiménez-Ruiz, E. ORCID: 0000-0002-9083-4599, Karam, N., Kraus, F., Lambrix, P., Li, H., Li, Y., Monnin, P., Paulheim, H., Pesquita, C., Sharma, A., Shvaiko, P., Silva, M., Sousa, G., Trojahn, C., Vataščinová, J., Yaman, B., Zamazal, O. & Zhou, L.view all authors (2025). Results of the Ontology Alignment Evaluation Initiative 2024. In: CEUR Workshop Proceedings. 19th International Workshop on Ontology Matching, 11 Nov 2024, Baltimore, USA.

S

Sundar, A., Russell-Rose, T. ORCID: 0000-0003-4394-9876, Kruschwitz, U. & Machleit, K.view all authors (2025). The AI Interface: Designing for the Ideal Machine-Human Experience. Computers in Human Behavior, 165, article number 108539. doi: 10.1016/j.chb.2024.108539

T

Teymurova, S., Jiménez-Ruiz, E. ORCID: 0000-0002-9083-4599, Weyde, T. & Chen, J.view all authors (2025). OWL2Vec4OA: Tailoring Knowledge Graph Embeddings for Ontology Alignment. Paper presented at the Sixth International Knowledge Graph and Semantic Web Conference, 11-13 Dec 2024, Paris, France.