Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Stumpf, Beate
23  Ergebnisse:
Personensuche X
?
1

Optimization of the extraction procedure for the determinat..:

Stumpf, Beate ; Künne, Margitta ; Ma, Lan...
Journal of Pharmaceutical and Biomedical Analysis.  177 (2020)  - p. 112879 , 2020
Link: https://doi.org/10.1016/..
 
?
2

Dynamics of antioxidant properties, phenolic compounds, and..:

Stumpf, Beate ; Yan, Feng ; Wen, Gaiping..
Journal of Plant Nutrition and Soil Science.  182 (2019)  3 - p. 411-418 , 2019
Link: https://doi.org/10.1002/..
 
?
3

Influence of nitrogen fertilization on yield and phenolic c..:

Stumpf, Beate ; Yan, Feng ; Honermeier, Bernd
Journal of Plant Nutrition and Soil Science.  182 (2018)  1 - p. 111-118 , 2018
Link: https://doi.org/10.1002/..
 
?
4

Nitrogen fertilization and maturity influence the phenolic ..:

Stumpf, Beate ; Yan, Feng ; Honermeier, Bernd
Journal of Plant Nutrition and Soil Science.  178 (2015)  1 - p. 118-125 , 2015
Link: https://doi.org/10.1002/..
 
?
5

ModulatoryATPbinding to the E2 state of maize plasma membra..:

Wang, Xiaozhi ; Qian, Xiaoqing ; Stumpf, Beate...
The FEBS Journal.  280 (2013)  19 - p. 4793-4806 , 2013
Link: https://doi.org/10.1111/..
 
?
6

Assumption-Commitment Types for Resource Management in Virt..:

, In: Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles; Lecture Notes in Computer Science,
Johnsen, Einar Broch ; Steffen, Martin ; Stumpf, Johanna Beate - p. 103-121 , 2020
Link: https://doi.org/10.1007/..
 
?
7

Checking Modal Contracts for Virtually Timed Ambients:

, In: Theoretical Aspects of Computing – ICTAC 2018; Lecture Notes in Computer Science,
Johnsen, Einar Broch ; Steffen, Martin ; Stumpf, Johanna Beate. - p. 252-272 , 2018
Link: https://doi.org/10.1007/..
 
?
8

Virtually timed ambients: A calculus of nested virtualizati..:

Johnsen, Einar Broch ; Steffen, Martin ; Stumpf, Johanna Beate
Journal of Logical and Algebraic Methods in Programming.  94 (2018)  - p. 109-127 , 2018
Link: https://doi.org/10.1016/..
 
?
9

Resource-Aware Virtually Timed Ambients:

, In: Lecture Notes in Computer Science; Integrated Formal Methods,
Johnsen, Einar Broch ; Steffen, Martin ; Stumpf, Johanna Beate. - p. 194-213 , 2018
Link: https://doi.org/10.1007/..
 
?
10

Einfluss der N-Düngung auf sekundäre Pflanzeninhaltsstoffe ..:

Stumpf, Beate ; Yan, Feng ; Honermeier, Bernd
https://ojs.openagrar.de/index.php/BerichteJKI/article/view/9172/8393.  , 2018
Link: https://ojs.openagrar.de..
 
?
11

Einfluss der N-Düngung auf sekundäre Pflanzeninhaltsstoffe ..:

Stumpf, Beate ; Yan, Feng ; Honermeier, Bernd
52. Vortragstagung DGQ : Sekundäre Pflanzenstoffe - Rohstoffe, Verarbeitung und biologische Wirksamkeiten.  , 2018
Link: https://www.openagrar.de..
 
?
12

Assumption-Commitment Types for Resource Management in Virt..:

Johnsen, Einar Broch ; Steffen, Martin ; Stumpf, Johanna Beate
http://arxiv.org/abs/1806.08653.  , 2018
Link: http://arxiv.org/abs/180..
 
?
13

Virtually timed ambients: A calculus of nested virtualizati..:

Johnsen, Einar Broch ; Steffen, Martin ; Stumpf, Johanna Beate
NFR/240614.  , 2018
Link: http://hdl.handle.net/10..
 
?
14

A Calculus of Virtually Timed Ambients:

Johnsen, Einar, Broch ; Steffen, Martin ; Stumpf, Johanna, Beate
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-319-72044-9_7.  , 2016
Link: https://inria.hal.scienc..
 
?
15

A Calculus of Virtually Timed Ambients:

Johnsen, Einar, Broch ; Steffen, Martin ; Stumpf, Johanna, Beate
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-319-72044-9_7.  , 2016
Link: https://inria.hal.scienc..
 
1-15