dblp.uni-trier.dewww.uni-trier.de

Olivia Oanea

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
11EEKees 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
10EEKees 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)
9EEKees 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
8EEKees 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
7EEKees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve: History-Based Joins: Semantics, Soundness and Implementation. Business Process Management 2006: 225-240
6EEKees M. van Hee, Olivia Oanea, Natalia Sidorova, Marc Voorhoeve: Verifying Generalized Soundness of Workflow Nets. Ershov Memorial Conference 2006: 235-247
5EEKees 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
3EEKees 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
1EERoxana 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

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)