Olivia Oanea und Zitiert - Info zur Person

(1 - 11 von 18

)

The complexity of soundness in workflow netsarXiv

arxiv.org

von M Blondin · · Zitiert von: 1 — van Hee, Olivia Oanea, Natalia Sidorova, and Marc Voorho- eve. Verifying generalized soundness of workflow nets. In Proc. 6th. International ... › pdf

An Algorithmic Framework for Checking Coverability in ...Uni Oldenburg

uol.de

von T Strazny · Zitiert von: 2 — [OWW10] Olivia Oanea, Harro Wimmel, and Karsten Wolf. New algo- rithms for deciding the siphon-trap property. In Johan Lilius. › strazny-phdthesis-roterbericht

Automatic Decomposition of Petri Nets into Automata NetworksInria

cadp.inria.fr

von P Bouvier · Zitiert von: 14 — [18] Stephan Mennicke, Olivia Oanea, and Karsten Wolf. Decomposition into open nets. In Thomas Freytag and Andreas Eckleder, editors, Algorithmen. › ftp › publications › cadp

Automatic Decomposition of Petri Nets into Automata Networks

www.unibw.de

von P Bouvier · Zitiert von: 11 — [18] Stephan Mennicke, Olivia Oanea, and Karsten Wolf. Decomposition into open nets. In Thomas Freytag and Andreas Eckleder, editors, Algorithmen. › patch › papers › petrinets20

History-based joins: Semantics, soundness and ...ScienceDirect

www.sciencedirect.com

von K van Hee · · Zitiert von: 7 — Olivia Oanea is a Ph.D. student at the Architecture of Information Systems group of Eindhoven University of Technology. She received her M.Sc. in computer ... › pii

LogLogics: A logic for history-dependent business ...CORE

core.ac.uk

von K van Hee · · Zitiert von: 6 — Kees van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova∗, Marc Voorhoeve. Eindhoven University of Technology, Department of Mathematics and ... › download › pdf

History-Based Joins: Semantics, Soundness and ...springer.com

link.springer.com

von K van Hee · · Zitiert von: 16 — History-Based Joins: Semantics, Soundness and Implementation. Kees van Hee,; Olivia Oanea,; Alexander Serebrenik,; Natalia Sidorova & … Marc Voorhoeve. von O Oanea · · Zitiert von: 6 — Olivia Oanea,; Jan Sürmeli &; Karsten Wolf. Conference paper Accesses. 3 Citations. Part of the Lecture Notes in Computer Science book series (LNPSE ... › chapter

Automatic Decomposition of Petri Nets into Automata Networksinrialpes.frftp.inrialpes.fr › pub › vasy › publications › cadp

ftp

von P Bouvier · Zitiert von: 14 — [18] Stephan Mennicke, Olivia Oanea, and Karsten Wolf. Decomposition into. open nets. In Thomas Freytag and Andreas Eckleder, editors, Algorithmen. › pub › vasy › publications › cadp

Karsten Wolf
Nick Russell

Personen
Vorname "Olivia" (5584)
Name "Oanea" (3)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Olivia Oanea und Zitiert Person-Info

The complexity of soundness in workflow netsarXiv

An Algorithmic Framework for Checking Coverability in ...Uni Oldenburg

Automatic Decomposition of Petri Nets into Automata NetworksInria

Automatic Decomposition of Petri Nets into Automata Networks

History-based joins: Semantics, soundness and ...ScienceDirect

LogLogics: A logic for history-dependent business ...CORE

History-Based Joins: Semantics, Soundness and ...springer.com

Automatic Decomposition of Petri Nets into Automata Networksinrialpes.frftp.inrialpes.fr › pub › vasy › publications › cadp

Process ecosystem views to managing changes in business ...University of Wollongong

Yasper: a tool for workflow modeling and analysisIEEE Computer Society

THE APPLICATION OF PETRI NETS TO WORKFLOW ...

Alle Infos zum Namen "Olivia Oanea"