Olivia Oanea

Publication Activity (10 Years)

Years Active: 2002-2011
Publications (10 Years): 0

Publications

Olivia Oanea
Boundedness of adaptive nets is decidable. Inf. Process. Lett. 111 (15) (2011)
Olivia Oanea, Harro Wimmel, Karsten Wolf
New Algorithms for Deciding the Siphon-Trap Property. Petri Nets (2010)
Olivia Oanea, Jan Sürmeli, Karsten Wolf
Service Discovery Using Communication Fingerprints. ICSOC (2010)
Olivia Oanea, Karsten Wolf
An efficient necessary condition for compatibility. ZEUS (2009)
Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve
History-based joins: Semantics, soundness and implementation. Data Knowl. Eng. 64 (1) (2008)
Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve, Irina A. Lomazova
Checking Properties of Adaptive Workflow Nets. Fundam. Informaticae 79 (3-4) (2007)
Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve
LogLogics: A logic for history-dependent business processes. Sci. Comput. Program. 65 (1) (2007)
Kees M. van Hee, Olivia Oanea, Natalia Sidorova, Marc Voorhoeve
Verifying Generalized Soundness of Workflow Nets. Ershov Memorial Conference (2006)
Kees M. van Hee, Irina A. Lomazova, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve
Nested Nets for Adaptive Systems. ICATPN (2006)
Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve
Modelling History-Dependent Business Processes. MSVVEIS (2006)
Kees M. van Hee, Olivia Oanea, Reinier Post, Lou J. Somers, Jan Martijn E. M. van der Werf
Yasper: a tool for workflow modeling and analysis. ACSD (2006)
Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve
History-Based Joins: Semantics, Soundness and Implementation. Business Process Management (2006)
Kees M. van Hee, Olivia Oanea, Natalia Sidorova
Colored Petri Nets to Verify Extended Event-Driven Process Chains. OTM Conferences (1) (2005)
Roxana Melinte, Olivia Oanea, Ioana Olga, Ferucio Laurentiu Tiplea
The home marking problem and some related concepts. Promise (2002)
Roxana Melinte, Olivia Oanea, Ioana Olga, Ferucio Laurentiu Tiplea
The Home Marking Problem and Some Related Concepts. Acta Cybern. 15 (3) (2002)