Moritz Kleine

Learn More
The process algebra CSP is tailored for the specification and verification of reactive systems. Such systems react upon external stimuli by adjusting their internal behavior, e.g., to recover from errors. Adaptive systems can be regarded as a subclass of reactive systems in the sense that such systems react by adapting to changes propagated by some(More)
Salinomycin raised hope to be effective in anti-cancer therapies due to its capability to overcome apoptosis-resistance in several types of cancer cells. Recently, its effectiveness against human hepatocellular carcinoma (HCC) cells both in vitro and in vivo was demonstrated. However, the mechanism of action remained unclear. Latest studies implicated(More)
  • Moritz Kleine, Marc Riemer, Till Krech, Daphne DeTemple, Mark D. Jäger, Frank Lehner +5 others
  • 2014
Being an integral part of basic, translational and clinical research, the demand for primary human hepatocytes (PHH) is continuously growing while the availability of tissue resection material for the isolation of metabolically competent PHH remains limited. To overcome current shortcomings, this study evaluated the use of explanted diseased organs from(More)
  • Harald Schrem, Valentin Schneider, Marlene Kurok, Alon Goldis, Maren Dreier, Alexander Kaltenborn +6 others
  • 2016
BACKGROUND The aim of this study is to identify independent pre-transplant cancer risk factors after kidney transplantation and to assess the utility of G-chart analysis for clinical process control. This may contribute to the improvement of cancer surveillance processes in individual transplant centers. PATIENTS AND METHODS 1655 patients after kidney(More)