Simon Huber

Publication Activity (10 Years)

Years Active: 2013-2023
Publications (10 Years): 27

Top Topics

Theoretical Basis

Collision Avoidance

Top Venues

Math. Struct. Comput. Sci.

J. Autom. Reason.

Publications

Simon Huber, Tobias Pfandzelter, David Bermbach
Identifying Nearest Fog Nodes With Network Coordinate Systems. IC2E (2023)
Simon Huber, Tobias Pfandzelter, David Bermbach
Identifying Nearest Fog Nodes With Network Coordinate Systems. CoRR (2023)
Mike Kosek, Trinh Viet Doan, Simon Huber, Vaibhav Bajpai
Measuring DNS over TCP in the era of increasing DNS response sizes: a view from the edge. Comput. Commun. Rev. 52 (2) (2022)
Simon Zimmermann, Matthias Busenhart, Simon Huber, Roi Poranne, Stelian Coros
Differentiable Collision Avoidance Using Collision Primitives. IROS (2022)
Mike Kosek, Trinh Viet Doan, Simon Huber, Vaibhav Bajpai
Measuring DNS over TCP in the Era of Increasing DNS Response Sizes: A View from the Edge. CoRR (2022)
Simon Zimmermann, Matthias Busenhart, Simon Huber, Roi Poranne, Stelian Coros
Differentiable Collision Avoidance Using Collision Primitives. CoRR (2022)
Thierry Coquand, Simon Huber, Christian Sattler
Canonicity and homotopy canonicity for cubical type theory. Log. Methods Comput. Sci. 18 (1) (2022)
Benedikt Ahrens, Simon Huber, Anders Mörtberg
Preface to the MSCS Issue 31.1 (2021) Homotopy Type Theory and Univalent Foundations - Part II. Math. Struct. Comput. Sci. 31 (4) (2021)
Simon Huber, Roi Poranne, Stelian Coros
Designing actuation systems for animatronic figures via globally optimal discrete search. ACM Trans. Graph. 40 (4) (2021)
Chenyang Wang, Simon Huber, Stelian Coros, Roi Poranne
Task Autocorrection for Immersive Teleoperation. ICRA (2021)
Benedikt Ahrens, Simon Huber, Anders Mörtberg
Preface to the MSCS Issue 31.1 (2021) Homotopy Type Theory and Univalent Foundations. Math. Struct. Comput. Sci. 31 (1) (2021)
Tal Ben-Nun, Maciej Besta, Simon Huber, Alexandros Nikolaos Ziogas, Daniel Peter, Torsten Hoefler
A Modular Benchmarking Infrastructure for High-Performance and Reproducible Deep Learning. IPDPS (2019)
Thierry Coquand, Simon Huber, Christian Sattler
Homotopy Canonicity for Cubical Type Theory. FSCD (2019)
Thierry Coquand, Simon Huber, Christian Sattler
Homotopy canonicity for cubical type theory. CoRR (2019)
Ambrus Kaposi, Simon Huber, Christian Sattler
Gluing for Type Theory. FSCD (2019)
Tal Ben-Nun, Maciej Besta, Simon Huber, Alexandros Nikolaos Ziogas, Daniel Peter, Torsten Hoefler
A Modular Benchmarking Infrastructure for High-Performance and Reproducible Deep Learning. CoRR (2019)
Marc Bezem, Thierry Coquand, Simon Huber
The Univalence Axiom in Cubical Sets. J. Autom. Reason. 63 (2) (2019)
Simon Huber
Canonicity for Cubical Type Theory. J. Autom. Reason. 63 (2) (2019)
Thierry Coquand, Simon Huber
An Adequacy Theorem for Dependent Type Theory. Theory Comput. Syst. 63 (4) (2019)
Thierry Coquand, Simon Huber, Anders Mörtberg
On Higher Inductive Types in Cubical Type Theory. LICS (2018)
Thierry Coquand, Simon Huber, Anders Mörtberg
On Higher Inductive Types in Cubical Type Theory. CoRR (2018)
Marc Bezem, Thierry Coquand, Simon Huber
The univalence axiom in cubical sets. CoRR (2017)
Cyril Cohen, Thierry Coquand, Simon Huber, Anders Mörtberg
Cubical Type Theory: A Constructive Interpretation of the Univalence Axiom. FLAP 4 (10) (2017)
Cyril Cohen, Thierry Coquand, Simon Huber, Anders Mörtberg
Cubical Type Theory: a constructive interpretation of the univalence axiom. CoRR (2016)
Simon Huber
Canonicity for Cubical Type Theory. CoRR (2016)
Cyril Cohen, Thierry Coquand, Simon Huber, Anders Mörtberg
Cubical Type Theory: A Constructive Interpretation of the Univalence Axiom. TYPES (2015)
Bruno Barras, Thierry Coquand, Simon Huber
A generalization of the Takeuti-Gandy interpretation. Math. Struct. Comput. Sci. 25 (5) (2015)
Marc Bezem, Thierry Coquand, Simon Huber
A Model of Type Theory in Cubical Sets. TYPES (2013)