Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
[1]
Hilfe
Suche: Author="Westergaard, Michael"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
CPN Tools 4: Multi-formalism and extensibility
Michael Westergaard
Lecture Notes in Computer Science
7927
, 2013, pp. 400-409
Using colored Petri nets to construct coalescent hidden Markov models: Automatic translation from demographic specifications to efficient inference methods
Thomas Mailund
,
Anders E. Halager
,
Michael Westergaard
Lecture Notes in Computer Science
7347
, 2012, pp. 32-50
An infrastructure for cost-effective testing of operational support algorithms based on colored Petri nets
Joyce Nakatumba
,
Michael Westergaard
,
Wil M.P. van der Aalst
Lecture Notes in Computer Science
7347
, 2012, pp. 308-327
Modeling and verification of a protocol for operational support using coloured Petri nets
Michael Westergaard
,
Fabrizio M. Maggi
Lecture Notes in Computer Science
6709
, 2011, pp. 169-188
Access/CNP 2.0: A high-level interface to coloured Petri net models
Michael Westergaard
Lecture Notes in Computer Science
6709
, 2011, pp. 328-337
ASAP: An extensible platform for state space analysis
Michael Westergaard
,
Sami Evangelista
,
Lars Michael Kristensen
Lecture Notes in Computer Science
5606
, 2009, pp. 303-312
The Access/CPN framework: A tool for interacting with the CPN Tools simulator
Michael Westergaard
,
Lars Michael Kristensen
Lecture Notes in Computer Science
5606
, 2009, pp. 313-322
The ComBack method - Extending hash compaction with backtracking
Michael Westergaard
,
Lars Michael Kristensen
,
Gerth Stlting Brodal
,
Lars Arge
Lecture Notes in Computer Science
4546
, 2007, pp. 445-464
The BRITNeY suite animation tool
Michael Westergaard
,
Kristian Bisgaard Lassen
Lecture Notes in Computer Science
4024
, 2006, pp. 431-440
CPN tools for editing, simulating, and analysing coloured Petri nets
Anne Vinter Ratzer
,
Lisa Wells
,
Henry Michael Lassen
,
Mads Laursen
,
Jacob Frank Qvortrup
,
Martin Stig Stissing
,
Michael Westergaard
,
Sren Christensen
,
Kurt Jensen
Lecture Notes in Computer Science
2679
, 2003, pp. 450-462