| 2026 | ITiCSE | Agency for Whom and To What Ends: A Plan for Investigating Impacts of Agentic AI in Computing Education. | Janice Mak, Tony Clear, Tingting Zhu, Alison Clear, Oana Andrei, Martin Goodfellow, Asanthika Imbulpitiya, Elizabeth Oladapo, Aadarsh Padiyath, Jos Antonio Pow-Sang, Rebecca Williams |
| 2025 | ITiCSE | Understanding Skill Transfer Between University and Workplace Through Reflective Practice: A Software Engineering Work-Based Learning Experience. | Oana Andrei, Matthew Barr, Syed Waqar Nabi, Alistair Morrison |
| 2025 | ITiCSE | Navigating the Ethical and Societal Impacts of Generative AI in Higher Computing Education. | Janice Mak, Joyce Nakatumba-Nabende, Tony Clear, Alison Clear, Ibrahim Albluwi, Oana Andrei, Lorenzo Angeli, Stephen MacNeil, Solomon Sunday Oyelere, Matthew Hale Rattigan, Judy Sheard, Tingting Zhu |
| 2025 | ITiCSE | A Plan for an ACM Task Force Working Group into the Ethical and Societal Impacts of Generative AI in Higher Computing Education. | Janice Mak, Joyce Nakatumba-Nabende, Alison Clear, Tony Clear, Ismaila Temitayo Sanusi, Judy Sheard, Lorenzo Angeli, Matthew Hale Rattigan, Oana Andrei, Samuel Mann, Solomon Sunday Oyelere, Stephen MacNeil, Tingting Zhu |
| 2025 | SAFECOMP | Rational Verification in Repeated Security Games. | Surasak Phetmanee, Michele Sevegnani, Oana Andrei |
| 2024 | IFM | StEVe: A Rational Verification Tool for Stackelberg Security Games. | Surasak Phetmanee, Michele Sevegnani, Oana Andrei |
| 2024 | SIGCSE | The Development of Students' Professional Competencies on a Work-Based Software Engineering Program. | Matthew Barr, Oana Andrei, Alistair Morrison, Syed Waqar Nabi |
| 2023 | FIE | Widening Access to Higher Education through Degree-level Apprenticeships in Software Engineering. | Matthew Barr, Oana Andrei, Maria Kallia |
| 2023 | ICER | On Students' Experiences with Algorithm Tracing using Pair Programming. | Oana Andrei, Syed Waqar Nabi |
| 2018 | ICMI | Interpreting Models of Social Group Interactions in Meetings with Probabilistic Model Checking. | Oana Andrei, Gabriel Murray |
| 2017 | SEFM | Temporal Analytics for Software Usage Models. | Oana Andrei, Muffy Calder |
| 2016 | IFM | Probabilistic Formal Analysis of App Usage to Inform Redesign. | Oana Andrei, Muffy Calder, Matthew Chalmers, Alistair Morrison, Mattias Rost |
| 2007 | SYNASC | Graph Rewriting and Strategies for Modeling Biochemical Networks. | Oana Andrei, Hlne Kirchner |