Michael Westergaard

Cited by

	All	Since 2016
Citations	2821	1441
h-index	20	14
i10-index	32	19

320

160

240

20042005200620072008200920102011201220132014201520162017201820192020202112 27 41 44 55 54 55 60 189 239 273 296 306 267 312 275 279 2

Co-authors

Lars M KristensenProfessor in Computer Science - Western Norway University of Applied SciencesVerified email at hvl.no
Wil van der AalstProfessor of Process and Data Science, RWTH Aachen University || Fraunhofer FIT || TU/e || TiUVerified email at pads.rwth-aachen.de
Fabrizio MaggiAssociate Professor, Free University of Bozen-BolzanoVerified email at ut.ee
Christian StahlDepartment of Computer Science, Eindhoven University of TechnologyVerified email at tue.nl
Thomas MailundAssociate Professor of Bioinformatics, Aarhus UniversityVerified email at birc.au.dk
Marco MontaliAssociate Professor, Free University of Bozen-BolzanoVerified email at inf.unibz.it
Kurt JensenProfessor of Computer Science, Aarhus UniversityVerified email at cs.au.dk
Soren ChristensenAarhus UniversityVerified email at cs.au.dk
Julien Yann DutheilMax Planck Institute for Evolutionary BiologyVerified email at evolbio.mpg.de
Tijs SlaatsAssociate Professor at Department of Computer Science, University of CopenhagenVerified email at di.ku.dk
Joyce Nakatumba-NabendeMakerere UniversityVerified email at cis.mak.ac.ug
Mikkel Heide SchierupProfessor, Bioinformatics Research Centre, Aarhus UniversityVerified email at birc.au.dk
Aylwyn ScallyUniversity of CambridgeVerified email at gen.cam.ac.uk
Kay PrüferMax-Planck Institute for Evolutionary AnthropologyVerified email at eva.mpg.de
Asger HobolthProfessor, Department of Mathematics, Aarhus UniversityVerified email at math.au.dk
Lars Nørvang AndersenAssoc. Prof. Aarhus UniversityVerified email at math.au.dk
Kasper MunchBioinformatics Research Centre, Aarhus UniversityVerified email at daimi.au.dk
Gerton LunterAssociate Professor, University of OxfordVerified email at well.ox.ac.uk
Hajo A. ReijersProfessor of Computer Science, Utrecht University || Eindhoven University of TechnologyVerified email at uu.nl
Lars ArgeProfessor of Computer Science and MADALGO center director, Aarhus UniversityVerified email at cs.au.dk

Michael Westergaard

Eindhoven Technical University (the Netherlands)

Verified email at tue.nl - Homepage

Colored Petri Nets Model Checking


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Process mining manifesto W van der Aalst, A Adriansyah, AKA de Medeiros, F Arcieri, T Baier, ... Business process management workshops, 169-194, 2012	1032	2012
CPN tools for editing, simulating, and analysing coloured Petri nets AV Ratzer, L Wells, HM Lassen, M Laursen, JF Qvortrup, MS Stissing, ... International Conference on Application and Theory of Petri Nets, 450-462, 2003	450	2003
Monitoring business constraints with linear temporal logic: An approach based on colored automata FM Maggi, M Montali, M Westergaard, WMP Van Der Aalst International Conference on Business Process Management, 132-147, 2011	222	2011
The access/CPN framework: a tool for interacting with the CPN tools simulator M Westergaard, L Kristensen Applications and Theory of Petri Nets, 313-322, 2009	102	2009
A New Isolation with Migration Model along Complete Genomes Infers Very Different Divergence Processes among Closely Related Great Ape Species T Mailund, AE Halager, M Westergaard, JY Dutheil, K Munch, ... PLoS Genetics 8 (12), e1003125, 2012	100	2012
Runtime Verification of LTL-Based Declarative Process Models F Maggi, M Westergaard, M Montali, W van der Aalst Runtime Verification, 131-146, 2012	89	2012
Strategies for Modeling Complex Processes Using Colored Petri Nets WMP van der Aalst, C Stahl, M Westergaard Transactions on Petri Nets and Other Models of Concurrency VII, 6-55, 2013	62	2013
The britney suite animation tool M Westergaard, K Lassen Petri Nets and Other Models of Concurrency-ICATPN 2006, 431-440, 2006	58	2006
CPN Tools 4: Multi-formalism and Extensibility M Westergaard Application and Theory of Petri Nets and Concurrency, 400-409, 2013	53	2013
Declare: A Tool Suite for Declarative Workflow Modeling and Enactment. M Westergaard, FM Maggi BPM (Demos) 820, 1-5, 2011	48	2011
Better algorithms for analyzing and enacting declarative workflow languages using LTL M Westergaard International Conference on Business Process Management, 83-98, 2011	46	2011
Mixing Paradigms for More Comprehensible Models M Westergaard, T Slaats Business Process Management, 283-290, 2013	45	2013
Looking into the Future M Westergaard, FM Maggi On the Move to Meaningful Internet Systems: OTM 2012, 250-267, 2012	45	2012
Unconstrainedminer: efficient discovery of generalized declarative process models M Westergaard, C Stahl, HA Reijers BPM Center Report BPM-13-28, BPMcenter. org, 28, 2013	36	2013
Modeling and verification of a protocol for operational support using coloured petri nets M Westergaard, FM Maggi International Conference on Application and Theory of Petri Nets and …, 2011	36	2011
ASAP: An Extensible Platform for State Space Analysis M Westergaard, S Evangelista, L Kristensen Applications and Theory of Petri Nets, 303-312, 2009	34	2009
Access/CPN 2.0: a high-level interface to coloured petri net models M Westergaard Applications and Theory of Petri Nets, 328-337, 2011	29	2011
CPN Tools 4: A Process Modeling Tool Combining Declarative and Imperative Paradigms M Westergaard, T Slaats	28*
Automatic structure-based code generation from coloured Petri nets: a proof of concept LM Kristensen, M Westergaard International Workshop on Formal Methods for Industrial Critical Systems …, 2010	24	2010
Supporting multiple pointing devices in microsoft windows M Westergaard Microsoft Summer Workshop for Faculty and PhDs, 2002	22	2002

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors