Computer Science

Title	Computer Science
Alternative	S&T - CS
Faculty	Faculty of Science and Technology

Latest research outputs

Sort by Date Title

Extending the Isabelle Insider and Infrastructure framework using generative AI for refining refinements

Kammueller, F. 2026. Extending the Isabelle Insider and Infrastructure framework using generative AI for refining refinements. Margaria, T. and Steffen, B. (ed.) 13th International Symposium on Leveraging Applications of Formal Methods (ISoLA 2026). Kos, Greece 24 - 28 Oct 2026 Springer.

Conference paper

Designing and verifying a post-quantum protocol for privacy critical applications using ABE and ProVerif

Evans, R.-W.N.O. and Kammueller, F. 2026. Designing and verifying a post-quantum protocol for privacy critical applications using ABE and ProVerif. 21st International Workshop on Data Privacy Management. Rome, Italy 17 Sep 2026 Springer.

Conference paper

Kripke semantics for the logic of centered Kleene algebras with intuitionistic negation

Lewis-Smith, A., Zhao, Z., Calomino, I. and Pelaitay, G. 2026. Kripke semantics for the logic of centered Kleene algebras with intuitionistic negation. Journal of Applied Logics: IfCoLog Journal of Logics and their Applications.

Article

Engineering context-awareness for intelligent environments

Augusto, J. 2026. Engineering context-awareness for intelligent environments. 46th SGAI International Conference on Artificial Intelligence. Cambridge, UK 15 - 17 Dec 2026 Springer.

Conference paper

A Kripke semantics and tableau for monadic Wajsberg logic

Lewis-Smith, A. 2026. A Kripke semantics and tableau for monadic Wajsberg logic. Geatti, L. and Piazza, C. (ed.) 27th Italian Conference on Theoretical Computer Science. Udine, Italy 07 - 09 Sep 2026 CEUR Workshop Proceedings (CEUR-WS.org). pp. 1-14

Conference paper

A machine learning framework for assessing systemic societal vulnerability to coastal flooding

Akindejoye, A., Viavattene, C., Priest, S. and Windridge, D. 2026. A machine learning framework for assessing systemic societal vulnerability to coastal flooding. Journal of Flood Risk Management. 19 (3). https://doi.org/10.1111/jfr3.70249

Article

The SOB Monitor: supporting competency-based assessment with gamification

Dorvekinger, D., Heeney, M. and Androutsopoulos, K. 2026. The SOB Monitor: supporting competency-based assessment with gamification. 7th International Computer Programming Education Conference. Guimarães, Portugal 11 - 12 Jun 2026 Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH. pp. 13:1-13:9 https://doi.org/10.4230/OASIcs.ICPEC.2026.13

Conference paper

A taxonomy of intelligence measures

Gamez, D. 2026. A taxonomy of intelligence measures. Philosophies. 11 (4). https://doi.org/10.3390/philosophies11040113

Article

Knowledge distillation in the QAOA setting for advantage on quantum hardware

Piperno, S., Windridge, D., Vittori, G., Rosato, A. and Panella, M. 2026. Knowledge distillation in the QAOA setting for advantage on quantum hardware. 2026 IEEE International Symposium on Circuits and Systems (ISCAS). Shanghai, China 24 - 28 May 2026 IEEE. pp. 4854-4858 https://doi.org/10.1109/ISCAS66217.2026.11562409

Conference paper

Formalisation of security for federated learning with DP and attacker advantage in IIIF for satellite swarms

Kammueller, F. 2026. Formalisation of security for federated learning with DP and attacker advantage in IIIF for satellite swarms. 2026 IEEE Conference on Artificial Intelligence (CAI). Granada, Spain 08 - 10 May 2026 IEEE. pp. 231-236 https://doi.org/10.1109/CAI68641.2026.11536512

Conference paper

Prediction of early functional outcome after acute ischemic stroke using real-world clinical data in Vietnam and Indonesia: retrospective cohort study

Rahmanti, A., Lazuardi, L., Tran, C.M., Wulandari, H., Putri, I.A.A., Hati, F.N.A.N., Ton, M.D. and Nguyen, H.X. 2026. Prediction of early functional outcome after acute ischemic stroke using real-world clinical data in Vietnam and Indonesia: retrospective cohort study. Giacomini, M., Delgado, J., Arvanitis, T.N., Andrikopoulou, E., Benis, A., Balestra, G., Bellazzi, R., Gallos, P., Gatta, R., Giacobbe, D.R., Giordano, N., Hägglund, M., Lindsköld, L., Lhotska, L., Marceglia, S., Parimbelli, E., Sacchi, L., Soda, P., Stoicu-Tivadar, L., Veltri, P. and Vizza, P. (ed.) 36th Medical Informatics Europe Conference. Genoa, Italy 25 - 28 May 2026 IOS Press. pp. 218-222 https://doi.org/10.3233/SHTI260140

Conference paper

Machine learning applications within the earlier medicine framework for stroke: a scoping review

Putri, I.A.A., Rahmanti, A., Sanjaya, G.Y., Wulandari, H., Lazuardi, L. and Nguyen, H.X. 2026. Machine learning applications within the earlier medicine framework for stroke: a scoping review. Giacomini, M., Delgado, J., Arvanitis, T.N., Andrikopoulou, E., Benis, A., Balestra, G., Bellazzi, R., Gallos, P., Gatta, R., Giacobbe, D.R., Giordano, N., Hägglund, M., Lindsköld, L., Lhotska, L., Marceglia, S., Parimbelli, E., Sacchi, L., Soda, P., Stoicu-Tivadar, L., Veltri, P. and Vizza, P. (ed.) 36th Medical Informatics Europe Conference. Genoa, Italy 25 - 28 May 2026 IOS Press. pp. 358-362 https://doi.org/10.3233/SHTI260177

Conference paper

An exploratory study of multi-channel CNN for early detection of lung cancer from longitudinal healthcare records

Chien, C.-H., Chang, S.-C., Chang, Y.-C. and Li, Y.-C. 2026. An exploratory study of multi-channel CNN for early detection of lung cancer from longitudinal healthcare records. Scientific Reports. https://doi.org/10.1038/s41598-026-52173-8

Article

Neural radiance field based 3D view reconstruction for gastrointestinal tract surgery planning

Gao, X., Rahmanti, A. and Braden, B. 2026. Neural radiance field based 3D view reconstruction for gastrointestinal tract surgery planning. SN Computer Science. 7. https://doi.org/10.1007/s42979-026-05142-x

Article

Surveillance technologies for suicide prevention in public places: a scoping review of their nature and feasibility

Cliffe, B., Joyner, L., Marzano, L., Phillips, P., Willis, A., Craig, P., Hawton, K., Deidda, M., Ciminata, G., Pettersen, E., George, C., Dark, A., Marsh, I., Mahmood, A. and Mackenzie, J.-M. 2026. Surveillance technologies for suicide prevention in public places: a scoping review of their nature and feasibility. Archives of Suicide Research. https://doi.org/10.1080/13811118.2026.2666413

Article

Correspondence theory for intuitionistic Lukasiewicz logic

Lewis-Smith, A. and Zhao, Z. 2026. Correspondence theory for intuitionistic Lukasiewicz logic. Hetzl, S., Jung, J.C., Schmidt, R.A. and Wernhard, C. (ed.) CI-BD-SOQE 2026 Workshop on Craig Interpolation, Beth Definability, and Second-Order Quantifier Elimination. Lisbon, Portugal 24 - 25 Jul 2026 CEUR Workshop Proceedings (CEUR-WS.org). pp. 43-58

Conference paper

DFAMiner: an efficient tool for learning minimal separating DFAs from labelled samples

Dell’Erba, D., Li, Y., Schewe, S. and Turrini, A. 2026. DFAMiner: an efficient tool for learning minimal separating DFAs from labelled samples. Science of Computer Programming. https://doi.org/10.1016/j.scico.2026.103506

Article

Exact and heuristic computation of the scanwidth of directed acyclic graphs

Holtgrefe, N., van Iersel, L. and Jones, M. 2026. Exact and heuristic computation of the scanwidth of directed acyclic graphs. Journal of Computer and System Sciences. 106. https://doi.org/10.1016/j.jcss.2026.103802

Article

Sentiment-driven stock price prediction: analysing green finance news using large language models for Tesla

Lorvand, A., Yetgin, H., Smith, S., Alkubaisy, D. and Piras, L. 2026. Sentiment-driven stock price prediction: analysing green finance news using large language models for Tesla. Ana Paula Rocha, Mattias Wahde and H. Jaap van den Herik (ed.) 18th International Conference on Agents and Artificial Intelligence. Marbella, Spain 05 - 07 Mar 2026 SCITEPRESS - Science and Technology Publications. pp. 2596-2605 https://doi.org/10.5220/0014306600004052

Conference paper

Towards a news authenticity predictor (NAP AI)

Wali, A., Kapetanakis, S. and Nalli, G. 2026. Towards a news authenticity predictor (NAP AI). 6th International Electronic Conference on Applied Sciences. Virtual 09 - 11 Dec 2025 MDPI. https://doi.org/10.3390/engproc2026124089

Conference paper

Spiking neural networks: history, current status and the future

Huyck, C. 2026. Spiking neural networks: history, current status and the future. Dynamics. 6 (1). https://doi.org/10.3390/dynamics6010010

Article

Longitudinal multisource clinical model for early lung cancer risk stratification and screening

Chien, C.-H., Chang, S.-C., Chang, Y.-C. and Li, Y.-C. 2026. Longitudinal multisource clinical model for early lung cancer risk stratification and screening. BMJ Health & Care Informatics. 33 (1). https://doi.org/10.1136/bmjhci-2025-101989

Article

Model-based digital twin engineering: insights, challenges, and future directions

Zech, P., Barat, S., Nast, B., Oakes, B., Michael, J., Zschaler, S., Barn, B. and Breu, R. 2026. Model-based digital twin engineering: insights, challenges, and future directions. Software and Systems Modeling. https://doi.org/10.1007/s10270-026-01368-8

Article

LLM support for enterprise modelling based on integrating prompt and enterprise modelling meta-models

Sandkuhl, K., Barn, B. and Barat, S. 2026. LLM support for enterprise modelling based on integrating prompt and enterprise modelling meta-models. Discover Artificial Intelligence. 6. https://doi.org/10.1007/s44163-026-01056-y

Article

Early detection of female-specific cancers using longitudinal healthcare records with a multichannel convolutional neural network

Chien, C.-H., Chang, S.-C., Chang, Y. and Li, Y. 2026. Early detection of female-specific cancers using longitudinal healthcare records with a multichannel convolutional neural network. BMJ Health & Care Informatics. 33 (1). https://doi.org/10.1136/bmjhci-2025-101874

Article

Value of information in Bayesian environments

Behringer, S. and Belavkin, R.V. 2026. Value of information in Bayesian environments. Moosaei, H., Belavkin, R. and Pardalos, P.M. (ed.) 8th International Conference on the Dynamics of Information Systems. London, UK 01 - 05 Jun 2025 Springer. pp. 16-24 https://doi.org/10.1007/978-3-032-16469-8_2

Conference paper

The impacts of selection pressure on insecticide resistance in malaria vectors – a literature review

Nwinyi, O.C., Farotimi, O.E. and Oluwagbemi, O.O. 2026. The impacts of selection pressure on insecticide resistance in malaria vectors – a literature review. Oriental Insects. https://doi.org/10.1080/00305316.2026.2613387

Article

Association between long-term use of H2 receptor antagonists and prostate cancer risk: a case-control study in Taiwan

Wang, S.-F., Liu, Y.-C., Nguyen, P.-A., Lin, G.-L., Huang, C.-W., Rahmanti, A.R. and Yang, H.-C. 2026. Association between long-term use of H2 receptor antagonists and prostate cancer risk: a case-control study in Taiwan. Journal of Cancer. 17 (2), pp. 419-426. https://doi.org/10.7150/jca.125694

Article

Investigating the VR rollercoaster experience by applying AI models to biometric data

Nalli, G., Dafoulas, G.A., Tsiakara, A., Mistry, K., Walker, B., Margolis, M. and Melton, N. 2026. Investigating the VR rollercoaster experience by applying AI models to biometric data. Palaiahnakote, S., Palit, R., Saraee, M., Atrey, P.K., Bai, X. and Raman, B. (ed.) 1st International Conference on Data Science, Artificial Intelligence and Applications. Dhaka, Bangladesh 18 - 19 Jul 2025 Springer. pp. 429-440 https://doi.org/10.1007/978-3-032-11355-9_30

Conference paper

AI and wearable sensors in higher education to investigate public speaking skills

Giannandrea, L., Gratani, F., Capolla, L.M., Dafoulas, G., Tsiakara, A., Kapetanakis, S. and Nalli, G. 2026. AI and wearable sensors in higher education to investigate public speaking skills. Revista de Educación a Distancia (RED). 26 (83). https://doi.org/10.6018/red.670031

Article

Margin-aware active learning for user-adaptive text classification

Tirunagari, S., Dhami, M. and Windridge, D. 2026. Margin-aware active learning for user-adaptive text classification. Unger, H. and Meesad, P. (ed.) 9th International Conference on Natural Language Processing and Information Retrieval. Kyushu University, Fukuoka, Japan 12 - 14 Dec 2025 Springer. pp. 447-461 https://doi.org/10.1007/978-3-032-20897-2_33

Conference paper

Model constructions for $\GBL_ewf$

Lewis-Smith, A. and Zhao, Z. 2026. Model constructions for $\GBL_ewf$. 15th Panhellenic Logic Symposium. Athens, Greece 06 - 10 Jul 2026

Conference item

A Kripke semantics for commutative generalised basic logic

Lewis-Smith, A. and Zhao, Z. 2026. A Kripke semantics for commutative generalised basic logic. 8th Asian Workshop on Philosophical Logic . Chongqing, China 06 - 08 Apr 2026 Springer.

Conference paper

Assessing the technical feasibility of ethical artificial beings

Augusto, J. 2026. Assessing the technical feasibility of ethical artificial beings. 3rd International Conference on Frontiers of Artificial Intelligence, Ethics, and Multidisciplinary Applications. Stavanger, Norway 18 - 19 Sep 2025 Springer.

Conference paper

Judges on trial: the future of research on judicial decision-making

Dhami, M., Kajdanowicz, T., Windridge, D. and Boukacem-Zeghmouri, C. 2026. Judges on trial: the future of research on judicial decision-making. in: Shortland, N. and Alison, L. (ed.) Big Ideas in Forensic Psychology: Visions of a Forensic Future From Leading Voices in the Field Wiley.

Book chapter