Publikationen von Wladimir Fridman
Alle Publikationen
[Fri13] |
W. Fridman.
A study of pushdown games.
PhD thesis, RWTH Aachen, 2013. [ pdf | http | Abstract ] |
[FZ12] |
W. Fridman and M. Zimmermann.
Playing Pushdown Parity Games in a Hurry.
In M. Faella and A. Murano, editors, Proceedings of the Third
International Symposium on Games, Automata, Logic, and Formal Verification,
GandALF 2012, volume 96 of Electronic Proceedings in Theoretical
Computer Science, pages 183-196, 2012. [ pdf | ps | Abstract ] |
[FLZ11] |
W. Fridman, C. Löding, and M. Zimmermann.
Degrees of Lookahead in Context-free Infinite Games.
In Marc Bezem, editor, Computer Science Logic (CSL'11) - 25th
International Workshop/20th Annual Conference of the EACSL, volume 12 of
Leibniz International Proceedings in Informatics (LIPIcs), pages
264-276, Dagstuhl, Germany, 2011. Schloss Dagstuhl-Leibniz-Zentrum fuer
Informatik. [ pdf | ps | http | Abstract ] |
[FP11] |
W. Fridman and B. Puchala.
Distributed Synthesis for Regular and Contextfree
Specifications.
In Proceedings of the 36th International Symposium on
Mathematical Foundations of Computer Science, MFCS 2011, Lecture Notes in
Computer Science. Springer, 2011. [ pdf | Abstract ] |
[Fri10] |
W. Fridman.
Formats of Winning Strategies for Six Types of
Pushdown Games.
In A. Montanari, M. Napoli, and M. Parente, editors, Proceedings
of the First Symposium on Games, Automata, Logic, and Formal Verification,
GandALF 2010, volume 25. Electronic Proceedings in Theoretical
Computer Science, 2010. [ pdf | ps | Abstract ] |
[FLZ10] |
W. Fridman, C. Löding, and M. Zimmermann.
Degrees of Lookahead in Context-free Infinite Games.
Technical Report AIB-2010-20, RWTH Aachen, December 2010. [ pdf | ps | Abstract ] |