PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Jackson, Daniel"

Author of the publication

copydeleteadd this publication to your clipboard
Relational approach to knowledge engineering for POMDP-based assistance systems as a translation of a psychological model.

, , , , , , and . Int. J. Approx. Reasoning, 55 (1): 36-58 (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Daniel Holder University of Stuttgart

Laser micromachining of bionic transport structures on cemented tungsten carbide for passive directional transport of lubricants, , , , and . 123, page 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 synthesis, and . 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 Optimization, , , , , , , and . Software, (2024)Related to: Manuscript accepted for publication in the Visual Computer journal.

Daniel Klötzl University of Stuttgart

NMF-Based Analysis of Mobile Eye-Tracking Data, , , , , , and . Proceedings of the 2024 Symposium on Eye Tracking Research and Applications, page 1–9. New York, NY, USA, Association for Computing Machinery, (Jun 4, 2024)
NMF-Based Analysis of Mobile Eye-Tracking Data, , , , , , and . Proceedings of the 2024 Symposium on Eye Tracking Research and Applications, page 1–9. New York, NY, USA, Association for Computing Machinery, (Jun 4, 2024)Constrained Dynamic Mode Decomposition, , , and . IEEE Transactions on Visualization and Computer Graphics, (2022)

Daniel Marino

 

Other publications of authors with the same name

Alloy*: A General-Purpose Higher-Order Relational Constraint Solver., , , and . ICSE (1), page 609-619. IEEE Computer Society, (2015)Lightweight Analysis of Object Interactions., and . TACS, volume 2215 of Lecture Notes in Computer Science, page 492-513. Springer, (2001)Alloy: A Logical Modelling Language.. ZB, volume 2651 of Lecture Notes in Computer Science, page 1. Springer, (2003)Software assurance by bounded exhaustive testing., , , , and . ISSTA, page 133-142. ACM, (2004)Inferring specifications to detect errors in code., and . Autom. Softw. Eng., 14 (1): 87-121 (2007)Rapid specification and automated generation of prompting systems to assist people with dementia., , , , , and . Pervasive and Mobile Computing, 7 (3): 299-318 (2011)Structuring Z Specifications with Views. ACM Trans. Softw. Eng. Methodol., 4 (4): 365-389 (1995)Isomorph-Free Model Enumeration: A New Method for Checking Relational Specifications., , and . ACM Trans. Program. Lang. Syst., 20 (2): 302-343 (1998)Purposes, concepts, misfits, and a redesign of git., and . OOPSLA, page 292-310. ACM, (2016)Abstract Model Checking of Infinite Specifications.. FME, volume 873 of Lecture Notes in Computer Science, page 519-531. Springer, (1994)