Michael Westergaard

Available identifiers

zbMath Open westergaard.michaelMaRDI QIDQ2849448

List of research outcomes

Publication	Date of Publication	Type
Grade/CPN: A Tool and Temporal Logic for Testing Colored Petri Net Models in Teaching	2013-09-17	Paper
Strategies for Modeling Complex Processes Using Colored Petri Nets	2013-05-31	Paper
Verifying Parallel Algorithms and Programs Using Coloured Petri Nets	2013-03-13	Paper
Using Colored Petri Nets to Construct Coalescent Hidden Markov Models: Automatic Translation from Demographic Specifications to Efficient Inference Methods	2012-09-04	Paper
Modeling and Verification of a Protocol for Operational Support Using Coloured Petri Nets	2011-06-29	Paper
The ComBack Method Revisited: Caching Strategies and Extension with Delayed Duplicate Detection	2009-12-09	Paper
The ComBack Method – Extending Hash Compaction with Backtracking	2009-03-11	Paper
Tools and Algorithms for the Construction and Analysis of Systems	2007-09-28	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Michael Westergaard