Author of the publication

Measuring DNS over TCP in the era of increasing DNS response sizes: a view from the edge.

, , , and . Comput. Commun. Rev., 52 (2): 44-55 (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

SOEP 2014 – Methodenbericht zum Befragungsjahr 2014 (Welle 31) des Sozio-oekonomischen Panels, , and . DIW Berlin, Berlin, (2016)A Model of Type Theory in Cubical Sets, , and . 19th International Conference on Types for Proofs and Programs (TYPES 2013), volume 26 of Leibniz International Proceedings in Informatics (LIPIcs), page 107--128. Dagstuhl, Germany, Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, (2014)SOEP 2014 – Methodenbericht zum Befragungsjahr 2014 (Welle 2) des IAB-SOEP-Migrationssamples 2013 (M1), and . DIW Berlin, Berlin, (2016)The univalence axiom in cubical sets., , and . CoRR, (2017)Homotopy Canonicity for Cubical Type Theory., , and . FSCD, volume 131 of LIPIcs, page 11:1-11:23. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)The Univalence Axiom in Cubical Sets., , and . J. Autom. Reason., 63 (2): 159-171 (2019)Differentiable Collision Avoidance Using Collision Primitives., , , , and . IROS, page 8086-8093. IEEE, (2022)Cubical Type Theory: A Constructive Interpretation of the Univalence Axiom., , , and . FLAP, 4 (10): 3127-3170 (2017)A generalization of the Takeuti-Gandy interpretation., , and . Math. Struct. Comput. Sci., 25 (5): 1071-1099 (2015)Designing actuation systems for animatronic figures via globally optimal discrete search., , and . ACM Trans. Graph., 40 (4): 174:1-174:10 (2021)