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

Towards a pervasive kitchen infrastructure for measuring cooking competence.

J. Wagner, A. van Halteren, J. Hoonhout, T. Plötz, C. Pham, P. Moynihan, D. Jackson, C. Ladha, K. Ladha, und P. Olivier. PervasiveHealth, Seite 107-114. IEEE, (2011)

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.

Daniel Holder University of Stuttgart

Laser micromachining of bionic transport structures on cemented tungsten carbide for passive directional transport of lubricantsD. Holder, N. Kessenbrock, K. Cirakoglu, C. Hagenlocher, und T. Graf. 123, Seite 452–457. Elsevier BV, (2024)

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.

Univ. -Prof. Dr. Daniel Weiskopf University of Stuttgart

Supplemental Materials for: Visual Analysis of Fitness Landscapes in Architectural Design OptimizationM. Abdelaal, M. Galuschka, M. Zorn, F. Kannenberg, A. Menges, T. Wortmann, D. Weiskopf, und K. Kurzhals. Software, (2024)Related to: Manuscript accepted for publication in the Visual Computer journal.

Daniel Marino

Daniel Roth

Weitere Publikationen von Autoren mit dem selben Namen

Alloy*: A General-Purpose Higher-Order Relational Constraint Solver.A. Milicevic, J. Near, E. Kang, und D. Jackson. ICSE (1), Seite 609-619. IEEE Computer Society, (2015)Lightweight Analysis of Object Interactions.D. Jackson, und A. Fekete. TACS, Volume 2215 von Lecture Notes in Computer Science, Seite 492-513. Springer, (2001)Alloy: A Logical Modelling Language.D. Jackson. ZB, Volume 2651 von Lecture Notes in Computer Science, Seite 1. Springer, (2003)Software assurance by bounded exhaustive testing.K. Sullivan, J. Yang, D. Coppit, S. Khurshid, und D. Jackson. ISSTA, Seite 133-142. ACM, (2004)Inferring specifications to detect errors in code.M. Taghdiri, und D. Jackson. Autom. Softw. Eng., 14 (1): 87-121 (2007)Rapid specification and automated generation of prompting systems to assist people with dementia.J. Hoey, T. Plötz, D. Jackson, A. Monk, C. Pham, und P. Olivier. Pervasive and Mobile Computing, 7 (3): 299-318 (2011)Structuring Z Specifications with ViewsD. Jackson. ACM Trans. Softw. Eng. Methodol., 4 (4): 365-389 (1995)Isomorph-Free Model Enumeration: A New Method for Checking Relational Specifications.D. Jackson, S. Jha, und C. Damon. ACM Trans. Program. Lang. Syst., 20 (2): 302-343 (1998)Purposes, concepts, misfits, and a redesign of git.S. Rosso, und D. Jackson. OOPSLA, Seite 292-310. ACM, (2016)Abstract Model Checking of Infinite Specifications.D. Jackson. FME, Volume 873 von Lecture Notes in Computer Science, Seite 519-531. Springer, (1994)