Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="ter Hofstede, A.H.M."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Reduction rules for reset/inhibitor nets
H.M.W. Verbeek
,
M.T. Wynn
,
W.M.P. van der Aalst
,
A.H.M. ter Hofstede
Journal of Computer and System Sciences
76
(2), 2010, pp. 125-143
Achieving a general, formal and decidable approach to the OR-join in workflow using reset nets
Moe Thandar Wynn
,
David Edmond
,
W.M.P. van der Aalst
,
A.H.M. ter Hofstede
Lecture Notes in Computer Science
3536
, 2005, pp. 423-443
Fundamentals of control flow in workflows
B. Kiepuszewski
,
A.H.M. ter Hofstede
,
W.M.P. van der Aalst
Acta Informatica
39
(3), 2003, pp. 143-209
Applications of a categorical framework for conceptual data modeling
A.H.M. ter Hofstede
,
E. Lippe
,
Th.P. van der Weide
Acta Informatica
34
(12), 1997, pp. 927-963