A theory of complexity for continuous time systems
Journal of Complexity
Lorentz lattice gases and many-dimensional Turing machines
Collision-based computing
Widening the Boundary between Decidable and Undecidable Hybrid Systems
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
The Complexity of Real Recursive Functions
UMC '02 Proceedings of the Third International Conference on Unconventional Models of Computation
MCU '01 Proceedings of the Third International Conference on Machines, Computations, and Universality
Real recursive functions and their hierarchy
Journal of Complexity
The P ≠ NP conjecture in the context of real and complex analysis
Journal of Complexity
Decidability and Universality in Symbolic Dynamical Systems
Fundamenta Informaticae - SPECIAL ISSUE MCU2004
Constructing non-computable Julia sets
Proceedings of the thirty-ninth annual ACM symposium on Theory of computing
On undecidability bounds for matrix decision problems
Theoretical Computer Science
Physical constraints on hypercomputation
Theoretical Computer Science
Boundedness of the Domain of Definition is Undecidable for Polynomial ODEs
Electronic Notes in Theoretical Computer Science (ENTCS)
The P≠NP conjecture in the context of real and complex analysis
Journal of Complexity
Using approximation to relate computational classes over the reals
MCU'07 Proceedings of the 5th international conference on Machines, computations, and universality
Turing universality in dynamical systems
CiE'06 Proceedings of the Second conference on Computability in Europe: logical Approaches to Computational Barriers
Computation in one-dimensional piecewise maps and planar pseudo-billiard systems
UC'05 Proceedings of the 4th international conference on Unconventional Computation
TAMC'06 Proceedings of the Third international conference on Theory and Applications of Models of Computation
Low dimensional hybrid systems - decidable, undecidable, don't know
Information and Computation
Lowering undecidability bounds for decision questions in matrices
DLT'06 Proceedings of the 10th international conference on Developments in Language Theory
Robust simulations of turing machines with analytic maps and flows
CiE'05 Proceedings of the First international conference on Computability in Europe: new Computational Paradigms
Survey A survey of computational complexity results in systems and control
Automatica (Journal of IFAC)
Decidability and Universality in Symbolic Dynamical Systems
Fundamenta Informaticae - SPECIAL ISSUE MCU2004
Flexible and Robust Patterning by Centralized Gene Networks
Fundamenta Informaticae - Watching the Daisies Grow: from Biology to Biomathematics and Bioinformatics — Alan Turing Centenary Special Issue
Computation with perturbed dynamical systems
Journal of Computer and System Sciences
| Hi-index | 0.00 |