A Model of Type Theory in Cubical Sets. - Marc Bezem; Thierry Coquand; Simon Huber (TYPES, 2013)

A generalization of the Takeuti-Gandy interpretation. - Bruno Barras; Thierry Coquand; Simon Huber (Math. Struct. Comput. Sci., 2015)

Cubical Type Theory: A Constructive Interpretation of the Univalence Axiom. - Cyril Cohen; Thierry Coquand; Simon Huber; Anders Mörtberg (FLAP, 2017)

On Higher Inductive Types in Cubical Type Theory. - Thierry Coquand; Simon Huber; Anders Mörtberg (LICS, 2018)

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 (IPDPS, 2019)

Homotopy Canonicity for Cubical Type Theory. - Thierry Coquand; Simon Huber; Christian Sattler (FSCD, 2019)

Gluing for Type Theory. - Ambrus Kaposi; Simon Huber; Christian Sattler (FSCD, 2019)

The Univalence Axiom in Cubical Sets. - Marc Bezem; Thierry Coquand; Simon Huber (J. Autom. Reason., 2019)

Canonicity for Cubical Type Theory. - Simon Huber (J. Autom. Reason., 2019)

An Adequacy Theorem for Dependent Type Theory. - Thierry Coquand; Simon Huber (Theory Comput. Syst., 2019)

Task Autocorrection for Immersive Teleoperation. - Chenyang Wang; Simon Huber; Stelian Coros; Roi Poranne (ICRA, 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)

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)

Designing actuation systems for animatronic figures via globally optimal discrete search. - Simon Huber; Roi Poranne; Stelian Coros (ACM Trans. Graph., 2021)

Differentiable Collision Avoidance Using Collision Primitives. - Simon Zimmermann; Matthias Busenhart; Simon Huber; Roi Poranne; Stelian Coros (IROS, 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)

Canonicity and homotopy canonicity for cubical type theory. - Thierry Coquand; Simon Huber; Christian Sattler (Log. Methods Comput. Sci., 2022)

Identifying Nearest Fog Nodes With Network Coordinate Systems. - Simon Huber; Tobias Pfandzelter; David Bermbach (IC2E, 2023)

Multi-robot workspace design and motion planning for package sorting. - Peiyu Zeng; Yijiang Huang; Simon Huber; Stelian Coros (CoRR, 2024)