domagoj
Postdoctoral Researcher at
DCC PUC Chile and
Center for Semantic Web Research

Vicuna Mackenna 4860
Edificio San Agustin, 4to piso
Macul 7820436
Santiago
Chile

domagojvrgoc [at] gmail.com
dvrgoc [at] ing.puc.cl

Publications

Leonid Libkin, Tony Tan and Domagoj Vrgoč
Regular expressions for data words
To appear in JCSS.

Tony Tan and Domagoj Vrgoč
Regular expressions for querying data graphs
International Journal of Foundations of Computer Science, 25(8).

Domagoj Vrgoč
Using variable automata for querying data graphs
To appear in Information Processing Letters.

Egor V. Kostylev, Juan L. Reutter and Domagoj Vrgoč
XPath for DL Ontologies
AAAI 2015.

Egor V. Kostylev, Juan L. Reutter and Domagoj Vrgoč
XPath for DL-Lite Ontologies
DL 2014.

Egor V. Kostylev, Juan L. Reutter and Domagoj Vrgoč
Containment of Data Graph Queries
ICDT 2014.

Leonid Libkin, Tony Tan and Domagoj Vrgoč
Regular Expressions with Binding over Data Words for
Querying Graph Databases

DLT 2013.

Leonid Libkin, Juan L. Reutter and Domagoj Vrgoč
TriAL for RDF: Adapting Graph Query Languages for RDF Data
PODS 2013.

Leonid Libkin, Wim Martens and Domagoj Vrgoč
Querying graph databases with XPath
ICDT 2013.

Leonid Libkin and Domagoj Vrgoč
Regular Expressions for Data Words
LPAR 2012.

Leonid Libkin and Domagoj Vrgoč
Regular Path Queries on Graphs with Data
ICDT 2012.

Vedran Čačić and Domagoj Vrgoč
A Note on Bisimulation and Modal Equivalence in Provability Logic and Interpretability Logic
Studia Logica, 101: 31-44 (2013)

Domagoj Vrgoč and Mladen Vuković
Bismulations and bismulation quotients of generalized Veltman models
Logic Journal of IGPL, 18: 870-880 (2010).

Domagoj Vrgoč and Mladen Vuković
Bisimulation quotients of Veltman models.
Reports on Mathematical Logic, 46: 59-73 (2011).

PhD Thesis

Querying graphs with data.
University of Edinburgh, March 2014.