E-LIB Suche - Ergebnisse für: Schürmann, Jonas

1

Cinco Cloud: A Holistic Approach for Web-Based Language-Dri..:

, In: Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering; Lecture Notes in Computer Science,

Bainczyk, Alexander ; Busch, Daniel ; Krumrey, Marco... - p. 407-425 , 2022

Link: https://doi.org/10.1007/..

2

Executable Documentation: From Documentation Languages to P..:

, In: Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering; Lecture Notes in Computer Science,

Tegeler, Tim ; Boßelmann, Steve ; Schürmann, Jonas... - p. 174-192 , 2022

Link: https://doi.org/10.1007/..

3

Evaluation of Graphical Modeling of CI/CD Workflows with Ri:

, In: Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering; Lecture Notes in Computer Science,

Teumert, Sebastian ; Tegeler, Tim ; Schürmann, Jonas.. - p. 374-388 , 2022

Link: https://doi.org/10.1007/..

4

Executable Documentation: Test-First in Action:

, In: Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering; Lecture Notes in Computer Science,

Smyth, Steven ; Petzold, Jette ; Schürmann, Jonas... - p. 135-156 , 2022

Link: https://doi.org/10.1007/..

5

An Introduction to Graphical Modeling of CI/CD Workflows wi..:

, In: Lecture Notes in Computer Science; Leveraging Applications of Formal Methods, Verification and Validation,

Tegeler, Tim ; Teumert, Sebastian ; Schürmann, Jonas... - p. 3-17 , 2021

Link: https://doi.org/10.1007/..

6

Aligned, Purpose-Driven Cooperation: The Future Way of Syst..:

, In: Lecture Notes in Computer Science; Leveraging Applications of Formal Methods, Verification and Validation,

Zweihoff, Philip ; Tegeler, Tim ; Schürmann, Jonas.. - p. 426-449 , 2021

Link: https://doi.org/10.1007/..

7

Guaranteeing Type Consistency in Collective Adaptive System:

, In: Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles; Lecture Notes in Computer Science,

Schürmann, Jonas ; Tegeler, Tim ; Steffen, Bernhard - p. 311-328 , 2020

Link: https://doi.org/10.1007/..

8

Skeletal muscle p53‐depletion uncovers a mechanism of fuel ..:

Lenihan‐Geels, Georgia ; Garcia Carrizo, Francisco ; Leer, Marina...
Journal of Cachexia, Sarcopenia and Muscle. , 2024

Link: https://doi.org/10.1002/..

9

In Situ Imaging of Dynamic Current Paths in a Neuromorphic ..:

Gronenberg, Ole ; Adejube, Blessing ; Hemke, Torben...
Advanced Functional Materials. 34 (2024) 28 - p. , 2024

Link: https://doi.org/10.1002/..

10

Co‐sputtering of A Thin Film Broadband Absorber Based on Se..:

Drewes, Jonas ; Perdana, Nanda ; Rogall, Kevin...
Particle & Particle Systems Characterization. 41 (2023) 2 - p. , 2023

Link: https://doi.org/10.1002/..

11

Comparison of Breast Cancer Radiotherapy Techniques Regardi..:

Vogel, Marc ; Gade, Jonas ; Timm, Bernd...
Frontiers in Oncology. 12 (2022) - p. , 2022

Link: https://doi.org/10.3389/..

12

Alterations of Lipid Profile in Livers with Impaired Lipoph..:

Jonas, Wenke ; Schwerbel, Kristin ; Zellner, Lisa...
International Journal of Molecular Sciences. 23 (2022) 19 - p. 11863 , 2022

Link: https://doi.org/10.3390/..

13

Identification of Novel Genes Involved in Hyperglycemia in ..:

Jonas, Wenke ; Kluth, Oliver ; Helms, Anett...
International Journal of Molecular Sciences. 23 (2022) 6 - p. 3205 , 2022

Link: https://doi.org/10.3390/..

14

HSP60 reduction protects against diet-induced obesity by mo..:

Hauffe, Robert ; Rath, Michaela ; Schell, Mareike...
Molecular Metabolism. 53 (2021) - p. 101276 , 2021

Link: https://doi.org/10.1016/..

15

Genetic and epigenetic factors determining NAFLD risk:

Jonas, Wenke ; Schürmann, Annette
Molecular Metabolism. 50 (2021) - p. 101111 , 2021

Link: https://doi.org/10.1016/..