Sven Köhler

Publication Activity (10 Years)

Years Active: 2008-2017
Publications (10 Years): 5

Top Topics

Scientific Workflows

Universally Quantified

Top Venues

Publications

Anandarup Sarkar, Sven Köhler, Bertram Ludäscher, Matt Bishop
Insider Attack Identification and Prevention in Collection-Oriented Dataflow-Based Processes. IEEE Syst. J. 11 (2) (2017)
Seokki Lee, Sven Köhler, Bertram Ludäscher, Boris Glavic
A SQL-Middleware Unifying Why and Why-Not Provenance for First-Order Queries. ICDE (2017)
Seokki Lee, Sven Köhler, Bertram Ludäscher, Boris Glavic
Efficiently Computing Provenance Graphs for Queries with Negation. CoRR (2017)
Seokki Lee, Sven Köhler, Bertram Ludäscher, Boris Glavic
Implementing Unified Why- and Why-Not Provenance Through Games. IPAW (2016)
Boris Glavic, Sven Köhler, Sean Riddle, Bertram Ludäscher
Towards Constraint-based Explanations for Answers and Non-Answers. TaPP (2015)
Anandarup Sarkar, Sven Köhler, Sean Riddle, Bertram Ludäscher, Matt Bishop
Insider Attack Identification and Prevention Using a Declarative Approach. IEEE Symposium on Security and Privacy Workshops (2014)
Sean Riddle, Sven Köhler, Bertram Ludäscher
Towards Constraint Provenance Games. TAPP (2014)
Saumen C. Dey, Sven Köhler, Shawn Bowers, Bertram Ludäscher
Computing Location-Based Lineage from Workflow Specifications to Optimize Provenance Queries. IPAW (2014)
Tianhong Song, Sven Köhler, Bertram Ludäscher, James Hanken, Maureen Kelly, David Lowery, James A. Macklin, Paul J. Morris, Robert A. Morris
Towards Automated Design, Analysis and Optimization of Declarative Curation Workflows. Int. J. Digit. Curation 9 (2) (2014)
Sven Köhler, Bertram Ludäscher, Daniel Zinn
First-Order Provenance Games. In Search of Elegance in the Theory and Practice of Computation (2013)
Sven Köhler, Bertram Ludäscher, Daniel Zinn
First-Order Provenance Games. CoRR (2013)
Saumen C. Dey, Víctor Cuevas-Vicenttín, Sven Köhler, Eric Gribkoff, Michael Wang, Bertram Ludäscher
On implementing provenance-aware regular path queries with relational query engines. EDBT/ICDT Workshops (2013)
Víctor Cuevas-Vicenttín, Saumen C. Dey, Sven Köhler, Sean Riddle, Bertram Ludäscher
Scientific Workflows and Provenance: Introduction and Research Opportunities. CoRR (2013)
Sven Köhler, Supriya Gulati, Gongjing Cao, Quinn J. Hart, Bertram Ludäscher
Sliding Window Calculations on Streaming Data using the Kepler Scientific Workflow System. ICCS (2012)
Saumen C. Dey, Sven Köhler, Shawn Bowers, Bertram Ludäscher
Datalog as a Lingua Franca for Provenance Querying and Reasoning. TaPP (2012)
Sven Köhler, Phillip Seitzer, Marc T. Facciotti, Bertram Ludäscher
Improved Motif Detection in Large Sequence Sets with Random Sampling in a Kepler workflow. ICCS (2012)
Sven Köhler, Bertram Ludäscher, Yannis Smaragdakis
Declarative Datalog Debugging for Mere Mortals. Datalog (2012)
Víctor Cuevas-Vicenttín, Saumen C. Dey, Sven Köhler, Sean Riddle, Bertram Ludäscher
Scientific Workflows and Provenance: Introduction and Research Opportunities. Datenbank-Spektrum 12 (3) (2012)
Sven Köhler, Sean Riddle, Daniel Zinn, Timothy M. McPhillips, Bertram Ludäscher
Improving Workflow Fault Tolerance through Provenance-Based Recovery. SSDBM (2011)
Lei Dou, Daniel Zinn, Timothy M. McPhillips, Sven Köhler, Sean Riddle, Shawn Bowers, Bertram Ludäscher
Scientific workflow design 2.0: Demonstrating streaming data collections in Kepler. ICDE (2011)
Daniel Zinn, Shawn Bowers, Sven Köhler, Bertram Ludäscher
Parallelizing XML data-streaming workflows via MapReduce. J. Comput. Syst. Sci. 76 (6) (2010)
Johannes Klöckner, Sven Köhler, Wolfgang Fengler
Model based Design of Networked Embedded Systems - A Modeling Approach using FlexRay as an Example. ICINCO-SPSMC (2008)