Author

Olivia Oanea

Observed names: O. Oanea, OI Olivia Oanea, Oanea, O.I., Oanea, OI (Olivia)

Observed institutions: Alexandru Ioan Cuza University, University of Rostock, Eindhoven University of Technology

OpenAlex ID: A5015310941

2006 · Kees M. van Hee, Irina A. Lomazova, et al. · Lecture notes in computer science · 48

Yasper: a tool for workflow modeling and analysis

2006 · K. van Hee, O. Oanea, et al. · International Conference on Application of Concurrency to System Design (ACSD) · 41

Colored Petri Nets to Verify Extended Event-Driven Process Chains

2005 · Kees van Hee, Olivia Oanea, et al. · Lecture notes in computer science · 28

New Algorithms for Deciding the Siphon-Trap Property

2010 · Olivia Oanea, Harro Wimmel, et al. · Lecture notes in computer science · 22

Checking Properties of Adaptive Workflow Nets

2007 · Kees van Hee, Olivia Oanea, et al. · Fundamenta Informaticae · 18

Verifying Generalized Soundness of Workflow Nets

2007 · Kees van Hee, Olivia Oanea, et al. · Lecture notes in computer science · 17

History-based joins: Semantics, soundness and implementation

2007 · Kees van Hee, Olivia Oanea, et al. · Data & Knowledge Engineering · 11

History-Based Joins: Semantics, Soundness and Implementation

2006 · Kees van Hee, Olivia Oanea, et al. · Lecture notes in computer science · 11

LogLogics: A logic for history-dependent business processes

2006 · Kees van Hee, Olivia Oanea, et al. · Science of Computer Programming · 8

Modelling History-Dependent Business Processes

2006 · Kees van Hee, Olivia Oanea, et al. · International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems (MSVVEIS) · 6

The home marking problem and some related concepts

2002 · Roxana Melinte, Olivia Oanea, et al. · 4

Service Discovery Using Communication Fingerprints

2010 · Olivia Oanea, Jan Sürmeli, et al. · Lecture notes in computer science · 3

An efficient necessary condition for compatibility.

2009 · Olivia Oanea, Karsten Wolf · 3

Verification of soundness and other properties of business processes

2007 · Oanea, OI (Olivia) · TU/e Research Portal · 3

PDF

Checking properties of adaptive workflow nets

2006 · K.M. van Hee, OI Olivia Oanea, et al. · IEEE Concurrency · 3

Verifying generalized soundness for workflow nets

2006 · K.M. van Hee, Olivia Oanea, et al. · Computer science reports · 1

Boundedness of adaptive nets is decidable

2011 · Olivia Oanea · Information Processing Letters

Nested Nets for Adaptive Systems

2008 · Kees Van Hee, Irina A. Lomazova, et al.

Modelling and Verification of Business Processes (MoveBP)

2003 · K.M. van Hee, Jaap Boender, et al.

Works count: 26

Citation count: 227

H-index: 8

I10-index: 8