At http://en.wikipedia.org, Computer, 2012. ,
Exact Exploration and Hanging Algorithms, Proceedings of the 19th EACSL Annual Conferences on Computer Science Logic (Brno, pp.140-154, 2010. ,
DOI : 10.1007/978-3-642-15205-4_14
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.168.6330
On a theory of computation and complexity over the real numbers: $NP$- completeness, recursive functions and universal machines, Bulletin of the American Mathematical Society, vol.21, issue.1, pp.1-46, 1989. ,
DOI : 10.1090/S0273-0979-1989-15750-9
The Church-Turing Thesis over Arbitrary Domains, Lecture Notes in Computer Science, vol.4800, pp.199-229, 2008. ,
DOI : 10.1007/978-3-540-78127-1_12
Three Paths to Effectiveness, Lecture Notes in Computer Science, vol.23, 2010. ,
DOI : 10.1305/ndjfl/1093883561
The differential analyzer. A new machine for solving differential equations, Journal of the Franklin Institute, vol.212, issue.4, pp.447-488, 1931. ,
DOI : 10.1016/S0016-0032(31)90616-9
A Survey on Continuous Time Computations, Changing Conceptions of What is Computable, pp.383-423, 2008. ,
DOI : 10.1007/978-0-387-68546-5_17
URL : https://hal.archives-ouvertes.fr/hal-00760976
On implementations of instantaneous actions real-time ASM by ASM with delays, Proc. of the 12th Intern. Workshop on Abstract State Machines (ASM '2005), pp.387-396, 2005. ,
Implementation of sturdy real-time abstract state machines by machines with delays Academy of Science of Armenia 10. Coward, D.: Doug Coward's Analog Computer Museum, Proc. of the 6th Intern. Conf. on Computer Science and Information Technology, 2006. ,
A formalization and proof of the Extended Church- Turing Thesis (extended abstract), Studia Logica Conference on Trends in Logic, IX: Church Thesis: Logic, Mind and Nature, 2011. ,
Abstract, Bulletin of Symbolic Logic, vol.33, issue.03, pp.299-350, 2008. ,
DOI : 10.1145/359863.359885
URL : https://hal.archives-ouvertes.fr/inria-00107627
A Semantic Characterization of Unbounded-Nondeterministic Abstract State Machines, Algebra and Coalgebra in Computer Science Lecture Notes in Computer Science, vol.4624, pp.242-256, 2007. ,
DOI : 10.1007/978-3-540-73859-6_17
Evolving algebras 1993: Lipari guide Specification and Validation Methods, pp.9-36, 1995. ,
Sequential abstract-state machines capture sequential algorithms, ACM Transactions on Computational Logic, vol.1, issue.1, pp.77-111, 2000. ,
DOI : 10.1145/343369.343384
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.146.3017
On bounded exploration and bounded nondeterminism, 2006. ,
On Gurevich's theorem on sequential algorithms, Acta Informatica, vol.39, issue.4, pp.273-305, 2003. ,
DOI : 10.1007/s00236-002-0106-3
Hybrid abstract state machines: Using the hyperreals for describing continuous changes in a discrete notation, International Workshop on Abstract State Machines TIK-Report, pp.341-356, 2000. ,
Mathematical Theory of the Differential Analyzer, Journal of Mathematics and Physics, vol.XXII, issue.1-4, pp.337-354, 1941. ,
DOI : 10.1002/sapm1941201337