Publication
-
Constructing the Simplest Possible Phylogenetic Network from Triplets, Article
AlgorithmicaJanuary 2009 -
Analysis of a multirate theta-method for stiff ODEs Article
Applied Numerical Mathematics, 693-706.January 2009 -
Statistische Leertheorie Inaugural Lecture
January 2009 -
SAT-based Verification for Timed Component Connectors In Proceedings
January 2009
-
January 2009
-
On the processor sharing of file transfers in WLANs In Proceedings
January 2009 -
Dynamic thread assignment in Web server performance optimization Article
Performance Evaluation, 301-310.January 2009 -
Neighbourhood Structures: Bisimilarity and Basic Model Theory Article
Logical Methods in Computer Science, 5(2)January 2009