Untyped Queries, Untyped Reflective Machines and Conditional Quantifiers. - Jose Maria Turull Torres (ADBIS, 1998)

Reflective Relational Machines of Bounded Variable Complexity. - Jose Maria Turull Torres (ADBIS (Short Papers), 1999)

Reflective Relational Machines Working on Homogeneous Databases. - Jose Maria Turull Torres (FoIKS, 2000)

Semantic Classifications of Queries to Relational Databases. - Jose Maria Turull Torres (Semantics in Databases, 2001)

A study of homogeneity in relational databases. - Jose Maria Turull Torres (Ann. Math. Artif. Intell., 2001)

On the expressibility and the computability of untyped queries. - Jose Maria Turull Torres (Ann. Pure Appl. Log., 2001)

Computable Queries for Object Oriented Databases. - Klaus-Dieter Schewe; Jose Maria Turull Torres (WoLLIC, 2002)

Expressibility of Higher Order Logics. - Lauri Hella; Jose Maria Turull Torres (WoLLIC, 2003)

On the Computation of Approximations of Database Queries. - Flavio Antonio Ferrarotti; Jose Maria Turull Torres (ADC, 2004)

Erratum for: A Study of Homogeneity in Relational Databases [Annals of Mathematics and Artificial Intelligence 33(2) (2001) 379-414]. - Jose Maria Turull Torres (Ann. Math. Artif. Intell., 2004)

Fixed-Point Quantifiers in Higher Order Logics. - Klaus-Dieter Schewe; Jose Maria Turull Torres (EJC, 2005)

A Theory of Local Set Queries. - Klaus-Dieter Schewe; Jose Maria Turull Torres (Log. J. IGPL, 2005)

Complete Problems for Higher Order Logics. - Lauri Hella; Jose Maria Turull Torres (CSL, 2006)

Relational Databases and Homogeneity in Logics with Counting. - Jose Maria Turull Torres (Acta Cybern., 2006)

Computing queries with higher-order logics. - Lauri Hella; Jose Maria Turull Torres (Theor. Comput. Sci., 2006)

Arity and alternation: a proper hierarchy in higher order logics. - Flavio Antonio Ferrarotti; Jose Maria Turull Torres (Ann. Math. Artif. Intell., 2007)

Games on Trees and Syntactical Complexity of Formulas. - Michal Krynicki; Jose Maria Turull Torres (Log. J. IGPL, 2007)

The Relational Polynomial-Time Hierarchy and Second-Order Logic. - Flavio Antonio Ferrarotti; Jose Maria Turull Torres (SDKB, 2008)

First-Order Types and Redundant Relations in Relational Databases. - Flavio Antonio Ferrarotti; Alejandra Lorena Paoletti; José M. Turull Torres (ER Workshops, 2009)

A Second-Order Logic in Which Variables Range over Relations with Complete First-Order Types. - Alejandro L. Grosso; Jose Maria Turull Torres (SCCC, 2010)

Redundant Relations in Relational Databases: A Model Theoretic Perspective. - Flavio Antonio Ferrarotti; Alejandra Lorena Paoletti; Jose Maria Turull Torres (J. Univers. Comput. Sci., 2010)

Semantic Restrictions over Second-Order Logic. - Flavio Antonio Ferrarotti; Alejandro L. Grosso; Jose Maria Turull Torres (SDKB, 2011)

SO F : A Semantic Restriction over Second-Order Logic and Its Polynomial-Time Hierarchy. - Alejandro L. Grosso; José M. Turull Torres (Conceptual Modelling and Its Theoretical Foundations, 2012)

Expressing properties in second- and third-order logic: hypercube graphs and SATQBF. - Flavio Ferrarotti; Wei Ren; Jose Maria Turull Torres (Log. J. IGPL, 2014)

Towards an ASM Thesis for Reflective Sequential Algorithms. - Flavio Ferrarotti; Loredana Tec; José Maria Turull Torres (ABZ, 2016)

Relational Complexity and Higher Order Logics. - José Maria Turull Torres (FoIKS, 2016)

On Higher Order Query Languages which on Relational Databases Collapse to Second Order Logic. - Flavio Ferrarotti; Loredana Tec; José Maria Turull Torres (CoRR, 2016)

On Fragments of Higher Order Logics that on Finite Structures Collapse to Second Order. - Flavio Ferrarotti; Senén González; José Maria Turull Torres (WoLLIC, 2017)

Systematic Refinement of Abstract State Machines with Higher-Order Logic. - Flavio Ferrarotti; Senén González; Klaus-Dieter Schewe; José Maria Turull Torres (ABZ, 2018)

Polynomially Bounded Valuations in Higher-Order Logics over Relational Databases. - Flavio Ferrarotti; Loredana Tec; José Maria Turull Torres (Models: Concepts, Theory, Logic, Reasoning and Semantics, 2018)

The Polylog-Time Hierarchy Captured by Restricted Second-Order Logic. - Flavio Ferrarotti; Senén González; Klaus-Dieter Schewe; José Maria Turull Torres (SYNASC, 2018)

Descriptive Complexity of Deterministic Polylogarithmic Time. - Flavio Ferrarotti; Senén González; José Maria Turull Torres; Jan Van den Bussche; Jonni Virtema (WoLLIC, 2019)

Proper Hierarchies in Polylogarithmic Time and Absence of Complete Problems. - Flavio Ferrarotti; Senén González; Klaus-Dieter Schewe; José Maria Turull Torres (FoIKS, 2020)

Completeness in Polylogarithmic Time and Space. - Flavio Ferrarotti; Senén González; Klaus-Dieter Schewe; José Maria Turull Torres (CoRR, 2020)

A restricted second-order logic for non-deterministic poly-logarithmic time. - Flavio Ferrarotti; Senén González; Klaus-Dieter Schewe; José Maria Turull Torres (Log. J. IGPL, 2020)

Descriptive complexity of deterministic polylogarithmic time and space. - Flavio Ferrarotti; Senén González; José Maria Turull Torres; Jan Van den Bussche; Jonni Virtema (J. Comput. Syst. Sci., 2021)

Uniform Polylogarithmic Space Completeness. - Flavio Ferrarotti; Senén González; Klaus-Dieter Schewe; José Maria Turull Torres (Frontiers Comput. Sci., 2022)