| Bacon Number | 4 |
|---|---|
| Erdös Number | 3 |
| h-index | 20 |
| i10-index | 32 |
| Citations | ≥ 2500 |
Some of my publications can be seen on DBLP, via CiteSeer, or on Google Scholar.
[bibtex file=conferences.bib group=year group_order=desc sort=firstauthor order=asc highlight=”M. Westergaard”] [/spoiler] [spoiler style=”fancy” title=”Tools”] ❗ These are all reviewed tool papers published at conferences. ❗
[bibtex file=tools.bib group=year group_order=desc sort=firstauthor order=asc highlight=”M. Westergaard”] [/spoiler] [spoiler style=”fancy” title=”Workshops”] ❗ These are all reviewed papers published at workshops. ❗
[bibtex file=workshops.bib group=year group_order=desc sort=firstauthor order=asc highlight=”M. Westergaard”] [/spoiler] [spoiler style=”fancy” title=”Theses”] [bibtex file=theses.bib order=desc sort=year sort=firstauthor order=asc highlight=”M. Westergaard”] [/spoiler] [spoiler style=”fancy” title=”Technical Reports”] [bibtex file=invited.bib,tech.bib group=year group_order=desc sort=firstauthor order=asc highlight=”M. Westergaard”] [/spoiler] [spoiler style=”fancy” title=”Slides”]
L.M. Kristensen and M. Westergaard
State space exploration of Coloured Petri Nets and the ASAP model checking platform
- Part 1: Introduction [PDF]
- Part 2: User perspective [PDF, MOV]
- Part 3: Advanced methods [PDF]
- Part 4: Research perspective [PDF, MOV]
Slides from tutorial at the Petri net confenrence. Braga, Portugal, June 2010.
M. Westergaard
Stuff About CPN Tools [PDF with builds, PDF]
Slides from presentation of the structure of CPN Tools. Eindhoven, Holland, April 2010.
M. Westergaard
Routing Protocols in Mobile Ad-hoc Networks [Keynote, PDF]
Slides from University of Aarhus course “Advanced Behaviour Modelling”. Aarhus, Denmark, November 2006.
M. Westergaard
Routing Protocols in Mobile Ad-hoc Networks [Keynote, PDF]
Slides from IT University of Copenhagen PhD School “Verification of Protocols for Security and Mobility”. Copenhagen, Denmark, October 2006.
M. Westergaard
Routing Protocols in Mobile Ad-hoc Networks [PDF]
Slides from University of Aarhus undergraduate course “Computer Science – in perspective”. Århus, Denmark, September 2006.
M. Westergaard
Looking good, behaving well [Keynote, PDF]
Slides from Brics Seminar. Aalborg, Denmark, February 2006.
M. Westergaard
Routing Protocols in Mobile Ad-hoc Networks [PDF]
Slides from University of Aarhus undergraduate course “Computer Science – in perspective”. Århus, Denmark, September 2005.
[/spoiler] [/accordion]M. Westergaard
Petri-net Based Animation with CPN Tools and BRITNeY animation [PDF]
Slides from Tutorial on CPN Tools at Fifth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools. Århus, Denmark, October 2004.