Julian-Steffen M\"uller

Identifiers

• name variant Julian-Steffen M\"uller 0.60 · backfill

Papers (5)

1. A Van Benthem Theorem for Modal Team Semantics cs.LO · 2014 · author #2
2. Modal Independence Logic cs.LO · 2014 · author #2
3. Parameterized Enumeration with Ordering cs.CC · 2013 · author #4
4. Paradigms for Parameterized Enumeration cs.CC · 2013 · author #3
5. Model Checking for Modal Dependence Logic: An Approach Through Post's Lattice cs.CC · 2013 · author #1

Mentions

• 1410.6648 #2 · backfill · confidence 0.70 Julian-Steffen M\"uller
• 1404.0144 #2 · backfill · confidence 0.70 Julian-Steffen M\"uller
• 1309.5009 #4 · backfill · confidence 0.70 Julian-Steffen M\"uller
• 1306.2171 #3 · backfill · confidence 0.70 Julian-Steffen M\"uller
• 1303.6424 #1 · backfill · confidence 0.70 Julian-Steffen M\"uller

Frequent Coauthors

• Heribert Vollmer 5 shared papers
• Arne Meier 2 shared papers
• Henning Schnoor 2 shared papers
• Juha Kontinen 2 shared papers
• Nadia Creignou 2 shared papers
• Fr\'ed\'eric Olive 1 shared papers
• Johannes Schmidt 1 shared papers
• Ra\"ida Ktari 1 shared papers