Advanced Search
Now showing items 11-20 of 36
A self-index on block trees
(Springer, 2017)
Approximately coloring graphs without long induced paths
(Springer, 2017)
Adaptivity in Network Interdiction
(Springer, 2017)
Guarded ontology-mediated queries distributing over components
(CEUR-WS, 2017)
Fast and compact planar embeddings
(Springer, 2017)
Gradual program verification
(Springer Verlag, 2018)
A gradual interpretation of union types
(Springer, 2017)