Model based Design of Networked Embedded Systems - A Modeling Approach using FlexRay as an Example. - Johannes Klöckner; Sven Köhler 003; Wolfgang Fengler 001 (ICINCO-SPSMC, 2008)

Parallelizing XML data-streaming workflows via MapReduce. - Daniel Zinn; Shawn Bowers; Sven Köhler 003; Bertram Ludäscher (J. Comput. Syst. Sci., 2010)

Scientific workflow design 2.0: Demonstrating streaming data collections in Kepler. - Lei Dou; Daniel Zinn; Timothy M. McPhillips; Sven Köhler 003; Sean Riddle; Shawn Bowers; Bertram Ludäscher (ICDE, 2011)

Improving Workflow Fault Tolerance through Provenance-Based Recovery. - Sven Köhler 003; Sean Riddle; Daniel Zinn; Timothy M. McPhillips; Bertram Ludäscher (SSDBM, 2011)

Declarative Datalog Debugging for Mere Mortals. - Sven Köhler 003; Bertram Ludäscher; Yannis Smaragdakis (Datalog, 2012)

Datalog as a Lingua Franca for Provenance Querying and Reasoning. - Saumen C. Dey; Sven Köhler 003; Shawn Bowers; Bertram Ludäscher (TaPP, 2012)

Scientific Workflows and Provenance: Introduction and Research Opportunities. - Víctor Cuevas-Vicenttín; Saumen C. Dey; Sven Köhler 003; Sean Riddle; Bertram Ludäscher (Datenbank-Spektrum, 2012)

Sliding Window Calculations on Streaming Data using the Kepler Scientific Workflow System. - Sven Köhler 003; Supriya Gulati; Gongjing Cao; Quinn J. Hart; Bertram Ludäscher (ICCS, 2012)

Improved Motif Detection in Large Sequence Sets with Random Sampling in a Kepler workflow. - Sven Köhler 003; Phillip Seitzer; Marc T. Facciotti; Bertram Ludäscher (ICCS, 2012)

First-Order Provenance Games. - Sven Köhler 003; Bertram Ludäscher; Daniel Zinn (In Search of Elegance in the Theory and Practice of Computation, 2013)

On implementing provenance-aware regular path queries with relational query engines. - Saumen C. Dey; Víctor Cuevas-Vicenttín; Sven Köhler 003; Eric Gribkoff; Michael Wang; Bertram Ludäscher (EDBT/ICDT Workshops, 2013)

Computing Location-Based Lineage from Workflow Specifications to Optimize Provenance Queries. - Saumen C. Dey; Sven Köhler 003; Shawn Bowers; Bertram Ludäscher (IPAW, 2014)

Insider Attack Identification and Prevention Using a Declarative Approach. - Anandarup Sarkar; Sven Köhler 003; Sean Riddle; Bertram Ludäscher; Matt Bishop (IEEE Symposium on Security and Privacy Workshops, 2014)

Towards Constraint Provenance Games. - Sean Riddle; Sven Köhler 003; Bertram Ludäscher (TAPP, 2014)

Towards Automated Design, Analysis and Optimization of Declarative Curation Workflows. - Tianhong Song; Sven Köhler 003; Bertram Ludäscher; James Hanken; Maureen Kelly; David Lowery; James A. Macklin; Paul J. Morris; Robert A. Morris 002 (Int. J. Digit. Curation, 2014)

Towards Constraint-based Explanations for Answers and Non-Answers. - Boris Glavic; Sven Köhler 003; Sean Riddle; Bertram Ludäscher (TaPP, 2015)

Implementing Unified Why- and Why-Not Provenance Through Games. - Seokki Lee; Sven Köhler 003; Bertram Ludäscher; Boris Glavic (IPAW, 2016)

A SQL-Middleware Unifying Why and Why-Not Provenance for First-Order Queries. - Seokki Lee; Sven Köhler 003; Bertram Ludäscher; Boris Glavic (ICDE, 2017)

Efficiently Computing Provenance Graphs for Queries with Negation. - Seokki Lee; Sven Köhler 003; Bertram Ludäscher; Boris Glavic (CoRR, 2017)

Insider Attack Identification and Prevention in Collection-Oriented Dataflow-Based Processes. - Anandarup Sarkar; Sven Köhler 003; Bertram Ludäscher; Matt Bishop (IEEE Syst. J., 2017)