Follow
Sven Koehler
Sven Koehler
Verified email at ucdavis.edu
Title
Cited by
Year
A SQL-middleware unifying why and why-not provenance for first-order queries
S Lee, S Köhler, B Ludäscher, B Glavic
2017 IEEE 33rd International Conference on Data Engineering (ICDE), 485-496, 2017
442017
A virtual machine program-suite for distributed de novo genome construction and motif finding
J Corwin, S Köhler, J Zerick
1
An efficient implementation of game provenance in DBMS
S Lee, Y Tang, S Köhler, B Ludäscher, B Glavic
Technical Report IIT/CS-DB-2015-02, Illinois Institute of Technology, 2015
32015
Comparison of evaluation metrics for landmark detection in cmr images
S Koehler, L Sharan, J Kuhm, A Ghanaat, J Gordejeva, NK Simon, ...
Bildverarbeitung für die Medizin 2022: Proceedings, German Workshop on …, 2022
42022
Computing location-based lineage from workflow specifications to optimize provenance queries
S Dey, S Köhler, S Bowers, B Ludäscher
Provenance and Annotation of Data and Processes: 5th International …, 2015
22015
Datalog as a Lingua Franca for Provenance Querying and Reasoning.
SC Dey, S Köhler, S Bowers, B Ludäscher
TaPP, 2012
252012
Declarative datalog debugging for mere mortals
S Köhler, B Ludäscher, Y Smaragdakis
International Datalog 2.0 Workshop, 111-122, 2012
552012
Efficiently computing provenance graphs for queries with negation
S Lee, S Köhler, B Ludäscher, B Glavic
arXiv preprint arXiv:1701.05699, 2017
62017
First-Order Provenance Games.
S Köhler, B Ludäscher, D Zinn
In Search of Elegance in the Theory and Practice of Computation 8000, 382-399, 2013
522013
FP-Akka: Experiences and challenges in integrating scientific workflows for data quality control with biodiversity services
PJ Morris, L Dou, J Hanken, S Koehler, D Lowery, B Ludäscher, ...
TDWG 2015 ANNUAL CONFERENCE, 2015
2015
Heatmap-based 2d landmark detection with a varying number of landmarks
A Stern, L Sharan, G Romano, S Koehler, M Karck, R De Simone, I Wolf, ...
Bildverarbeitung für die Medizin 2021: Proceedings, German Workshop on …, 2021
102021
How well do U-Net-based segmentation trained on adult cardiac magnetic resonance imaging data generalize to rare congenital heart diseases for surgical planning?
S Koehler, A Tandon, T Hussain, H Latus, T Pickardt, S Sarikouch, ...
Medical Imaging 2020: Image-Guided Procedures, Robotic Interventions, and …, 2020
72020
Implementing Unified Why-and Why-Not Provenance Through Games
S Lee, S Köhler, B Ludäscher, B Glavic
Provenance and Annotation of Data and Processes: 6th International …, 2016
42016
Improved Motif Detection in Large Sequence Sets with random sampling in a Kepler workflow
S Köhler, P Seitzer, MT Facciotti, B Ludäscher
Procedia Computer Science 9, 1999, 2012
42012
Improving Natural Science Collections data through quality control for research using Kepler workflows embedded in a FilteredPush network
PJ Morris, JA Macklin, J Hanken, M Kelly, S Koehler, D Lowery, ...
SPNHC 2013, 33, 2013
52013
Improving Natural Science Collections Data through Quality Control for Research using Workflows Embedded in a FilteredPush network
JA Macklin, J Hanken, M Kelly, S Koehler, DB Lowery, B Ludaescher, ...
TDWG 2013 ANNUAL CONFERENCE, 2013
2013
Improving workflow fault tolerance through provenance-based recovery
S Köhler, S Riddle, D Zinn, T McPhillips, B Ludäscher
Scientific and Statistical Database Management: 23rd International …, 2011
222011
Insider attack identification and prevention in collection-oriented dataflow-based processes
A Sarkar, S Köhler, B Ludäscher, M Bishop
IEEE Systems Journal 11 (2), 522-533, 2015
52015
Insider attack identification and prevention using a declarative approach
A Sarkar, S Köhler, S Riddle, B Ludaescher, M Bishop
2014 IEEE Security and Privacy Workshops, 265-276, 2014
232014
Le Coeur En Sabot: Shape and Regional Function Predict Adverse Outcome in Patients with Repaired Tetralogy of Fallot
A Mira, P Lamata, A Young, T Pickardt, AA Tandon, S Sarikouch, J Omens, ...
Circulation 144 (Suppl_1), A8928-A8928, 2021
2021
The system can't perform the operation now. Try again later.
Articles 1–20