Manuel Lameiras Campagnolo

zbMath Opencampagnolo.manuel-lameirasMaRDI QIDQ162054

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
The methods of approximation and lifting in real computation Electronic Notes in Theoretical Computer Science	2013-05-10	Paper
Boundedness of the domain of definition is undecidable for polynomial ODEs Electronic Notes in Theoretical Computer Science	2013-05-03	Paper
Characterizing Computable Analysis with Differential Equations Electronic Notes in Theoretical Computer Science	2013-05-03	Paper
A characterization of computable analysis on unbounded domains using differential equations Information and Computation	2011-10-10	Paper
Computational bounds on polynomial differential equations Applied Mathematics and Computation	2009-11-13	Paper
Using Approximation to Relate Computational Classes over the Reals Lecture Notes in Computer Science	2009-03-05	Paper
The elementary computable functions over the real numbers: applying two new techniques Archive for Mathematical Logic	2008-05-26	Paper
A survey on continuous time computations	2008-04-29	Paper
Computability with polynomial differential equations Advances in Applied Mathematics	2008-04-28	Paper
Polynomial differential equations compute all real computable functions on computable compact intervals Journal of Complexity	2007-07-04	Paper
Theory and Applications of Models of Computation Lecture Notes in Computer Science	2007-04-30	Paper
New Computational Paradigms Lecture Notes in Computer Science	2006-01-11	Paper
Continuous-time computation with restricted integration capabilities Theoretical Computer Science	2004-08-04	Paper
scientific article; zbMATH DE number 2013793 (Why is no real title available?)	2003-12-07	Paper
An analog characterization of the Grzegorczyk hierarchy Journal of Complexity	2003-05-14	Paper
scientific article; zbMATH DE number 1583876 (Why is no real title available?)	2001-04-03	Paper
Iteration, inequalities, and differentiability in analog computers Journal of Complexity	2001-03-12	Paper

Research outcomes over time

This page was built for person: Manuel Lameiras Campagnolo