Advanced Search
Now showing items 11-15 of 15
Canonicalisation of monotone SPARQL queries
(Springer Verlag, 2018)
GraFa: Scalable faceted browsing for RDF graphs
(Springer Verlag, 2018)
WISP: Weighted shortest paths for RDF graphs
(CEUR-WS, 2018)
On the approximation ratio of Lempel-Ziv parsing
(Springer Verlag, 2018)
Gradual program verification
(Springer Verlag, 2018)