Publication
-
April 2006
-
Verifying OCL Specifications of UML models Dissertation
April 2006
-
April 2006 -
Operations Research Models for Railway Rolling Stock Planning Dissertation
Probability, Networks and AlgorithmsApril 2006
-
Streamer branching: conformal mapping and regularization Dissertation
Multiscale DynamicsApril 2006
-
Virtual Instrumentation Book Chapter
April 2006 -
Multimodal Presentation of Biomedical Data Book Chapter
April 2006 -
ATerm library Software
May 2006