Michael Westergaard

Cited by

	All	Since 2018
Citations	3599	1580
h-index	21	13
i10-index	34	16

340

170

255

2004200520062007200820092010201120122013201420152016201720182019202020212022202314 27 40 47 51 56 61 56 184 228 279 326 297 274 331 280 310 297 333 29

Public access

View all

1 article

0 articles

available

not available

Based on funding mandates

Co-authors

Wil van der AalstProfessor of Process and Data Science, RWTH Aachen University || Celonis || Fraunhofer FIT || TU/eVerified email at pads.rwth-aachen.de
Lars M KristensenProfessor in Computer Science - Western Norway University of Applied SciencesVerified email at hvl.no
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
Soren ChristensenAarhus UniversityVerified email at cs.au.dk
Thomas MailundAssociate Professor of Bioinformatics, Aarhus UniversityVerified email at birc.au.dk
Marco MontaliFull Professor, Free University of Bozen-BolzanoVerified email at inf.unibz.it
Kurt JensenProfessor of Computer Science, Aarhus UniversityVerified email at cs.au.dk
Julien Yann DutheilMax Planck Institute for Evolutionary BiologyVerified email at evolbio.mpg.de
Joyce Nakatumba-NabendeMakerere UniversityVerified email at mak.ac.ug
Tijs SlaatsAssociate Professor at Department of Computer Science, University of CopenhagenVerified email at di.ku.dk
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	1570	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	505	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	256	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	115	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	114	2012
Runtime Verification of LTL-Based Declarative Process Models F Maggi, M Westergaard, M Montali, W van der Aalst Runtime Verification, 131-146, 2012	110	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	76	2013
CPN Tools 4: Multi-formalism and Extensibility M Westergaard Application and Theory of Petri Nets and Concurrency, 400-409, 2013	67	2013
The britney suite animation tool M Westergaard, K Lassen Petri Nets and Other Models of Concurrency-ICATPN 2006, 431-440, 2006	61	2006
Declare: A Tool Suite for Declarative Workflow Modeling and Enactment. M Westergaard, FM Maggi BPM (Demos) 820, 1-5, 2011	56	2011
Looking into the Future M Westergaard, FM Maggi On the Move to Meaningful Internet Systems: OTM 2012, 250-267, 2012	52	2012
Better algorithms for analyzing and enacting declarative workflow languages using LTL M Westergaard International Conference on Business Process Management, 83-98, 2011	51	2011
Mixing Paradigms for More Comprehensible Models M Westergaard, T Slaats Business Process Management, 283-290, 2013	45	2013
Unconstrainedminer: efficient discovery of generalized declarative process models M Westergaard, C Stahl, HA Reijers BPM Center Report BPM-13-28, BPMcenter. org, 28, 2013	42	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	38	2011
ASAP: An Extensible Platform for State Space Analysis M Westergaard, S Evangelista, L Kristensen Applications and Theory of Petri Nets, 303-312, 2009	37	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	31	2011
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	26	2010
CPN Tools 4: A Process Modeling Tool Combining Declarative and Imperative Paradigms M Westergaard, T Slaats	26*
Generating Event Logs with Workload-Dependent Speeds from Simulation Models J Nakatumba, M Westergaard, WMP van der Aalst Advanced Information Systems Engineering Workshops, 383-397, 2012	23	2012

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

Follow

Cited by

Co-authors