Manuel Lameiras Campagnolo

Available identifiers

Publication	Date of Publication	Type
The methods of approximation and lifting in real computation	2013-05-10	Paper
Boundedness of the domain of definition is undecidable for polynomial ODEs	2013-05-03	Paper
Characterizing Computable Analysis with Differential Equations	2013-05-03	Paper
A characterization of computable analysis on unbounded domains using differential equations	2011-10-10	Paper
Computational bounds on polynomial differential equations	2009-11-13	Paper
Using Approximation to Relate Computational Classes over the Reals	2009-03-05	Paper
The elementary computable functions over the real numbers: applying two new techniques	2008-05-26	Paper
A survey on continuous time computations	2008-04-29	Paper
Computability with polynomial differential equations	2008-04-28	Paper
Polynomial differential equations compute all real computable functions on computable compact intervals	2007-07-04	Paper
Theory and Applications of Models of Computation	2007-04-30	Paper
New Computational Paradigms	2006-01-11	Paper
Continuous-time computation with restricted integration capabilities	2004-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4437079	2003-12-07	Paper
An analog characterization of the Grzegorczyk hierarchy	2003-05-14	Paper
https://portal.mardi4nfdi.de/entity/Q2707531	2001-04-03	Paper
Iteration, inequalities, and differentiability in analog computers	2001-03-12	Paper

This page was built for person: Manuel Lameiras Campagnolo