On the presence of periodic configurations in Turing machines and in counter machines
Theoretical Computer Science
Deciding Termination of Query Evaluation in Transitive-Closure Logics for Constraint Databases
ICDT '03 Proceedings of the 9th International Conference on Database Theory
The Stability of Saturated Linear Dynamical Systems Is Undecidable
STACS '00 Proceedings of the 17th Annual Symposium on Theoretical Aspects of Computer Science
Theoretical Computer Science - Database theory
Turing universality in dynamical systems
CiE'06 Proceedings of the Second conference on Computability in Europe: logical Approaches to Computational Barriers
Algebraic analysis on asymptotic stability of switched hybrid systems
Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control
Verifiable conditions on asymptotic stabilisability for a class of planar switched linear systems
CASC'12 Proceedings of the 14th international conference on Computer Algebra in Scientific Computing
On the decidability of stability of hybrid systems
Proceedings of the 16th international conference on Hybrid systems: computation and control
| Hi-index | 0.00 |