The computer and the brain, 1958. ,
A logical calculus of the ideas immanent in nervous activity, The Bulletin of Mathematical Biophysics, vol.5, issue.4, pp.115-133, 1943. ,
DOI : 10.1007/BF02478259
Representation of Events in Nerve Nets and Finite Automata, Automata Studies Annals of Mathematics Studies N. J, vol.34, pp.3-42, 1956. ,
DOI : 10.1515/9781400882618-002
Computation: finite and infinite machines, 1967. ,
Turing computability with neural nets, Applied Mathematics Letters, vol.4, issue.6, pp.77-80, 1991. ,
DOI : 10.1016/0893-9659(91)90080-F
URL : http://doi.org/10.1016/0893-9659(91)90080-f
On the computational power of neural nets, Proceedings of the fifth annual workshop on Computational learning theory , COLT '92, pp.132-150, 1995. ,
DOI : 10.1145/130385.130432
The Dynamic Universality of Sigmoidal Neural Networks, Information and Computation, vol.128, issue.1, pp.48-56, 1996. ,
DOI : 10.1006/inco.1996.0062
Analog computation via neural networks, Theoretical Computer Science, vol.131, issue.2, pp.331-360, 1994. ,
DOI : 10.1016/0304-3975(94)90178-3
URL : http://doi.org/10.1016/0304-3975(94)90178-3
Computation Beyond the Turing Limit, Science, vol.268, issue.5210, pp.545-548, 1995. ,
DOI : 10.1126/science.268.5210.545
Neural and super-Turing computing, Minds Mach, pp.103-114, 2003. ,
On computable numbers, with an application to the Entscheidungsproblem, Proc. London Math. Soc, pp.230-265, 1936. ,
Automata on Infinite Objects, pp.133-192, 1990. ,
DOI : 10.1016/B978-0-444-88074-1.50009-3
Automata, logics, and infinite games: a guide to current research, 2002. ,
A Hierarchical Classification of First-Order Recurrent Neural Networks, LATA, pp.142-153, 2010. ,
DOI : 10.1007/978-3-642-13089-2_12
URL : https://hal.archives-ouvertes.fr/inserm-00624083
X-automata on ??-words, Theoretical Computer Science, vol.110, issue.1, pp.1-51, 1993. ,
DOI : 10.1016/0304-3975(93)90349-X
Set theory. The third millennium edition, revised and expanded, 2003. ,
Classical descriptive set theory, Graduate Texts in Mathematics, vol.156, 1995. ,
DOI : 10.1007/978-1-4612-4190-4
Detection of syntonies between multiple spike trains using a coarse-grain binarization of spike count distributions, Network: Computation in Neural Systems, vol.15, issue.1, pp.13-28, 2004. ,
DOI : 10.1088/0954-898X_15_1_002
Local Cortical Circuits, Studies of brain function, 1982. ,
Spatiotemporal activity patterns of rat cortical neurons predict responses in a conditioned task, Proceedings of the National Academy of Sciences of the USA 96, pp.1006-1011, 1999. ,
DOI : 10.1073/pnas.96.3.1106
A pattern grouping algorithm for analysis of spatiotemporal patterns in neuronal spike trains. 2. Application to simultaneous single unit recordings, Journal of Neuroscience Methods, vol.105, issue.1, pp.15-24, 2001. ,
DOI : 10.1016/S0165-0270(00)00337-X
Borel sets and circuit complexity, Proceedings of the fifteenth annual ACM symposium on Theory of computing , STOC '83, pp.61-69, 1983. ,
DOI : 10.1145/800061.808733
A topological view of some problems in complexity theory, MFCS, pp.567-572, 1984. ,
DOI : 10.1007/BFb0030341
Infinite time turing machines, Minds Mach, pp.521-539, 2002. ,
Introduction to Automata Theory, Languages and Computation, 1979. ,
Reducibility and determinateness on the Baire space, 1983. ,
Computational power of neural networks: a characterization in terms of Kolmogorov complexity, IEEE Transactions on Information Theory, vol.43, issue.4, pp.1175-1183, 1997. ,
DOI : 10.1109/18.605580
Interactive Computation: The New Paradigm, 2006. ,
DOI : 10.1007/3-540-34874-3
Beyond the Turing Limit: Evolving Interactive Systems, SOFSEM 2001: Theory and Practice of Informatics, pp.90-109, 2001. ,
DOI : 10.1007/3-540-45627-9_8
How we think of computing today, in: Logic and Theory of Algorithms, LNCS, vol.5028, pp.579-593, 2008. ,