Daniel Engel

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