- Business Process Technology: A Unified View On Business Processes, Workflows And Enterprise Applications
- Form-Oriented Analysis: A New Methodology to Model Form-Based Applications
- Semantics of the Probabilistic Typed Lambda Calculus: Markov Chain Semantics, Termination Behavior, and Denotational Semantics
- Form-Oriented Analysis
- Software Engineering Tools: Trends of Software Engineering Tools and Platforms