Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Diagnostic Information for Control-Flow Analysis of Workflow Graphs (a.k.a. Free-Choice Workflow Nets).

C. Favre, H. Völzer, und P. Müller. TACAS, Volume 9636 von Lecture Notes in Computer Science, Seite 463-479. Springer, (2016)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Cedric Riethmüller University of Stuttgart

Robust and Efficient Preconditioners for Stokes-Darcy ProblemsP. Strohbeck, C. Riethmüller, D. Göddeke, und I. Rybak. Finite Volumes for Complex Applications X, Volume 1 : Elliptic and Parabolic Problems von Springer Proceedings in Mathematics & Statistics, Seite 375-383. Cham, Springer, (2023)

Cedric Holeczek University of Stuttgart

Lessons Learned and First Results of the E-Band CubeSat EIVEM. Koller, L. Bötsch-Zavřel, M. Eggert, M. Fugmann, C. Holeczek, M. Kranz, M. Lengowski, T. Löffler, L. Loidold, P. Maier und 17 andere Autor(en). Preprint, (2023)

Cedric Meyer University of Stuttgart

Cedric Beschle University of Stuttgart

Weitere Publikationen von Autoren mit dem selben Namen

Analysis on demand: Instantaneous soundness checking of industrial business process models.D. Fahland, C. Favre, J. Koehler, N. Lohmann, H. Völzer, und K. Wolf. Data Knowl. Eng., 70 (5): 448-466 (2011)Supporting different process views through a Shared Process Model.J. Küster, H. Völzer, C. Favre, M. Branco, und K. Czarnecki. Software and Systems Modeling, 15 (4): 1207-1233 (2016)Instantaneous Soundness Checking of Industrial Business Process Models.D. Fahland, C. Favre, B. Jobstmann, J. Koehler, N. Lohmann, H. Völzer, und K. Wolf. BPM, Volume 5701 von Lecture Notes in Computer Science, Seite 278-293. Springer, (2009)Supporting Different Process Views through a Shared Process Model.J. Küster, H. Völzer, C. Favre, M. Branco, und K. Czarnecki. ECMFA, Volume 7949 von Lecture Notes in Computer Science, Seite 20-36. Springer, (2013)Diagnostic Information for Control-Flow Analysis of Workflow Graphs (a.k.a. Free-Choice Workflow Nets).C. Favre, H. Völzer, und P. Müller. TACAS, Volume 9636 von Lecture Notes in Computer Science, Seite 463-479. Springer, (2016)The relationship between workflow graphs and free-choice workflow nets.C. Favre, D. Fahland, und H. Völzer. Inf. Syst., (2015)Faster and Better Business Process Modeling with the IBM Pattern-based Process Model Accelerators.C. Favre, T. Gschwind, J. Koehler, W. Kleinöder, A. Maystrenko, K. Muhidini, H. Völzer, und J. Wong. BPM (Demos), Volume 489 von CEUR Workshop Proceedings, CEUR-WS.org, (2009)Symbolic Execution of Acyclic Workflow Graphs.C. Favre, und H. Völzer. BPM, Volume 6336 von Lecture Notes in Computer Science, Seite 260-275. Springer, (2010)An efficient approach to detect lack of synchronization in acyclic workflow graphs.C. Favre. ZEUS, Volume 563 von CEUR Workshop Proceedings, Seite 57-64. CEUR-WS.org, (2010)The Shared Process Model.C. Favre, J. Küster, und H. Völzer. BPM (Demos), Volume 940 von CEUR Workshop Proceedings, Seite 12-16. CEUR-WS.org, (2012)