Skip to main content


View Publications

View Journals        View Books and Chapters        View Conferences        View Other


  • Murawski, Andrzej S., Ramsay , S. J., Tzevelekos, N.. 2017. Reachability in pushdown register automata. Journal of Computer and System Sciences, 87, pp. 58-83, View
  • Kiefer, Stefan, Murawski, Andrzej S., Ouaknine, Joel, Wachter, Bjoern, Worrell, James. 2013. On the complexity of equivalence and minimisation for Q-weighted automata. Logical Methods in Computer Science, Volume 9 (Number 1), View
  • Murawski, Andrzej S., Tzevelekos, Nikos. 2013. Full abstraction for Reduced ML. Annals of Pure and Applied Logic, Volume 164 (Number 11), pp. 1118-1143, View

Page 1 of 1