Login / Signup
Kai Driessen
Publication Activity (10 Years)
Years Active: 2016-2017
Publications (10 Years): 2
Top Topics
Pruning Method
Inversely Proportional
Data Sets
Convex Hull
Top Venues
SISAP
Inf. Syst. Frontiers
</>
Publications
</>
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)
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.
Inf. Syst. Frontiers
18 (5) (2016)