Kai Driessen
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – today
- 2017
- [c1]Merih Seran Uysal, Kai Driessen, Tobias Brockhoff, Thomas Seidl:
Fast Similarity Search with the Earth Mover's Distance via Feasible Initialization and Pruning. SISAP 2017: 141-155 - 2016
- [j1]Johanna Nellen, Kai Driessen, Martin R. Neuhäußer, Erika Ábrahám, Benedikt Wolters:
Two CEGAR-based approaches for the safety verification of PLC-controlled plants. Information Systems Frontiers 18(5): 927-952 (2016)
last updated on 2017-10-01 00:55 CEST by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint