Searching for authors named "Thomas Mailund" – sorted by Relevance.
28 documents found, showing 1 through 10.
Next 10 →
-
Equivalence Based Cut-off in the Sweep-Line Method
- …Equivalence Based Cut-o in the Sweep-Line Method Thomas Mailund 28th February 2001 The nature…
- Add To MetaCart
-
A Simple State-Space Reduction Method
- …A Simple State-Space Reduction Method Thomas Mailund April 10, 2004 We present a very simple…
- Add To MetaCart
-
Requirements of a Module System for Coloured Petri Nets
- …Requirements of a Module System for Coloured Petri Nets Thomas Mailund 11th May 2000 Today, no one…
- Add To MetaCart
-
A Probabilistic Cut-off Technique
- …A Probabilistic Cut-o Technique Thomas Mailund December 2, 2002 A main problem with the cut…
- Add To MetaCart
-
Parameterised Coloured Petri Nets
- …Parameterised Coloured Petri Nets Thomas Mailund Department of Computer Science University…
- Cited by 3 (2 self) – Add To MetaCart
-
Analysing Infinite-State Systems by Combining Equivalence Reduction and the Sweep-Line Method
- … Mailund Department of Computer Science, University of Aarhus IT-parken, Aabogade 34, DK-8200 Aarhus N…
- Cited by 2 (0 self) – Add To MetaCart
-
SplitDist—calculating split-distances for sets of trees. Available from http://www.daimi.au.dk/ mailund/split-dist.html
- …SplitDist—Calculating Split-Distances for Sets of Trees Thomas Mailund Bioinformatics Research…
- Cited by 1 (0 self) – Add To MetaCart
-
Obtaining Memory-Efficient Reachability Graph Representations Using the Sweep-Line Method
- … Mailund and Michael Westergaard Department of Computer Science, University of Aarhus, IT-parken, Aabogade…
- Cited by 4 (1 self) – Add To MetaCart
-
On Combining the Sweep-Line and Equivalence Method
- …On Combining the Sweep-Line and Equivalence Method Thomas Mailund June 7, 2002 We examine…
- Add To MetaCart
-
From Security Protocol Language to Coloured Petri Nets
- …From Security Protocol Language to Coloured Petri Nets Thomas Mailund 5th June 2001 We present a…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
