Daniel Engel

According to our database, Daniel Engel authored at least 16 papers between 2011 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

BIRD: A Binary Intermediate Representation for Formally Verified Decompilation of X86-64 Binaries.

Daniel Engel, Freek Verbeek, Binoy Ravindran

Proceedings of the Tests and Proofs - 17th International Conference, 2023

2022

Transferable Cross-Chain Options.

Daniel Engel, Yingjie Xue

Proceedings of the 4th ACM Conference on Advances in Financial Technologies, 2022

2021

Invited Paper: Failure is (literally) an Option: Atomic Commitment vs Optionality in Decentralized Finance.

Daniel Engel, Maurice Herlihy, Yingjie Xue

CoRR, 2021

Presentation and Publication: Loss and Slippage in Networks of Automated Market Makers.

Daniel Engel, Maurice Herlihy

Proceedings of the 3rd International Conference on Blockchain Economics, 2021

Failure is (literally) an Option: Atomic Commitment vs Optionality in Decentralized Finance.

Daniel Engel, Maurice Herlihy, Yingjie Xue

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2021

Composing networks of automated market makers.

Daniel Engel, Maurice Herlihy

Proceedings of the AFT '21: 3rd ACM Conference on Advances in Financial Technologies, Arlington, Virginia, USA, September 26, 2021

2015

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

Proceedings of the 2015 IEEE Pacific Visualization Symposium, 2015

2014

Explorative and Model-based Visual Analysis of Multivariate Data

Daniel Engel

PhD thesis, 2014

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

Proceedings of the IEEE Pacific Visualization Symposium, 2014

2013

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

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

Neighborhood relation diagrams for local comparison of carbon footprints in urban planning.

Daniel Engel, Sebastian Petsch, Hans Hagen, Subhrajit Guhathakurta

Inf. Vis., 2012

Structural Decomposition Trees: Semantic and Practical Implications.

Daniel Engel, Hans Hagen, Bernd Hamann, René Rosenbaum

Proceedings of the Computer Vision, Imaging and Computer Graphics. Theory and Application, 2012

Interpretation, Interaction, and Scalability for Structural Decomposition Trees.

René Rosenbaum, Daniel Engel, James Mouradian, Hans Hagen, Bernd Hamann

Proceedings of the GRAPP & IVAPP 2012: Proceedings of the International Conference on Computer Graphics Theory and Applications and International Conference on Information Visualization Theory and Applications, 2012

2011

Structural Decomposition Trees.

Daniel Engel, René Rosenbaum, Bernd Hamann, Hans Hagen

Comput. Graph. Forum, 2011

A Survey of Dimension Reduction Methods for High-dimensional Data Analysis and Visualization.

Daniel Engel, Lars Huettenberger, Bernd Hamann

Proceedings of the Visualization of Large and Unstructured Data Sets: Applications in Geospatial Planning, Modeling and Engineering, 2011