EDBT 2026 Demo / reviewers in the wild / expert
Jan Frederik Schaefer
dblp:236/1971
· DBLP profile ↗
3ranked-venue papers
1as first author
3since 2021 · last 2025
0000-0003-2545-4626ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Artificial intelligence and machine learning · 3 · 1 first-author · 3 since 2021Software engineering, systems software and programming languages · 3 · 1 first-author · 3 since 2021Theory of computation · 3 · 1 first-author · 3 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | Reaping the Benefits of Modularization in Flexiformal Mathematics by GF-based AST Transformations
Josefin Kelber, Michael Kohlhase, Jan Frederik Schaefer, Marcel Schütz |
CICM | 3 |
| 2025 | Semantic Authoring in a Flexiformal Context - Bulk Annotation of Rigorous Documents
Michael Kohlhase, Jan Frederik Schaefer |
CICM | 2 |
| 2023 | Towards an Annotation Standard for STEM Documents - Datasets, Benchmarks, and Spotters
Jan Frederik Schaefer, Michael Kohlhase |
CICM | 1 |