UCP-3 uncoupling protein confers hypoxia resistance to renal epithelial cells and is upregulated in renal cell carcinoma von Braun, Norbert, Klumpp, Dominik, Hennenlotter, Jörg, Bedke, Jens, Duranton, Christophe, Bleif, Martin, Huber, Stephan M.

Volltext

Actomyosin contractility and RhoGTPases affect cell-polarity and directional migration during haptotaxis von Autenrieth, Tatjana J, Frank, Stephanie C, Greiner, Alexandra M, Klumpp, Dominik, Richter, Benjamin, Hauser, Mario, Lee, Seong-Il, Levine, Joel, Bastmeyer, Martin

Volltext

Commutativity Simplifies Proofs of Parameterized Programs von Farzan, Azadeh, Klumpp, Dominik, Podelski, Andreas

Volltext

Stratified Commutativity in Verification Algorithms for Concurrent Programs von Farzan, Azadeh, Klumpp, Dominik, Podelski, Andreas

Volltext

Role of ion channels in ionizing radiation-induced cell death von Huber, Stephan M., Butz, Lena, Stegen, Benjamin, Klumpp, Lukas, Klumpp, Dominik, Eckert, Franziska

Volltext

K+ channel signaling in irradiated tumor cells von Stegen, Benjamin, Klumpp, Lukas, Misovic, Milan, Edalat, Lena, Eckert, Marita, Klumpp, Dominik, Ruth, Peter, Huber, Stephan M.

Volltext

Targeting TRPM2 Channels Impairs Radiation-Induced Cell Cycle Arrest and Fosters Cell Death of T Cell Leukemia Cells in a Bcl-2-Dependent Manner von Rudner, Justine, Shumilina, Ekaterina, Szteyn, Kalina, Misovic, Milan, Klumpp, Dominik, Huber, Stephan M.

Volltext

TRPM8 is required for survival and radioresistance of glioblastoma cells von Klumpp, Dominik, Frank, Stephanie C, Klumpp, Lukas, Sezgin, Efe C, Eckert, Marita, Edalat, Lena, Bastmeyer, Martin, Zips, Daniel, Ruth, Peter, Huber, Stephan M

Volltext

Measuring and Evaluating the Performance of Self-Organization Mechanisms Within Collective Adaptive Systems von Eberhardinger, Benedikt, Ponsar, Hella, Klumpp, Dominik, Reif, Wolfgang

Volltext

Petrification: Software Model Checking for Programs with Dynamic Thread Management von Heizmann, Matthias, Klumpp, Dominik, Nitzke, Lars, Schüssele, Frank

Volltext

Ionizing radiation, ion transports, and radioresistance of cancer cells von Huber, Stephan M, Butz, Lena, Stegen, Benjamin, Klumpp, Dominik, Braun, Norbert, Ruth, Peter, Eckert, Franziska

Volltext

Kv3.4 potassium channel-mediated electrosignaling controls cell cycle and survival of irradiated leukemia cells von Palme, Daniela, Misovic, Milan, Schmid, Evi, Klumpp, Dominik, Salih, Helmut R., Rudner, Justine, Huber, Stephan M.

Volltext

K super(+) channel signaling in irradiated tumor cells von Stegen, Benjamin, Klumpp, Lukas, Misovic, Milan, Edalat, Lena, Eckert, Marita, Klumpp, Dominik, Ruth, Peter, Huber, Stephan M

Volltext

The Challenges of Effective AGM Belief Contraction von Klumpp, Dominik, Ribeiro, Jandson S

Volltext bestellen

The radioprotector ortho-phospho-L-tyrosine (pTyr) attenuates the side effects of fractionated irradiation in retinoblastoma mouse models but also decreases the local tumour contro... von Tschulakow, Alexander V., Dittmann, Klaus, Huber, Stephan M., Klumpp, Dominik, Stegen, Benjamin, Schraermeyer, Ulrich, Rodemann, H. Peter, Julien-Schraermeyer, Sylvie

Volltext

Verification of Concurrent Programs Using Petri Net Unfoldings von Dietsch, Daniel, Heizmann, Matthias, Klumpp, Dominik, Naouar, Mehdi, Podelski, Andreas, Schätzle, Claus

Volltext

Actomyosin contractility and RhoGTPases affect cell-polarity and directional migration during haptotaxisElectronic supplementary information (ESI) available. See DOI: 10.1039/c6ib0... von Autenrieth, Tatjana J, Frank, Stephanie C, Greiner, Alexandra M, Klumpp, Dominik, Richter, Benjamin, Hauser, Mario, Lee, Seong-il, Levine, Joel, Bastmeyer, Martin

Volltext

Commutativity Simplifies Proofs of Parameterized Programs von Farzan, Azadeh, Klumpp, Dominik, Podelski, Andreas

Volltext bestellen

The Challenges of Effective AGM Belief Contraction von Klumpp, Dominik, Ribeiro, Jandson S

Volltext

Petrification: Software Model Checking for Programs with Dynamic Thread Management (Extended Version) von Heizmann, Matthias, Klumpp, Dominik, Schüssele, Frank, Nitzke, Lars

Volltext bestellen