Erich Gr\"adel

Identifiers

• name variant Erich Gr\"adel 0.60 · backfill

Papers (6)

1. Preservation Theorems in Semiring Semantics cs.LO · 2026 · author #3
2. Semiring Provenance for First-Order Model Checking cs.LO · 2017 · author #1
3. Rank logic is dead, long live rank logic! cs.LO · 2015 · author #1
4. The discrete strategy improvement algorithm for parity games and complexity measures for directed graphs cs.CC · 2012 · author #2
5. Dependence and Independence cs.LO · 2012 · author #1
6. Model Checking Games for the Quantitative mu-Calculus cs.LO · 2008 · author #2

Mentions

• 1503.05423 #1 · backfill · confidence 0.70 Erich Gr\"adel
• 1210.2459 #2 · backfill · confidence 0.70 Erich Gr\"adel
• 1208.5268 #1 · backfill · confidence 0.70 Erich Gr\"adel
• 0802.2871 #2 · backfill · confidence 0.70 Erich Gr\"adel

Frequent Coauthors

• Anuj Dawar 1 shared papers
• Benedikt Pago 1 shared papers
• Diana Fischer 1 shared papers
• Felix Canavoi 1 shared papers
• Jouko V\"a\"an\"anen 1 shared papers
• Lukasz Kaiser 1 shared papers
• Roman Rabinovich 1 shared papers
• Sophie Brinke 1 shared papers
• Val Tannen 1 shared papers
• Wied Pakusa 1 shared papers