Autor der Publikation

Organic without technology/technology without organic? - counteract climate change with interdisciplinary biotechnological research

, , , und . Chemie - Ingenieur - Technik, 95 (4): 475 (2023)
DOI: 10.1002/cite.202370402

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Equational Abstractions for Reducing the State Space of Rewrite Theories., und . Electr. Notes Theor. Comput. Sci., 238 (3): 139-154 (2009)A verification tool for ERLANG., , , , , und . STTT, 4 (4): 405-420 (2003)Loop Refinement Using Octagons and Satisfiability., und . SSV, USENIX Association, (2010)Verifying Dynamic Pointer-Manipulating Threads., und . FM, Volume 5014 von Lecture Notes in Computer Science, Seite 84-99. Springer, (2008)Safety, Dependability and Performance Analysis of Aerospace Systems.. FTSCS, Volume 476 von Communications in Computer and Information Science, Seite 17-31. Springer, (2014)Synthesizing and Optimizing FDIR Recovery Strategies from Fault Trees., , , und . FTSCS, Volume 1008 von Communications in Computer and Information Science, Seite 37-54. Springer, (2018)Model-based energy optimization of automotive control systems., , , , und . DATE, Seite 761-766. EDA Consortium San Jose, CA, USA / ACM DL, (2013)Compositional Analysis Using Component-Oriented Interpolation., , , und . FACS, Volume 8997 von Lecture Notes in Computer Science, Seite 68-85. Springer, (2014)Composing Transformations to Optimize Linear Code., und . ICTAC, Volume 4711 von Lecture Notes in Computer Science, Seite 425-439. Springer, (2007)Unified Reasoning About Robustness Properties of Symbolic-Heap Separation Logic., , , , und . ESOP, Volume 10201 von Lecture Notes in Computer Science, Seite 611-638. Springer, (2017)