Runtime verification for business processes utilizing the Bitcoin blockchain[J] FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE 2020(107) Prybila, Christoph Schulte, Stefan Hochreiner, Christoph Weber, Ingo
Dextt: Deterministic Cross-Blockchain Token Transfers[J] IEEE ACCESS 2019(7) Borkowski, Michael Sigwart, Marten Frauenthaler, Philipp Hukkinen, Taneli Schulte, Stefan
Decentralized cross-blockchain asset transfers with transfer confirmation[J] CLUSTER COMPUTING-THE JOURNAL OF NETWORKS SOFTWARE TOOLS AND APPLICATIONS Sober, Michael Sigwart, Marten Frauenthaler, Philipp Spanring, Christof Kobelt, Max Schulte, Stefan
A secure and extensible blockchain-based data provenance framework for the Internet of Things[J] PERSONAL AND UBIQUITOUS COMPUTING 2020 Sigwart, Marten Borkowski, Michael Peise, Marco Schulte, Stefan Tai, Stefan
