Olivia Oanea

	2011
15		Olivia Oanea: Boundedness of adaptive nets is decidable. Inf. Process. Lett. 111(15): 738-743 (2011)
	2010
14		Olivia Oanea, Jan Sürmeli, Karsten Wolf: Service Discovery Using Communication Fingerprints. ICSOC 2010: 612-618
13		Olivia Oanea, Harro Wimmel, Karsten Wolf: New Algorithms for Deciding the Siphon-Trap Property. Petri Nets 2010: 267-286
	2009
12		Olivia Oanea, Karsten Wolf: An efficient necessary condition for compatibility. ZEUS 2009: 81-87
	2008
11		Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve: History-based joins: Semantics, soundness and implementation. Data Knowl. Eng. 64(1): 24-37 (2008)
	2007
10		Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve, Irina A. Lomazova: Checking Properties of Adaptive Workflow Nets. Fundam. Inform. 79(3-4): 347-362 (2007)
9		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): 30-40 (2007)
	2006
8		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: 279-282
7		Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve: History-Based Joins: Semantics, Soundness and Implementation. Business Process Management 2006: 225-240
6		Kees M. van Hee, Olivia Oanea, Natalia Sidorova, Marc Voorhoeve: Verifying Generalized Soundness of Workflow Nets. Ershov Memorial Conference 2006: 235-247
5		Kees M. van Hee, Irina A. Lomazova, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve: Nested Nets for Adaptive Systems. ICATPN 2006: 241-260
4		Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve: Modelling History-Dependent Business Processes. MSVVEIS 2006: 76-85
	2005
3		Kees M. van Hee, Olivia Oanea, Natalia Sidorova: Colored Petri Nets to Verify Extended Event-Driven Process Chains. OTM Conferences (1) 2005: 183-201
	2002
2		Roxana Melinte, Olivia Oanea, Ioana Olga, Ferucio Laurentiu Tiplea: The home marking problem and some related concepts. Promise 2002: 104-115
1		Roxana Melinte, Olivia Oanea, Ioana Olga, Ferucio Laurentiu Tiplea: The Home Marking Problem and Some Related Concepts. Acta Cybern. 15(3): 467-478 (2002)

Coauthor Index

1	Kees M. van Hee	[3] [4] [5] [6] [7] [8] [9] [10] [11]
2	Irina A. Lomazova	[5] [10]
3	Roxana Melinte	[1] [2]
4	Ioana Olga	[1] [2]
5	Reinier Post (R. D. J. Post)	[8]
6	Alexander Serebrenik	[4] [5] [7] [9] [10] [11]
7	Natalia Sidorova	[3] [4] [5] [6] [7] [9] [10] [11]
8	Lou J. Somers	[8]
9	Jan Sürmeli	[14]
10	Ferucio Laurentiu Tiplea	[1] [2]
11	Marc Voorhoeve	[4] [5] [6] [7] [9] [10] [11]
12	Jan Martijn E. M. van der Werf	[8]
13	Harro Wimmel	[13]
14	Karsten Wolf (Karsten Schmidt)	[12] [13] [14]

Colors in the list of coauthors

Last update Tue Feb 14 23:09:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page