Matthias Kaiser

Learn More
Today's wiki engines are not interoperable. This is an unfortunate consequence of the lack of rigorously specified standards. This technical report presents a complete and validated EBNF-based grammar for Wiki Creole, a community standard for wiki markup. Wiki Creole is also the only standard currently available. Wiki Creole is being specified using prose,(More)
We reuse here the framework, the setting, and the semantic modelling for the automated synthesis of the SWS Challenge Mediator presented in the companion paper [5], and show how to exchange the synthesis paradigm from a linear-time-logic proof based algorithm to a runtime, abductive synthesis implemented in Prolog, that responds directly to situational(More)
We introduce a graphical model for the joint segmentation and tracking of E. coli cells from time lapse videos. In our setup cells are grown in narrow columns (growth channels) in a so-called " Mother Machine " [1]. In these growth channels, cells are vertically aligned, grow and divide over time, and eventually leave the channel at the top. The model is(More)
Experience after the Chernobyl accident has shown that restoration strategies need to consider a wide range of different issues to ensure the long-term sustainability of large and varied contaminated areas. Thus, the criteria by which we evaluate countermeasures need to be extended from simple cost-benefit effectiveness and radiological protection standards(More)
Service-oriented architectures have brought significant progress for more flexible realization of business processes integrating functionality from heterogeneous sources. While more and more businesses adopt the new technology it becomes obvious that many questions are still not addressed to make it keep its promises, especially in the area of human efforts(More)
Today's wiki engines are not interoperable. The rendering engine is tied to the processing tools which are tied to the wiki editors. This is an unfortunate consequence of the lack of rigorously specified standards. This paper discusses an EBNF-based grammar for Wiki Creole 1.0, a community standard for wiki markup, and demonstrates its benefits. Wiki Creole(More)