Olivia Oanea - RankMe

15 papers A 2B 1Journal 5Unranked 7

Year	Rank	Type	Title / 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