Domajoj Vrgoč

Available identifiers

Publication	Date of Publication	Type
A Researcher's Digest of GQL (invited talk)	2024-10-08	Paper
Size bounds and algorithms for conjunctive regular path queries	2024-10-08	Paper
Cryptocurrency Mining Games with Economic Discount and Decreasing Rewards.	2023-02-07	Paper
TriAL	2021-11-25	Paper
Querying Graphs with Data	2018-08-02	Paper
Containment of queries for graphs with data	2017-11-14	Paper
Navigational and Rule-Based Languages for Graph Databases	2017-03-30	Paper
Static analysis of navigational XPath over graph databases	2016-04-06	Paper
Regular expressions for data words	2015-07-13	Paper
REGULAR EXPRESSIONS FOR QUERYING DATA GRAPHS	2015-04-23	Paper
Using variable automata for querying data graphs	2014-12-15	Paper
A note on bisimulation and modal equivalence in provability logic and interpretability logic	2013-08-19	Paper
Regular Expressions with Binding over Data Words for Querying Graph Databases	2013-06-28	Paper
Regular Expressions for Data Words	2012-06-15	Paper
Bisimulation quotients of Veltman models	2012-05-30	Paper
Bisimulations and bisimulation quotients of generalized Veltman models	2010-12-14	Paper

This page was built for person: Domajoj Vrgoč