On the effect of analog noise in discrete-time analog computations
Neural Computation
Computing with continuous-time Liapunov systems
STOC '01 Proceedings of the thirty-third annual ACM symposium on Theory of computing
On deciding stability of constrained random walks and queueing systems
ACM SIGMETRICS Performance Evaluation Review
A theory of complexity for continuous time systems
Journal of Complexity
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
Widening the Boundary between Decidable and Undecidable Hybrid Systems
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
On the Computational Power of a Continuous-Space Optical Model of Computation
MCU '01 Proceedings of the Third International Conference on Machines, Computations, and Universality
Continuous-time symmetric Hopfield nets are computationally universal
Neural Computation
Analog computers and recursive functions over the reals
Journal of Complexity
Theoretical Computer Science - Database theory
2005 Special issue: Recursive principal components analysis
Neural Networks - Special issue on neural networks and kernel methods for structured domains
Complexity of reachability problems for finite discrete dynamical systems
Journal of Computer and System Sciences
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
Boundedness of the Domain of Definition is Undecidable for Polynomial ODEs
Electronic Notes in Theoretical Computer Science (ENTCS)
On the undecidability of the tiling problem
SOFSEM'08 Proceedings of the 34th conference on Current trends in theory and practice of computer science
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
Low dimensional hybrid systems - decidable, undecidable, don't know
Information and Computation
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)
Recurrent networks for structured data - A unifying approach and its properties
Cognitive Systems Research
Decidability and Universality in Symbolic Dynamical Systems
Fundamenta Informaticae - SPECIAL ISSUE MCU2004
Hi-index | 5.23 |