How we know what technology can do
Communications of the ACM
A theory of complexity for continuous time systems
Journal of Complexity
An analog characterization of the Grzegorczyk hierarchy
Journal of Complexity
The Complexity of Real Recursive Functions
UMC '02 Proceedings of the Third International Conference on Unconventional Models of Computation
µ-recursion and infinite limits
Theoretical Computer Science
Infinite limits and R-recursive functions
Acta Cybernetica
Analog computers and recursive functions over the reals
Journal of Complexity
Natural computation and non-Turing models of computation
Theoretical Computer Science - Super-recursive algorithms and hypercomputation
Continuous-time computation with restricted integration capabilities
Theoretical Computer Science - Super-recursive algorithms and hypercomputation
Real recursive functions and their hierarchy
Journal of Complexity
An optical model of computation
Theoretical Computer Science
Elementarily computable functions over the real numbers and R-sub-recursive functions
Theoretical Computer Science - Automata, languages and programming: Algorithms and complexity (ICALP-A 2004)
The P ≠ NP conjecture in the context of real and complex analysis
Journal of Complexity
The Methods of Approximation and Lifting in Real Computation
Electronic Notes in Theoretical Computer Science (ENTCS)
Computability of analog networks
Theoretical Computer Science
First and Second Order Recursion on Abstract Data Types
Fundamenta Informaticae
Recursive Analysis Characterized as a Class of Real Recursive Functions
Fundamenta Informaticae - SPECIAL ISSUE MCU2004
A new conceptual framework for analog computation
Theoretical Computer Science
Differential equations, infinite limits and real recursive functions
ACC'08 Proceedings of the WSEAS International Conference on Applied Computing Conference
The New Promise of Analog Computation
CiE '07 Proceedings of the 3rd conference on Computability in Europe: Computation and Logic in the Real World
Abstract Geometrical Computation and the Linear Blum, Shub and Smale Model
CiE '07 Proceedings of the 3rd conference on Computability in Europe: Computation and Logic in the Real World
(Short) Survey of Real Hypercomputation
CiE '07 Proceedings of the 3rd conference on Computability in Europe: Computation and Logic in the Real World
Characterizing Computable Analysis with Differential Equations
Electronic Notes in Theoretical Computer Science (ENTCS)
ACM Transactions on Computational Logic (TOCL)
Modelling of Complex Systems: Systems as Dataflow Machines
Fundamenta Informaticae - Machines, Computations and Universality, Part II
Type-2 Computability and Moore's Recursive Functions
Electronic Notes in Theoretical Computer Science (ENTCS)
The P≠NP conjecture in the context of real and complex analysis
Journal of Complexity
Abstract compositional analysis of iterated relations: a structural approach to complex state transition systems
Using approximation to relate computational classes over the reals
MCU'07 Proceedings of the 5th international conference on Machines, computations, and universality
Universal continuous variable quantum computation in the micromaser
UC'10 Proceedings of the 9th international conference on Unconventional computation
Polynomial time computation in the context of recursive analysis
FOPARA'09 Proceedings of the First international conference on Foundational and practical aspects of resource analysis
A characterization of computable analysis on unbounded domains using differential equations
Information and Computation
Turing universality in dynamical systems
CiE'06 Proceedings of the Second conference on Computability in Europe: logical Approaches to Computational Barriers
TAMC'06 Proceedings of the Third international conference on Theory and Applications of Models of Computation
Real recursive functions and real extensions of recursive functions
MCU'04 Proceedings of the 4th international conference on Machines, Computations, and Universality
The computational power of continuous dynamic systems
MCU'04 Proceedings of the 4th international conference on Machines, Computations, and Universality
A survey of recursive analysis and Moore's notion of real computation
Natural Computing: an international journal
Abstract geometrical computation: turing-computing ability and undecidability
CiE'05 Proceedings of the First international conference on Computability in Europe: new Computational Paradigms
A network model of analogue computation over metric algebras
CiE'05 Proceedings of the First international conference on Computability in Europe: new Computational Paradigms
Complexity of continuous space machine operations
CiE'05 Proceedings of the First international conference on Computability in Europe: new Computational Paradigms
Modelling of Complex Systems: Systems as Dataflow Machines
Fundamenta Informaticae - Machines, Computations and Universality, Part II
Recursive Analysis Characterized as a Class of Real Recursive Functions
Fundamenta Informaticae - SPECIAL ISSUE MCU2004
Real Recursive Functions and Baire Classes
Fundamenta Informaticae
First and Second Order Recursion on Abstract Data Types
Fundamenta Informaticae
Hi-index | 0.02 |