Publication
-
Marked PCP is decidable Article
Theoretical Computer Science, 255(1-2), 193-204.March 2001
-
Revealing Local Variability Properties of Human Heartbeat Intervals with the Local Effective Hölder Exponent Article
Fractals: Complex Geometry, Patterns, and Scaling in Nature and Society, 9(1), 77-93.March 2001 -
Analysis of three hybrid systems in timed mu CRL Article
Science of Computer Programming, 39(2-3), 215-247.March 2001
-
Approximate factorization for time-dependent partial differential equations Article
Journal of Computational and Applied Mathematics, 12(1-2), 447-466.March 2001
-
Revealing Local Variablity Properties of Human Heartbeat Intervals with the Local Effective Hölder Exponent Article
Fractals, 9(1), 77-93.March 2001 -
Term graph rewriting : syntax and semantics Dissertation
Specification and Analysis of Embedded SystemsMarch 2001 -
Studies in Interactive Visualization Dissertation
Software EngineeringMarch 2001
-
March 2001