The SCEAS System
Navigation Menu

Search the dblp DataBase


Michael Westergaard: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  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. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2003, pp:450-462 [Conf]
  2. Michael Westergaard, Kristian Bisgaard Lassen
    The BRITNeY Suite Animation Tool. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2006, pp:431-440 [Conf]
  3. Lars Michael Kristensen, Michael Westergaard, Peder Christian Nørgaard
    Model-Based Prototyping of an Interoperability Protocol for Mobile Ad-Hoc Networks. [Citation Graph (0, 0)][DBLP]
    IFM, 2005, pp:266-286 [Conf]
  4. Thomas Mailund, Michael Westergaard
    Obtaining Memory-Efficient Reachability Graph Representations Using the Sweep-Line Method. [Citation Graph (0, 0)][DBLP]
    TACAS, 2004, pp:177-191 [Conf]
  5. Michael Westergaard, Lars Michael Kristensen, Gerth Stølting Brodal, Lars Arge
    The ComBack Method - Extending Hash Compaction with Backtracking. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2007, pp:445-464 [Conf]

  6. The Access/CPN Framework: A Tool for Interacting with the CPN Tools Simulator. [Citation Graph (, )][DBLP]

  7. ASAP: An Extensible Platform for State Space Analysis. [Citation Graph (, )][DBLP]

  8. Automatic Structure-Based Code Generation from Coloured Petri Nets: A Proof of Concept. [Citation Graph (, )][DBLP]

  9. A Game-theoretic Approach to Behavioural Visualisation. [Citation Graph (, )][DBLP]

Search in 0.002secs, Finished in 0.002secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002