Jonas Frey - Concepedia

Author

Jonas Frey

Also Known As

Frey, J., Frey, Jonas, J. William Frey, JONAS FREY, Jonas Frey

Publications

269

Citations

H-Index

Concepts

All Affiliations

Jonas Frey is an author at University of Oxford specializing in anatomy, automated reasoning, and representation theory.

#	Concept	H-Index	Publications	Citations
1	Engineering	1	1	59
2	Medicine	1	1	11
3	Anatomy	1	1	11
4	Computer Science	1	1	59
5	Artificial Intelligence	1	1	59

Jonas Frey

Publications

195

Citations

H-Index

Page 1

	Year	Citations
Fast Traversability Estimation for Wild Visual Navigation Jonas Frey, Matías Mattamala, Nived Chebrolu, Artificial IntelligenceGeometric LearningEngineeringMachine LearningField Robotics	2023	59
Locomotion Policy Guided Traversability Learning using Volumetric Representations of Complex Environments Jonas Frey, David Hoeller, Shehryar Khattak, 2022 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)	2022	53
MEM: Multi-Modal Elevation Mapping for Robotics and Learning Gian Erni, Jonas Frey, Takahiro Miki,	2023	22
Amish 'Triple-Talk' Jonas Frey American Speech	1945	20
Impredicative Encodings of (Higher) Inductive Types Steve Awodey, Jonas Frey, Sam Speight Abstract AlgebraRepresentation TheoryType TheoryHigher Category TheoryDependently Typed Programming	2018	17
A 2-Categorical Analysis of the Tripos-to-Topos Construction Jonas Frey arXiv (Cornell University) Tripos-to-topos ConstructionHigher Category TheoryDesignCartesian FunctorsBicategory Enriched Category	2011	13
A fibrational study of realizability toposes Jonas Frey arXiv (Cornell University) Algebraic LogicPattern FormationAutomated ReasoningSheaf ToposesRealizability Toposes	2014	11

Page 1