Author of the publication

The Specification Language SpecC within the PARADISE Design Environment.

, , , , , and . DIPES, volume 189 of IFIP Conference Proceedings, page 111-120. Kluwer, (2000)

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.

Dr. rer. nat. Daniel Hernandez University of Stuttgart

Visualizing How-Provenance Explanations for SPARQL Queries, , , and . Proceedings of the ACM Web Conference 2023, page 212-216. New York, NY, United States, Association for Computing Machinery, (2023)

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

Dataset for NMF-based Analysis of Mobile Eye-Tracking Data, , , and . Dataset, (2024)Related to: Daniel Klötzl, Tim Krake, Frank Heyen, Michael Becher, Maurice Koch, Daniel Weiskopf, and Kuno Kurzhals. 2024. NMF-Based Analysis of Mobile Eye-Tracking Data. In 2024 Symposium on Eye Tracking Research and Applications (ETRA ’24), June 4-7, 2024, Glasgow, United Kingdom. ACM, New York, NY, USA, 9 pages. doi: 10.1145/3649902.3653518.
Dataset for NMF-based Analysis of Mobile Eye-Tracking Data, , , and . Dataset, (2024)Related to: Daniel Klötzl, Tim Krake, Frank Heyen, Michael Becher, Maurice Koch, Daniel Weiskopf, and Kuno Kurzhals. 2024. NMF-Based Analysis of Mobile Eye-Tracking Data. In 2024 Symposium on Eye Tracking Research and Applications (ETRA ’24), June 4-7, 2024, Glasgow, United Kingdom. ACM, New York, NY, USA, 9 pages. doi: 10.1145/3649902.3653518.Visual Analysis System to Explore the Visual Quality of Multidimensional Time Series Projections, and . Software, (2024)Related to: T. Munz-Körner, D. Weiskopf, Exploring visual quality of multidimensional time series projections, Visual Informatics (2024). doi: 10.1016/j.visinf.2024.04.004.Supplemental Materials for STEP: Sequence of Time-Aligned Edge Plots, , , , , and . Software, (2024)Related to: Manuscript still under review.
 

Other publications of authors with the same name

A Heuristic for Suffix Solutions., and . IEEE Trans. Computers, 35 (1): 34-42 (1986)New VLSI Tools - Guest Editors' Introduction., and . IEEE Computer, 16 (12): 11-14 (1983)Verification of System Level Model Transformations., and . International Journal of Parallel Programming, 34 (1): 29-59 (2006)CAMP: A Programming Aide for Multiprocessors., and . ICPP, page 475-482. IEEE Computer Society Press, (1986)A formalism for functionality preserving system level transformations., and . ASP-DAC, page 139-144. ACM Press, (2005)Compiling SpecC for simulation., and . ASP-DAC, page 57-62. ACM, (2001)Design and implementation of transducer for ARM-TMS communication., , and . ASP-DAC, page 126-127. IEEE, (2006)Transaction level modeling: an overview., and . CODES+ISSS, page 19-24. ACM, (2003)Generic netlist representation for system and PE level design exploration., , , and . CODES+ISSS, page 282-287. ACM, (2006)Embedded systems education: how to teach the required skills?, , , , , and . CODES+ISSS, page 254-255. ACM, (2004)