Fairneß, Randomisierung und Konspiration in verteilten Algorithmen

von Völzer, Hagen
Veröffentlicht 2000

Verifying fault tolerance of distributed algorithms formally : a case study

von Völzer, Hagen
Veröffentlicht 1997

Flexibility in algebraic nets

von Kindler, Ekkart
Veröffentlicht 1997

Verifying intuition - ILF checks DAWN proofs

von Baar, Thomas
Veröffentlicht 1999

Model-Driven Engineering for Multi-party Interactions on a Blockchain – An Example

von Dittmann, Gero
Veröffentlicht in ICSOC (17. : 2019 : Toulouse) Service-oriented computing - ICSOC 2019 workshops (2020)

Faster or-join enactment for BPMN 2.0

von Gfeller, Beat
Veröffentlicht in Business process model and notation (2011)

Business process management : 12th international conference, BPM 2014, Haifa, Israel, September 7-11, 2014 ; proceedings

Veröffentlicht 2014

Special section on BPM 2014

Veröffentlicht 2015

Graph Autoencoders for Business Process Anomaly Detection

von Huo, Siyu
Veröffentlicht in BPM (Veranstaltung : 19. : 2021 : Rom; Online) Business process management (2021)

Supporting Provenance and Data Awareness in Exploratory Process Mining

von Zerbato, Francesca
Veröffentlicht in CAiSE (35. : 2023 : Saragossa) Advanced Information Systems Engineering (2023)