Olga Petrovska

13 papers C 2Journal 1Unranked 9

Year	Rank	Type	Title / Venue / Authors
2026	—	`conf`	Propaganda or Exposure? A Video-Based Group Assessment Exploring Ethics in a Fictional Technological Society. CEP Olga Petrovska, Casey Hopkins
2025	—	`conf`	Assessing Software Engineering Students' Analytical Skills in the Era of Generative AI. CEP Olga Petrovska, Rebecca Pearsall, Lee Clift
2025	—	`conf`	GenAI Integration in Upper-Level Computing Courses. ITiCSE (2) 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, Alexander Steinmaurer, Shubbhi Taneja, Muhammad Usman, Annapurna Vadaparty, Govindha Ramaiah Yeluripati
2025	—	`conf`	Integrating Socially Responsible Computing Competencies in Computer Science and Software Engineering Education. CEP Oana Andrei, Syed Waqar Nabi, Matthew Barr, Olga Petrovska
2025	—	`conf`	Learning without Limits: Analysing the Usage of Generative AI in a Summative Assessment. CEP Lee Clift, Olga Petrovska
2025	—	`conf`	The Rest of the Robots: Generative AI in Post-introductory Computing Education. ITiCSE-WGR Dennis J. Bouvier, Bruno Pereira Cipriano, Richard Glassey, Olga Petrovska, Emma Anderson, Anastasiia Birillo, Ryan E. Dougherty, Raymond Pettit, Nuno Pombo, Ebrahim Rahimi, Charanya Ramakrishnan, Alexander Steinmaurer, Shubbhi Taneja, Muhammad Usman, Annapurna Vadaparty
2025	—	`conf`	Video in Assessments for Soft Skill Development and Evaluation. UKICER Olga Petrovska, Lee Clift, Filippos Pantekis
2024	—	`conf`	Incorporating Generative AI into Software Development Education. CEP Olga Petrovska, Lee Clift, Faron Moller, Rebecca Pearsall
2023	—	`conf`	Generative AI in Software Development Education: Insights from a Degree Apprenticeship Programme. UKICER Olga Petrovska, Lee Clift, Faron Moller
2022	J	`jnl`	Report on BCTCS 2022. Bull. EATCS Olga Petrovska, Monika Seisenberger
2021	—	`—`	Enhanced realizability interpretation for program extraction Olga Petrovska
2020	C	`conf`	Prawf: An Interactive Proof System for Program Extraction. CiE Ulrich Berger, Olga Petrovska, Hideki Tsuiki
2018	C	`conf`	Optimized Program Extraction for Induction and Coinduction. CiE Ulrich Berger, Olga Petrovska