Olivia Oanea

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