Found: 11
Select item for more details and to access through your institution.
Optimal Semicomputable Approximations to Reachable and Invariant Sets.
- Published in:
- Theory of Computing Systems, 2007, v. 40, n. 4, p. 33, doi. 10.1007/s00224-006-1338-3
- By:
- Publication type:
- Article
Graph Duality in Surface Dynamics.
- Published in:
- Journal of Nonlinear Science, 2019, v. 29, n. 5, p. 2103, doi. 10.1007/s00332-019-09549-0
- By:
- Publication type:
- Article
COMPUTATION OF SYMBOLIC DYNAMICS FOR TWO-DIMENSIONAL PIECEWISE-AFFINE MAPS.
- Published in:
- Discrete & Continuous Dynamical Systems - Series B, 2011, v. 15, n. 3, p. 739, doi. 10.3934/dcdsb.2011.15.739
- By:
- Publication type:
- Article
Assume-guarantee verification of nonlinear hybrid systems with Ariadne.
- Published in:
- International Journal of Robust & Nonlinear Control, 2014, v. 24, n. 4, p. 699, doi. 10.1002/rnc.2914
- By:
- Publication type:
- Article
Special issue on control, communication, and complexity.
- Published in:
- Mathematics of Control, Signals & Systems, 2013, v. 25, n. 4, p. 433, doi. 10.1007/s00498-013-0120-8
- By:
- Publication type:
- Article
Computable analysis with applications to dynamic systems.
- Published in:
- Mathematical Structures in Computer Science, 2020, v. 30, n. 2, p. 173, doi. 10.1017/S096012952000002X
- By:
- Publication type:
- Article
Predicting changes to I<sub>Na</sub> from missense mutations in human SCN5A.
- Published in:
- Scientific Reports, 2018, v. 8, n. 1, p. 1, doi. 10.1038/s41598-018-30577-5
- By:
- Publication type:
- Article
UNIVERSAL TRELLISES.
- Published in:
- Journal of Knot Theory & Its Ramifications, 2007, v. 16, n. 4, p. 471, doi. 10.1142/S0218216507005361
- By:
- Publication type:
- Article
Symbolic Dynamics from Homoclinic Tangles.
- Published in:
- International Journal of Bifurcation & Chaos in Applied Sciences & Engineering, 2002, v. 12, n. 3, p. 605, doi. 10.1142/S0218127402004565
- By:
- Publication type:
- Article
SEMANTICS, SPECIFICATION LOGIC, AND HOARE LOGIC OF EXACT REAL COMPUTATION.
- Published in:
- Logical Methods in Computer Science (LMCS), 2024, v. 20, n. 2, p. 1, doi. 10.46298/LMCS-20(2:17)2024
- By:
- Publication type:
- Article
COMPUTABLE SEMANTICS FOR CTL* ON DISCRETE-TIME AND CONTINUOUS-SPACE DYNAMIC SYSTEMS.
- Published in:
- International Journal of Foundations of Computer Science, 2011, v. 22, n. 4, p. 801, doi. 10.1142/S012905411100843X
- By:
- Publication type:
- Article