| Publication | Date of Publication | Type |
|---|
Revising history for cost-informed process improvement
Computing | 2016-11-10 | Paper |
Untanglings: a novel approach to analyzing concurrent systems
Formal Aspects of Computing | 2016-01-06 | Paper |
The 4C Spectrum of Fundamental Behavioral Relations for Concurrent Systems
Application and Theory of Petri Nets and Concurrency | 2014-07-08 | Paper |
Soundness of workflow nets: classification, decidability, and analysis
Formal Aspects of Computing | 2011-05-30 | Paper |
Preserving correctness during business process model configuration
Formal Aspects of Computing | 2010-05-28 | Paper |
Reduction rules for reset/inhibitor nets
Journal of Computer and System Sciences | 2010-02-12 | Paper |
Soundness of workflow nets with reset ARCS
Transactions on Petri Nets and Other Models of Concurrency III | 2009-12-09 | Paper |
Soundness-preserving reduction rules for reset workflow nets
Information Sciences | 2009-03-24 | Paper |
Specification and execution of composite trading activities
Electronic Commerce Research | 2008-01-14 | Paper |
Formal semantics and analysis of control flow in WS-BPEL
Science of Computer Programming | 2007-07-23 | Paper |
Applications and Theory of Petri Nets 2005
Lecture Notes in Computer Science | 2005-12-14 | Paper |
Probabilistic automated bidding in multiple auctions
Electronic Commerce Research | 2005-11-16 | Paper |
Fundamentals of control flow in workflows
Acta Informatica | 2004-03-11 | Paper |
| scientific article; zbMATH DE number 2006480 (Why is no real title available?) | 2003-11-20 | Paper |
scientific article; zbMATH DE number 1869814 (Why is no real title available?)
Distributed and Parallel Databases | 2003-02-17 | Paper |
A reflective infrastructure for workflow adaptability
Data & Knowledge Engineering | 2000-08-21 | Paper |
Verification of workflow task structures: A Petri-net-based approach
Information Systems | 2000-06-05 | Paper |
On the Complexity of Some Verification Problems in Process Control Specifications
The Computer Journal | 2000-04-10 | Paper |
| scientific article; zbMATH DE number 1304043 (Why is no real title available?) | 2000-03-29 | Paper |
Applications of a categorical framework for conceptual data modeling
Acta Informatica | 1998-08-10 | Paper |
Formalization of communication and behaviour in object-oriented analysis
Data & Knowledge Engineering | 1998-07-22 | Paper |
Exploiting fact verbalisation in conceptual information modelling
Information Systems | 1998-06-01 | Paper |
On the feasibility of situational method engineering
Information Systems | 1998-06-01 | Paper |
A category theory approach to conceptual data modeling
RAIRO - Theoretical Informatics and Applications | 1996-08-06 | Paper |
A category theory approach to conceptual data modeling
RAIRO - Theoretical Informatics and Applications | 1996-08-06 | Paper |
Expressiveness in conceptual data modelling
Data & Knowledge Engineering | 1993-05-16 | Paper |
Uniquest: Determining the Semantics of Complex Uniqueness Constraints
The Computer Journal | 1993-01-16 | Paper |
