On Thursday, 5 November, from 21.45 to 22.45, the university website will be undergoing maintenance. You may experience disruptions to the site during this time. We apologise for any inconvenience.
Gulu-zada, F., & Anwar, H. (2026). Balancing green and clean code: Prompting for LLM-based refactoring. In R. Feldt, M. Paasivaara, D. Mendez, S. Wagner, & M. Muñoz Barón (Eds.), 20th International Symposium on Empirical Software Engineering and Measurement (ESEM 2026). Schloss Dagstuhl – Leibniz-Zentrum für Informatik.
Mendes, A. I. S., Ienasescu, H., Andersen, C. A. T., Calhoun, E., Chmura, P. J., Collier, K., Goga, I., Gustafsson, O. J. R., Kalaš, M., Kierkegaard, M., Nielsen, N. K., Jaaniso, E., Jensen, J. R. B., Ludl, A.-A., Ménager, H., Palmblad, M., Magyar, Z., Raček, T., Rošinec, A., … Schwämmle, V. (2026). bio.tools: An expanded web service for research software in the life sciences. Nucleic Acids Research.
Barlag, T., Fröhlich, N., Hankala, T., Hannula, M., Hirvonen, M., Holzapfel, V., Kontinen, J., Meier, A., & Strieker, L. (2026a). A circuit-theoretic view of FO over semirings. In P. Johann & R. de Queiroz (Eds.), Logic, Language, Information, and Computation: 32nd International Workshop. Lecture Notes in Computer Science. Springer Nature Switzerland.
Barlag, T., Fröhlich, N., Hankala, T., Hannula, M., Hirvonen, M., Holzapfel, V., Kontinen, J., Meier, A., & Strieker, L. (2026b). Complexity of logics with semiring semantics. Proceedings of the 23rd International Conference on Principles of Knowledge Representation and Reasoning. International Joint Conferences on Artificial Intelligence Organization.
Hannula, M., Hirvonen, M., Kontinen, J., & Link, S. (2026). Independence under incomplete information. In A.-Y. Turhan & J. Virtema (Eds.), Foundations of Information and Knowledge Systems: 14th International Symposium, FoIKS 2026, Proceedings. Lecture Notes in Computer Science. Springer Nature Switzerland.
Suhail, S., Iqbal, M., O’Mahony, G. D., & McLaughlin, K. (2026). Threat modeling for digital twin-driven agri-food supply chain. In P. Kieseberg, F. Skopik, B. Atli, & M. Asplund (Eds.), Availability, Reliability and Security. ARES 2026 EU Projects Symposium Workshops. Lecture Notes in Computer Science. Springer Nature Switzerland.
Ahman, D., & Bauer, A. (2026). Sheaves as oracle computations (Invited talk). 11th International Conference on Formal Structures for Computation and Deduction (FSCD 2026). Leibniz International Proceedings in Informatics (LIPIcs).
Ahman, D., Bhargavan, K., Bond, B., Bosamiya, J., Brzuska, C., Delignat-Lavaud, A., Fournet, C., Fromherz, A., Gibson, S., Hawblitzel, C., Hrițcu, C., Kohlweiss, M., Martínez, G., Ni, H., Parno, B., Protzenko, J., Ramananandro, T., Rastogi, A., Rivas, E., Zanella-Béguelin, S. (2026). Project Everest: Perspectives from developing industrial-grade high-assurance software. ACM Transactions on Programming Languages and Systems.
Ahman, D., & Sobolev, I. (2026). Strong normalisation for asynchronous effects. 11th International Conference on Formal Structures for Computation and Deduction (FSCD 2026). Leibniz International Proceedings in Informatics (LIPIcs).
Engin, Z., Gordon, T., Bastidas, V., Crick, T., Crowcroft, J., Denis, J.-M., Hand, D. J., Maffeo, L., Mökander, J., Ng, I., Nikiforova, A., Quaggiotto, G., Socol de la Osa, D. U., Syler, R., Treleaven, P., & Verhulst, S. (2026). Governing well in the algorithmic age: The foundations of digital statecraft. arXiv preprint arXiv:2607.18483.
Huang, N., Goswami, P., Hu, Y., Sundstedt, V., Cheddad, A., & Imran, M. (2025). Conceptual design of a personalized VR furniture arrangement system. 2025 IEEE International Conference on Metrology for eXtended Reality, Artificial Intelligence and Neural Engineering (MetroXRAINE).
Unruh, D., & Rodríguez Caballero, J. M. (2026). Complex bounded operators in Isabelle/HOL. 17th International Conference on Interactive Theorem Proving (ITP 2026). Leibniz International Proceedings in Informatics (LIPIcs).
Goksal, S. I., & Nikiforova, A. (2026). Multi-stakeholder AI governance: Conceptualizing the stakeholders-in-the-loop mechanism. Theorizing Data and AI 2026.
Kakk, M., Luik, P., & Paan, K. (2026). Automated assessment tool for PostgreSQL. Proceedings of the 18th International Conference on Computer Supported Education.
Tambets, R., Jesse, M., Kronberg, J., van der Graaf, A., Abner, E., Võsa, U., Rahu, I., Taba, N., Kolde, A., Yarish, D., Abdullayeva, S., Alekseienko, A., Veidenberg, A., Estonian Biobank Research Team, Nelis, M., Hudjasov, G., Metspalu, M., Mägi, R., Metspalu, A., ... Palta, P. (2026). Genetic analysis of circulating metabolic traits in 619,372 individuals. Nature.
Barradas, N. P., Felizardo, M., Vieira, A., Barradas, L. W., Alves, L. C., & Corregidor, V. (2026). Artificial neural network analysis of PIXE of historical silver coins. Nuclear Instruments and Methods in Physics Research Section B: Beam Interactions with Materials and Atoms.
Tulev, U., Aceituno Pérez, M. E., Aleksei, V., & Ševtšenko, E. (2025). Crowd-delivery parcel allocation with a W-score framework and unsupervised machine learning. International Symposium on Logistics.
Yin, Z., Nguyen, N. T., & Liyanage, M. (2025). SpikEy: Preventing drink spiking using wearables. In Proceedings of the 27th International Conference on Multimodal Interaction (ICMI ’25). Association for Computing Machinery.
Freimann, K., Brümmer, A., Warmerdam, R., Rupall, T. S., Hernández-Ledesma, A. L., Chiou, J., Holzinger, E. R., Maranville, J. C., Nakic, N., Ongen, H., Stefanucci, L., Turchin, M. C., eQTLGen Consortium, Franke, L., Võsa, U., Jones, C. P., Medina-Rivera, A., Trynka, G., Kisand, K., Bergmann, S., & Alasoo, K. (2025). Trans-eQTL mapping prioritises USP18 as a negative regulator of interferon response at a lupus risk locus. Nature Communications.
Pineda-Moncusí, M., Rekkas, A., Martínez Pérez, Á., Leis, A., López Gomez, C., Fey, E., Bruninx, E., Maljković, F., Sánchez-Sáez, F., Rodeiro-Boliart, J., Zsuzsa Kiss, L., Franz, M., Mayer, M.-A., Eleangovan, N., Pericàs Pulido, P., Natsiavas, P., Şen, S., Cooper, S., Reisberg, S., Manlik, K., Price, D. B., Moscetti, L., Merkelbach, M., Tadrous, M., Rappoport, N., Claire, R., Garcia-Torrens, S., Prieto-Alhambra, D., Rijnbeek, P. R., & Burkard, T.; Drug Shortages EHDEN Study Group. (2025). Changes in use and utilisation patterns of drugs with reported shortages between 2010 and 2024 in Europe and North America: A network cohort study. The Lancet Public Health.
Alper, P., D’Anna, F., Droesbeke, B., Andrabi, M., Andrade Buono, R., Bianchini, F., Bösl, K., Chandramouliswaran, I., Cook, M., Faria, D. P. de J., Fatima, N., Hooft, R., Jareborg, N., Jetten, M., Pilvar, D., Poiares-Oliveira, G., Popleteeva, M., Portell-Silva, L., Slifka, J., Suchánek, M., van Gelder, C., Welter, D., Wittig, U., Coppens, F., & Goble, C. (2025, August 22). RDMkit: A research data management toolkit for life sciences. Patterns.
Suhail, S., Iqbal, M., McLaughlin, K., Lee, B., & Imtiaz, B. (2025). A framework for applying digital twins to support incident response. In J. Garcia-Alfaro, et al. (Eds.), Computer Security. ESORICS 2024 International Workshops. ESORICS 2024. Lecture Notes in Computer Science (Vol. 15263). Springer, Cham.
Shevtshenko, E., Karaulova, T., Truver, A., Maas, R., & Golubeva, K. (2025). Digital ESG educational journey. In M. e. Auer & T. Rüütmann (Eds.), Futureproofing engineering education for global responsibility. Springer Nature Switzerland AG: Springer.
França, B. B. N. de, Pfahl, D., Vicente Graciano Neto, V., & Ali, N. B. (2024). Teaching Simulation as a Research Method in Empirical Software Engineering. In D. Mendez, P. Avgeriou, M. Kalinowski, & N. B. Ali (Eds.), Handbook on Teaching Empirical Software Engineering. Springer Nature Switzerland.
Lüüsi, L., Kangur, U., Chakraborty, R., & Sharma, R. (2024). Political Stance Detection in Estonian News Media. In M. Hämäläinen, F. Pirinen, M. Macias, & M. Crespo Avila (Eds.), Proceedings of the 9th International Workshop on Computational Linguistics for Uralic Languages. Association for Computational Linguistics.
Antipenko, V., & Matulevičius, R. (2025). Functional Security in Automation: The FAST Approach. In E. Paja, J. Zdravkovic, E. Kavakli, & J. Stirna (Eds.), The Practice of Enterprise Modeling. Springer Nature Switzerland.
Babir, İ. C., Tok, Z. Y., Evcil, M., Gökyer, M. A., Bozkurt, B., & Akleylek, S. (2024). Intrusion Detection on ARINC-429 Communication Bus. 2024 AIAA DATC/IEEE 43rd Digital Avionics Systems Conference (DASC).
Zuniga, A., Olapade, M., Motlagh, N. H., Liyanage, M., Yin, Z., Dar, F., Nguyen, N. T., Akintola, A., Radeta, M., Tarkoma, S., Flores, H., & Nurmi, P. (2024). Low-Cost Sensing for Environmental Sustainability. IEEE Pervasive Computing.
Kliimask, K., & Nikiforova, A. (2024, September). TAGIFY: LLM-powered Tagging Interface for Improved Data Findability on OGD portals. In 2024, the fifth International Conference on Intelligent Data Science Technologies and Applications (IDSTA). IEEE. NB! The article is based on the bachelor thesis awarded by the Ministry of Economic Affairs and Communications as the best bachelor thesis of the year.
Holter, K., Hennoste, J. O., Saan, S., Lam, P., & Vojdani, V. (2024). Abstract Debugging with GobPie. Proceedings of the 2nd ACM International Workshop on Future Debugging Techniques.
Lipmaa, H. (2024). Polymath: Groth16 Is Not the Limit. In: Reyzin, L., Stebila, D. (eds) Advances in Cryptology – CRYPTO 2024. CRYPTO 2024. Lecture Notes in Computer Science, vol 14929. Springer, Cham.
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. (2024). Promoting Criticality with Design Futuring with Young Children. Proceedings of the 13th Nordic Conference on Human-Computer Interaction.
Tiks, M., Martens, O.-K., Vainikko, E., & Kuhn, S. (2024). A Reversible Debugger for MPI Applications. Proceedings of the 2nd ACM International Workshop on Future Debugging Techniques.
Kalbaliyev, E., & Sirts, K. (2024). On Narrative Question Answering Skills. In K. Duh, H. Gomez, & S. Bethard (Eds.), Proceedings of the 2024 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies. Association for Computational Linguistics.
Kubrak, K., Botchorishvili, L., Milani, F., Nolte, A., & Dumas, M. (2024). Explanatory Capabilities of Large Language Models in Prescriptive Process Monitoring. In A. Marrella, M. Resinas, M. Jans, & M. Rosemann (Eds.), Business Process Management. Springer Nature Switzerland. NB! The article won the Best Paper Award at the Business Process Management Conference 2024. Congratulations!
Malina, L., Dzurenda, P., Lövinger, N., Ekeh, I. F., & Matulevicius, R. (2024). Secure and Privacy-Preserving Car-Sharing Systems. Proceedings of the 19th International Conference on Availability, Reliability and Security.
Ottun, A.-R., Marasinghe, R., Elemosho, T., Liyanage, M., Ahmed, A. H., Boerger, M., Sandeepa, C., Senevirathna, T., La, V. H., Nguyen, M.-D., Soriente, C., Marchal, S., Wang, S., Noguero, D. S., Tcholtchev, N., Ding, A. Y., & Flores, H. (2024). SPATIAL: Practical AI Trustworthiness with Human Oversight. 2024 IEEE 44th International Conference on Distributed Computing Systems.
Dar, F., Liyanage, M., Olapade, M., Yin, Z., Ottun, A.-R., Akintola, A., Silva, F. A., Flores, H. (2024). Demo Abstract: PRINCE: Device Energy Estimation with a Single Photo. 2024 IEEE/ACM Ninth International Conference on Internet-of-Things Design and Implementation (IoTDI)
Dar, F., Olapade, M., Ottun, A.-R., Yin, Z., Liyanage, M., Zuniga, A., Passanantti, M., Tarkoma, S., Nurmi, P., Flores, H. (2024). LIZARD: Pervasive Sensing for Autonomous Plastic Litter Monitoring. 2024 IEEE/ACM Ninth International Conference on Internet-of-Things Design and Implementation (IoTDI)
Iqbal, M., Zubair, M., Suhail, S., Shah, F.A., Milani, F. (2024). Blockchain-Driven Secure Auditing of Timber-to-Charcoal Supply Chain. In: Lupeikienė, A., Ralyté, J., Dzemyda, G. (eds) Digital Business and Intelligent Systems. DB&IS 2024. Communications in Computer and Information Science, vol 2157. Springer, Cham.
Kuulmets, H.-A., Purason, T., Luhtaru, A., & Fishel, M. (2024). Teaching Llama a New Language Through Cross-Lingual Knowledge Transfer. In K. Duh, H. Gomez, & S. Bethard (Eds.), Findings of the Association for Computational Linguistics: NAACL 2024. Association for Computational Linguistics.
Bakhtina M., Vémolová V., Matyáš V. (2024): CHESS: Cyber-security Excellence Hub in Estonia and South Moravia, RPE@CAiSE’24: Research Projects Exhibition at the International Conference on Advanced Information Systems Engineering, June 3–7, 2024, Limassol, Cyprus.
Gharib, M. (2024). Towards a Heuristic Model for Usable Privacy. The 1st International Usable Security and Privacy for Emerging Technologies for Emerging Technologies (ASPIRING’24) Workshop - Joint Proceedings of RCIS 2024 Workshops and Research Projects Track, 1–10.
Gharib, M. (2024). US4USec: A User Story Model for Usable Security. In J. Araújo, J. L. de la Vara, M. Y. Santos, & S. Assar (Eds.), Research Challenges in Information Science. Springer Nature Switzerland.
Dorkin, A., & Sirts, K. (2024). TartuNLP @ SIGTYP 2024 Shared Task: Adapting XLM-RoBERTa for Ancient and Historical Languages. In M. Hahn, A. Sorokin, R. Kumar, A. Shcherbakov, Y. Otmakhova, J. Yang, O. Serikov, P. Rani, E. M. Ponti, S. Muradoğlu, R. Gao, R. Cotterell, & E. Vylomova (Eds.), Proceedings of the 6th Workshop on Research in Computational Linguistic Typology and Multilingual NLP. Association for Computational Linguistics.
Kubrak, K., Botchorishvili, L., Milani, F., Dumas, M., Nolte, A., Shoush, M., Qu, Z. (2024). Kairos: A Tool for Prescriptive Monitoring of Business Processes. Doctoral Consortium and Demo Track co-located with the 5th International Conference on Process Mining (ICPM 2023). NB! The article won the award “Best Demo at ICPM 2024”. Congratulations!
Raun, K., Tommasini, R., & Awad, A. Adaptive Handling of Out-of-order Streams in Conformance Checking. The 26th International Workshop on Design, Optimization, Languages and Analytical Processing of Big Data (DOLAP 2024). NB! The article won the award “Best paper of DOLAP 2024”. Congratulations!
Nguyen, N. T., Zubair, M., Zuniga, A., Tarkoma, S., Hui, P., Lee, H., Perrault, S. T., Ammar, M. H., Flores, H., & Nurmi, P. (2023). The Price is Right? The Economic Value of Sharing Sensors. IEEE Transactions on Computational Social Systems.
Saan, S., Schwarz, M., Erhard, J., Seidl, H., Tilscher, S., & Vojdani, V. (2024). Correctness Witness Validation by Abstract Interpretation. In R. Dimitrova, O. Lahav, & S. Wolff (Eds.), Verification, Model Checking, and Abstract Interpretation. Springer Nature Switzerland. NB! The article won the best paper award at VMCAI 2024. Congratulations!
Iqbal, M., Suhail, S., Matulevičius, R., & Hussain, R. (2023). Towards Healthcare Digital Twin Architecture. In K. Hinkelmann, F. J. López-Pellicer, & A. Polini (Eds.), Perspectives in Business Informatics Research. Springer Nature Switzerland.
Bakhtina, M., Leung, K. L., Matulevičius, R., Awad, A., & Švenda, P. (2023). A Decentralised Public Key Infrastructure for X-Road. Proceedings of the 18th International Conference on Availability, Reliability and Security.
Seeba, M., Oja, T., Murumaa, M. P., & Stupka, V. (2023). Security level evaluation with F4SLE. Proceedings of the 18th International Conference on Availability, Reliability and Security.
Daubner, L., Matulevičius, R., & Buhnova, B. (2023). A Model of Qualitative Factors in Forensic-Ready Software Systems. In S. Nurcan, A. L. Opdahl, H. Mouratidis, & A. Tsohou (Eds.), Research Challenges in Information Science: Information Science and the Connected World. Springer Nature Switzerland.
Maas, R., Shevtshenko, E., & Karaulova, T. (2023). Supply Chain Quality Improvement Based on Customer Compliance. In L. M. Camarinha-Matos & F. Ferrada (Eds.), Technological Innovation for Connected Cyber Physical Spaces. Springer Nature Switzerland.
Lashkevich, K., Mediavilla Ponce, L. M., Camargo, M., Milani, F., & Dumas, M. (2023). Discovery of Improvement Opportunities in Knock-Out Checks of Business Processes. In S. Nurcan, A. L. Opdahl, H. Mouratidis, & A. Tsohou (Eds.), Research Challenges in Information Science: Information Science and the Connected World. RCIS 2023. Lecture Notes in Business Information Processing.
Leemets, J.-L., Kubrak, K., Milani, F., & Nolte, A. (2023). Persuasive Visual Presentation of Prescriptive Business Processes. In S. Nurcan, A. L. Opdahl, H. Mouratidis, & A. Tsohou (Eds.), Research Challenges in Information Science: Information Science and the Connected World. RCIS 2023. Lecture Notes in Business Information Processing