Simon Huber

11 papers and 89 indexed citations i.

Simon Huber has authored 11 papers that have received a total of 89 indexed citations. This includes 6 papers in Artificial Intelligence, 5 papers in Mathematical Physics and 5 papers in Geometry and Topology. The topics of these papers are Homotopy and Cohomology in Algebraic Topology (5 papers), Logic, Reasoning, and Knowledge (4 papers) and Logic, programming, and type systems (4 papers). Simon Huber is often cited by papers focused on Homotopy and Cohomology in Algebraic Topology (5 papers), Logic, Reasoning, and Knowledge (4 papers) and Logic, programming, and type systems (4 papers) and collaborates with scholars based in Sweden, Switzerland and Israel. Simon Huber's co-authors include Thierry Coquand, Stelian Coros, Roi Poranne, Bruno Barras and Torsten Hoefler and has published in prestigious journals such as ACM Transactions on Graphics, Journal of Automated Reasoning and Mathematical Structures in Computer Science