## Recent Publications and Submissions

by Vesa HalavaUpdated November 2014

- Most of the papers can be downloaded in postscript or pdf.

These arepreprints(many from the TUCS technical report series).

V. Halava, R. Niskanen, I. Potapov

On Undecidability of Counter Reachability Games in Dimension One

http://arxiv.org/abs/1411.4796 2014 (submitted)V. Halava

Another proof of undecidability for the correspondence decision problem - Had I been Emil Post

http://arxiv.org/abs/1411.5197 2014 (submitted)J. Cassaigne, V. Halava, T. Harju, F. Nicolas

Tighter Undecidability Bounds for Matrix Mortality, Zero-in-the-Corner Problems, and More

http://arxiv.org/abs/1404.0644 2014 (submitted)V. Halava, T. Harju, R. Niskanen, I. Potapov

Weighted Automata on Infinite Words in the Context of Attacker-Defender Games

TUCS Technical Reports No. 1118, TUCS, 2014. (submitted)V. Halava, T. Harju and M. Huova

On n-permutation Post Correspondence Problem

TUCS Technical Reports No. 1084, TUCS, 2013. (submitted)V. Halava, R. Niskanen, I. Potapov

On Robot Games of Degree Two

to appear in Proceedings of LATA 2015.V. Halava and T. Harju:

Word Problem for Deterministic and Reversible Semi-Thue Systems

Semigroup Forum Vol 88(2), 468--478, 2014.

My Homepage