Kai Driessen

According to our database, Kai Driessen authored at least 2 papers between 2016 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Fast Similarity Search with the Earth Mover's Distance via Feasible Initialization and Pruning.

Merih Seran Uysal, Kai Driessen, Tobias Brockhoff, Thomas Seidl

Proceedings of the Similarity Search and Applications - 10th International Conference, 2017

2016

Two CEGAR-based approaches for the safety verification of PLC-controlled plants.

Johanna Nellen, Kai Driessen, Martin R. Neuhäußer, Erika Ábrahám, Benedikt Wolters

Inf. Syst. Frontiers, 2016