SZodixStudyAcademic Library

Dashboard Shelves Open access My library Inbox Notes Write Learn Alerts

More

Ask your library Notifications Quick cite Review

Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated

Michael Westergaard · Study

Home/Author

Michael Westergaard

12 works· latest 2014· 2 institutionscluster: provisional

h-index12

i1012

Citations1,796

Works here12

11

12

13

14

Most cited in this library

Process Mining Manifesto2012 · 1,209 citations
Monitoring Business Constraints with Linear Temporal Logic: An Approach Based on Colored Automata2011 · 233 citations
Runtime Verification of LTL-Based Declarative Process Models2012 · 98 citations
Declare : a tool suite for declarative workflow modeling and enactment2011 · 46 citations
Mixing Paradigms for More Comprehensible Models2013 · 40 citations

Works

12 shown

Using Timed Automata for a Priori Warnings and Planning for Timed Declarative Process Models

International Journal of Cooperative Information Systems·2014·2 authors

19citations

Mixing Paradigms for More Comprehensible Models

Lecture notes in computer science·2013·2 authors·other·Open access

40citations

UnconstrainedMiner: Efficient Discovery of Generalized Declarative Process Models

TU/e Research Portal·2013·3 authors·report·Open access

30citations

Looking into the future : using timed automata to provide a priori advice about timed declarative process models

TU/e Research Portal·2013·2 authors

26citations

CPN Tools 4 : a process modeling tool combining declarative and imperative paradigms

TU/e Research Portal·2013·2 authors·other·Open access

19citations

Process Mining Manifesto

Lecture notes in business information processing·2012·71 authors·other·Open access

1,209citations

Runtime Verification of LTL-Based Declarative Process Models

Lecture notes in computer science·2012·4 authors·other

98citations

Looking into the Future

Lecture notes in computer science·2012·2 authors·other

29citations

Generating Event Logs with Workload-Dependent Speeds from Simulation Models

Lecture notes in business information processing·2012·3 authors·other

24citations

Monitoring Business Constraints with Linear Temporal Logic: An Approach Based on Colored Automata

Lecture notes in computer science·2011·4 authors·other

233citations

Declare : a tool suite for declarative workflow modeling and enactment

TU/e Research Portal·2011·2 authors·other

46citations

Modeling and Verification of a Protocol for Operational Support Using Coloured Petri Nets

Lecture notes in computer science·2011·2 authors·other

23citations