Optimized Program Extraction for Induction and Coinduction. - Ulrich Berger 001; Olga Petrovska (CiE, 2018)

Prawf: An Interactive Proof System for Program Extraction. - Ulrich Berger 001; Olga Petrovska; Hideki Tsuiki (CiE, 2020)

Enhanced realizability interpretation for program extraction - Olga Petrovska (2021)

Report on BCTCS 2022. - Olga Petrovska; Monika Seisenberger (Bull. EATCS, 2022)

Generative AI in Software Development Education: Insights from a Degree Apprenticeship Programme. - Olga Petrovska; Lee Clift; Faron Moller (UKICER, 2023)

Incorporating Generative AI into Software Development Education. - Olga Petrovska; Lee Clift; Faron Moller; Rebecca Pearsall (CEP, 2024)

Integrating Socially Responsible Computing Competencies in Computer Science and Software Engineering Education. - Oana Andrei; Syed Waqar Nabi; Matthew Barr; Olga Petrovska (CEP, 2025)

Learning without Limits: Analysing the Usage of Generative AI in a Summative Assessment. - Lee Clift; Olga Petrovska (CEP, 2025)

Assessing Software Engineering Students' Analytical Skills in the Era of Generative AI. - Olga Petrovska; Rebecca Pearsall; Lee Clift (CEP, 2025)

GenAI Integration in Upper-Level Computing Courses. - Dennis J. Bouvier; Bruno Pereira Cipriano; Richard Glassey; Raymond Pettit; Emma Anderson; Anastasiia Birillo; Ryan E. Dougherty; Orit Hazzan; Olga Petrovska; Nuno Pombo; Ebrahim Rahimi; Charanya Ramakrishnan; et al. (ITiCSE (2), 2025)