Fritz Henglein
Københavns Universitet
H-index: 27
Europe-Denmark
Top articles of Fritz Henglein
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
In memoriam Neil Deaton Jones | Fritz Henglein | 2024/1/11 | |
Trading green bonds using distributed ledger technology | arXiv preprint arXiv:2304.08154 | Henrik Axelsen Ulrik Rasmussen Johannes Rude Jensen Omri Ross Fritz Henglein | 2023/4/17 |
Computer Science Review | H Obeidat A Alabdullah E Elkhazmi W Suhaib O Obeidat | 2020 | |
Contract-Backed Digital Cash | arXiv preprint arXiv:2211.14442 | Søren Debois Fritz Henglein Morten C Nielsen Christian Olesen Gert Sylvest | 2022/11/19 |
The programming of algebra | arXiv preprint arXiv:2207.00850 | Fritz Henglein Robin Kaarsgaard Mikkel Kragh Mathiesen | 2022/7/2 |
Combinatory adjoints and differentiation | arXiv preprint arXiv:2207.00847 | Martin Elsman Fritz Henglein Robin Kaarsgaard Mikkel Kragh Mathiesen Robert Schenck | 2022/7/2 |
Algeo: An Algebraic Approach to Reversibility | Fritz Henglein Robin Kaarsgaard Mikkel Kragh Mathiesen | 2022/6/28 | |
Event-based supply chain network modeling: Blockchain for good coffee | Frontiers in Blockchain | Simon L Bager Boris Düdder Fritz Henglein Juan Manuel Hébert Haiqin Wu | 2022/6/6 |
Verification, Model Checking, and Abstract Interpretation: 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021, Proceedings | Dirk Beyer Damien Zufferey | 2020/1/14 | |
Module Theory and Query Processing | Proc. Mathematically Structured Functional Programming (MSFP) | Fritz Henglein Mikkel Kragh Mathiesen | 2020/9/1 |
A formally verified static analysis framework for compositional contracts | Fritz Henglein Christian Kjær Larsen Agata Murawska | 2020 |