The following pages link to Domagoj Vrgoč (Q269724):
Displayed 14 items.
- Static analysis of navigational XPath over graph databases (Q269725) (← links)
- A note on bisimulation and modal equivalence in provability logic and interpretability logic (Q361870) (← links)
- Using variable automata for querying data graphs (Q483052) (← links)
- Containment of queries for graphs with data (Q1678169) (← links)
- Regular expressions for data words (Q2353403) (← links)
- (Q2888153) (← links)
- Regular Expressions for Data Words (Q2891457) (← links)
- Navigational and Rule-Based Languages for Graph Databases (Q2970302) (← links)
- Bisimulations and bisimulation quotients of generalized Veltman models (Q3061279) (← links)
- Querying Graphs with Data (Q3177771) (← links)
- TriAL (Q5012588) (← links)
- REGULAR EXPRESSIONS FOR QUERYING DATA GRAPHS (Q5247169) (← links)
- Regular Expressions with Binding over Data Words for Querying Graph Databases (Q5300851) (← links)
- Cryptocurrency Mining Games with Economic Discount and Decreasing Rewards. (Q5874331) (← links)