Olivia Oanea

According to our database, Olivia Oanea authored at least 13 papers between 2002 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2011

Boundedness of adaptive nets is decidable.

Olivia Oanea

Inf. Process. Lett., 2011

2010

Service Discovery Using Communication Fingerprints.

Olivia Oanea, Jan Sürmeli, Karsten Wolf

Proceedings of the Service-Oriented Computing - 8th International Conference, 2010

New Algorithms for Deciding the Siphon-Trap Property.

Olivia Oanea, Harro Wimmel, Karsten Wolf

Proceedings of the Applications and Theory of Petri Nets, 2010

2009

An efficient necessary condition for compatibility.

Olivia Oanea, Karsten Wolf

Proceedings of the 1st Central-European Workshop on Services and their Composition, 2009

2008

History-based joins: Semantics, soundness and implementation.

Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve

Data Knowl. Eng., 2008

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

Checking Properties of Adaptive Workflow Nets.

Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve, Irina A. Lomazova

Fundam. Informaticae, 2007

2006

Modelling History-Dependent Business Processes.

Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve

Proceedings of the Modelling, 2006

Verifying Generalized Soundness of Workflow Nets.

Kees M. van Hee, Olivia Oanea, Natalia Sidorova, Marc Voorhoeve

Proceedings of the Perspectives of Systems Informatics, 2006

Nested Nets for Adaptive Systems.

Kees M. van Hee, Irina A. Lomazova, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve

Proceedings of the Petri Nets and Other Models of Concurrency, 2006

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

Proceedings of the Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), 2006

2005

Colored Petri Nets to Verify Extended Event-Driven Process Chains.

Kees M. van Hee, Olivia Oanea, Natalia Sidorova

Proceedings of the On the Move to Meaningful Internet Systems 2005: CoopIS, 2005

2002

The Home Marking Problem and Some Related Concepts.

Roxana Melinte, Olivia Oanea, Ioana Olga, Ferucio Laurentiu Tiplea

Acta Cybern., 2002