Autor der Publikation

Formal Support for Design Techniques: A Timethreads-LOTOS Approach.

, , , und . FORTE, Volume 43 von IFIP Conference Proceedings, Seite 57-72. Chapman & Hall, (1995)

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.

Dr. -Ing. Daniel Markthaler University of Stuttgart

Replication Data for: Biocatalytic stereocontrolled head-to-tail cyclizations of unbiased terpenes as a tool in chemoenzymatic synthesis, und . Dataset, (2024)Related to: Schneider, Andreas; Lystbæk, Thomas B.; Markthaler, Daniel; Hansen, Niels; Hauer, Bernhard (2024): Biocatalytic stereocontrolled head-to-tail cyclizations of unbiased terpenes as a tool in chemoenzymatic synthesis. In: Nature Communications, 15, 4925. doi: 10.1038/s41467-024-48993-9.
 

Weitere Publikationen von Autoren mit dem selben Namen

Introduction to the User Requirements Notation: learning by example.. Computer Networks, 42 (3): 285-301 (2003)Evolution mechanisms for goal-driven pattern families used in business process modelling., und . IJEB, 10 (3): 254-291 (2013)Formal Support for Design Techniques: A Timethreads-LOTOS Approach., , , und . FORTE, Volume 43 von IFIP Conference Proceedings, Seite 57-72. Chapman & Hall, (1995)Integrating an Eclipse-Based Scenario Modeling Environment with a Requirements Management System., , , und . CCECE, Seite 2432-2435. IEEE, (2006)Bridging the Requirements/Design Gap in Dynamic Systems with Use Case Maps (UCMs)., und . ICSE, Seite 743-744. IEEE Computer Society, (2001)Comparative Analysis between Document-based and Model-based Compliance Management Approaches., , und . RELAW, Seite 35-39. IEEE Computer Society, (2008)Business Process Compliance Tracking Using Key Performance Indicators., , und . Business Process Management Workshops, Volume 66 von Lecture Notes in Business Information Processing, Seite 73-84. Springer, (2010)Common Length Name Representation: An Efficient Privacy-Preserving Scheme., , und . TELERISE@ICSE, Seite 44-49. IEEE Computer Society, (2015)Research Paper: A Globally Optimal k-Anonymity Method for the De-Identification of Health Data., , , , , , , , , und 2 andere Autor(en). JAMIA, 16 (5): 670-682 (2009)Requirements Engineering (RE) for Social Good: RE Cares Requirements., , , , , , , , , und 10 andere Autor(en). IEEE Software, 36 (1): 86-94 (2019)