Items where Schools and Departments is "Computer Science" and Year is 2025
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.
.