KNAW
Narcis
Terug naar zoekresultaat
Persoon
Dr. O.I. Oanea
Pagina-navigatie:
Overzicht
Afgesloten onderzoek (1)
Publicaties (11)
verfijn resultaat
Type
Artikel (3)
Rapport (2)
Proefschrift (1)
Datum
2008 (1)
2007 (4)
2006 (6)
Toegankelijkheid
Closed Access (8)
Open Access (3)
Instelling
Technische Universiteit Eindhoven (11)
1-10
van
11
resultaten
op:
datum
Bewaar zoekresultaat
Bekijk RSS feed
Widget
Toevoegen aan favorieten
History-based joins : semantics, soundness and implementation (2008)
Auteurs:
Hee, van KM (Kees); Oanea, OI (Olivia); Serebrenik, A (Alexander); Sidorova, N (Natalia); Voorhoeve, M (Marc)
In:
Data & Knowledge Engineering
, 64
(1), 24. ISSN 0169-023x.
Verification of soundness and other properties of business processes (2007)
Open access
Auteur:
Oanea, OI (Olivia)
Checking properties of adaptive workflow nets (2007)
Auteurs:
Hee, van KM (Kees); Oanea, OI (Olivia); Serebrenik, A (Alexander); Sidorova, N (Natalia); Voorhoeve, M (Marc); Lomazova, IA (Irina)
In:
Fundamenta Informaticae
, 79
(3-4), 347. ISSN 0169-2968.
LogLogics : a logic for history-dependent business processes (2007)
Auteurs:
Hee, van KM (Kees); Oanea, OI (Olivia); Serebrenik, A (Alexander); Sidorova, N (Natalia); Voorhoeve, M (Marc)
In:
Science of Computer Programming
, 65
(1), 30. ISSN 0167-6423.
Verifying generalized soundness for workflow nets (2007)
Auteurs:
Hee, van KM (Kees); Oanea, OI (Olivia); Sidorova, N (Natalia); Voorhoeve, M (Marc)
Nested nets for adaptive systems (2006)
Open access
Auteurs:
Hee, van KM (Kees); Lomazova, IA (Irina); Oanea, OI (Olivia)
Verifying generalized soundness for workflow nets (2006)
Open access
Auteurs:
Hee, van KM (Kees); Oanea, OI (Olivia); Sidorova, N (Natalia)
Yasper : a tool for workflow modeling and analysis (2006)
Auteurs:
Hee, van KM (Kees); Oanea, OI (Olivia); Post, RDJ (Reinier); Somers, LJAM (Lou); Werf, van der JMEM (Jan Martijn)
Checking properties of adaptive workflow nets (2006)
Auteurs:
Hee, van KM (Kees); Oanea, OI (Olivia); Serebrenik, A (Alexander); Sidorova, N (Natalia); Voorhoeve, M (Marc)
Nested nets for adaptive systems (2006)
Auteurs:
Hee, van KM (Kees); Lomazova, IA (Irina); Oanea, OI (Olivia); Serebrenik, A (Alexander); Sidorova, N (Natalia); Voorhoeve, M (Marc)
Pagina's:
vorige
<
1
2
>
volgende
Website Navigatie:
Home
over narcis
English
Omhoog
Ga terug naar de inhoud
Ga terug naar de site navigatie