ask others

Kai Driessen

> Home > Persons

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2010 – today

see FAQ

What is the meaning of the colors in the publication lists?

2017
[c1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sisap/UysalDB017
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sisap/UysalDB017
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/isf/NellenDNAW16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/isf/NellenDNAW16
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)

Coauthor Index

see FAQ

maintained by

, founded at