2008 |
11 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Kees M. van Hee,
Olivia Oanea,
Natalia Sidorova,
Marc Voorhoeve:
Verifying Generalized Soundness of Workflow Nets.
Ershov Memorial Conference 2006: 235-247 |
5 | EE | 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 | EE | 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 | EE | Roxana Melinte,
Olivia Oanea,
Ioana Olga,
Ferucio Laurentiu Tiplea:
The Home Marking Problem and Some Related Concepts.
Acta Cybern. 15(3): 467-478 (2002) |