Martin Hofmann
- Species delimitation 4.0: integrative taxonomy meets artificial intelligence
2024/06/06 by Kevin Karbstein, Lara M. Kösters, Ladislav Hodač +14 · 2 voices · 15 citations
Biochemistry, Genetics and Molecular Biology · Environmental Science · #Genetic diversity and population structure #Genomics and Phylogenetic Studies #Species Distribution and Climate Change
- Multivariate amortized resource analysis
2012/10/01 by Jan Hoffmann, Klaus Aehlig, Martin Hofmann · 6 citations
Computer Science · #Formal Methods in Verification #Logic, programming, and type systems #Software Testing and Debugging Techniques
- Unleashing HyDRa: Hybrid Fusion, Depth Consistency and Radar for Unified 3D Perception
2024/03/12 by Philipp Wolters, Johannes Gilg, Wolters, Philipp +11 · 10 citations
Engineering · Computer Science · #Geophysical Methods and Applications #Robotics and Sensor-Based Localization #Target Tracking and Data Fusion in Sensor Networks
- Human Smuggling as a Transnational Service Industry: Evidence from Austria
2006/09/22 by Veronika Bilger, Martin Hofmann, Martin Ludwig Hofmann +1 · 3 citations
Social Sciences · Health Professions · #Sex work and related issues #Employment and Welfare Studies
- Conservativity of equality reflection over intensional type theory
1996/01/01 by Martin Hofmann · 1 voice · 1 citation
Computer Science · Mathematics · #Advanced Algebra and Logic #Advanced Topology and Set Theory