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

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

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

Volltext bestellen

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

Volltext

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

Volltext

Ultimate Taipan: Trace Abstraction and Abstract Interpretation: Competition Contribution von Greitschus, Marius, Dietsch, Daniel, Heizmann, Matthias, Nutz, Alexander, Schätzle, Claus, Schilling, Christian, Schüssele, Frank, Podelski, Andreas

Volltext

Ultimate Automizer with an On-Demand Construction of Floyd-Hoare Automata: Competition Contribution von Heizmann, Matthias, Chen, Yu-Wen, Dietsch, Daniel, Greitschus, Marius, Nutz, Alexander, Musa, Betim, Schätzle, Claus, Schilling, Christian, Schüssele, Frank, Podelski, Andreas

Volltext

Contrasting cytosolic glutathione redox dynamics under abiotic and biotic stress in barley as revealed by the biosensor Grx1-roGFP2 von 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

Volltext

Chloroplasts lacking class I glutaredoxins are functional but show a delayed recovery of protein cysteinyl redox state after oxidative challenge von 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.

Volltext

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

Volltext

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

Volltext

Reactive Oxygen Species in Plants: Methods and Protocols von Mhamdi, Amna

Volltext

Proceedings of the Third Seminar "Research Trends in Media Informatics"

Volltext bestellen