Publications

Export 14 results:
Sort by: Author Title Type [ Year (Desc)]
Filters: Author is Santiago Figueira  [Clear All Filters]
2015
S. Abriola, S. Figueira, and G. Senno, “Linearizing well-quasi orders and bounding the length of bad sequences”, Theoretical Computer Science, vol. 603, p. 3–22, 2015.
D. Figueira, S. Figueira, and C. Areces, “Model Theory of XPath on Data Trees. Part {I:} Bisimulation and Characterization”, J. Artif. Intell. Res. {(JAIR)}, vol. 53, p. 271–314, 2015.
S. Abriola, M. E. Descotte, and S. Figueira, “Saturation, Definability, and Separation for XPath on Data Trees”, in Proceedings of the 9th Alberto Mendelzon International Workshop on Foundations of Data Management, Lima, Peru, May 6 - 8, 2015., 2015.
S. Abriola, M. E. Descotte, and S. Figueira, “Saturation, Definability, and Separation for XPath on Data Trees”, in 9th Alberto Mendelzon International Workshop on Foundations of Data Management, 2015.
2014
D. Figueira, S. Figueira, and C. Areces, “Basic Model Theory of XPath on Data Trees”, in Proceedings of the 17th International Conference on Database Theory, Athens, Greece, 2014.
C. Areces, F. Carreiro, and S. Figueira, “Characterization, Definability and Separation via Saturated Models”, Theoretical Computer Science, vol. 537, p. 72-86, 2014.
S. Abriola, M. E. Descotte, and S. Figueira, “Definability for Downward and Vertical XPath on Data Trees”, in 21th Workshop on Logic, Language, Information and Computation, 2014.
S. Abriola, M. E. Descotte, and S. Figueira, “Definability for Downward and Vertical XPath on Data Trees”, in Logic, Language, Information, and Computation - 21st International Workshop, WoLLIC 2014, Valpara{\'ı}so, Chile, September 1-4, 2014. Proceedings, 2014.
S. Figueira, D. Goriın, and R. Grimson, “Independence friendly logic with classical negation via flattening is a second-order logic with weak dependencies”, Journal of Computer and System Sciences, vol. 80, p. 1102–1118, 2014.
S. Abriola and S. Figueira, “A note on the order type of minoring orderings and some algebraic properties of ω2-well quasi-orderings”, in A note on the order type of minoring orderings and some algebraic properties of ω2-well quasi-orderings, 2014.
2012
C. Areces, S. Figueira, and S. Mera, “Completeness Results for Memory Logics”, Annals of Pure and Applied Logic, vol. 163, no. 7, p. 961-972, 2012.PDF icon Completeness_Results_for_Memory_Logics.pdf (401.9 KB)
S. Abriola, S. Figueira, and G. Senno, “Linearizing bad sequences: upper bounds for the product and majoring well quasi-orders”, in 19th Workshop on Logic, Language, Information and Computation, 2012.