Ingmar Meinecke

Learn More
Aggrecan cleavage by a disintegrin and metalloproteinase with a thrombospondin type 1 motif, member 5 (ADAMTS-5) is crucial for the breakdown of cartilage matrix during osteoarthritis, a degenerative joint disease that leads to the progressive destruction of articular structures. The mechanisms of ADAMTS-5 activation and their links to the pathogenesis of(More)
BACKGROUND An altered susceptibility of lung fibroblasts to Fas-induced apoptosis has been implicated in the pathogenesis of pulmonary fibrosis; however, the underlying mechanism is not completely understood. Here, we studied the susceptibility of lung fibroblasts, obtained from patients with (f-fibs) and without pulmonary fibrosis (n-fibs), to FasL-(More)
Since recognizable tree languages are closed under the rational operations, every regular tree expression denotes a recognizable tree language. We provide an alternative proof to this fact that results in smaller tree automata. To this aim, we transfer Antimirov’s partial derivatives from regular word expressions to regular tree expressions. For an analysis(More)
We study a quantitative model of traces, i.e. trace series which assign to every trace an element from a semiring. We show the coincidence of recognizable trace series with those which are definable by restricted formulas from a weighted logics over traces. We use a translation technique from formulas over words to those over traces, and vice versa. This(More)
The small ubiquitin-like modifier (SUMO)-1 is an important posttranslational regulator of different signaling pathways and involved in the formation of promyelocytic leukemia (PML) protein nuclear bodies (NBs). Overexpression of SUMO-1 has been associated with alterations in apoptosis, but the underlying mechanisms and their relevance for human diseases are(More)
We examine a bidirectional Propositional Dynamic Logic (PDL) for finite and infinite message sequence charts (MSCs) extending LTL and TLC−. By this kind of multimodal logic we can express properties both in the entire future and in the past of an event. Path expressions strengthen the classical until operator of temporal logic. For every formula defining an(More)