Scheduling Intersection Queries in Term Partitioned Inverted Files. - Mauricio Marín; Carlos Gómez-Pantoja; Senén González; Veronica Gil-Costa (Euro-Par, 2008)

Compressed Self-indices Supporting Conjunctive Queries on Document Collections. - Diego Arroyuelo; Senén González; Mauricio Oyarzún (SPIRE, 2010)

A vector model for routing queries in web search engines. - Mauricio Oyarzún; Senén González; Marcelo Mendoza; Flavio Ferrarotti; Max Chacón; Mauricio Marín (ICCS, 2010)

To index or not to index: time-space trade-offs in search engines with positional ranking functions. - Diego Arroyuelo; Senén González; Mauricio Marín; Mauricio Oyarzún; Torsten Suel (SIGIR, 2012)

Distributed search based on self-indexed compressed text. - Diego Arroyuelo; Veronica Gil-Costa; Senén González; Mauricio Marín; Mauricio Oyarzún (Inf. Process. Manag., 2012)

Document identifier reassignment and run-length-compressed inverted indexes for improved search performance. - Diego Arroyuelo; Senén González; Mauricio Oyarzún; Victor Sepulveda (SIGIR, 2013)

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)

Efficient SPARQL Evaluation on Stratified RDF Data with Meta-data. - Flavio Ferrarotti; Senén González; Klaus-Dieter Schewe (ADBIS, 2018)

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)

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)

Hybrid compression of inverted lists for reordered document collections. - Diego Arroyuelo; Mauricio Oyarzún; Senén González; Victor Sepulveda (Inf. Process. Manag., 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)

Compressed filesystem for managing large genome collections. - Gonzalo Navarro 001; Victor Sepulveda; Mauricio Marín; Senén González (Bioinform., 2019)

BSP abstract state machines capture bulk synchronous parallel computations. - Flavio Ferrarotti; Senén González; Klaus-Dieter Schewe (Sci. Comput. Program., 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)

To index or not to index: Time-space trade-offs for positional ranking functions in search engines. - Diego Arroyuelo; Senén González; Mauricio Marín; Mauricio Oyarzún; Torsten Suel; Luis Valenzuela (Inf. Syst., 2020)

Towards Refinement of Unbounded Parallelism in ASMs Using Concurrency and Reflection. - Fengqing Jiang; Neng Xiong; Xinyu Lian; Senén González; Klaus-Dieter Schewe (ABZ, 2021)

Unbounded Barrier-Synchronized Concurrent ASMs for Effective MapReduce Processing on Streams. - Zilinghan Li; Shilan He; Yiqing Du; Senén González; Klaus-Dieter Schewe (ABZ, 2021)

ASM Specification and Refinement of a Quantum Algorithm. - Flavio Ferrarotti; Senén González (Logic, Computation and Rigorous Methods, 2021)

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)

A logic for reflective ASMs. - Klaus-Dieter Schewe; Flavio Ferrarotti; Senén González (Sci. Comput. Program., 2021)

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