Johannes Waldmann

Identifiers

• name variant Johannes Waldmann 0.60 · backfill

Papers (4)

1. Semantic Labelling in Practice cs.LO · 2026 · author #2
2. When You Should Use Lists in Haskell (Mostly, You Should Not) cs.PL · 2018 · author #1
3. Efficient Completion of Weighted Automata cs.DS · 2016 · author #1
4. Propositional Encoding of Constraints over Tree-Shaped Data cs.PL · 2013 · author #2

Mentions

• 2607.00521 #2 · arxiv_oai · confidence 0.70 Johannes Waldmann
• 1305.4957 #2 · backfill · confidence 0.70 Johannes Waldmann

Frequent Coauthors

• Alexander Bau 1 shared papers
• Dieter Hofbauer 1 shared papers