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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

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