Publikationen von Karianto Wong

Publikationen am Lehrstuhl für Informatik 7

[Won10] Karianto Wong. Finite automata on unranked trees: Extensions by arithmetical and equality constraints. PhD thesis, RWTH Aachen, 2010.
[ pdf | http | Abstract ]
[LW09] Christof Löding and Karianto Wong. On nondeterministic unranked tree automata with sibling constraints. In Ravi Kannan and K. Narayan Kumar, editors, IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2009), volume 4 of Leibniz International Proceedings in Informatics (LIPIcs), pages 311-322, Dagstuhl, Germany, 2009. Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
[ pdf | http | Abstract ]
[KL07] Wong Karianto and Christof Löding. Unranked tree automata with sibling equalities and disequalities. In Proceedings of the 34th International Colloquium on Automata, Languages and Programming, ICALP 2007, volume 4596 of Lecture Notes in Computer Science, pages 875-887. Springer, 2007. (c) Springer.
[ pdf | Abstract ]
[KKT06] Wong Karianto, Aloys Krieg, and Wolfgang Thomas. On intersection problems for polynomially generated sets. In Proceedings of the 33rd International Colloquium on Automata, Languages and Programming, ICALP 2006, Part II, volume 4052 of Lecture Notes in Computer Science, pages 516-527. Springer, 2006. (c) Springer.
[ pdf | ps | Abstract ]
[KL06] Wong Karianto and Christof Löding. Unranked tree automata with sibling equalities and disequalities. Technical Report AIB-2006-13, RWTH Aachen, October 2006.
[ pdf | ps | Abstract ]
[Kar05a] Wong Karianto. Adding monotonic counters to automata and transition graphs. In Proceedings of the 9th International Conference on Developments in Language Theory, DLT 2005, volume 3572 of Lecture Notes in Computer Science, pages 308-319. Springer, 2005. (c) Springer.
[ pdf | ps | Abstract ]
[Kar05b] Wong Karianto. On Parikh images of higher-order pushdown automata. In 15. Theorietag der GI Fachgruppe 0.1.5 Automaten und Formale Sprachen, Technical Report WSI-2005-16, pages 26-29. Wilhelm-Schickard-Institut für Informatik, Eberhard-Karls-Universität Tübingen, 2005.
[ pdf | ps | Abstract ]
[Kar04] Wong Karianto. Parikh automata with pushdown stack. Diplomarbeit, RWTH Aachen, 2004.
[ pdf | Abstract ]