Ackermannian and primitive-recursive bounds with Dickson's Lemma D Figueira, S Figueira, S Schmitz, P Schnoebelen Logic in Computer Science (LICS), 2011 26th Annual IEEE Symposium on, 269-278, 2011 | 164 | 2011 |
The language of geometry: Fast comprehension of geometrical primitives and rules in human adults and preschoolers M Amalric, L Wang, P Pica, S Figueira, M Sigman, S Dehaene PLoS computational biology 13 (1), e1005273, 2017 | 111 | 2017 |
An example of a computable absolutely normal number V Becher, S Figueira Theoretical Computer Science 270 (1-2), 947-958, 2002 | 100 | 2002 |
Turing's unpublished algorithm for normal numbers S Figueira, R Picchi Theoretical Computer Science 377 (1-3), 126-138, 2007 | 62* | 2007 |
A theory of memory for binary sequences: Evidence for a mental compression algorithm in humans S Planton, T van Kerkoerle, L Abbih, M Maheu, F Meyniel, M Sigman, ... PLoS computational biology 17 (1), e1008598, 2021 | 51 | 2021 |
Representation of spatial sequences using nested rules in human prefrontal cortex L Wang, M Amalric, W Fang, X Jiang, C Pallier, S Figueira, M Sigman, ... NeuroImage 186, 245-255, 2019 | 43 | 2019 |
On the computing power of fuzzy Turing machines BC Bedregal, S Figueira Fuzzy Sets and Systems 159 (9), 1072-1083, 2008 | 36 | 2008 |
Lowness properties and approximations of the jump S Figueira, A Nies, F Stephan Annals of Pure and Applied Logic 152 (1-3), 51-66, 2008 | 35 | 2008 |
The expressive power of memory logics C Areces, D Figueira, S Figueira, S Mera The Review of Symbolic Logic 4 (2), 290-318, 2011 | 34 | 2011 |
Counting the Changes of Random D 0 2 {\ Delta^ 0_2} Sets S Figueira, D Hirschfeldt, J Miller, K Ng, A Nies Programs, Proofs, Processes, 162-171, 2010 | 31* | 2010 |
Indifferent sets S Figueira, JS Miller, A Nies Journal of Logic and Computation 19 (2), 425-443, 2009 | 28 | 2009 |
Randomness and universal machines S Figueira, F Stephan, G Wu Journal of Complexity 22 (6), 738-751, 2006 | 26 | 2006 |
Expressive power and decidability for memory logics C Areces, D Figueira, S Figueira, S Mera International Workshop on Logic, Language, Information, and Computation, 56-68, 2008 | 25 | 2008 |
Lowness properties and approximations of the jump S Figueira, A Nies, F Stephan Electronic Notes in Theoretical Computer Science 143, 45-57, 2006 | 24 | 2006 |
Randomness and halting probabilities V Becher, S Figueira, S Grigorieff, JS Miller The Journal of Symbolic Logic 71 (4), 1411-1430, 2006 | 23 | 2006 |
Model theory of XPath on data trees. Part I: Bisimulation and characterization D Figueira, S Figueira, C Areces Journal of Artificial Intelligence Research 53, 271-314, 2015 | 22 | 2015 |
Feasible analysis, randomness, and base invariance S Figueira, A Nies Theory of Computing Systems 56, 439-464, 2015 | 20 | 2015 |
Bayesian validation of grammar productions for the language of thought S Romano, A Salles, M Amalric, S Dehaene, M Sigman, S Figueira PloS one 13 (7), e0200420, 2018 | 19 | 2018 |
Model theory of XPath on data trees. Part II: Binary bisimulation and definability S Abriola, ME Descotte, S Figueira Information and Computation 255, 195-223, 2017 | 19 | 2017 |
Nonsignaling deterministic models for nonlocal correlations have to be uncomputable A Bendersky, G Senno, G De La Torre, S Figueira, A Acin Physical review letters 118 (13), 130401, 2017 | 19 | 2017 |