The Home Marking Problem and Some Related Concepts. - Roxana Melinte; Olivia Oanea; Ioana Olga; Ferucio Laurentiu Tiplea (Acta Cybern., 2002)

Colored Petri Nets to Verify Extended Event-Driven Process Chains. - Kees M. van Hee; Olivia Oanea; Natalia Sidorova (OTM Conferences (1), 2005)

Yasper: a tool for workflow modeling and analysis. - Kees M. van Hee; Olivia Oanea; Reinier Post; Lou J. Somers; Jan Martijn E. M. van der Werf (ACSD, 2006)

Nested Nets for Adaptive Systems. - Kees M. van Hee; Irina A. Lomazova; Olivia Oanea; Alexander Serebrenik; Natalia Sidorova; Marc Voorhoeve (ICATPN, 2006)

Verifying Generalized Soundness of Workflow Nets. - Kees M. van Hee; Olivia Oanea; Natalia Sidorova; Marc Voorhoeve (Ershov Memorial Conference, 2006)

Modelling History-Dependent Business Processes. - Kees M. van Hee; Olivia Oanea; Alexander Serebrenik; Natalia Sidorova; Marc Voorhoeve (MSVVEIS, 2006)

Checking Properties of Adaptive Workflow Nets. - Kees M. van Hee; Olivia Oanea; Alexander Serebrenik; Natalia Sidorova; Marc Voorhoeve; Irina A. Lomazova (Fundam. Informaticae, 2007)

LogLogics: A logic for history-dependent business processes. - Kees M. van Hee; Olivia Oanea; Alexander Serebrenik; Natalia Sidorova; Marc Voorhoeve (Sci. Comput. Program., 2007)

History-based joins: Semantics, soundness and implementation. - Kees M. van Hee; Olivia Oanea; Alexander Serebrenik; Natalia Sidorova; Marc Voorhoeve (Data Knowl. Eng., 2008)

An efficient necessary condition for compatibility. - Olivia Oanea; Karsten Wolf (ZEUS, 2009)

New Algorithms for Deciding the Siphon-Trap Property. - Olivia Oanea; Harro Wimmel; Karsten Wolf (Petri Nets, 2010)

Service Discovery Using Communication Fingerprints. - Olivia Oanea; Jan Sürmeli; Karsten Wolf (ICSOC, 2010)

Boundedness of adaptive nets is decidable. - Olivia Oanea (Inf. Process. Lett., 2011)