Turlough Neary
Orcid: 0000-0003-1042-6630
According to our database1,
Turlough Neary
authored at least 23 papers
between 2006 and 2019.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on cs.nuim.ie
On csauthors.net:
Bibliography
2019
Proceedings of the 36th International Symposium on Theoretical Aspects of Computer Science, 2019
2018
Proceedings of the Reachability Problems - 12th International Conference, 2018
2017
Proceedings of the Descriptional Complexity of Formal Systems, 2017
2015
Fundam. Informaticae, 2015
Undecidability in Binary Tag Systems and the Post Correspondence Problem for Five Pairs of Words.
Proceedings of the 32nd International Symposium on Theoretical Aspects of Computer Science, 2015
Proceedings of the Cellular Automata and Discrete Complex Systems, 2015
2014
Wang's B machines are efficiently universal, as is Hasenjaeger's small universal electromechanical toy.
J. Complex., 2014
2013
Undecidability in binary tag systems and the Post correspondence problem for four pairs of words.
CoRR, 2013
2011
2010
A Boundary between Universality and Non-universality in Extended Spiking Neural P Systems.
Proceedings of the Language and Automata Theory and Applications, 2010
2009
Theor. Comput. Sci., 2009
CoRR, 2009
Proceedings of the Fundamentals of Computation Theory, 17th International Symposium, 2009
2007
Proceedings of the Computation and Logic in the Real World, 2007
2006
Proceedings of the Automata, Languages and Programming, 33rd International Colloquium, 2006
Proceedings of the 47th Annual IEEE Symposium on Foundations of Computer Science (FOCS 2006), 2006