Santiago Figueira

63 papers A* 4A 2B 3C 10Misc 1Journal 40Unranked 2

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	A Common Ancestor of PDL, Conjunctive Queries, and Unary Negation First-order. CoRR Diego Figueira, Santiago Figueira
2025	J	`jnl`	Algorithms to prove the maximum number of MUBs in arbitrary dimension. Quantum Inf. Process. Santiago Cifuentes, Nicolás Ciancaglini, Guido Bellomo, Santiago Figueira, Ariel Bendersky
2025	J	`jnl`	Axiomatization of XPath with general data comparison. J. Appl. Non Class. Logics Sergio Abriola, Santiago Figueira, Nicolás González
2025	J	`jnl`	Modal logic with relations over paths: A theoretical development through comonadic semantics. J. Log. Comput. Santiago Figueira, Gabriel Goren Roig
2025	J	`jnl`	Rauzy complexity and block entropy. Inf. Comput. Verónica Becher, Olivier Carton, Santiago Figueira
2024	J	`jnl`	Rauzy dimension and finite-state dimension. CoRR Verónica Becher, Olivier Carton, Santiago Figueira
2023	J	`jnl`	A Modal Logic with n-ary Relations Over Paths: Comonadic Semantics and Expressivity. CoRR Santiago Figueira, Gabriel Goren Roig
2023	A*	`conf`	PDL on Steroids: on Expressive Extensions of PDL with Intersection and Converse. LICS Diego Figueira, Santiago Figueira, Edwin Pin Baque
2023	J	`jnl`	PDL on Steroids: on Expressive Extensions of PDL with Intersection and Converse. CoRR Diego Figueira, Santiago Figueira, Edwin Pin Baque
2021	J	`jnl`	A theory of memory for binary sequences: Evidence for a mental compression algorithm in humans. PLoS Comput. Biol. Samuel Planton, Timo van Kerkoerle, Leïla Abbih, Maxime Maheu, Florent Meyniel, Mariano Sigman, Liping Wang, Santiago Figueira, Sergio Romano, Stanislas Dehaene
2020	A*	`conf`	Finite Controllability for Ontology-Mediated Query Answering of CRPQ. KR Diego Figueira, Santiago Figueira, Edwin Pin Baque
2019	A	`conf`	Closure Properties of Synchronized Relations. STACS María Emilia Descotte, Diego Figueira, Santiago Figueira
2019	J	`jnl`	Representation of spatial sequences using nested rules in human prefrontal cortex. NeuroImage Liping Wang, Marie Amalric, Wen Fang, Xinjian Jiang, Christophe Pallier, Santiago Figueira, Mariano Sigman, Stanislas Dehaene
2018	J	`jnl`	Algorithmic identification of probabilities is hard. J. Comput. Syst. Sci. Laurent Bienvenu, Santiago Figueira, Benoit Monin, Alexander Shen
2018	J	`jnl`	Bisimulations on Data Graphs. J. Artif. Intell. Res. Sergio Abriola, Pablo Barceló, Diego Figueira, Santiago Figueira
2018	J	`jnl`	Learning is Compiling: Experience Shapes Concept Learning by Combining Primitives in a Language of Thought. CoRR Pablo Tano, Sergio Romano, Mariano Sigman, Alejo Salles, Santiago Figueira
2017	J	`jnl`	Axiomatizations for downward XPath on data trees. J. Comput. Syst. Sci. Sergio Abriola, María Emilia Descotte, Raul Fervari, Santiago Figueira
2017	B	`conf`	Logics of Repeating Values on Data Trees and Branching Counter Systems. FoSSaCS Sergio Abriola, Diego Figueira, Santiago Figueira
2017	J	`jnl`	Model theory of XPath on data trees. Part II: Binary bisimulation and definability. Inf. Comput. Sergio Abriola, María Emilia Descotte, Santiago Figueira
2017	J	`jnl`	The language of geometry: Fast comprehension of geometrical primitives and rules in human adults and preschoolers. PLoS Comput. Biol. Marie Amalric, Liping Wang, Pierre Pica, Santiago Figueira, Mariano Sigman, Stanislas Dehaene
2016	J	`jnl`	Axiomatizations for downward XPath on Data Trees. CoRR Sergio Abriola, María Emilia Descotte, Raul Fervari, Santiago Figueira
2016	A*	`conf`	Bisimulations on Data Graphs. KR Sergio Abriola, Pablo Barceló, Diego Figueira, Santiago Figueira
2015	J	`jnl`	Counting the changes of random Δ20 sets. J. Log. Comput. Santiago Figueira, Denis R. Hirschfeldt, Joseph S. Miller, Keng Meng Ng, André Nies
2015	J	`jnl`	Feasible Analysis, Randomness, and Base Invariance. Theory Comput. Syst. Santiago Figueira, André Nies
2015	J	`jnl`	Linearizing well quasi-orders and bounding the length of bad sequences. Theor. Comput. Sci. Sergio Abriola, Santiago Figueira, Gabriel Senno
2015	J	`jnl`	Model Theory of XPath on Data Trees. Part I: Bisimulation and Characterization. J. Artif. Intell. Res. Diego Figueira, Santiago Figueira, Carlos Areces
2015	J	`jnl`	Normality in non-integer bases and polynomial time randomness. J. Comput. Syst. Sci. Javier Ignacio Almarza, Santiago Figueira
2015	—	`conf`	Saturation, Definability, and Separation for XPath on Data Trees. AMW Sergio Abriola, María Emilia Descotte, Santiago Figueira
2014	C	`conf`	A note on the order type of minoring orderings and some algebraic properties of ω CLEI Sergio Abriola, Santiago Figueira
2014	A	`conf`	Basic Model Theory of XPath on Data Trees. ICDT Diego Figueira, Santiago Figueira, Carlos Areces
2014	J	`jnl`	Characterization, definability and separation via saturated models. Theor. Comput. Sci. Carlos Areces, Facundo Carreiro, Santiago Figueira
2014	C	`conf`	Definability for Downward and Vertical XPath on Data Trees. WoLLIC Sergio Abriola, María Emilia Descotte, Santiago Figueira
2014	J	`jnl`	Independence friendly logic with classical negation via flattening is a second-order logic with weak dependencies. J. Comput. Syst. Sci. Santiago Figueira, Daniel Gorín, Rafael Grimson
2014	J	`jnl`	Normality in non-integer bases and polynomial time randomness. CoRR Javier Ignacio Almarza, Santiago Figueira
2013	J	`jnl`	LT^2C^2: A language of thought with Turing-computable Kolmogorov complexity CoRR Sergio Romano, Mariano Sigman, Santiago Figueira
2012	J	`jnl`	Completeness results for memory logics. Ann. Pure Appl. Log. Carlos Areces, Santiago Figueira, Sergio Mera
2012	C	`conf`	Linearizing Bad Sequences: Upper Bounds for the Product and Majoring Well Quasi-orders. WoLLIC Sergio Abriola, Santiago Figueira, Gabriel Senno
2011	A*	`conf`	Ackermannian and Primitive-Recursive Bounds with Dickson's Lemma. LICS Diego Figueira, Santiago Figueira, Sylvain Schmitz, Philippe Schnoebelen
2011	C	`conf`	Basic Model Theory for Memory Logics. WoLLIC Carlos Areces, Facundo Carreiro, Santiago Figueira, Sergio Mera
2011	C	`conf`	On the Expressive Power of IF-Logic with Classical Negation. WoLLIC Santiago Figueira, Daniel Gorín, Rafael Grimson
2011	J	`jnl`	The Expressive Power of Memory Logics. Rev. Symb. Log. Carlos Areces, Diego Figueira, Santiago Figueira, Sergio Mera
2011	—	`conf`	Using Logic in the Generation of Referring Expressions. LACL Carlos Areces, Santiago Figueira, Daniel Gorín
2010	J	`jnl`	Ackermann and Primitive-Recursive Bounds with Dickson's Lemma CoRR Diego Figueira, Santiago Figueira, Sylvain Schmitz, Philippe Schnoebelen
2010	C	`conf`	Counting the Changes of Random D CiE Santiago Figueira, Denis R. Hirschfeldt, Joseph S. Miller, Keng Meng Ng, André Nies
2010	B	`conf`	On the Size of Shortest Modal Descriptions. Advances in Modal Logic Santiago Figueira, Daniel Gorín
2010	J	`jnl`	On the formal semantics of IF-like logics. J. Comput. Syst. Sci. Santiago Figueira, Daniel Gorín, Rafael Grimson
2010	J	`jnl`	The Question of Expressiveness in the Generation of Referring Expressions CoRR Carlos Areces, Santiago Figueira, Daniel Gorín
2009	Misc	`conf`	Completeness Results for Memory Logics. LFCS Carlos Areces, Santiago Figueira, Sergio Mera
2009	J	`jnl`	Indifferent Sets. J. Log. Comput. Santiago Figueira, Joseph S. Miller, André Nies
2008	C	`conf`	Expressive Power and Decidability for Memory Logics. WoLLIC Carlos Areces, Diego Figueira, Santiago Figueira, Sergio Mera
2008	J	`jnl`	Lowness properties and approximations of the jump. Ann. Pure Appl. Log. Santiago Figueira, André Nies, Frank Stephan
2008	C	`conf`	On the Formal Semantics of IF-Like Logics. WoLLIC Santiago Figueira, Daniel Gorín, Rafael Grimson
2008	J	`jnl`	On the computing power of fuzzy Turing machines. Fuzzy Sets Syst. Benjamín René Callejas Bedregal, Santiago Figueira
2007	J	`jnl`	Turing's unpublished algorithm for normal numbers. Theor. Comput. Sci. Verónica Becher, Santiago Figueira, Rafael Picchi
2006	—	`—`	Aspectos de aleatoriedad Santiago Figueira
2006	B	`conf`	Classical Computability and Fuzzy Turing Machines. LATIN Benjamín René Callejas Bedregal, Santiago Figueira
2006	J	`jnl`	Randomness and halting probabilities. J. Symb. Log. Verónica Becher, Santiago Figueira, Serge Grigorieff, Joseph S. Miller
2006	J	`jnl`	Randomness and universal machines. J. Complex. Santiago Figueira, Frank Stephan, Guohua Wu
2005	J	`jnl`	Kolmogorov Complexity for Possibly Infinite Computations. J. Log. Lang. Inf. Verónica Becher, Santiago Figueira
2005	C	`conf`	Lowness Properties and Approximations of the Jump. WoLLIC Santiago Figueira, André Nies, Frank Stephan
2005	J	`jnl`	Program Size Complexity for Possibly Infinite Computations. Notre Dame J. Formal Log. Verónica Becher, Santiago Figueira, André Nies, Silvana Picchi
2005	C	`conf`	Randomness and Universal Machines. CCA Santiago Figueira, Frank Stephan, Guohua Wu
2002	J	`jnl`	An example of a computable absolutely normal number. Theor. Comput. Sci. Verónica Becher, Santiago Figueira