Olga Petrovska
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
2
Active years
2018–2026
Best venue rank
B
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ITiCSE | Towards Improving CS Students' Generative AI Literacy. | Bruno Pereira Cipriano, Olga Petrovska, Nuno Pombo, Lina Battestilli, Laura Farinetti, Richard Glassey, Maria Kasinidou, Olakunle Olayinka, Anshul Shah, Alexander Steinmaurer, Ramalakshmi Vaidhiyanathan, Weichert James |
| 2026 | ITiCSE | Pre-Recorded 'Vivas' for Assessing Code Understanding Amidst AI-Assisted Programming. | Filippos Pantekis, Olga Petrovska |
| 2026 | ITiCSE | Authentic Assessment in Discrete Mathematics: Real-World Modelling Using Logic and Set Theory. | Jack Roberts, Olga Petrovska |
| 2025 | ITiCSE | 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, Alexander Steinmaurer, Shubbhi Taneja, Muhammad Usman, Annapurna Vadaparty, Govindha Ramaiah Yeluripati |
| 2025 | ITiCSE | The Rest of the Robots: Generative AI in Post-introductory Computing Education. | 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 |
| 2020 | CiE | Prawf: An Interactive Proof System for Program Extraction. | Ulrich Berger, Olga Petrovska, Hideki Tsuiki |
| 2018 | CiE | Optimized Program Extraction for Induction and Coinduction. | Ulrich Berger, Olga Petrovska |