Publication
-
Uniqueness, intractability and exact algorithms: reflections on level-k phylogenetic networks Tech Report
July 2008
-
The mCRL2 Toolset In Proceedings
July 2008 -
July 2008
-
Accuracy in Rating and Recommending Item Features In Proceedings
July 2008
-
Thinning and information projection In Proceedings
July 2008
-
Towards Formal Verification of Toolbus Scripts In Proceedings
July 2008 -
The software invention cube: A classification scheme for software inventions Article
Journal of Intellectual Property Rights , 13(4), 293-300.July 2008
-
July 2008