Michael Westergaard

	2012
18		Michael Westergaard, Lars Michael Kristensen: A Graphical Approach to Component-Based and Extensible Model Checking Platforms. T. Petri Nets and Other Models of Concurrency 5: 265-291 (2012)
	2011
17		Fabrizio Maria Maggi, Marco Montali, Michael Westergaard, Wil M. P. van der Aalst: Monitoring Business Constraints with Linear Temporal Logic: An Approach Based on Colored Automata. BPM 2011: 132-147
16		Michael Westergaard: Better Algorithms for Analyzing and Enacting Declarative Workflow Languages Using LTL. BPM 2011: 83-98
15		Michael Westergaard, Fabrizio Maria Maggi: Declare: A Tool Suite for Declarative Workflow Modeling and Enactment. BPM (Demos) 2011
14		Wil M. P. van der Aalst, Arya Adriansyah, Ana Karla Alves de Medeiros, Franco Arcieri, Thomas Baier, Tobias Blickle, R. P. Jagadeesh Chandra Bose, Peter van den Brand, Ronald Brandtjen, Joos C. A. M. Buijs, Andrea Burattin, Josep Carmona, Malú Castellanos, Jan Claes, Jonathan Cook, Nicola Costantini, Francisco Curbera, Ernesto Damiani, Massimiliano de Leoni, Pavlos Delias, Boudewijn F. van Dongen, Marlon Dumas, Schahram Dustdar, Dirk Fahland, Diogo R. Ferreira, Walid Gaaloul, Frank van Geffen, Sukriti Goel, Christian W. Günther, Antonella Guzzo, Paul Harmon, Arthur H. M. ter Hofstede, John Hoogland, Jon Espen Ingvaldsen, Koki Kato, Rudolf Kuhn, Akhil Kumar, Marcello La Rosa, Fabrizio Maria Maggi, Donato Malerba, R. S. Mans, Alberto Manuel, Martin McCreesh, Paola Mello, Jan Mendling, Marco Montali, Hamid R. Motahari Nezhad, Michael zur Muehlen, Jorge Muñoz-Gama, Luigi Pontieri, Joel Ribeiro, Anne Rozinat, Hugo Seguel Pérez, Ricardo Seguel Pérez, Marcos Sepúlveda, Jim Sinur, Pnina Soffer, Minseok Song, Alessandro Sperduti, Giovanni Stilo, Casper Stoel, Keith D. Swenson, Maurizio Talamo, Wei Tan, Chris Turner, Jan Vanthienen, George Varvaressos, Eric Verbeek, Marc Verdonk, Roberto Vigo, Jianmin Wang, Barbara Weber, Matthias Weidlich, Ton Weijters, Lijie Wen, Michael Westergaard, Moe Thandar Wynn: Process Mining Manifesto. Business Process Management Workshops (1) 2011: 169-194
13		Michael Westergaard, Fabrizio Maria Maggi: Modeling and Verification of a Protocol for Operational Support Using Coloured Petri Nets. Petri Nets 2011: 169-188
12		Michael Westergaard: Access/CPN 2.0: A High-Level Interface to Coloured Petri Net Models. Petri Nets 2011: 328-337
11		Fabrizio Maria Maggi, Michael Westergaard, Marco Montali, Wil M. P. van der Aalst: Runtime Verification of LTL-Based Declarative Process Models. RV 2011: 131-146
	2010
10		Lars Michael Kristensen, Michael Westergaard: Automatic Structure-Based Code Generation from Coloured Petri Nets: A Proof of Concept. FMICS 2010: 215-230
	2009
9		Michael Westergaard, Sami Evangelista, Lars Michael Kristensen: ASAP: An Extensible Platform for State Space Analysis. Petri Nets 2009: 303-312
8		Michael Westergaard, Lars Michael Kristensen: The Access/CPN Framework: A Tool for Interacting with the CPN Tools Simulator. Petri Nets 2009: 313-322
7		Sami Evangelista, Michael Westergaard, Lars Michael Kristensen: The ComBack Method Revisited: Caching Strategies and Extension with Delayed Duplicate Detection. T. Petri Nets and Other Models of Concurrency 3: 189-215 (2009)
	2008
6		Michael Westergaard: A Game-theoretic Approach to Behavioural Visualisation. Electr. Notes Theor. Comput. Sci. 208: 113-129 (2008)
	2007
5		Michael Westergaard, Lars Michael Kristensen, Gerth Stølting Brodal, Lars Arge: The ComBack Method - Extending Hash Compaction with Backtracking. ICATPN 2007: 445-464
	2006
4		Michael Westergaard, Kristian Bisgaard Lassen: The BRITNeY Suite Animation Tool. ICATPN 2006: 431-440
	2005
3		Lars Michael Kristensen, Michael Westergaard, Peder Christian Nørgaard: Model-Based Prototyping of an Interoperability Protocol for Mobile Ad-Hoc Networks. IFM 2005: 266-286
	2004
2		Thomas Mailund, Michael Westergaard: Obtaining Memory-Efficient Reachability Graph Representations Using the Sweep-Line Method. TACAS 2004: 177-191
	2003
1		Anne V. Ratzer, Lisa Wells, Henry Michael Lassen, Mads Laursen, Jacob Frank Qvortrup, Martin Stig Stissing, Michael Westergaard, Søren Christensen, Kurt Jensen: CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets. ICATPN 2003: 450-462

Coauthor Index

1	Wil M. P. van der Aalst	[11] [14] [17]
2	Arya Adriansyah	[14]
3	Franco Arcieri	[14]
4	Lars Arge	[5]
5	Thomas Baier	[14]
6	Tobias Blickle	[14]
7	R. P. Jagadeesh Chandra Bose	[14]
8	Peter van den Brand	[14]
9	Ronald Brandtjen	[14]
10	Gerth Stølting Brodal	[5]
11	Joos C. A. M. Buijs	[14]
12	Andrea Burattin	[14]
13	Josep Carmona	[14]
14	Malú Castellanos	[14]
15	Søren Christensen	[1]
16	Jan Claes	[14]
17	Jonathan Cook	[14]
18	Nicola Costantini	[14]
19	Francisco Curbera	[14]
20	Ernesto Damiani	[14]
21	Pavlos Delias	[14]
22	Boudewijn F. van Dongen	[14]
23	Marlon Dumas	[14]
24	Schahram Dustdar	[14]
25	Sami Evangelista	[7] [9]
26	Dirk Fahland	[14]
27	Diogo R. Ferreira	[14]
28	Walid Gaaloul	[14]
29	Frank van Geffen	[14]
30	Sukriti Goel	[14]
31	Christian W. Günther	[14]
32	Antonella Guzzo	[14]
33	Paul Harmon	[14]
34	Arthur H. M. ter Hofstede	[14]
35	John Hoogland	[14]
36	Jon Espen Ingvaldsen	[14]
37	Kurt Jensen	[1]
38	Koki Kato	[14]
39	Lars Michael Kristensen	[3] [5] [7] [8] [9] [10] [18]
40	Rudolf Kuhn	[14]
41	Akhil Kumar	[14]
42	Henry Michael Lassen	[1]
43	Kristian Bisgaard Lassen	[4]
44	Mads Laursen	[1]
45	Massimiliano de Leoni	[14]
46	Fabrizio Maria Maggi	[11] [13] [14] [15] [17]
47	Thomas Mailund	[2]
48	Donato Malerba	[14]
49	R. S. Mans (Ronny Mans)	[14]
50	Alberto Manuel	[14]
51	Martin McCreesh	[14]
52	Ana Karla A. de Medeiros (Ana Karla Alves de Medeiros)	[14]
53	Paola Mello	[14]
54	Jan Mendling	[14]
55	Marco Montali	[11] [14] [17]
56	Michael zur Muehlen	[14]
57	Jorge Muñoz-Gama	[14]
58	Hamid R. Motahari Nezhad	[14]
59	Peder Christian Nørgaard	[3]
60	Hugo Seguel Pérez	[14]
61	Luigi Pontieri	[14]
62	Jacob Frank Qvortrup	[1]
63	Anne V. Ratzer	[1]
64	Joel Ribeiro	[14]
65	Marcello La Rosa	[14]
66	Anne Rozinat	[14]
67	Ricardo Seguel (Ricardo Seguel Pérez)	[14]
68	Marcos Sepúlveda	[14]
69	Jim Sinur	[14]
70	Pnina Soffer	[14]
71	Minseok Song	[14]
72	Alessandro Sperduti	[14]
73	Giovanni Stilo	[14]
74	Martin Stig Stissing	[1]
75	Casper Stoel	[14]
76	Keith D. Swenson	[14]
77	Maurizio Talamo	[14]
78	Wei Tan	[14]
79	Chris Turner	[14]
80	Jan Vanthienen	[14]
81	George Varvaressos	[14]
82	H. M. W. (Eric) Verbeek (H. M. W. Verbeek, Eric Verbeek)	[14]
83	Marc Verdonk	[14]
84	Roberto Vigo	[14]
85	Jianmin Wang	[14]
86	Barbara Weber	[14]
87	Matthias Weidlich	[14]
88	A. J. M. M. Weijters (Ton Weijters)	[14]
89	Lisa Wells	[1]
90	Lijie Wen	[14]
91	Moe Thandar Wynn	[14]

Last update Sat May 26 02:31:23 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page