32 citations · 59 across the 7 of their papers we have counts for
7 papers
Hybrid AI for Explainable and Accurate Conversational Agents in eGovernment
Ilias Chalkidis, Vlad Paul Cosma, Søren Debois +6
We present a so-called Conversational Hybrid AI (CHAI) architecture for building explainable and accurate conversational agents for eGovernment. We exemplify the architecture with…
Contract-Backed Digital Cash
Søren Debois, Fritz Henglein, Morten C. Nielsen +2
We characterize digital cash as the digital equivalent of physical cash: secure, fungible, decentralized, directly controlled, privacy-preserving; but enhanced with qualitatively n…
Distributed and Adversarial Resistant Workflow Execution on the Algorand Blockchain
Yibin Xu, Tijs Slaats, Boris Düdder +2
We provide a practical translation from the Dynamic Condition Response (DCR) process modelling language to the Transaction Execution Approval Language (TEAL) used by the Algorand b…
Blockchains for Business Process Management - Challenges and Opportunities
Jan Mendling, Ingo Weber, Wil van der Aalst +29
Blockchain technology promises a sizable potential for executing inter-organizational business processes without requiring a central party serving as a single point of trust (and f…
Type-checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion
Søren Debois, Thomas Hildebrandt, Tijs Slaats +1
We present the first session typing system guaranteeing request-response liveness properties for possibly non-terminating communicating processes. The types augment the branch and…
Bigraphical Refinement
Gian Perrone, Søren Debois, Thomas Hildebrandt
We propose a mechanism for the vertical refinement of bigraphical reactive systems, based upon a mechanism for limiting observations and utilising the underlying categorical struct…