: Some Thoughts on Behavioral Programming.
: The Changing Nature of Work: From Structured to Unstructured, from Controlled to Social.
: Better Algorithms for Analyzing and Enacting Declarative Workflow Languages Using LTL.
: Compliance by Design for Artifact-Centric Business Processes.
: A-Posteriori Detection of Sensor Infrastructure Errors in Correlated Sensor Data and Business Workflows.