Concepedia

Tobias Klenze

TK

4

Publications

181

Citations

4

H-Index

2018

Active since

Affiliations

ETH Zurich(Current)

Tobias Klenze is an author at ETH Zurich specializing in engineering, network analysis, and internet of things.

ORCID

Top concepts

Publications per year

2018–2020

4

Publications

4

Internet backbones in space

Giacomo Giuliari, Tobias Klenze, Markus Legner et al. · ACM SIGCOMM Computer Communication Review · 2020 · 91 citations

, , +15

Networking in Heaven as on Earth

Tobias Klenze, Giacomo Giuliari, Christos Pappas et al. · 2018 · 45 citations · Full text

, , +18

Igloo: soundly linking compositional refinement and separation logic for distributed system verification

Christoph Sprenger, Tobias Klenze, Marco Eilers et al. · Proceedings of the ACM on Programming Languages · 2020 · 24 citations · Full text

EPIC: Every Packet Is Checked in the Data Plane of a Path-Aware Internet

Markus Legner, Tobias Klenze, Marc Wyss et al. · 2020 · 21 citations

, , +9

Rows per page

1–4 of 4