Daniel Engel

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 10

Top Topics

Social Networks

Automata Theoretic

Intermediate Representation

Top Venues

Publications

Daniel Engel, Freek Verbeek, Binoy Ravindran
On the Decidability of Disassembling Binaries. TASE (2024)
Daniel Engel, Freek Verbeek, Binoy Ravindran
BIRD: A Binary Intermediate Representation for Formally Verified Decompilation of X86-64 Binaries. TAP (2023)
Daniel Engel, Yingjie Xue
Transferable Cross-Chain Options. CoRR (2022)
Daniel Engel, Yingjie Xue
Transferable Cross-Chain Options. AFT (2022)
Daniel Engel, Maurice Herlihy
Presentation and Publication: Loss and Slippage in Networks of Automated Market Makers. CoRR (2021)
Daniel Engel, Maurice Herlihy
Composing Networks of Automated Market Makers. CoRR (2021)
Daniel Engel, Maurice Herlihy, Yingjie Xue
Invited Paper: Failure is (literally) an Option: Atomic Commitment vs Optionality in Decentralized Finance. CoRR (2021)
Daniel Engel, Maurice Herlihy, Yingjie Xue
Failure is (literally) an Option: Atomic Commitment vs Optionality in Decentralized Finance. SSS (2021)
Daniel Engel, Maurice Herlihy
Presentation and Publication: Loss and Slippage in Networks of Automated Market Makers. Tokenomics (2021)
Daniel Engel, Maurice Herlihy
Composing networks of automated market makers. AFT (2021)
Diana Fernandez Prieto, Eva Hagen, Daniel Engel, Dirk Bayer, José Tiberio Hernández, Christoph Garth, Inga Scheler
Visual exploration of Location-Based Social Networks data in urban planning. PacificVis (2015)
Kathrin Haeb, Stephanie Schweitzer, Diana Fernandez Prieto, Eva Hagen, Daniel Engel, Michael Böttinger, Inga Scheler
Visualization of Building Performance Simulation Results: State-of-the-Art and Future Directions. PacificVis (2014)
Daniel Engel, Mathias Hummel, F. Hoepel, Keith Bein, Anthony S. Wexler, Christoph Garth, Bernd Hamann, Hans Hagen
Towards High-dimensional Data Analysis in Air Quality Research. Comput. Graph. Forum 32 (3) (2013)
Daniel Engel, Hans Hagen, Bernd Hamann, René Rosenbaum
Structural Decomposition Trees: Semantic and Practical Implications. VISIGRAPP (Selected Papers) (2012)
Daniel Engel, Sebastian Petsch, Hans Hagen, Subhrajit Guhathakurta
Neighborhood relation diagrams for local comparison of carbon footprints in urban planning. Inf. Vis. 11 (2) (2012)
René Rosenbaum, Daniel Engel, James Mouradian, Hans Hagen, Bernd Hamann
Interpretation, Interaction, and Scalability for Structural Decomposition Trees. GRAPP/IVAPP (2012)
Daniel Engel, Klaus Greff, Christoph Garth, Keith Bein, Anthony S. Wexler, Bernd Hamann, Hans Hagen
Visual Steering and Verification of Mass Spectrometry Data Factorization in Air Quality Research. IEEE Trans. Vis. Comput. Graph. 18 (12) (2012)
Daniel Engel, René Rosenbaum, Bernd Hamann, Hans Hagen
Structural Decomposition Trees. Comput. Graph. Forum 30 (3) (2011)
Daniel Engel, Lars Hüttenberger, Bernd Hamann
A Survey of Dimension Reduction Methods for High-dimensional Data Analysis and Visualization. VLUDS (2011)