Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Regerator: a Registry Generator for Blockchain.

A. Tran, X. Xu, I. Weber, M. Staples, und P. Rimba. CAiSE-Forum-DC, Volume 1848 von CEUR Workshop Proceedings, Seite 81-88. CEUR-WS.org, (2017)

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 synthesisN. Hansen, und D. Markthaler. 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.

Mark Burkhardt University of Stuttgart

Dr. Mark Hamilton University of Stuttgart

Mark Kurcsics University of Stuttgart

Dr. rer. nat. habil. Frederik Marks University of Stuttgart

Weitere Publikationen von Autoren mit dem selben Namen

Representing WP Semantics in Isabelle/ZF.M. Staples. TPHOLs, Volume 1690 von Lecture Notes in Computer Science, Seite 239-254. Springer, (1999)An empirical research agenda for understanding formal methods productivity.D. Jeffery, M. Staples, J. Andronick, G. Klein, und T. Murray. Information & Software Technology, (2015)Analysis of Dependencies between Specific Practices in CMMI Maturity Level 2.X. Chen, M. Staples, und P. Bannerman. EuroSPI, Volume 16 von Communications in Computer and Information Science, Seite 94-105. Springer, (2008)Technical Software Development Process in the XML Domain.L. Zhu, T. Tran, M. Staples, und D. Jeffery. ICSP, Volume 5543 von Lecture Notes in Computer Science, Seite 246-255. Springer, (2009)Simulation modeling of a large-scale formal verification process.H. Zhang, G. Klein, M. Staples, J. Andronick, L. Zhu, und R. Kolanski. ICSSP, Seite 3-12. IEEE Computer Society, (2012)Project Delay Variability Simulation in Software Product Line Development.M. Nonaka, L. Zhu, M. Babar, und M. Staples. ICSP, Volume 4470 von Lecture Notes in Computer Science, Seite 283-294. Springer, (2007)Predicting the Performance of Privacy-Preserving Data Analytics Using Architecture Modelling and Simulation.R. Yasaweerasinghelage, M. Staples, I. Weber, und H. Paik. ICSA, Seite 166-175. IEEE Computer Society, (2018)Situational Method Quality.L. Zhu, und M. Staples. Situational Method Engineering, Volume 244 von IFIP, Seite 193-206. Springer, (2007)Evolving strategies for software architecture and reuse.J. Nedstam, und M. Staples. Software Process: Improvement and Practice, 12 (3): 295-309 (2007)Interfaces for Refining Recursion and Procedures.M. Staples. Formal Asp. Comput., 12 (5): 372-391 (2000)