Executable Specifications of P Systems. - Oana Andrei; Gabriel Ciobanu; Dorel Lucanu (Workshop on Membrane Computing, 2004)

Structural Operational Semantics of P Systems. - Oana Andrei; Gabriel Ciobanu; Dorel Lucanu (Workshop on Membrane Computing, 2005)

Operational Semantics and Rewriting Logic in Membrane Computing. - Oana Andrei; Dorel Lucanu; Gabriel Ciobanu (SOS@ICALP, 2005)

Non-intrusive Formal Methods and Strategic Rewriting for a Chemical Application. - Oana Andrei; Liliana Ibanescu; Hélène Kirchner (Essays Dedicated to Joseph A. Goguen, 2006)

Expressing Control Mechanisms of Membranes by Rewriting Strategies. - Oana Andrei; Gabriel Ciobanu; Dorel Lucanu (Workshop on Membrane Computing, 2006)

Graph Rewriting and Strategies for Modeling Biochemical Networks. - Oana Andrei; Hélène Kirchner (SYNASC, 2007)

A Rewriting Calculus for Multigraphs with Ports. - Oana Andrei; Hélène Kirchner (RULE@RDP, 2007)

A rewriting logic framework for operational semantics of membrane systems. - Oana Andrei; Gabriel Ciobanu; Dorel Lucanu (Theor. Comput. Sci., 2007)

Strategy-Based Proof Calculus for Membrane Systems. - Oana Andrei; Dorel Lucanu (WRLA, 2008)

Patterns for Maude Metalanguage Applications. - Eugen-Ioan Goriac; Georgiana Caltais; Dorel Lucanu; Oana Andrei; Gheorghe Grigoras (WRLA, 2008)

A Rewriting Calculus for Graphs: Applications to Biology and Autonomous Systems. (Un calcul de réécriture de graphes : applications à la biologie et aux systèmes autonomes). - Oana Andrei (2008)

A Higher-Order Graph Calculus for Autonomic Computing. - Oana Andrei; Hélène Kirchner (Graph Theory, Computational Intelligence and Thought, 2009)

A Port Graph Calculus for Autonomic Computing and Invariant Verification. - Oana Andrei; Hélène Kirchner (TERMGRAPH@ETAPS, 2009)

From species to pathway and tissue as process. - Muffy Calder; Oana Andrei; Andrea Degasperi; Robin Donaldson (CMSB, 2010)

A Model and Analysis of the AKAP Scaffold. - Oana Andrei; Muffy Calder (CS2Bio, 2010)

PORGY: Strategy-Driven Interactive Transformation of Graphs - Oana Andrei; Maribel Fernández; Hélène Kirchner; Guy Melançon; Olivier Namet; Bruno Pinaud (TERMGRAPH, 2011)

Runtime Verification for Biochemical Programs. - Oana Andrei; Hélène Kirchner (Hybrid Autonomous Systems@ETAPS, 2011)

Trend-Based Analysis of a Population Model of the AKAP Scaffold Protein. - Oana Andrei; Muffy Calder (Trans. Comp. Sys. Biology, 2012)

Probabilistic Model Checking of DTMC Models of User Activity Patterns. - Oana Andrei; Muffy Calder; Matthew Higgs; Mark A. Girolami (QEST, 2014)

Probabilistic Formal Analysis of App Usage to Inform Redesign. - Oana Andrei; Muffy Calder; Matthew Chalmers; Alistair Morrison; Mattias Rost (IFM, 2016)

PORGY : a Visual Analytics Platform for System Modelling and Analysis Based on Graph Rewriting. - Bruno Pinaud; Oana Andrei; Maribel Fernández; Hélène Kirchner; Guy Melançon; Jason Vallet (EGC, 2017)

Temporal Analytics for Software Usage Models. - Oana Andrei; Muffy Calder (SEFM Workshops, 2017)

Interpreting Models of Social Group Interactions in Meetings with Probabilistic Model Checking. - Oana Andrei; Gabriel Murray (GIFT@ICMI, 2018)

Data-driven modelling and probabilistic analysis of interactive software usage. - Oana Andrei; Muffy Calder (J. Log. Algebraic Methods Program., 2018)

Balancing Turn-Based Games With Chained Strategy Generation. - William Kavanagh; Alice Miller 001; Gethin Norman; Oana Andrei (IEEE Trans. Games, 2021)

A Practice Enquiry Design to Investigate How Pair Programming Can Help with Constructing Automata. - Oana Andrei (UKICER, 2022)

Widening Access to Higher Education through Degree-level Apprenticeships in Software Engineering. - Matthew Barr; Oana Andrei; Maria Kallia (FIE, 2023)

On Students' Experiences with Algorithm Tracing using Pair Programming. - Oana Andrei; Syed Waqar Nabi (ICER (2), 2023)

Probabilistic Formal Modelling to Uncover and Interpret Interaction Styles. - Oana Andrei; Muffy Calder; Matthew Chalmers; Alistair Morrison (CoRR, 2023)

StEVe: A Rational Verification Tool for Stackelberg Security Games. - Surasak Phetmanee; Michele Sevegnani; Oana Andrei (IFM, 2024)

The Development of Students' Professional Competencies on a Work-Based Software Engineering Program. - Matthew Barr; Oana Andrei; Alistair Morrison; Syed Waqar Nabi (SIGCSE (1), 2024)

LLM-aided Pair Programming for Algorithm Tracing. - Oana Andrei; Zoltan Sojtory (UKICER, 2024)

Alk: A Formal-Methods-based Educational Platform for Enhancing Algorithmic Thinking. - Alexandru-Ioan Lungu; Vlad Teodorescu; Andrei Zaborila; Oana Andrei; Dorel Lucanu (Sci. Ann. Comput. Sci., 2024)

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

The Development of Reflective Practice on a Work-Based Software Engineering Program: A Longitudinal Study. - Matthew Barr; Syed Waqar Nabi; Oana Andrei (CSEE&T, 2025)

Assessing Work-Based Learning in the Senior Years of a Software Engineering Graduate Apprenticeship Program. - Syed Waqar Nabi; Oana Andrei; Matthew Barr; Quintin I. Cutts; Joseph Maguire 001; Alistair Morrison; Jack Parkinson; Derek Somerville; Tim Storer (CSEE&T, 2025)

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 (ITiCSE (1), 2025)

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; et al. (ITiCSE (2), 2025)

Rational Verification in Repeated Security Games. - Surasak Phetmanee; Michele Sevegnani; Oana Andrei (SAFECOMP (Workshops), 2025)