Senén González

28 papers A* 2C 7Misc 2Journal 14Unranked 3
YearRankTypeTitle / Venue / Authors
2022 J jnl
Uniform Polylogarithmic Space Completeness.
Frontiers Comput. Sci.
Flavio Ferrarotti, Senén González, Klaus-Dieter Schewe, José Maria Turull Torres
2021 J jnl
A logic for reflective ASMs.
Sci. Comput. Program.
Klaus-Dieter Schewe, Flavio Ferrarotti, Senén González
2021 — conf
ASM Specification and Refinement of a Quantum Algorithm.
Logic, Computation and Rigorous Methods
Flavio Ferrarotti, Senén González
2021 J jnl
Descriptive complexity of deterministic polylogarithmic time and space.
J. Comput. Syst. Sci.
Flavio Ferrarotti, Senén González, José Maria Turull Torres, Jan Van den Bussche, Jonni Virtema
2021 C conf
Towards Refinement of Unbounded Parallelism in ASMs Using Concurrency and Reflection.
ABZ
Fengqing Jiang, Neng Xiong, Xinyu Lian, Senén González, Klaus-Dieter Schewe
2021 C conf
Unbounded Barrier-Synchronized Concurrent ASMs for Effective MapReduce Processing on Streams.
ABZ
Zilinghan Li, Shilan He, Yiqing Du, Senén González, Klaus-Dieter Schewe
2020 J jnl
A restricted second-order logic for non-deterministic poly-logarithmic time.
Log. J. IGPL
Flavio Ferrarotti, Senén González, Klaus-Dieter Schewe, José Maria Turull Torres
2020 J jnl
Completeness in Polylogarithmic Time and Space.
CoRR
Flavio Ferrarotti, Senén González, Klaus-Dieter Schewe, José Maria Turull Torres
2020 — conf
Proper Hierarchies in Polylogarithmic Time and Absence of Complete Problems.
FoIKS
Flavio Ferrarotti, Senén González, Klaus-Dieter Schewe, José Maria Turull Torres
2020 J jnl
To index or not to index: Time-space trade-offs for positional ranking functions in search engines.
Inf. Syst.
Diego Arroyuelo, Senén González, Mauricio Marín, Mauricio Oyarzún, Torsten Suel, Luis Valenzuela
2019 J jnl
A Restricted Second-Order Logic for Non-deterministic Poly-Logarithmic Time.
CoRR
Flavio Ferrarotti, Senén González, Klaus-Dieter Schewe, José Maria Turull Torres
2019 J jnl
BSP abstract state machines capture bulk synchronous parallel computations.
Sci. Comput. Program.
Flavio Ferrarotti, Senén González, Klaus-Dieter Schewe
2019 J jnl
Compressed filesystem for managing large genome collections.
Bioinform.
Gonzalo Navarro, Victor Sepulveda, Mauricio Marín, Senén González
2019 C conf
Descriptive Complexity of Deterministic Polylogarithmic Time.
WoLLIC
Flavio Ferrarotti, Senén González, José Maria Turull Torres, Jan Van den Bussche, Jonni Virtema
2019 J jnl
Descriptive Complexity of Deterministic Polylogarithmic Time.
CoRR
Flavio Ferrarotti, Senén González, José Maria Turull Torres, Jan Van den Bussche, Jonni Virtema
2019 J jnl
Proper Hierarchies in Polylogarithmic Time and Absence of Complete Problems.
CoRR
Flavio Ferrarotti, Senén González, Klaus-Dieter Schewe, José Maria Turull Torres
2018 C conf
Efficient SPARQL Evaluation on Stratified RDF Data with Meta-data.
ADBIS
Flavio Ferrarotti, Senén González, Klaus-Dieter Schewe
2018 J jnl
Hybrid compression of inverted lists for reordered document collections.
Inf. Process. Manag.
Diego Arroyuelo, Mauricio Oyarzún, Senén González, Victor Sepulveda
2018 C conf
Systematic Refinement of Abstract State Machines with Higher-Order Logic.
ABZ
Flavio Ferrarotti, Senén González, Klaus-Dieter Schewe, José Maria Turull Torres
2018 Misc conf
The Polylog-Time Hierarchy Captured by Restricted Second-Order Logic.
SYNASC
Flavio Ferrarotti, Senén González, Klaus-Dieter Schewe, José Maria Turull Torres
2018 J jnl
The Polylog-Time Hierarchy Captured by Restricted Second-Order Logic.
CoRR
Flavio Ferrarotti, Senén González, Klaus-Dieter Schewe, José Maria Turull Torres
2017 C conf
On Fragments of Higher Order Logics that on Finite Structures Collapse to Second Order.
WoLLIC
Flavio Ferrarotti, Senén González, José Maria Turull Torres
2013 A* conf
Document identifier reassignment and run-length-compressed inverted indexes for improved search performance.
SIGIR
Diego Arroyuelo, Senén González, Mauricio Oyarzún, Victor Sepulveda
2012 J jnl
Distributed search based on self-indexed compressed text.
Inf. Process. Manag.
Diego Arroyuelo, Veronica Gil-Costa, Senén González, Mauricio Marín, Mauricio Oyarzún
2012 A* conf
To index or not to index: time-space trade-offs in search engines with positional ranking functions.
SIGIR
Diego Arroyuelo, Senén González, Mauricio Marín, Mauricio Oyarzún, Torsten Suel
2010 Misc conf
A vector model for routing queries in web search engines.
ICCS
Mauricio Oyarzún, Senén González, Marcelo Mendoza, Flavio Ferrarotti, Max Chacón, Mauricio Marín
2010 C conf
Compressed Self-indices Supporting Conjunctive Queries on Document Collections.
SPIRE
Diego Arroyuelo, Senén González, Mauricio Oyarzún
2008 — conf
Scheduling Intersection Queries in Term Partitioned Inverted Files.
Euro-Par
Mauricio Marín, Carlos Gómez-Pantoja, Senén González, Veronica Gil-Costa