Domagoj Vrgoc

Adrián Soto

Semantic Web, 2021

Is it Possible to Verify if a Transaction is Spendable?

[BibT_eX]

[DOI]

Frontiers Blockchain, 2021

MillenniumDB: A Persistent, Open-Source, Graph Database.

[BibT_eX]

[DOI]

CoRR, 2021

Expressive Power of Linear Algebra Query Languages.

[BibT_eX]

[DOI]

Proceedings of the PODS'21: Proceedings of the 40th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2021

2020

Efficient Enumeration Algorithms for Regular Document Spanners.

[BibT_eX]

[DOI]

ACM Trans. Database Syst., 2020

JSON: Data model and query languages.

[BibT_eX]

[DOI]

Pierre Bourhis

Francisco José Vial Prado

Inf. Syst., 2020

Cryptocurrency Mining Games with Economic Discount and Decreasing Rewards.

[BibT_eX]

[DOI]

Proceedings of the 37th International Symposium on Theoretical Aspects of Computer Science, 2020

2018

TriAL: A Navigational Algebra for RDF Triplestores.

[BibT_eX]

[DOI]

ACM Trans. Database Syst., 2018

Containment of queries for graphs with data.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 2018

Document Spanners for Extracting Incomplete Information: Expressiveness and Complexity.

[BibT_eX]

[DOI]

Francisco Maturana

Cristian Riveros

Proceedings of the 37th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2018

Constant Delay Algorithms for Regular Document Spanners.

[BibT_eX]

[DOI]

Proceedings of the 37th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2018

Querying APIs with SPARQL: Language and Worst-Case Optimal Algorithms.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - 15th International Conference, 2018

2017

Foundations of Modern Query Languages for Graph Databases.

[BibT_eX]

[DOI]

ACM Comput. Surv., 2017

JSON: Data model, Query languages and Schema specification.

[BibT_eX]

[DOI]

Proceedings of the 36th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2017

Evaluating Navigational RDF Queries over the Web.

[BibT_eX]

[DOI]

Proceedings of the 28th ACM Conference on Hypertext and Social Media, 2017

2016

A framework for annotating CSV-like data.

[BibT_eX]

[DOI]

Proc. VLDB Endow., 2016

Querying Graphs with Data.

[BibT_eX]

[DOI]

Wim Martens

J. ACM, 2016

Static analysis of navigational XPath over graph databases.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2016

Foundations of Modern Graph Query Languages.

[BibT_eX]

[DOI]

CoRR, 2016

Foundations of JSON Schema.

[BibT_eX]

[DOI]

Proceedings of the 25th International Conference on World Wide Web, 2016

Incorporating API Data into SPARQL Query Answers.

[BibT_eX]

[DOI]

Proceedings of the ISWC 2016 Posters & Demonstrations Track co-located with 15th International Semantic Web Conference (ISWC 2016), 2016

Property Paths over Linked Data: Can It Be Done and How To Start?

[BibT_eX]

[DOI]

Proceedings of the 7th International Workshop on Consuming Linked Data co-located with 15th International Semantic Web Conference, 2016

Navigational and Rule-Based Languages for Graph Databases.

[BibT_eX]

[DOI]

Proceedings of the Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering, 2016

2015

Regular expressions for data words.

[BibT_eX]

[DOI]

Tony Tan

J. Comput. Syst. Sci., 2015

Using variable automata for querying data graphs.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2015

SPARQL with Property Paths.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2015, 2015

XPath for DL Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

Querying graphs with data.

[BibT_eX]

[DOI]

PhD thesis, 2014

Regular Expressions for Querying Data graphs.

[BibT_eX]

[DOI]

Tony Tan

Int. J. Found. Comput. Sci., 2014

Containment of Data Graph Queries.

[BibT_eX]

[DOI]

Proceedings of the Proc. 17th International Conference on Database Theory (ICDT), 2014

XPath for DL-Lite Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

2013

A Note on Bisimulation and Modal Equivalence in Provability Logic and Interpretability Logic.

[BibT_eX]

[DOI]

Vedran Cacic

Stud Logica, 2013

Trial for RDF: adapting graph query languages for RDF data.

[BibT_eX]

[DOI]

Proceedings of the 32nd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2013

Querying graph databases with XPath.

[BibT_eX]

[DOI]

Wim Martens

Proceedings of the Joint 2013 EDBT/ICDT Conferences, 2013

Regular Expressions with Binding over Data Words for Querying Graph Databases.

[BibT_eX]

[DOI]

Tony Tan

Proceedings of the Developments in Language Theory - 17th International Conference, 2013

2012

Regular Expressions for Data Words.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2012

Regular path queries on graphs with data.

[BibT_eX]

[DOI]

Proceedings of the 15th International Conference on Database Theory, 2012

2011

Bisimulation quotients of Veltman models.

[BibT_eX]

[DOI]

Mladen Vukovic

Reports Math. Log., 2011

2010

Bisimulations and bisimulation quotients of generalized Veltman models.

[BibT_eX]

[DOI]