Simon Huber

31 papers A* 2A 3B 3Journal 20Unranked 3
YearRankTypeTitle / Venue / Authors
2025 A conf
Budget-optimal multi-robot layout design for box sorting.
IROS
Peiyu Zeng, Yijiang Huang, Simon Huber, Stelian Coros
2025 — conf
Paperwork vs. Paperplay - The Media History of Playing Cards as aLudological Critique of Contemporary Digital Culture.
DIGHUM
Simon Huber
2024 J jnl
Multi-robot workspace design and motion planning for package sorting.
CoRR
Peiyu Zeng, Yijiang Huang, Simon Huber, Stelian Coros
2023 B conf
Identifying Nearest Fog Nodes With Network Coordinate Systems.
IC2E
Simon Huber, Tobias Pfandzelter, David Bermbach
2023 J jnl
Identifying Nearest Fog Nodes With Network Coordinate Systems.
CoRR
Simon Huber, Tobias Pfandzelter, David Bermbach
2022 J jnl
Canonicity and homotopy canonicity for cubical type theory.
Log. Methods Comput. Sci.
Thierry Coquand, Simon Huber, Christian Sattler
2022 A conf
Differentiable Collision Avoidance Using Collision Primitives.
IROS
Simon Zimmermann, Matthias Busenhart, Simon Huber, Roi Poranne, Stelian Coros
2022 J jnl
Differentiable Collision Avoidance Using Collision Primitives.
CoRR
Simon Zimmermann, Matthias Busenhart, Simon Huber, Roi Poranne, Stelian Coros
2022 J jnl
Measuring DNS over TCP in the Era of Increasing DNS Response Sizes: A View from the Edge.
CoRR
Mike Kosek, Trinh Viet Doan, Simon Huber, Vaibhav Bajpai
2022 J jnl
Measuring DNS over TCP in the era of increasing DNS response sizes: a view from the edge.
Comput. Commun. Rev.
Mike Kosek, Trinh Viet Doan, Simon Huber, Vaibhav Bajpai
2021 J jnl
Designing actuation systems for animatronic figures via globally optimal discrete search.
ACM Trans. Graph.
Simon Huber, Roi Poranne, Stelian Coros
2021 J jnl
Preface to the MSCS Issue 31.1 (2021) Homotopy Type Theory and Univalent Foundations - Part II.
Math. Struct. Comput. Sci.
Benedikt Ahrens, Simon Huber, Anders Mörtberg
2021 J jnl
Preface to the MSCS Issue 31.1 (2021) Homotopy Type Theory and Univalent Foundations.
Math. Struct. Comput. Sci.
Benedikt Ahrens, Simon Huber, Anders Mörtberg
2021 A* conf
Task Autocorrection for Immersive Teleoperation.
ICRA
Chenyang Wang, Simon Huber, Stelian Coros, Roi Poranne
2019 A conf
A Modular Benchmarking Infrastructure for High-Performance and Reproducible Deep Learning.
IPDPS
Tal Ben-Nun, Maciej Besta, Simon Huber, Alexandros Nikolaos Ziogas, Daniel Peter, Torsten Hoefler
2019 J jnl
A Modular Benchmarking Infrastructure for High-Performance and Reproducible Deep Learning.
CoRR
Tal Ben-Nun, Maciej Besta, Simon Huber, Alexandros Nikolaos Ziogas, Daniel Peter, Torsten Hoefler
2019 J jnl
An Adequacy Theorem for Dependent Type Theory.
Theory Comput. Syst.
Thierry Coquand, Simon Huber
2019 J jnl
Canonicity for Cubical Type Theory.
J. Autom. Reason.
Simon Huber
2019 B conf
Gluing for Type Theory.
FSCD
Ambrus Kaposi, Simon Huber, Christian Sattler
2019 B conf
Homotopy Canonicity for Cubical Type Theory.
FSCD
Thierry Coquand, Simon Huber, Christian Sattler
2019 J jnl
Homotopy canonicity for cubical type theory.
CoRR
Thierry Coquand, Simon Huber, Christian Sattler
2019 J jnl
The Univalence Axiom in Cubical Sets.
J. Autom. Reason.
Marc Bezem, Thierry Coquand, Simon Huber
2018 A* conf
On Higher Inductive Types in Cubical Type Theory.
LICS
Thierry Coquand, Simon Huber, Anders Mörtberg
2018 J jnl
On Higher Inductive Types in Cubical Type Theory.
CoRR
Thierry Coquand, Simon Huber, Anders Mörtberg
2017 J jnl
Cubical Type Theory: A Constructive Interpretation of the Univalence Axiom.
FLAP
Cyril Cohen, Thierry Coquand, Simon Huber, Anders Mörtberg
2017 J jnl
The univalence axiom in cubical sets.
CoRR
Marc Bezem, Thierry Coquand, Simon Huber
2016 J jnl
Canonicity for Cubical Type Theory.
CoRR
Simon Huber
2016 J jnl
Cubical Type Theory: a constructive interpretation of the univalence axiom.
CoRR
Cyril Cohen, Thierry Coquand, Simon Huber, Anders Mörtberg
2015 J jnl
A generalization of the Takeuti-Gandy interpretation.
Math. Struct. Comput. Sci.
Bruno Barras, Thierry Coquand, Simon Huber
2015 — conf
Cubical Type Theory: A Constructive Interpretation of the Univalence Axiom.
TYPES
Cyril Cohen, Thierry Coquand, Simon Huber, Anders Mörtberg
2013 — conf
A Model of Type Theory in Cubical Sets.
TYPES
Marc Bezem, Thierry Coquand, Simon Huber