|
|
(6 intermediate revisions by 5 users not shown) |
Property / author | |
| | |
Property / author: Daniel Silva Graça / rank | |
| Normal rank
| |
| Property / author |
| | |
| Property / author: Daniel Silva Graça / rank |
| | Normal rank |
| Property / Mathematics Subject Classification ID |
| | |
| Property / Mathematics Subject Classification ID: 68Q05 / rank |
| | Normal rank |
| Property / Mathematics Subject Classification ID |
| | |
| Property / Mathematics Subject Classification ID: 03D78 / rank |
| | Normal rank |
| Property / Mathematics Subject Classification ID |
| | |
| Property / Mathematics Subject Classification ID: 37N99 / rank |
| | Normal rank |
| Property / Mathematics Subject Classification ID |
| | |
| Property / Mathematics Subject Classification ID: 68Q45 / rank |
| | Normal rank |
| Property / Mathematics Subject Classification ID |
| | |
| Property / Mathematics Subject Classification ID: 68Q60 / rank |
| | Normal rank |
| Property / zbMATH DE Number |
| | |
| Property / zbMATH DE Number: 6191051 / rank |
| | Normal rank |
| Property / zbMATH Keywords |
| | dynamical systems |
| Property / zbMATH Keywords: dynamical systems / rank |
| | Normal rank |
| Property / zbMATH Keywords |
| | reachability |
| Property / zbMATH Keywords: reachability / rank |
| | Normal rank |
| Property / zbMATH Keywords |
| | robustness |
| Property / zbMATH Keywords: robustness / rank |
| | Normal rank |
| Property / zbMATH Keywords |
| | computational power |
| Property / zbMATH Keywords: computational power / rank |
| | Normal rank |
| Property / zbMATH Keywords |
| | verification |
| Property / zbMATH Keywords: verification / rank |
| | Normal rank |
| Property / MaRDI profile type |
| | |
| Property / MaRDI profile type: MaRDI publication profile / rank |
| | Normal rank |
| Property / full work available at URL |
| | |
| Property / full work available at URL: https://doi.org/10.1016/j.jcss.2013.01.025 / rank |
| | Normal rank |
| Property / OpenAlex ID |
| | |
| Property / OpenAlex ID: W2084512612 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Hybrid systems: computation and control. 7th international workshop, HSCC 2004, Philadelphia, PA, USA, March 25--27, 2004. Proceedings. / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Unpredictability and undecidability in dynamical systems / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Universal computation and other capabilities of hybrid and continuous dynamical systems / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Achilles and the tortoise climbing up the arithmetical hierarchy / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Achilles and the tortoise climbing up the hyper-arithmetical hierarchy / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Closed-form analytic maps in one and two dimensions can simulate universal Turing machines / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Computability with polynomial differential equations / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: What's decidable about hybrid automata? / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Reachability analysis of dynamical systems having piecewise-constant derivatives / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q4945221 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q4038702 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q4953389 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Automata, Languages and Programming / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: On the computational power of neural nets / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q4231133 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Analog computation via neural networks / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Nonlinear oscillations, dynamical systems, and bifurcations of vector fields / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q5708363 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q4485693 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Robust Computations with Dynamical Systems / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Semantics and Computability of the Evolution of Hybrid Systems / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: On the definitions of computable real continuous functions / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q3226754 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q4002474 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q3994907 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Classical recursion theory. Vol. II / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q4067388 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: New Computational Paradigms / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Computability, noncomputability and undecidability of maximal intervals of IVPs / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Continuity and computability of reachable sets / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q3639060 / rank |
| | Normal rank |
links / mardi / name | links / mardi / name |
| | |