Publication
-
Flexible Heterogeneous Software Systems Dissertation
Software Analysis and TransformationFebruary 2007
-
February 2007
-
February 2007 -
Towers of function fields over cubic fields Dissertation
February 2007
-
Statistical Inference through Data Compression Dissertation
Quantum Computing and Advanced System ResearchFebruary 2007
-
Language Parametric Module Management for IDEs In Proceedings
March 2007 -
Depth map calculation for a variable number of moving objects using Markov sequential object processes Tech Report
March 2007
-
Models and temporal logical specifications for timed component connectors Article
Software and Systems Modeling, 6(1), 59-82.March 2007