PLANTON, SAMUEL; VAN KERKOERLE, TIMO; ABBIH, LEÏLA; MAHEU, MAXIME; MEYNIEL, FLORENT; SIGMAN, MARIANO; WANG, LIPING; FIGUEIRA, SANTIAGO; ROMANO, SERGIO; DEHAENE, STANISLAS

A theory of memory for binary sequences: Evidence for a mental compression algorithm in humans

PLOS COMPUTATIONAL BIOLOGY; Año: 2021 vol. 17

ABRIOLA, SERGIO; TANO, PABLO; ROMANO, SERGIO; FIGUEIRA, SANTIAGO

A logical framework to study concept-learning biases in the presence of multiple explanations

Behavior Research Methods; Año: 2021

PERITO, IGNACIO; BELLOMO, GUIDO; GALICER, DANIEL; FIGUEIRA, SANTIAGO; RONCAGLIA, AUGUSTO J.; BENDERSKY, ARIEL

Characterization of nonsignaling correlations from mutual information

Physical Review A; Año: 2021 vol. 103

TANO, PABLO; ROMANO, SERGIO; SIGMAN, MARIANO; SALLES, ALEJO; FIGUEIRA, SANTIAGO

Towards a more flexible language of thought: Bayesian grammar updates after each concept exposure

Physical Review E; Año: 2020 vol. 101

PERITO, IGNACIO; BELLOMO, GUIDO; GALICER, DANIEL; FIGUEIRA, SANTIAGO; RONCAGLIA, AUGUSTO J.; BENDERSKY, ARIEL

Impossibility of memory in hidden-signaling models for quantum correlations

Physical Review A; Año: 2020 vol. 102

WANG, LIPING; AMALRIC, MARIE; FANG, WEN; JIANG, XINJIAN; PALLIER, CHRISTOPHE; FIGUEIRA, SANTIAGO; SIGMAN, MARIANO; DEHAENE, STANISLAS

Representation of spatial sequences using nested rules in human prefrontal cortex

JOURNAL NEUROIMAG; Año: 2019 vol. 186 p. 245 - 255

SERGIO ABRIOLA; PABLO BARCELÓ; DIEGO FIGUEIRA; SANTIAGO FIGUEIRA

Bisimulations on data graphs

JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, THE; Año: 2018 vol. 61 p. 171 - 213

GRANDE, IGNACIO H. LÓPEZ; SENNO, GABRIEL; DE LA TORRE, GONZALO; LAROTONDA, MIGUEL A.; BENDERSKY, ARIEL; FIGUEIRA, SANTIAGO; ACÍN, ANTONIO

Distinguishing computable mixtures of quantum states

Physical Review A; Año: 2018 vol. 97

ROMANO, SERGIO; SALLES, ALEJO; AMALRIC, MARIE; DEHAENE, STANISLAS; SIGMAN, MARIANO; FIGUEIRA, SANTIAGO

Bayesian validation of grammar productions for the language of thought

PLOS ONE; Año: 2018 vol. 13

LAURENT BIENVENU; SANTIAGO FIGUEIRA; BENOIT MONIN; ALEXANDER SHEN

Algorithmic identification of probabilities is hard

JOURNAL OF COMPUTER AND SYSTEM SCIENCES; Lugar: Amsterdam; Año: 2018

ARIEL BENDERSKY; GABRIEL SENNO; GONZALO DE LA TORRE; SANTIAGO FIGUEIRA; ANTONIO ACIN

Non-signaling deterministic models for non-local correlations have to be uncomputable

PHYSICAL REVIEW LETTERS; Lugar: New York; Año: 2017 vol. 118

SERGIO ABRIOLA; DIEGO FIGUEIRA; SANTIAGO FIGUEIRA

Logics of repeating values on data trees and branching counter systems

LECTURE NOTES IN COMPUTER SCIENCE; Año: 2017 vol. 1020 p. 196 - 212

SERGIO ABRIOLA; MARÍA EMILIA DESCOTTE; RAUL FERVARI; SANTIAGO FIGUEIRA

Axiomatizations for downward XPath on Data Trees

JOURNAL OF COMPUTER AND SYSTEM SCIENCES; Lugar: Amsterdam; Año: 2017 vol. 89 p. 209 - 245

SERGIO ABRIOLA; MARÍA EMILIA DESCOTTE; SANTIAGO FIGUEIRA

Model Theory of XPath on Data Trees. Part II: Binary Bisimulation and Definability

Information and Computation; Lugar: Amsterdam; Año: 2017 p. 195 - 233

MARIE AMALRIC; LIPING WANG; PIERRE PICA; SANTIAGO FIGUEIRA; MARIANO SIGMAN; STANISLAS DEHAENE

The language of geometry: Fast comprehension of geometrical primitives and rules in human adults and preschoolers

PLOS COMPUTATIONAL BIOLOGY; Lugar: San Francisco; Año: 2017 vol. 13

GABRIEL SENNO; ARIEL BENDERSKY; SANTIAGO FIGUEIRA

Randomness and non-locality

FLUCTUATION AND NOISE LETTERS; Lugar: London, UK; Año: 2016 vol. 15

ARIEL BENDERSKY; GONZALO DE LA TORRE; GABRIEL SENNO; SANTIAGO FIGUEIRA; ANTONIO ACIN

Algorithmic pseudorandomness in quantum setups

PHYSICAL REVIEW LETTERS; Lugar: New York; Año: 2016 vol. 116 p. 230402 - 230407

JAVIER ALMARZA; SANTIAGO FIGUEIRA

Normality in non-integer bases and polynomial time randomness

JOURNAL OF COMPUTER AND SYSTEM SCIENCES; Lugar: Amsterdam; Año: 2015 vol. 81 p. 1059 - 1087

SANTIAGO FIGUEIRA; DENIS HIRSCHFELDT; JOSEPH S. MILLER; KENG MENG NG; ANDRÉ NIES

Counting the changes of random $\Delta^0_2$ sets

JOURNAL OF LOGIC AND COMPUTATION; Año: 2015 vol. 25 p. 1073 - 1089

SERGIO ABRIOLA; SANTIAGO FIGUEIRA; GABRIEL SENNO

Linearizing well-quasi orders and bounding the length of bad sequences

THEORETICAL COMPUTER SCIENCE; Lugar: Amsterdam; Año: 2015 vol. 603 p. 3 - 22

DIEGO FIGUEIRA; SANTIAGO FIGUEIRA; CARLOS ARECES

Model Theory of XPath on Data Trees. Part I: Bisimulation and Characterization

JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, THE; Año: 2015 vol. 53 p. 271 - 314

SANTIAGO FIGUEIRA; ANDRÉ NIES

Feasible analysis, randomness, and base invariance

THEORY OF COMPUTING SYSTEMS; Lugar: Berlin; Año: 2015 vol. 56 p. 439 - 464

SANTIAGO FIGUEIRA; DANIEL GORÍN; RAFAEL GRIMSON

Independence friendly logic with classical negation via flattening is a second-order logic with weak dependencies

JOURNAL OF COMPUTER AND SYSTEM SCIENCES; Lugar: Amsterdam; Año: 2014 vol. 80 p. 1102 - 1118

CARLOS ARECES; FACUNDO CARREIRO; SANTIAGO FIGUEIRA

Characterization, Definability and Separation via Saturated Models

THEORETICAL COMPUTER SCIENCE; Lugar: Amsterdam; Año: 2014 vol. 537 p. 72 - 86

SERGIO ABRIOLA; MARÍA EMILIA DESCOTTE; SANTIAGO FIGUEIRA

Definability for Downward and Vertical XPath on Data Trees

LECTURE NOTES IN COMPUTER SCIENCE; Año: 2014

SERGIO ROMANO; MARIANO SIGMAN; SANTIAGO FIGUEIRA

$LT^2C^2$: A language of thought with Turing-computable Kolmogorov complexity

Papers in Physics; Año: 2013 vol. 4 p. 1 - 14

SERGIO ABRIOLA; SANTIAGO FIGUEIRA; GABRIEL SENNO

Linearizing bad sequences: upper bounds for the product and majoring well quasi-orders

LECTURE NOTES IN COMPUTER SCIENCE; Año: 2012 vol. 7456 p. 110 - 126

CARLOS ARECES; SANTIAGO FIGUEIRA; SERGIO MERA

Completeness results for Memory Logics

ANNALS OF PURE AND APPLIED LOGIC; Lugar: Amsterdam; Año: 2012 vol. 7 p. 961 - 972

CARLOS ARECES; SANTIAGO FIGUEIRA; DANIEL GORÍN

Using Logic in the Generation of Referring Expressions

LECTURE NOTES IN COMPUTER SCIENCE; Año: 2011 vol. 6736 p. 17 - 32

CARLOS ARECES; FACUNDO CARREIRO; SANTIAGO FIGUEIRA; SERGIO MERA

Basic Model Theory for Memory Logics

LECTURE NOTES IN COMPUTER SCIENCE; Año: 2011 vol. 6642 p. 20 - 35

SANTIAGO FIGUEIRA; DANIEL GORÍN; RAFAEL GRIMSON

On the Expressive Power of IF-Logic with Classical Negation

LECTURE NOTES IN COMPUTER SCIENCE; Año: 2011 vol. 6642 p. 135 - 145

CARLOS ARECES; DIEGO FIGUEIRA; SANTIAGO FIGUEIRA; SERGIO MERA

The Expressive Power of Memory Logics

REVIEW OF SYMBOLIC LOGIC; Lugar: Cambridge; Año: 2011 vol. 4 p. 290 - 318

SANTIAGO FIGUEIRA; DANIEL GORÍN; RAFAEL GRIMSON

On the formal semantics of IF-like logics

JOURNAL OF COMPUTER AND SYSTEM SCIENCES; Año: 2010 vol. 75 p. 333 - 346

SANTIAGO FIGUEIRA; DENIS HIRSCHFELDT; JOSEPH S. MILLER; KENG MENG NG; ANDRÉ NIES

Counting the Changes of Random $\Delta^0_2$ Sets

LECTURE NOTES IN COMPUTER SCIENCE; Año: 2010 vol. 6158 p. 162 - 171

SANTIAGO FIGUEIRA; JOSEPH S. MILLER; ANDRÉ NIES

Indifferent sets

JOURNAL OF LOGIC AND COMPUTATION; Lugar: Oxford; Año: 2009 vol. 19 p. 425 - 443

CARLOS ARECES; SANTIAGO FIGUEIRA; SERGIO MERA

Completeness results for Memory Logics

LECTURE NOTES IN COMPUTER SCIENCE; Lugar: Berlin / Heidelberg; Año: 2009 vol. 5407 p. 16 - 30

SANTIAGO FIGUEIRA; DANIEL GORÍN; RAFAEL GRIMSON

On the Formal Semantics of IF-like Logics

LECTURE NOTES IN COMPUTER SCIENCE; Lugar: Berlin / Heidelberg; Año: 2008 vol. 5110 p. 164 - 178

CARLOS ARECES; DIEGO FIGUEIRA; SANTIAGO FIGUEIRA; SERGIO MERA

Expressive Power and Decidability for Memory Logics

LECTURE NOTES IN COMPUTER SCIENCE; Lugar: Berlin / Heidelberg; Año: 2008 vol. 5110 p. 56 - 68

BENJAMÍN RENÉ CALLEJAS BEDREGAL; SANTIAGO FIGUEIRA

On the computing power of fuzzy Turing machines

FUZZY SETS AND SYSTEMS; Año: 2008 vol. 159 p. 1072 - 1083

SANTIAGO FIGUEIRA; ANDRÉ NIES; FRANK STEPHAN

Lowness properties and approximations of the jump

ANNALS OF PURE AND APPLIED LOGIC; Año: 2008 vol. 152 p. 51 - 66

VERÓNICA BECHER; SANTIAGO FIGUEIRA; RAFAEL PICCHI

Turing's unpublished algorithm for normal numbers

THEORETICAL COMPUTER SCIENCE; Año: 2007 vol. 377 p. 126 - 138

BENJAMÍN RENÉ CALLEJAS BEDREGAL; SANTIAGO FIGUEIRA

Classical Computability and Fuzzy Turing Machines

LECTURE NOTES IN COMPUTER SCIENCE; Año: 2006 vol. 3887 p. 154 - 165

SANTIAGO FIGUEIRA; FRANK STEPHAN; GUOHUA WU

Randomness and universal machines

JOURNAL OF COMPLEXITY; Año: 2006 vol. 22 p. 738 - 751

VERÓNICA BECHER; SANTIAGO FIGUEIRA; SERGE GRIGORIEFF; JOSEPH S. MILLER

Randomness and halting probabilities

JOURNAL OF SYMBOLIC LOGIC, THE; Año: 2006 vol. 71 p. 1411 - 1430

FIGUEIRA, SANTIAGO; NIES, ANDRÉ; STEPHAN, FRANK

Lowness properties and approximations of the jump

Electronic Notes in Theoretical Computer Science; Año: 2006 vol. 143 p. 45 - 57

VERÓNICA BECHER; SANTIAGO FIGUEIRA; ANDRÉ NIES; SILVANA PICCHI

Program size complexity for possibly infinite computations

NOTRE DAME JOURNAL OF FORMAL LOGIC; Año: 2005 vol. 46 p. 51 - 64

VERÓNICA BECHER; SANTIAGO FIGUEIRA

Kolmogorov complexity for possibly infinite computations

JOURNAL OF LOGIC, LANGUAGE AND INFORMATION; Año: 2005 vol. 14 p. 133 - 148

VERÓNICA BECHER; SANTIAGO FIGUEIRA

An example of a computable absolutely normal number

THEORETICAL COMPUTER SCIENCE; Año: 2002 vol. 270 p. 947 - 958