Jakob Rehof

Identifiers

• name variant Jakob Rehof 0.60 · backfill

Papers (7)

1. A knowledge-driven framework for synthesizing designs from modular components cs.RO · 2023 · author #2
2. CLS-CAD: Synthesizing CAD Assemblies in Fusion 360 cs.RO · 2023 · author #2
3. Using Sequential Statistical Tests for Efficient Hyperparameter Tuning cs.LG · 2021 · author #4
4. Knowledge-driven Data Ecosystems Towards Data Transparency cs.DB · 2021 · author #12
5. Mixin Composition Synthesis based on Intersection Types cs.LO · 2017 · author #6
6. Rank 3 Inhabitation of Intersection Types Revisited (Extended Version) cs.LO · 2017 · author #2
7. The Algebraic Intersection Type Unification Problem cs.LO · 2016 · author #3

Mentions

• 2311.18533 #2 · arxiv_oai · confidence 0.70 Jakob Rehof
• 2311.18492 #2 · arxiv_oai · confidence 0.70 Jakob Rehof
• 2112.12438 #4 · arxiv_oai · confidence 0.70 Jakob Rehof
• 1712.06906 #6 · arxiv_oai · confidence 0.70 Jakob Rehof
• 1611.05672 #3 · arxiv_oai · confidence 0.70 Jakob Rehof
• 2105.09312 #12 · arxiv_oai · confidence 0.70 Jakob Rehof
• 1705.06070 #2 · arxiv_oai · confidence 0.70 Jakob Rehof

Frequent Coauthors

• Andrej Dudenhefner 3 shared papers
• Constantin Chaumet 2 shared papers
• Andreas Groll 1 shared papers
• Avigdor Gal 1 shared papers
• Barbara Pernici 1 shared papers
• Bernadette Farias L\'oscio 1 shared papers
• Boris D\"udder 1 shared papers
• Boris Otto 1 shared papers
• Cinzia Cappiello 1 shared papers
• Daniel Horn 1 shared papers
• Elda Paja 1 shared papers
• Jan Bessai 1 shared papers
• Maria-Esther Vidal 1 shared papers
• Markus Pauly 1 shared papers
• Matthias Jarke 1 shared papers
• Maurizio Lenzerini 1 shared papers
• Moritz Martens 1 shared papers
• Paolo Missier 1 shared papers
• Philip Buczak 1 shared papers
• Sandra Geisler 1 shared papers