Simon Huber

According to our database, Simon Huber authored at least 18 papers between 2013 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Identifying Nearest Fog Nodes With Network Coordinate Systems.

Simon Huber, Tobias Pfandzelter, David Bermbach

Proceedings of the IEEE International Conference on Cloud Engineering, 2023

2022

Canonicity and homotopy canonicity for cubical type theory.

Thierry Coquand, Simon Huber, Christian Sattler

Log. Methods Comput. Sci., 2022

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

Mike Kosek, Trinh Viet Doan, Simon Huber, Vaibhav Bajpai

Comput. Commun. Rev., 2022

Differentiable Collision Avoidance Using Collision Primitives.

Simon Zimmermann, Matthias Busenhart, Simon Huber, Roi Poranne, Stelian Coros

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2022

2021

Designing actuation systems for animatronic figures via globally optimal discrete search.

Simon Huber, Roi Poranne, Stelian Coros

ACM Trans. Graph., 2021

Preface to the MSCS Issue 31.1 (2021) Homotopy Type Theory and Univalent Foundations - Part II.

Benedikt Ahrens, Simon Huber, Anders Mörtberg

Math. Struct. Comput. Sci., 2021

Preface to the MSCS Issue 31.1 (2021) Homotopy Type Theory and Univalent Foundations.

Benedikt Ahrens, Simon Huber, Anders Mörtberg

Math. Struct. Comput. Sci., 2021

Task Autocorrection for Immersive Teleoperation.

Chenyang Wang, Simon Huber, Stelian Coros, Roi Poranne

Proceedings of the IEEE International Conference on Robotics and Automation, 2021

2019

An Adequacy Theorem for Dependent Type Theory.

Thierry Coquand, Simon Huber

Theory Comput. Syst., 2019

Canonicity for Cubical Type Theory.

Simon Huber

J. Autom. Reason., 2019

The Univalence Axiom in Cubical Sets.

Marc Bezem, Thierry Coquand, Simon Huber

J. Autom. Reason., 2019

Gluing for Type Theory.

Ambrus Kaposi, Simon Huber, Christian Sattler

Proceedings of the 4th International Conference on Formal Structures for Computation and Deduction, 2019

Homotopy Canonicity for Cubical Type Theory.

Thierry Coquand, Simon Huber, Christian Sattler

Proceedings of the 4th International Conference on Formal Structures for Computation and Deduction, 2019

A Modular Benchmarking Infrastructure for High-Performance and Reproducible Deep Learning.

Tal Ben-Nun, Maciej Besta, Simon Huber, Alexandros Nikolaos Ziogas, Daniel Peter, Torsten Hoefler

Proceedings of the 2019 IEEE International Parallel and Distributed Processing Symposium, 2019

2018

On Higher Inductive Types in Cubical Type Theory.

Thierry Coquand, Simon Huber, Anders Mörtberg

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018

2017

Cubical Type Theory: A Constructive Interpretation of the Univalence Axiom.

Cyril Cohen, Thierry Coquand, Simon Huber, Anders Mörtberg

FLAP, 2017

2015

A generalization of the Takeuti-Gandy interpretation.

Bruno Barras, Thierry Coquand, Simon Huber

Math. Struct. Comput. Sci., 2015

2013

A Model of Type Theory in Cubical Sets.

Marc Bezem, Thierry Coquand, Simon Huber

Proceedings of the 19th International Conference on Types for Proofs and Programs, 2013