EDBT 2026 Demo / reviewers in the wild / expert
Marcel Schütz
dblp:296/4969
· DBLP profile ↗
5ranked-venue papers
0as first author
5since 2021 · last 2025
0000-0002-5386-5134ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Artificial intelligence and machine learning · 5 · 5 since 2021Theory of computation · 5 · 5 since 2021Software engineering, systems software and programming languages · 4 · 4 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 | 4 |
| 2025 | Lightweight Realms
Michael Kohlhase, Florian Rabe 0001, Marcel Schütz |
CICM | 3 |
| 2024 | Reusing Learning Objects via Theory Morphisms
Michael Kohlhase, Marcel Schütz |
CICM | 2 |
| 2021 | The Isabelle/Naproche Natural Language Proof AssistantabstractAbstract "Image missing" is an emerging natural proof assistant that accepts input in the controlled natural language ForTheL. "Image missing" is included in the current version of the Isabelle/PIDE which allows comfortable editing and asynchronous proof-checking of ForTheL texts. The dialect of ForTheL can be typeset by "Image missing" into documents that approximate the language and appearance of ordinary mathematical texts. Adrian De Lon, Peter Koepke, Anton Lorenzen, Adrian Marti, Marcel Schütz, Markus Wenzel 0001 |
CADE | 5 |
| 2021 | Beautiful Formalizations in Isabelle/Naproche
Adrian De Lon, Peter Koepke, Anton Lorenzen, Adrian Marti, Marcel Schütz, Erik Sturzenhecker |
CICM | 5 |