A Survey of Dimension Reduction Methods for High-dimensional Data Analysis and Visualization. - Daniel Engel; Lars Huettenberger; Bernd Hamann (VLUDS, 2011)

Structural Decomposition Trees. - Daniel Engel; René Rosenbaum; Bernd Hamann; Hans Hagen (Comput. Graph. Forum, 2011)

Interpretation, Interaction, and Scalability for Structural Decomposition Trees. - René Rosenbaum; Daniel Engel; James Mouradian; Hans Hagen; Bernd Hamann (GRAPP/IVAPP, 2012)

Structural Decomposition Trees: Semantic and Practical Implications. - Daniel Engel; Hans Hagen; Bernd Hamann; René Rosenbaum (VISIGRAPP (Selected Papers), 2012)

Neighborhood relation diagrams for local comparison of carbon footprints in urban planning. - Daniel Engel; Sebastian Petsch; Hans Hagen; Subhrajit Guhathakurta (Inf. Vis., 2012)

Visual Steering and Verification of Mass Spectrometry Data Factorization in Air Quality Research. - Daniel Engel; Klaus Greff; Christoph Garth; Keith Bein; Anthony S. Wexler; Bernd Hamann; Hans Hagen (IEEE Trans. Vis. Comput. Graph., 2012)

Towards High-dimensional Data Analysis in Air Quality Research. - Daniel Engel; Mathias Hummel; F. Hoepel; Keith Bein; Anthony S. Wexler; Christoph Garth; Bernd Hamann; Hans Hagen (Comput. Graph. Forum, 2013)

Visualization of Building Performance Simulation Results: State-of-the-Art and Future Directions. - Kathrin Haeb; Stephanie Schweitzer; Diana Fernandez Prieto; Eva Hagen; Daniel Engel; Michael Böttinger; Inga Scheler (PacificVis, 2014)

Explorative and Model-based Visual Analysis of Multivariate Data - Daniel Engel (2014)

Visual exploration of Location-Based Social Networks data in urban planning. - Diana Fernandez Prieto; Eva Hagen; Daniel Engel; Dirk Bayer; José Tiberio Hernández; Christoph Garth; Inga Scheler (PacificVis, 2015)

Composing networks of automated market makers. - Daniel Engel; Maurice Herlihy (AFT, 2021)

Failure is (literally) an Option: Atomic Commitment vs Optionality in Decentralized Finance. - Daniel Engel; Maurice Herlihy; Yingjie Xue (SSS, 2021)

Presentation and Publication: Loss and Slippage in Networks of Automated Market Makers. - Daniel Engel; Maurice Herlihy (Tokenomics, 2021)

Invited Paper: Failure is (literally) an Option: Atomic Commitment vs Optionality in Decentralized Finance. - Daniel Engel; Maurice Herlihy; Yingjie Xue (CoRR, 2021)

Transferable Cross-Chain Options. - Daniel Engel; Yingjie Xue (AFT, 2022)

BIRD: A Binary Intermediate Representation for Formally Verified Decompilation of X86-64 Binaries. - Daniel Engel; Freek Verbeek; Binoy Ravindran (TAP, 2023)

BIRD: A Binary Intermediate Representation for formally verified Decompilation of x86-64 binaries. - Daniel Engel; Freek Verbeek; Binoy Ravindran (Zenodo, 2023)

On the Decidability of Disassembling Binaries. - Daniel Engel; Freek Verbeek; Binoy Ravindran (TASE, 2024)

Formally Verified Binary-Level Pointer Analysis. - Freek Verbeek; Ali Shokri 004; Daniel Engel; Binoy Ravindran (ICSE, 2025)