INVESTIGADORES
FIGUEIRA Santiago
congresos y reuniones científicas
DIEGO FIGUEIRA; FIGUEIRA, SANTIAGO; EDWIN PIN BAQUE
Indistinguishability games for Extensions of PDL with Intersection and Converse
Combinatorial Games and Finite Model Theory
Lugar: Boston; Año: 2023;
SERGIO ABRIOLA; MARÍA EMILIA DESCOTTE; SANTIAGO FIGUEIRA
Saturation, Definability, and Separation for XPath on Data Trees
Proceedings of the 9th Alberto Mendelzon International Workshop on Foundations of Data Management
Lugar: Lima; Año: 2015;
SERGIO ABRIOLA; MARÍA EMILIA DESCOTTE; SANTIAGO FIGUEIRA
Saturation, Definability, and Separation for XPath on Data Trees
AMW (Alberto Mendelzon Workshop) 2015
Lugar: Lima; Año: 2015;
SERGIO ABRIOLA; MARÍA EMILIA DESCOTTE; SANTIAGO FIGUEIRA
Definability results for some fragments of XPath with equality tests
SLALM (Simposio Latinoamericano de Lógica Matemática)
Lugar: Buenos Aires; Año: 2014;
SERGIO ABRIOLA; SANTIAGO FIGUEIRA
A note on the order type of minoring orderings and some algebraic properties of $\omega^2$-well quasi-orderings
CLEI (Conferencia Latinoamericana en Informática)
Año: 2014;
GABRIEL SENNO; ARIEL BENDERSKY; SANTIAGO FIGUEIRA; GONZALO DE LA TORRE; ANTONIO ACIN
Implications of Computer Science Principles in quantum physics
SLALM (Simposio Latinoamericano de Lógica Matemática)
Lugar: Buenos Aires; Año: 2014;
JAVIER ALMARZA; SANTIAGO FIGUEIRA
Normality in non-integer bases
SLALM (Simposio Latinoamericano de Lógica Matemática)
Lugar: Buenos Aires; Año: 2014;
ARIEL BENDERSKY; GONZALO DE LA TORRE; GABRIEL SENNO; SANTIAGO FIGUEIRA; ANTONIO ACIN
Distinguishing the undistinguishable (poster)
QIP (Conference on Quantum Information Processing)
Lugar: Barcelona; Año: 2014;
SANTIAGO FIGUEIRA; JOSEPH S. MILLER; ANDRÉ NIES
Indifferent sets
Computability, Complexity and Randomness
Lugar: Universidad de Nanjing, China; Año: 2008;
VERÓNICA BECHER; SANTIAGO FIGUEIRA; SERGE GRIGORIEFF; JOSEPH S. MILLER
Randomness and halting probabilities
Dagstuhl Seminar 06051 - Kolmogorov Complexity and Applications
Lugar: Schloss Dagstuhl International Conference and Research Center for Computer Science, Alemania; Año: 2006;
SANTIAGO FIGUEIRA; DANIEL GORÍN; RAFAEL GRIMSON
Ehrenfeucht-Fraïssé games for the imperfect information logic
Conference in Logic, Computability and Randomness
Lugar: Córdoba, Argentina; Año: 2004;
MARTÍN URTASUN; ALEJO CAPPARELLI; SANTIAGO FIGUEIRA
Automatic file classification based on Vitányi's universal similarity metric
Conference in Logic, Computability and Randomness
Lugar: Córdoba, Argentina; Año: 2004;
VERÓNICA BECHER; SANTIAGO FIGUEIRA; SILVANA PICCHI
A conjecture on randomness in the spirit of Rice's theorem for computability
Simposio Latinoamericano de Lógica Matemática
Lugar: San José de Costa Rica; Año: 2004;
VERÓNICA BECHER; SANTIAGO FIGUEIRA; ANDRÉ NIES; SILVANA PICCHI
Program size complexity in infinte computations
Workshop on Computability and Randomness
Lugar: Heidelberg, Alemania; Año: 2003;