Institute of

Theoretical Computer Science


Technische Universität Braunschweig

Publications 2011

Publications 2011

Conference contributions

  1. A Sufficient Condition for Erasing Productions to Be Avoidable, by Georg Zetzsche.
    In Proceedings of DLT 2011.

  2. On the Capabilities of Grammars, Automata, and Transducers Controlled by Monoids, by Georg Zetzsche.
    In Proceedings of ICALP 2011.
    arXiv | DOI

  3. Deciding Robustness against Total Store Ordering, by Ahmed Bouajjani, Roland Meyer, and Eike Möhlmann.
    In Proceedings of ICALP 2011.
    DOI | BibTeX

  4. Petri Net Reachability Graphs: Decidability Status of FO Properties, by Ph. Darondeau, S. Demri, Roland Meyer, and C. Morvan.
    In Proceedings of FSTTCS 2011.
    DOI | BibTeX

Journal articles

  1. Toward Understanding the Generative Capacity of Erasing Rules in Matrix Grammars, by Georg Zetzsche.
    International Journal of Foundations of Computer Science, 2011.

Workshop contributions

  1. SmartDec: Approaching C++ Decompilation, by A. Fokin, Egor Derevenetc, A. Chernov, and K. Troshina.
    In Proceedings of 18th Working Conference on Reverse Engineering. Limerick, Ireland, 2011.
    IEEE | DOI | BibTeX