Search Results - Schüssele, Frank

  • Showing 1 - 6 results of 6
Refine Results
  1. 1
    Petrification: Software Model Checking for Programs with Dynamic Thread Management (Extended Version)

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

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  2. 2
    Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)

    Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version) by Erhard, Julian, Bentele, Manuel, Heizmann, Matthias, Klumpp, Dominik, Simmo Saan, Schüssele, Frank, Schwarz, Michael, Seidl, Helmut, Tilscher, Sarah, Vojdani, Vesal

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  3. 3
    Contrasting cytosolic glutathione redox dynamics under abiotic and biotic stress in barley as revealed by the biosensor Grx1-roGFP2

    Contrasting cytosolic glutathione redox dynamics under abiotic and biotic stress in barley as revealed by the biosensor Grx1-roGFP2 by Bohle, Finja, Klaus, Alina, Ingelfinger, Julian, Tegethof, Hendrik, Safari, Nassim, Schwarzländer, Markus, Hochholdinger, Frank, Hahn, Matthias, Meyer, Andreas J, Acosta, Ivan F, Müller-Schüssele, Stefanie J

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    Chloroplasts lacking class I glutaredoxins are functional but show a delayed recovery of protein cysteinyl redox state after oxidative challenge

    Chloroplasts lacking class I glutaredoxins are functional but show a delayed recovery of protein cysteinyl redox state after oxidative challenge by Bohle, Finja, Rossi, Jacopo, Tamanna, Sadia S., Jansohn, Hannah, Schlosser, Marlene, Reinhardt, Frank, Brox, Alexa, Bethmann, Stephanie, Kopriva, Stanislav, Trentmann, Oliver, Jahns, Peter, Deponte, Marcel, Schwarzländer, Markus, Trost, Paolo, Zaffagnini, Mirko, Meyer, Andreas J., Müller-Schüssele, Stefanie J.

    Published in Redox biology
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  5. 5
    Chloroplasts lacking class I glutaredoxins – Unraveling the function of GRXC5 in Physcomitrium patens

    Chloroplasts lacking class I glutaredoxins – Unraveling the function of GRXC5 in Physcomitrium patens by Bohle, Finja, Brox, Alexa, Hochholdinger, Frank, Schwarzländer, Markus, Meyer, Andreas, Müller-Schüssele, Stefanie

    Get full text
    Article
    Save to List
    Saved in:
  6. 6
    Chloroplasts lacking class I glutaredoxins – Unraveling the function of GRXC5 in Physcomitrium patens

    Chloroplasts lacking class I glutaredoxins – Unraveling the function of GRXC5 in Physcomitrium patens by Bohle, Finja, Brox, Alexa, Hochholdinger, Frank, Schwarzländer, Markus, Meyer, Andreas, Müller-Schüssele, Stefanie

    Get full text
    Article
    Save to List
    Saved in:

Search Tools: