关注
Santiago Figueira
Santiago Figueira
在 dc.uba.ar 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
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
1642011
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
1112017
An example of a computable absolutely normal number
V Becher, S Figueira
Theoretical Computer Science 270 (1-2), 947-958, 2002
1002002
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
512021
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
432019
On the computing power of fuzzy Turing machines
BC Bedregal, S Figueira
Fuzzy Sets and Systems 159 (9), 1072-1083, 2008
362008
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
352008
The expressive power of memory logics
C Areces, D Figueira, S Figueira, S Mera
The Review of Symbolic Logic 4 (2), 290-318, 2011
342011
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
282009
Randomness and universal machines
S Figueira, F Stephan, G Wu
Journal of Complexity 22 (6), 738-751, 2006
262006
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
252008
Lowness properties and approximations of the jump
S Figueira, A Nies, F Stephan
Electronic Notes in Theoretical Computer Science 143, 45-57, 2006
242006
Randomness and halting probabilities
V Becher, S Figueira, S Grigorieff, JS Miller
The Journal of Symbolic Logic 71 (4), 1411-1430, 2006
232006
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
222015
Feasible analysis, randomness, and base invariance
S Figueira, A Nies
Theory of Computing Systems 56, 439-464, 2015
202015
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
192018
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
192017
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
192017
系统目前无法执行此操作,请稍后再试。
文章 1–20