Travelled to:1 × Estonia
1 × Italy
Collaborated with:N.Chaturvedi W.Thomas S.Breuers C.Löding
Talks about:languag (4) regular (2) infinit (2) game (2) complement (1) versus (1) ramsey (1) improv (1) büchi (1) base (1)
Person: Jörg Olschewski
DBLP: Olschewski:J=ouml=rg
Contributed to:
2012
20112012Wrote 3 papers:
- FoSSaCS-2012-BreuersLO #automaton
- Improved Ramsey-Based Büchi Complementation (SB, CL, JO), pp. 150–164.
- DLT-2011-ChaturvediOT #game studies #infinity
- Languages vs. ω-Languages in Regular Infinite Games (NC, JO, WT), pp. 180–191.
- DLT-J-2011-ChaturvediOT12 #game studies #infinity
- Languages versus ω-Languages in Regular Infinite Games (NC, JO, WT), pp. 985–1000.