Instytut
Informatyki
ul. Joliot-Curie 15
PL-50-383 Wrocław
Email:
aje X ii.uni.wroc.pl
tel +48 71 375-78-37
fax +48 71 375-78-01
Teaching and office hours (mostly in Polish)
Papers
(joint work with P. Gawrychowski) Hyper-minimisation made effiecient, MFCS 2009 (conference version, rough full version)
(joint work with A. Okhotin) One-nonterminal conjunctive grammars over a unary alphabet, CSR 2009 (.ps .pdf)
(joint work with P. Gawrychowski and Ł. Jeż) Optimal, online validation of the pi and pi' failure functions (arXiv)
(joint work with J. Łopuszański) On the Two-Dimensional Cow Search Problem, Information Processing Letters 109 (2009) 543–547 (.ps)
(joint work with A. Okhotin) Equations over sets of natural numbers with addition only, STACS 2009 (conference version)
(joint paper with M. Bienkowski, M. Chrobak, C. Durr, M. Hurand, Ł. Jeż, G. Stachowiak) Collecting Weighted Items from a Dynamic Queue SODA 2009 (.ps, .pdf)
(joint work with A. Okhotin) On the computational completeness of equations over sets of natural number, ICALP (track B) 2008
full version: submitted
(joint work with M. Grech and A. Kisielewicz) Graphical complexity of products of permutation groups. Discrete Mathematics 308 (2008), 1142-1152.
(joint work with A. Okhotin) Complexity of solutions of equations over sets of natural numbers, STACS 2008 (conference version) (TR).
full version: Theory of Computing Systems (accepted)
(joint work with P. Śniady) Generalized Cauchy identities, trees and multidimensional Brownian motions. Part II: Combinatorial differential calculus (arXiv)
(joint work with A. Okhotin) Conjunctive grammars over a unary alphabet: undecidability and unbounded growth, CSR 2007 (TR)
full version: Theory of Computing Systems (to appear)
Conjunctive grammars can generate non-regular unary languages, DLT 2007 (.ps, .pdf)
full version: International Journal of Foundations of Computer Science 19(3): 597-615 (2008)
Presentations
Computational completeness of equations over sets of natural numbers, ICALP 2008 (.pdf)
Equations in sets of natural numbers, Brno 22 V 2008(.pdf)
Równania nad zbiorami liczb naturalnych, FIT 2008 (.pdf)
Equations in sets of natural numbers, Turku 13 XII 2007(.pdf)
(joint work with A. Okhotin) Conjunctive grammars over a unary alphabet: undecidability and unbounded growth, CSR 2007 (.pdf)
Conjunctive grammars can generate non-regular unary languages, DLT 2007 (.pdf)