| 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 | 185 | 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 | 140 | 2017 |
| An example of a computable absolutely normal number V Becher, S Figueira Theoretical Computer Science 270 (1-2), 947-958, 2002 | 106 | 2002 |
| 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 | 81 | 2021 |
| Turing's unpublished algorithm for normal numbers S Figueira, R Picchi Theoretical Computer Science 377 (1-3), 126-138, 2007 | 70* | 2007 |
| 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 | 61 | 2019 |
| On the computing power of fuzzy Turing machines BC Bedregal, S Figueira Fuzzy Sets and Systems 159 (9), 1072-1083, 2008 | 38 | 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 | 36 | 2011 |
| 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 |
| 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 | 33* | 2010 |
| Indifferent sets S Figueira, JS Miller, A Nies Journal of Logic and Computation 19 (2), 425-443, 2009 | 30 | 2009 |
| 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 | 26 | 2008 |
| Randomness and universal machines S Figueira, F Stephan, G Wu Journal of Complexity 22 (6), 738-751, 2006 | 26 | 2006 |
| Lowness properties and approximations of the jump S Figueira, A Nies, F Stephan Electronic Notes in Theoretical Computer Science 143, 45-57, 2006 | 25 | 2006 |
| Randomness and halting probabilities V Becher, S Figueira, S Grigorieff, JS Miller The Journal of Symbolic Logic 71 (4), 1411-1430, 2006 | 24 | 2006 |
| 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 | 22 | 2018 |
| Bisimulations on data graphs S Abriola, P Barceló, D Figueira, S Figueira Journal of Artificial Intelligence Research 61, 171-213, 2018 | 22 | 2018 |
| 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 (3), 439-464, 2015 | 21 | 2015 |
| On the Size of Shortest Modal Descriptions. S Figueira, D Gorín Advances in Modal Logic 8, 114-132, 2010 | 21 | 2010 |
Diego FigueiraCNRS, LaBRI, Univ. BordeauxVerified email at labri.fr
