City Research Online

Items where Schools and Departments is "Computer Science" and Year is 2025

Up a level
Group by: Authors | Type | No Grouping
Number of items: 29.

Article

Abdelmageed, N., Jiménez-Ruiz, E. ORCID: 0000-0002-9083-4599, Hassanzadeh, O. & Konig-Ries, B. (2025). KG2Tables: A Domain-Specific Tabular Data Generator to Evaluate Semantic Table Interpretation Systems. Transactions on Graph Data and Knowledge (TGDK),

Aminof, B., De Giacomo, G., Di Stasio, A. ORCID: 0000-0001-5475-2978 , Francon, H., Rubin, S. & Zhu, S. (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

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-9326 (2025). A Practical Tutorial on Explainable AI Techniques. ACM Computing Surveys, 57(2), pp. 1-44. doi: 10.1145/3670685

Brain, M. & Howe, J. ORCID: 0000-0001-8013-6941 (2025). Canonical Forms and Widening for Two Variables Per Inequality Systems. Mathematics in Computer Science,

Devane, N. ORCID: 0000-0001-8448-1478, Marshall, J. ORCID: 0000-0002-6589-221X, Wilson, S. ORCID: 0000-0001-6445-654X & Hilari, K. ORCID: 0000-0003-2091-4849 (2025). Developing a new aphasia therapy for a virtual world: the virtual enhanced semantic features analysis (VESFA) intervention. Disability and Rehabilitation, pp. 1-13. doi: 10.1080/09638288.2025.2470401

Ghasemi, S., Rafe, V., Bahrampour, A. & Heckel, R. (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. (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

Greggio, J., Malamateniou, C., Pegoretti Baruteau, K. , Reyes-Aldasoro, C. C. ORCID: 0000-0002-9466-2018, Huckstep, O. J., Francis, J. M., Williamson, W., Leeson, P., Lewandowski, A. J. & Lapidaire, W. (2025). Correction: 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), 50-. doi: 10.1186/s12880-025-01584-6

Jianu, R. ORCID: 0000-0002-5834-2658, Silva, N., Rodrigues, N. , Blascheck, T., Schreck, T. & Weiskopf, D. (2025). Gaze-Aware Visualization: Design Considerations and Research Agenda. Computer Graphics Forum,

Maiques, O., Sallan, M. C., Laddach, R. , Pandya, P., Varela, A., Crosas-Molist, E., Barcelo, J., Courbot, O., Liu, Y., Graziani, V., Arafat, Y., Sewell, J., Rodriguez-Hernandez, I., Fanshawe, B., Jung-Garcia, Y., Imbert, P. R. C., Grasset, E. M., Albrengues, J., Santacana, M., Macià, A., Tarragona, J., Matias-Guiu, X., Marti, R. M., Tsoka, S., Gaggioli, C., Orgaz, J. L., Fruhwirth, G. O., Wallberg, F., Betteridge, K., Reyes-Aldasoro, C. C. ORCID: 0000-0002-9466-2018, Haider, S., Braun, A., Karagiannis, S. N., Elosegui-Artola, A. & Sanz-Moreno, V. (2025). Matrix mechano-sensing at the invasive front induces a cytoskeletal and transcriptional memory supporting metastasis. Nature Communications, 16(1), article number 1394. doi: 10.1038/s41467-025-56299-7

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

Sundar, A., Russell-Rose, T. ORCID: 0000-0003-4394-9876, Kruschwitz, U. & Machleit, K. (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

Thiriveedhi, A., Ghanta, S., Biswas, S. ORCID: 0000-0002-6770-9845 & Pradhan, A. K. (2025). ALL-Net: integrating CNN and explainable-AI for enhanced diagnosis and interpretation of acute lymphoblastic leukemia. PeerJ Computer Science, 11, article number e2600. doi: 10.7717/peerj-cs.2600

Zoppi, T. & Popov, P. ORCID: 0000-0002-3434-5272 (2025). Confidence Ensembles: Tabular Data Classifiers on Steroids. Information Fusion, article number 103126. doi: 10.1016/j.inffus.2025.103126

Book Section

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

Conference or Workshop Item

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

Chaudhary, S., Budhiraja, I., Chaudhary, R. , Kumar, N. & Biswas, S. ORCID: 0000-0002-6770-9845 (2025). Asynchronous Federated Learning Technique for Latency Reduction in STAR-RIS enabled VRCS. Paper presented at the IEEE International Conference on Communications, 8-12 June 2025, Montreal, Canada.

Hafeez, A. B., Alonso, E. ORCID: 0000-0002-3306-695X & Riaz, A. (2025). Diagnostic Trouble Codes prediction with DTC-GOAT and Ensembles. Paper presented at the 6th International Conference on Deep Learning Theory and Applications (DELTA 2025), 12-13 Jun 2025, Bilbao, Spain.

Jianu, R. ORCID: 0000-0002-5834-2658, Laksono, D. ORCID: 0000-0002-8503-5274, Slingsby, A. ORCID: 0000-0003-3941-553X & Okoe, M. (2025). VisUnit: Literate Visualisation Studies Assembled from Reusable Test-Suites. Paper presented at the ACM CHI Conference on Human Factors in Computing Systems, 26 Apr - 1 May 2025, Yokohama, Japan.

Jiménez-Ruiz, E. ORCID: 0000-0002-9083-4599 (2025). LogMap Family Participation in the OAEI 2024. In: CEUR Workshop Proceedings. 19th International Workshop on Ontology Matching, 11 Nov 2024, Baltimore, USA.

Kladouchou, V., Makri, S. ORCID: 0000-0002-5817-4893, Frankowska-Takhari, S. ORCID: 0000-0002-4930-7391 , Neate, T. ORCID: 0000-0002-1387-8168, Macfarlane, A. ORCID: 0000-0002-8057-0737, Wilson, S. ORCID: 0000-0001-6445-654X & Roper, A. ORCID: 0000-0001-6950-6294 (2025). "The Internet is Hard. Is Words": Investigating Information Search Difficulties Experienced by People with Aphasia and strategies for Combatting Them. Paper presented at the CHI 2025, 26 Apr - 1 May 2025, Yokohama, Japan. doi: 10.1145/3706598.3713808

McCaffrey, A., Alonso, E. ORCID: 0000-0002-3306-695X & Mondragón, E. ORCID: 0000-0003-4180-1261 (2025). Predictive Improvement through Latent Space Optimisation. Paper presented at the International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2025), 19-23 May 2025, Detroit, USA.

Nehra, A., Bansal, N., Mittal, S. , Biswas, S. ORCID: 0000-0002-6770-9845, Bali, R. S. & Naik, K. (2025). A Big Data Federated Learning-based Traffic Optimization Routing Scheme for Emergency Services Provision in Autonomous Vehicles Environment. Paper presented at the IEEE International Conference on Communications, 8-12 Jun 2025, Montreal, Canada.

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. (2025). Results of the Ontology Alignment Evaluation Initiative 2024. In: CEUR Workshop Proceedings. 19th International Workshop on Ontology Matching, 11 Nov 2024, Baltimore, USA.

Raha, A. D., Gain, M., Saha, S. K. , Rahman, M. S., Adhikary, A., Rameswar, D., Bairagi, A. K. & Biswas, S. ORCID: 0000-0002-6770-9845 (2025). Resource-Aware Monkeypox Diagnosis: Leveraging High-Capacity and Lightweight Models with Knowledge Distillation. In: 2025 17th International Conference on COMmunication Systems and NETworks (COMSNETS). 17th International Conference on COMmunication Systems and NETworks (COMSNETS), 6-10 Jan 2025, Bengaluru, India. doi: 10.1109/COMSNETS63942.2025.10885586

Teymurova, S., Jiménez-Ruiz, E. ORCID: 0000-0002-9083-4599, Weyde, T. & Chen, J. (2025). OWL2Vec4OA: Tailoring Knowledge Graph Embeddings for Ontology Alignment. In: Tiwari, S., Villazón-Terrazas, B., Ortiz-Rodríguez, F. & Sahri, S. (Eds.), Knowledge Graphs and Semantic Web, KGSWC 2024. Sixth International Knowledge Graph and Semantic Web Conference, 11-13 Dec 2024, Paris, France.

Teymurova, S., Jiménez-Ruiz, E. ORCID: 0000-0002-9083-4599, Weyde, T. ORCID: 0000-0001-8028-9905 & Chen, J. (2025). Towards Tailoring Ontology Embeddings for Ontology Matching Tasks. In: CEUR Workshop Proceedings. 23rd International Semantic Web Conference (ISWC 2024), 11 Nov 2024, Baltimore, USA.

Yue, D. L. T. & Jimenez-Ruiz, E. ORCID: 0000-0002-9083-4599 (2025). CitySTI 2024 System: Tabular Data to KG Matching using LLMs. In: CEUR Workshop Proceedings. 23rd International Semantic Web Conference (ISWC 2024), 11 Nov 2024, Baltimore, USA.

Report

Bonatti, P. A., Domingue, J., Gentile, A. L. , Harth, A., Hartig, O., Hogan, A., Hose, K., Jiménez-Ruiz, E. ORCID: 0000-0002-9083-4599, McGuinness, D. L., Sun, C., Verborgh, R. & Wright, J. (2025). Towards Computer-Using Personal Agents. .

This list was generated on Tue Mar 25 02:23:48 2025 UTC.