Jonas Frey

Identifiers

• name variant Jonas Frey 0.60 · backfill

Papers (7)

1. DigiForest: Digital Analytics and Robotics for Sustainable Forestry cs.RO · 2026 · author #14
2. Self-Supervised Bootstrapping of Action-Predictive Embodied Reasoning cs.RO · 2026 · author #3
3. Realizability Toposes from Specifications math.LO · 2015 · author #1
4. Ordered combinatory algebras and realizability math.LO · 2014 · author #2
5. Characterizing partitioned assemblies and realizability toposes math.CT · 2014 · author #1
6. A fibrational study of realizability toposes math.CT · 2014 · author #1
7. A 2-Categorical Analysis of the Tripos-to-Topos Construction math.CT · 2011 · author #1

Mentions

• 1504.06565 #1 · backfill · confidence 0.70 Jonas Frey
• 1410.5034 #2 · backfill · confidence 0.70 Jonas Frey
• 1404.6997 #1 · backfill · confidence 0.70 Jonas Frey
• 1403.3672 #1 · backfill · confidence 0.70 Jonas Frey
• 1104.2776 #1 · backfill · confidence 0.70 Jonas Frey
• 2602.08167 #3 · arxiv_oai · confidence 0.70 Jonas Frey

Frequent Coauthors

• Alexandre Miquel 1 shared papers
• Cesar Cadena 1 shared papers
• Clark Barrett 1 shared papers
• Cyrill Stachniss 1 shared papers
• Enrico Tomelleri 1 shared papers
• Fang Nan 1 shared papers
• Fan Yang 1 shared papers
• Janine Schweier 1 shared papers
• Jens Behley 1 shared papers
• Katie Luo 1 shared papers
• Kostas Alexis 1 shared papers
• Leonard Frei{\ss}muth 1 shared papers
• Marco Camurri 1 shared papers
• Marco Hutter 1 shared papers
• Marco Pavone 1 shared papers
• Martin Jacquet 1 shared papers
• Marvin Chayton Harms 1 shared papers
• Mat\'ias Mattamala 1 shared papers
• Maurice Fallon 1 shared papers
• Mauricio Guillermo 1 shared papers