Arthur H. M. ter Hofstede

Available identifiers

zbMath Open ter-hofstede.arthur-h-mDBLPh/AHMterHofstedeWikidataQ16195587 ScholiaQ16195587MaRDI QIDQ973033

List of research outcomes

Publication	Date of Publication	Type
Revising history for cost-informed process improvement	2016-11-10	Paper
Untanglings: a novel approach to analyzing concurrent systems	2016-01-06	Paper
The 4C Spectrum of Fundamental Behavioral Relations for Concurrent Systems	2014-07-08	Paper
Soundness of workflow nets: classification, decidability, and analysis	2011-05-30	Paper
Preserving correctness during business process model configuration	2010-05-28	Paper
Reduction rules for reset/inhibitor nets	2010-02-12	Paper
Soundness of Workflow Nets with Reset Arcs	2009-12-09	Paper
Soundness-preserving reduction rules for reset workflow nets	2009-03-24	Paper
Specification and execution of composite trading activities	2008-01-14	Paper
Formal semantics and analysis of control flow in WS-BPEL	2007-07-23	Paper
Applications and Theory of Petri Nets 2005	2005-12-14	Paper
Probabilistic automated bidding in multiple auctions	2005-11-16	Paper
Fundamentals of control flow in workflows	2004-03-11	Paper
https://portal.mardi4nfdi.de/entity/Q4435847	2003-11-20	Paper
https://portal.mardi4nfdi.de/entity/Q4794443	2003-02-17	Paper
A reflective infrastructure for workflow adaptability	2000-08-21	Paper
Verification of workflow task structures: A Petri-net-based approach	2000-06-05	Paper
On the Complexity of Some Verification Problems in Process Control Specifications	2000-04-10	Paper
https://portal.mardi4nfdi.de/entity/Q4250724	2000-03-29	Paper
Applications of a categorical framework for conceptual data modeling	1998-08-10	Paper
Formalization of communication and behaviour in object-oriented analysis	1998-07-22	Paper
Exploiting fact verbalisation in conceptual information modelling	1998-06-01	Paper
On the feasibility of situational method engineering	1998-06-01	Paper
A category theory approach to conceptual data modeling	1996-08-06	Paper
Expressiveness in conceptual data modelling	1993-05-16	Paper
Uniquest: Determining the Semantics of Complex Uniqueness Constraints	1993-01-16	Paper

Research outcomes over time

This page was built for person: Arthur H. M. ter Hofstede