E-LIB Suche - Ergebnisse für: Steffen, Alexander

1

Cholesterol and Phosphoinositides in Cilia Biology:

, In: Advances in Experimental Medicine and Biology; Cholesterol and PI(4,5)P2 in Vital Biological Functions,

Sailer, Steffen-Alexander ; Burkhalter, Martin D. ; Philipp, Melanie - p. 121-142 , 2023

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

2

ChatGPT in the Loop: A Natural Language Extension for Domai..:

, In: Bridging the Gap Between AI and Reality; Lecture Notes in Computer Science,

Busch, Daniel ; Nolte, Gerrit ; Bainczyk, Alexander. - p. 375-390 , 2023

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

3

Towards LLM-Based System Migration in Language-Driven Engin..:

, In: Engineering of Computer-Based Systems; Lecture Notes in Computer Science,

Busch, Daniel ; Bainczyk, Alexander ; Steffen, Bernhard - p. 191-200 , 2023

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

4

Lifelong Learning of Reactive Systems in Practice:

, In: The Logic of Software. A Tasting Menu of Formal Methods; Lecture Notes in Computer Science,

Bainczyk, Alexander ; Steffen, Bernhard ; Howar, Falk - p. 38-53 , 2022

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

5

Forest GUMP: A Tool for Explanation:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Murtovi, Alnis ; Bainczyk, Alexander ; Steffen, Bernhard - p. 314-331 , 2022

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

6

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/..

7

DIME Days (ISoLA 2022 Track Introduction):

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

Margaria, Tiziana ; Wirkner, Dominic ; Busch, Daniel... - p. 367-373 , 2022

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

8

Towards Continuous Quality Control in the Context of Langua..:

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

Bainczyk, Alexander ; Boßelmann, Steve ; Krause, Marvin... - p. 389-406 , 2022

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

9

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/..

10

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/..

11

Stratigraphic and Earth System Approaches to Defining the A..:

, In: Paul J. Crutzen and the Anthropocene: A New Epoch in Earth's History; The Anthropocene: Politik—Economics—Society—Science,

Steffen, Will ; Leinfelder, Reinhold ; Zalasiewicz, Jan... - p. 217-251 , 2021

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

12

Optimal Control Based Reference Generation for Model Predic..:

, In: 2019 IEEE Conference on Control Technology and Applications (CCTA),

Lamprecht, Alexander ; Steffen, Dennis ; Haecker, Jens. - p. 203-208 , 2019

Link: https://doi.org/10.1109/..

13

Gerechtigkeit in flexiblen Arbeits- und Managementprozessen:

, In: Zukunft der Arbeit – Eine praxisnahe Betrachtung,

Engels, Gregor ; Maier, Günter W. ; Ötting, Sonja K... - p. 221-231 , 2017

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

14

Systems Engineering Return on Investment:

, In: Tag des Systems Engineering,

Endler, David ; Steffen, Daniel ; Lohberg, Alexander. - p. 155-166 , 2013

Link: https://doi.org/10.3139/..

15

Netze und Netzelemente:

, In: Handbuch für die Telekommunikation,

Augel, Markus ; Bach, Rainer ; Dankert, Uwe... - p. 337-808 , 2002

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