default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSantiago Figueira
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[i9]Verónica Becher, Olivier Carton, Santiago Figueira:
Rauzy dimension and finite-state dimension. CoRR abs/2406.18383 (2024)- 2023
- [c22]Diego Figueira, Santiago Figueira, Edwin Pin Baque:
PDL on Steroids: on Expressive Extensions of PDL with Intersection and Converse. LICS 2023: 1-13 - [i8]Diego Figueira, Santiago Figueira, Edwin Pin Baque:
PDL on Steroids: on Expressive Extensions of PDL with Intersection and Converse. CoRR abs/2304.10381 (2023) - [i7]Santiago Figueira, Gabriel Goren Roig:
A Modal Logic with n-ary Relations Over Paths: Comonadic Semantics and Expressivity. CoRR abs/2307.09679 (2023) - 2021
- [j26]Samuel Planton
, Timo van Kerkoerle, Leïla Abbih, Maxime Maheu, Florent Meyniel, Mariano Sigman, Liping Wang, Santiago Figueira, Sergio Romano, Stanislas Dehaene:
A theory of memory for binary sequences: Evidence for a mental compression algorithm in humans. PLoS Comput. Biol. 17(1) (2021) - 2020
- [c21]Diego Figueira, Santiago Figueira, Edwin Pin Baque:
Finite Controllability for Ontology-Mediated Query Answering of CRPQ. KR 2020: 381-391
2010 – 2019
- 2019
- [j25]Liping Wang, Marie Amalric, Wen Fang, Xinjian Jiang, Christophe Pallier, Santiago Figueira, Mariano Sigman, Stanislas Dehaene:
Representation of spatial sequences using nested rules in human prefrontal cortex. NeuroImage 186: 245-255 (2019) - [c20]María Emilia Descotte, Diego Figueira, Santiago Figueira:
Closure Properties of Synchronized Relations. STACS 2019: 22:1-22:17 - 2018
- [j24]Sergio Abriola, Pablo Barceló, Diego Figueira, Santiago Figueira:
Bisimulations on Data Graphs. J. Artif. Intell. Res. 61: 171-213 (2018) - [j23]Laurent Bienvenu, Santiago Figueira, Benoit Monin, Alexander Shen:
Algorithmic identification of probabilities is hard. J. Comput. Syst. Sci. 95: 98-108 (2018) - [i6]Pablo Tano, Sergio Romano, Mariano Sigman, Alejo Salles, Santiago Figueira:
Learning is Compiling: Experience Shapes Concept Learning by Combining Primitives in a Language of Thought. CoRR abs/1805.06924 (2018) - 2017
- [j22]Sergio Abriola, María Emilia Descotte, Santiago Figueira:
Model theory of XPath on data trees. Part II: Binary bisimulation and definability. Inf. Comput. 255: 195-223 (2017) - [j21]Sergio Abriola, María Emilia Descotte, Raul Fervari, Santiago Figueira:
Axiomatizations for downward XPath on data trees. J. Comput. Syst. Sci. 89: 209-245 (2017) - [j20]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 Comput. Biol. 13(1) (2017) - [c19]Sergio Abriola, Diego Figueira, Santiago Figueira:
Logics of Repeating Values on Data Trees and Branching Counter Systems. FoSSaCS 2017: 196-212 - 2016
- [c18]Sergio Abriola, Pablo Barceló, Diego Figueira, Santiago Figueira:
Bisimulations on Data Graphs. KR 2016: 309-318 - [i5]Sergio Abriola, María Emilia Descotte, Raul Fervari, Santiago Figueira:
Axiomatizations for downward XPath on Data Trees. CoRR abs/1605.04271 (2016) - 2015
- [j19]Diego Figueira, Santiago Figueira, Carlos Areces:
Model Theory of XPath on Data Trees. Part I: Bisimulation and Characterization. J. Artif. Intell. Res. 53: 271-314 (2015) - [j18]Javier Ignacio Almarza, Santiago Figueira:
Normality in non-integer bases and polynomial time randomness. J. Comput. Syst. Sci. 81(7): 1059-1087 (2015) - [j17]Santiago Figueira, Denis R. Hirschfeldt, Joseph S. Miller, Keng Meng Ng, André Nies:
Counting the changes of random Δ20 sets. J. Log. Comput. 25(4): 1073-1089 (2015) - [j16]Santiago Figueira, André Nies:
Feasible Analysis, Randomness, and Base Invariance. Theory Comput. Syst. 56(3): 439-464 (2015) - [j15]Sergio Abriola, Santiago Figueira, Gabriel Senno:
Linearizing well quasi-orders and bounding the length of bad sequences. Theor. Comput. Sci. 603: 3-22 (2015) - [c17]Sergio Abriola, María Emilia Descotte, Santiago Figueira:
Saturation, Definability, and Separation for XPath on Data Trees. AMW 2015 - 2014
- [j14]Santiago Figueira, Daniel Gorín, Rafael Grimson:
Independence friendly logic with classical negation via flattening is a second-order logic with weak dependencies. J. Comput. Syst. Sci. 80(6): 1102-1118 (2014) - [j13]Carlos Areces, Facundo Carreiro, Santiago Figueira:
Characterization, definability and separation via saturated models. Theor. Comput. Sci. 537: 72-86 (2014) - [c16]Sergio Abriola, Santiago Figueira:
A note on the order type of minoring orderings and some algebraic properties of ω2-well quasi-orderings. CLEI 2014: 1-9 - [c15]Diego Figueira, Santiago Figueira, Carlos Areces:
Basic Model Theory of XPath on Data Trees. ICDT 2014: 50-60 - [c14]Sergio Abriola, María Emilia Descotte, Santiago Figueira:
Definability for Downward and Vertical XPath on Data Trees. WoLLIC 2014: 20-35 - [i4]Javier Ignacio Almarza, Santiago Figueira:
Normality in non-integer bases and polynomial time randomness. CoRR abs/1410.8594 (2014) - 2013
- [i3]Sergio Romano, Mariano Sigman, Santiago Figueira:
LT^2C^2: A language of thought with Turing-computable Kolmogorov complexity. CoRR abs/1303.0875 (2013) - 2012
- [j12]Carlos Areces, Santiago Figueira, Sergio Mera:
Completeness results for memory logics. Ann. Pure Appl. Log. 163(7): 961-972 (2012) - [c13]Sergio Abriola, Santiago Figueira, Gabriel Senno:
Linearizing Bad Sequences: Upper Bounds for the Product and Majoring Well Quasi-orders. WoLLIC 2012: 110-126 - 2011
- [j11]Carlos Areces, Diego Figueira, Santiago Figueira, Sergio Mera:
The Expressive Power of Memory Logics. Rev. Symb. Log. 4(2): 290-318 (2011) - [c12]Carlos Areces, Santiago Figueira, Daniel Gorín:
Using Logic in the Generation of Referring Expressions. LACL 2011: 17-32 - [c11]Diego Figueira, Santiago Figueira, Sylvain Schmitz, Philippe Schnoebelen:
Ackermannian and Primitive-Recursive Bounds with Dickson's Lemma. LICS 2011: 269-278 - [c10]Carlos Areces, Facundo Carreiro, Santiago Figueira, Sergio Mera:
Basic Model Theory for Memory Logics. WoLLIC 2011: 20-34 - [c9]Santiago Figueira, Daniel Gorín, Rafael Grimson:
On the Expressive Power of IF-Logic with Classical Negation. WoLLIC 2011: 135-145 - 2010
- [j10]Santiago Figueira, Daniel Gorín, Rafael Grimson:
On the formal semantics of IF-like logics. J. Comput. Syst. Sci. 76(5): 333-346 (2010) - [c8]Santiago Figueira, Daniel Gorín:
On the Size of Shortest Modal Descriptions. Advances in Modal Logic 2010: 120-139 - [c7]Santiago Figueira, Denis R. Hirschfeldt, Joseph S. Miller, Keng Meng Ng, André Nies:
Counting the Changes of Random D02 Sets. CiE 2010: 162-171 - [i2]Carlos Areces, Santiago Figueira, Daniel Gorín:
The Question of Expressiveness in the Generation of Referring Expressions. CoRR abs/1006.4621 (2010) - [i1]Diego Figueira, Santiago Figueira, Sylvain Schmitz, Philippe Schnoebelen:
Ackermann and Primitive-Recursive Bounds with Dickson's Lemma. CoRR abs/1007.2989 (2010)
2000 – 2009
- 2009
- [j9]Santiago Figueira, Joseph S. Miller, André Nies:
Indifferent Sets. J. Log. Comput. 19(2): 425-443 (2009) - [c6]Carlos Areces, Santiago Figueira, Sergio Mera:
Completeness Results for Memory Logics. LFCS 2009: 16-30 - 2008
- [j8]Santiago Figueira, André Nies, Frank Stephan:
Lowness properties and approximations of the jump. Ann. Pure Appl. Log. 152(1-3): 51-66 (2008) - [j7]Benjamín René Callejas Bedregal, Santiago Figueira:
On the computing power of fuzzy Turing machines. Fuzzy Sets Syst. 159(9): 1072-1083 (2008) - [c5]Carlos Areces, Diego Figueira, Santiago Figueira, Sergio Mera:
Expressive Power and Decidability for Memory Logics. WoLLIC 2008: 56-68 - [c4]Santiago Figueira, Daniel Gorín, Rafael Grimson:
On the Formal Semantics of IF-Like Logics. WoLLIC 2008: 164-178 - 2007
- [j6]Verónica Becher, Santiago Figueira, Rafael Picchi:
Turing's unpublished algorithm for normal numbers. Theor. Comput. Sci. 377(1-3): 126-138 (2007) - 2006
- [j5]Santiago Figueira, Frank Stephan, Guohua Wu:
Randomness and universal machines. J. Complex. 22(6): 738-751 (2006) - [j4]Verónica Becher, Santiago Figueira, Serge Grigorieff, Joseph S. Miller:
Randomness and halting probabilities. J. Symb. Log. 71(4): 1411-1430 (2006) - [c3]Benjamín René Callejas Bedregal, Santiago Figueira:
Classical Computability and Fuzzy Turing Machines. LATIN 2006: 154-165 - 2005
- [j3]Verónica Becher, Santiago Figueira:
Kolmogorov Complexity for Possibly Infinite Computations. J. Log. Lang. Inf. 14(2): 133-148 (2005) - [j2]Verónica Becher, Santiago Figueira, André Nies, Silvana Picchi:
Program Size Complexity for Possibly Infinite Computations. Notre Dame J. Formal Log. 46(1): 51-64 (2005) - [c2]Santiago Figueira, Frank Stephan, Guohua Wu:
Randomness and Universal Machines. CCA 2005: 103-116 - [c1]Santiago Figueira, André Nies, Frank Stephan:
Lowness Properties and Approximations of the Jump. WoLLIC 2005: 45-57 - 2002
- [j1]Verónica Becher, Santiago Figueira:
An example of a computable absolutely normal number. Theor. Comput. Sci. 270(1-2): 947-958 (2002)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 20:25 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
