Simon Huber
Orcid: 0000-0003-2953-8894
According to our database1,
Simon Huber
authored at least 18 papers
between 2013 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
Proceedings of the IEEE International Conference on Cloud Engineering, 2023
2022
Log. Methods Comput. Sci., 2022
Measuring DNS over TCP in the era of increasing DNS response sizes: a view from the edge.
Comput. Commun. Rev., 2022
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.
ACM Trans. Graph., 2021
Preface to the MSCS Issue 31.1 (2021) Homotopy Type Theory and Univalent Foundations - Part II.
Math. Struct. Comput. Sci., 2021
Preface to the MSCS Issue 31.1 (2021) Homotopy Type Theory and Univalent Foundations.
Math. Struct. Comput. Sci., 2021
Proceedings of the IEEE International Conference on Robotics and Automation, 2021
2019
Proceedings of the 4th International Conference on Formal Structures for Computation and Deduction, 2019
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.
Proceedings of the 2019 IEEE International Parallel and Distributed Processing Symposium, 2019
2018
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018
2017
FLAP, 2017
2015
Math. Struct. Comput. Sci., 2015
2013
Proceedings of the 19th International Conference on Types for Proofs and Programs, 2013