Senén González

Frontiers Comput. Sci., 2022

2021

A logic for reflective ASMs.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2021

Descriptive complexity of deterministic polylogarithmic time and space.

[BibT_eX]

[DOI]

Jan Van den Bussche

Jonni Virtema

J. Comput. Syst. Sci., 2021

ASM Specification and Refinement of a Quantum Algorithm.

[BibT_eX]

[DOI]

Proceedings of the Logic, Computation and Rigorous Methods, 2021

Unbounded Barrier-Synchronized Concurrent ASMs for Effective MapReduce Processing on Streams.

[BibT_eX]

[DOI]

Proceedings of the Rigorous State-Based Methods - 8th International Conference, 2021

Towards Refinement of Unbounded Parallelism in ASMs Using Concurrency and Reflection.

[BibT_eX]

[DOI]

Proceedings of the Rigorous State-Based Methods - 8th International Conference, 2021

2020

To index or not to index: Time-space trade-offs for positional ranking functions in search engines.

[BibT_eX]

[DOI]

Inf. Syst., 2020

A restricted second-order logic for non-deterministic poly-logarithmic time.

[BibT_eX]

[DOI]

Log. J. IGPL, 2020

Completeness in Polylogarithmic Time and Space.

[BibT_eX]

[DOI]

CoRR, 2020

Proper Hierarchies in Polylogarithmic Time and Absence of Complete Problems.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Information and Knowledge Systems, 2020

2019

BSP abstract state machines capture bulk synchronous parallel computations.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2019

Compressed filesystem for managing large genome collections.

[BibT_eX]

[DOI]

Bioinform., 2019

Descriptive Complexity of Deterministic Polylogarithmic Time.

[BibT_eX]

[DOI]

Jan Van den Bussche

Jonni Virtema

Proceedings of the Logic, Language, Information, and Computation, 2019

2018

Hybrid compression of inverted lists for reordered document collections.

[BibT_eX]

[DOI]

Inf. Process. Manag., 2018

The Polylog-Time Hierarchy Captured by Restricted Second-Order Logic.

[BibT_eX]

[DOI]

Proceedings of the 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2018

Systematic Refinement of Abstract State Machines with Higher-Order Logic.

[BibT_eX]

[DOI]

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018

Efficient SPARQL Evaluation on Stratified RDF Data with Meta-data.

[BibT_eX]

[DOI]

Proceedings of the Advances in Databases and Information Systems, 2018

2017

On Fragments of Higher Order Logics that on Finite Structures Collapse to Second Order.

[BibT_eX]

[DOI]

Proceedings of the Logic, Language, Information, and Computation, 2017

2013

Document identifier reassignment and run-length-compressed inverted indexes for improved search performance.

[BibT_eX]

[DOI]

Proceedings of the 36th International ACM SIGIR conference on research and development in Information Retrieval, 2013

2012

Distributed search based on self-indexed compressed text.

[BibT_eX]

[DOI]

Inf. Process. Manag., 2012

To index or not to index: time-space trade-offs in search engines with positional ranking functions.

[BibT_eX]

[DOI]

Proceedings of the 35th International ACM SIGIR conference on research and development in Information Retrieval, 2012

2010

A vector model for routing queries in web search engines.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Computational Science, 2010

Compressed Self-indices Supporting Conjunctive Queries on Document Collections.

[BibT_eX]

[DOI]

Diego Arroyuelo