Jonas Frey

Most-cited papers

Fast Traversability Estimation for Wild Visual Navigation
Jonas Frey, Matías Mattamala, Nived Chebrolu, César Cadena +2 more
2023Robotics: Science and Systems Conference129 citations Open access
Semantic Scholar
Locomotion Policy Guided Traversability Learning using Volumetric Representations of Complex Environments
Jonas Frey, David Hoeller, Shehryar Khattak, Marco Hutter
2022IEEE/RJS International Conference on Intelligent RObots and Systems77 citations Open access
Semantic Scholar
Impredicative Encodings of (Higher) Inductive Types
Steve Awodey, Jonas Frey, Sam Speight
2018Logic in Computer Science32 citations Open access
Semantic Scholar
Learning Risk-Aware Quadrupedal Locomotion using Distributional Reinforcement Learning
Lukas Schneider, Jonas Frey, Takahiro Miki, Marco Hutter
2023IEEE International Conference on Robotics and Automation30 citations
Semantic Scholar
SMUG Planner: A Safe Multi-Goal Planner for Mobile Robots in Challenging Environments
Chang-Min Chen, Jonas Frey, Philip Arm, Marco Hutter
2023IEEE Robotics and Automation Letters22 citations
Semantic Scholar
Unsupervised Continual Semantic Adaptation Through Neural Rendering
Zhizheng Liu, Francesco Milano, Jonas Frey, M. Hutter +3 more
2022Computer Vision and Pattern Recognition22 citations
Semantic Scholar
A fibrational study of realizability toposes
Jonas Frey
201422 citations
Semantic Scholar
Seeing Through the Grass: Semantic Pointcloud Filter for Support Surface Learning
Anqiao Li, Chen-Yu Yang, Jonas Frey, Joonho Lee +2 more
2023IEEE Robotics and Automation Letters21 citations
Semantic Scholar
Continual Adaptation of Semantic Segmentation Using Complementary 2D-3D Data Representations
Jonas Frey, H. Blum, Francesco Milano, R. Siegwart +1 more
2021IEEE Robotics and Automation Letters18 citations Open access
Semantic Scholar
A 2-Categorical Analysis of the Tripos-to-Topos Construction
Jonas Frey
201118 citations
Semantic Scholar
Categories of partial equivalence relations as localizations
Jonas Frey
2019Journal of Pure and Applied Algebra16 citations Open access
Semantic Scholar
Ordered combinatory algebras and realizability †
W. F. Santos, Jonas Frey, Mauricio Guillermo, Octavio Malherbe +1 more
2014Mathematical Structures in Computer Science15 citations Open access
Semantic Scholar
Triposes, q-toposes and toposes
Jonas Frey
2015Annals of Pure and Applied Logic9 citations Open access
Semantic Scholar
Characterizing partitioned assemblies and realizability toposes
Jonas Frey
2014Journal of Pure and Applied Algebra9 citations Open access
Semantic Scholar
DUALITY FOR CLANS: AN EXTENSION OF GABRIEL–ULMER DUALITY
Jonas Frey
2023Journal of Symbolic Logic (JSL)6 citations Open access
Semantic Scholar
Continual Learning of Semantic Segmentation using Complementary 2D-3D Data Representations
Jonas Frey, H. Blum, Francesco Milano, R. Siegwart +1 more
2021arXiv.org6 citations
Semantic Scholar
Modulation of Human Beta-Defensin 2 Expression by Pathogenic Neisseria meningitidis and Commensal Lactobacilli
Gabriela M. Wassing, Nathalie Ilehag, Jonas Frey, A. Jonsson
2021Antimicrobial Agents and Chemotherapy6 citations Open access
Semantic Scholar
DNA Blocks the Lethal Effect of Human Beta-Defensin 2 Against Neisseria meningitidis
Gabriela M. Wassing, Kevin A Lidberg, Sara Sigurlásdóttir, Jonas Frey +5 more
2021Frontiers in Microbiology5 citations Open access
Semantic Scholar
Optimal Stopping in a Dynamic Salience Model
Markus Dertwinkel-Kalt, Jonas Frey, Mats Köster
2020AEA Randomized Controlled Trials5 citations Open access
Semantic Scholar
Realizability Toposes from Specifications
Jonas Frey
2015International Conference on Typed Lambda Calculus and Applications5 citations
Semantic Scholar
Classical Realizability in the CPS Target Language
Jonas Frey
2016Mathematical Foundations of Programming Semantics4 citations Open access
Semantic Scholar
Triposes as a generalization of localic geometric morphisms
Jonas Frey, T. Streicher
2020Mathematical Structures in Computer Science2 citations Open access
Semantic Scholar
Uniform Preorders and Partial Combinatory Algebras
Jonas Frey
2024arXiv.org1 citations
Semantic Scholar
Duality for Clans: a Refinement of Gabriel-Ulmer Duality
Jonas Frey
2023arXiv.org1 citations Open access
Semantic Scholar
Constructing coproducts in locally Cartesian closed $\infty$-categories
Jonas Frey, Nima Rasekh
2021Homology, Homotopy and Applications1 citations Open access
Semantic Scholar
A Characterization of Realizability Toposes
Jonas Frey
20141 citations
Semantic Scholar
Diversification vs. Monopolization: A Laboratory Experiment
Jonas Frey, Axel Ockenfels, Martin C. Schmalz
2022Social Science Research Network0 citations Open access
Semantic Scholar
Pre-Analysis Plan: Salience-Driven Decoy Eﬀects in Stopping Problems
Markus Dertwinkel-Kalt, Jonas Frey, Mats Köster
20210 citations
Semantic Scholar
D ec 2 01 9 Categories of partial equivalence relations as localizations
Jonas Frey
20190 citations
Semantic Scholar
Relating the Effective Topos to HoTT
S. Awodey, Jonas Frey, G. Rosolini
20190 citations
Semantic Scholar