Current Research
- Synchronization of regular automata 34th MFCS, LNCS 5734, R. Královicz, D. Niwinski (Eds.), 2-23 (2009).
- Boolean algebras of unambiguous context-free languages 28th FSTTCS, Dagstuhl Research Online Publication Server, R. Hariharan, M. Mukund, V. Vinay (Eds.) (2008).
- Synchronization of grammars with S. Hassen, 3rd CSR, LNCS 5010, E. Hirsch, A. Razborov, A. Semenov, A. Slissenko (Eds.), 110-121 (2008).
- Deterministic graph grammars Texts in Logic and Games 2, Amsterdam University Press, J. Flum, E. Grädel, T. Wilke (Eds.), 169-250 (2007).
- Path algorithms on regular graphs with T. H. Dinh, 16th FCT, LNCS 4639, E. Csuhaj-Varjú, Z. Ésik (Eds.), 199-212 (2007).
- Efficient computation of throughput values of context-free languages with J. Czyzowicz, W. Fraczak, W. Rytter, 12th CIAA, LNCS 4783, J. Holub, J. Zd'árek (Eds.), 203-213 (2007).
- Synchronization of pushdown automata 10th DLT, LNCS 4036, O. Ibarra, Z. Dang (Eds.), 120-132 (2006).
- The Kleene equality for graphs with A. Carayol, 31st MFCS, LNCS 4162, S. Jirí, P. Ales, K. Petr (Eds.), 214-225 (2006).