Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Rom Langerak
Discretization of Continuous Dynamical Systems Using UPPAAL
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Complete Finite Prefix for Process Algebra
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Center Manifolds of Dynamical Systems Under Discretization
Numerical Functional Analysis and Optimization
Control
Computer Science Applications
Signal Processing
Analysis
Optimization
On the Integral Equations of Continuous Dynamical Systems
Proceedings of the National Academy of Sciences of the United States of America
Multidisciplinary
Complexity Studies in Some Piecewise Continuous Dynamical Systems
Mathematical Journal of Interdisciplinary Sciences
On the Discretization of Spatially Continuous Systems With Quadratic and Cubic Nonlinearities.
JSME International Journal Series C
Sensitive Dependence on Parameters of Continuous-Time Nonlinear Dynamical Systems
Chaos, Solitons and Fractals
Nonlinear Physics
Applied Mathematics
Statistical
Mathematics
Astronomy
Physics
CAN Database Verification Framework Using UPPAAL
International Journal of Computer Theory and Engineering
Formal Verification of AADL Models Using UPPAAL
Extended Recurrence Plot and Quantification for Noisy Continuous Dynamical Systems
Chaos
Nonlinear Physics
Applied Mathematics
Mathematical Physics
Statistical
Medicine
Astronomy
Physics
The Quasi-Orbit Space of Continuous $C\sp{\ast} $-Dynamical Systems
Transactions of the American Mathematical Society
Mathematics
Applied Mathematics
