Manuel Lameiras Campagnolo

MaRDI QIDQ162054zbMATH OpenORCIDFDO

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
Characterizing Computable Analysis with Differential Equations Electronic Notes in Theoretical Computer Science	2013-05-03	Paper
Boundedness of the domain of definition is undecidable for polynomial ODEs 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