Author of the publication

SAT-Lancer: A Hardware SAT-Solver for Self-Verification.

, , , and . ACM Great Lakes Symposium on VLSI, page 479-482. ACM, (2018)

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.

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

Combining sequentialization-based verification of multi-threaded C programs with symbolic Partial Order Reduction., , , and . STTT, 21 (5): 545-565 (2019)Automatic TLM Fault Localization for SystemC., , and . IEEE Trans. on CAD of Integrated Circuits and Systems, 31 (8): 1249-1262 (2012)Localizing features of ESL models for design understanding., , and . FDL, page 120-125. IEEE, (2012)From Requirements and Scenarios to ESL Design in SystemC., , and . ISED, page 183-187. IEEE, (2012)Lazy-CSeq-SP: Boosting Sequentialization-Based Verification of Multi-threaded C Programs via Symbolic Pruning of Redundant Schedules., , , and . ATVA, volume 9364 of Lecture Notes in Computer Science, page 228-233. Springer, (2015)Extensible and Configurable RISC-V Based Virtual Prototype., , , and . FDL, page 5-16. IEEE, (2018)Approximate BDD Optimization with Prioritized ε-Preferred Evolutionary Algorithm., , , and . GECCO (Companion), page 79-80. ACM, (2016)metaSMT: Focus on Your Application not on Solver Integration., , , , and . DIFTS@FMCAD, volume 832 of CEUR Workshop Proceedings, CEUR-WS.org, (2011)RevSCA: Using Reverse Engineering to Bring Light into Backward Rewriting for Big and Dirty Multipliers., , and . DAC, page 185. ACM, (2019)Contradictory antecedent debugging in bounded model checking., , , and . ACM Great Lakes Symposium on VLSI, page 173-176. ACM, (2009)