Hannes Hartenstein
Karlsruher Institut für Technologie
H-index: 61
Europe-Germany
Top articles of Hannes Hartenstein
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Logical Clocks and Monotonicity for Byzantine-Tolerant Replicated Data Types | Florian Jacob Hannes Hartenstein | 2024/4/22 | |
Poster: How to Raise a Robot-Beyond Access Control Constraints in Assistive Humanoid Robots | Niklas Hemken Florian Jacob Fabian Peller-Konrad Rainer Kartmann Tamim Asfour | 2023/5/24 | |
Let It TEE: Asynchronous Byzantine Atomic Broadcast with | arXiv preprint arXiv:2305.06123 | Marc Leinweber Hannes Hartenstein | 2023/5/10 |
How to Raise a Robot--A Case for Neuro-Symbolic AI in Constrained Task Planning for Humanoid Assistive Robots | arXiv preprint arXiv:2312.08820 | Niklas Hemken Florian Jacob Fabian Peller-Konrad Rainer Kartmann Tamim Asfour | 2023/12/14 |
On Extend-Only Directed Posets and Derived Byzantine-Tolerant Replicated Data Types | Florian Jacob Hannes Hartenstein | 2023/5/8 | |
ABCperf: Performance Evaluation of Fault Tolerant State Machine Replication Made Simple: Demo Abstract | Tilo Spannagel Marc Leinweber Adriano Castro Hannes Hartenstein | 2023/12/11 | |
Leveraging Distributed Ledger Technology for Decentralized Mobility-as-a-Service Ticket Systems | Marc Leinweber Niclas Kannengießer Hannes Hartenstein Ali Sunyaev | 2023/5/4 | |
Erratum zu: Leveraging Distributed Ledger Technology for Decentralized Mobility-as-a-Service Ticket Systems | Marc Leinweber Niclas Kannengießer Hannes Hartenstein Ali Sunyaev | 2023/7/20 | |
Brief Announcement: Let It TEE: Asynchronous Byzantine Atomic Broadcast with n≥ 2f+ 1 | Marc Leinweber Hannes Hartenstein | 2023 | |
Towards a Formal Verification of the Lightning Network with TLA+ | arXiv preprint arXiv:2307.02342 | Matthias Grundmann Hannes Hartenstein | 2023/7/5 |
Verifying Payment Channels with TLA+ | Matthias Grundmann Hannes Hartenstein | 2022/5/2 | |
Grasping the Concept of Decentralized Systems for Instant Messaging | Luisa Gebhardt Marc Leinweber Florian Jacob Hannes Hartenstein | 2022/10/31 | |
Short paper: What peer announcements tell us about the size of the bitcoin P2P network | Matthias Grundmann Hedwig Amberg Max Baumstark Hannes Hartenstein | 2022/5/2 | |
On the Applicability of Payment Channel Networks for Allocation of Transport Ticket Revenues | Matthias Grundmann Otto von Zastrow-Marcks Hannes Hartenstein | 2022/7/25 | |
On CRDTs in Byzantine Environments | Florian Jacob Saskia Bayreuther Hannes Hartenstein | 2022 | |
Decentralized Review and Attestation of Software Attribute Claims | IEEE Access | Oliver Stengele Christina Westermeyer Hannes Hartenstein | 2022/6/21 |
BlueSky: Combining Task Planning and Activity-Centric Access Control for Assistive Humanoid Robots | Saskia Bayreuther Florian Jacob Markus Grotz Rainer Kartmann Fabian Peller-Konrad | 2022/6/7 | |
On the peer degree distribution of the bitcoin p2p network | Matthias Grundmann Max Baumstark Hannes Hartenstein | 2022/5/2 | |
Estimating the Peer Degree of Reachable Peers in the Bitcoin P2P Network | arXiv preprint arXiv:2108.00815 | Matthias Grundmann Max Baumstark Hannes Hartenstein | 2021/8/2 |
Advancing Protocol Diversity in Network Security Monitoring | arXiv preprint arXiv:2106.12454 | Jan Grashöfer Peter Oettig Robin Sommer Tim Wojtulewicz Hannes Hartenstein | 2021/6/23 |