Turlough Neary

Boole Centre for Research in Informatics
University College Cork
Ireland. tneary [at] cs.nuim [dot] ie

My area of research is Theoretical Computer Science. To date most of my work has involved finding universal models of computation that are both simple and efficient. Currently I am working with Dr Anthony K. Seda in the Boole Centre for Research in Informatics. I am a chair of The Complexity of Simple Programs.

PhD thesis

T. Neary. Small universal Turing machines. PhD thesis, NUI, Maynooth, 2008. [pdf]

Submitted September 2007
Accepted November 2007

Supervisors: Dr. Damien Woods and Dr. J. Paul Gibson
External Examiner: Prof. Maurice Margenstern
Internal Examiner: Dr. James Power

Publications

T. Neary. A boundary between universality and non-universality in extended spiking neural P systems. In Language and Automata Theory and Applications, 4th International Conference, LATA 2010, volume 6031 of LNCS, pages 475–487, Trier, May. 2010. Springer.

T. Neary and D. Woods. Small weakly universal Turing machines. 17th International Symposium on Fundamentals of Computation Theory (FCT 2009), volume 5699 of LNCS, pages 262-273, Wrocław, Poland Sept. 2009. Springer.

T. Neary and D. Woods. Four small universal Turing machines. Fundamenta Informaticae, 91(1):123-144, 2009.

D. Woods and T. Neary. Small semi-weakly universal Turing machines. Fundamenta Informaticae, 91(1):179-195, 2009.

D. Woods and T. Neary. The complexity of small universal Turing machines. Theoretical Computer Science, 410(4-5):443-450, Feb. 2009.

T. Neary. On the computational complexity of spiking neural P systems. 7th International Conference on Unconventional Computation (UC 2008), volume 5204 of LNCS, pages 189-205, Vienna, Aug. 2008. Springer.

T. Neary. A small universal spiking neural P system. International Workshop on Computing with Biomolecules, pages 65-74, Vienna, Aug. 2008. Austrian Computer Society.

T. Neary and D. Woods. Four small universal Turing machines. MCU 2007 - Machines, Computations, and Universality, volume 4664 of LNCS, pages 242-254, Orléans, France, Sept. 2007. Springer.

D. Woods and T. Neary. Small semi-weakly universal Turing machines. MCU 2007 - Machines, Computations, and Universality, volume 4664 of LNCS, pages 303-315, Orléans, France, Sept. 2007. Springer.

D. Woods and T. Neary. The complexity of small universal Turing machines. CiE 2007 - Computability in Europe, volume 4497 of LNCS, pages 791-799, Sienna, Italy, June 2007. Springer.

T. Neary and D. Woods. Small fast universal Turing machines. Theoretical Computer Science, 362(1-3):171-195, Oct. 2006.

D. Woods and T. Neary. On the time complexity of 2-tag systems and small universal Turing machines. FOCS 2006 - 47th Annual IEEE Symposium on Foundations of Computer Science, pages 439- 446, Berkeley, California, Oct. 2006. IEEE.

T. Neary and D. Woods. P-completeness of cellular automaton Rule 110. ICALP 2006 - 33rd International Colloquium on Automata, Languages and Programming, volume 4051 of LNCS, Part I, pages 132-143, Venice, July 2006. Springer.

T. Neary. Small polynomial time universal Turing machines. MFCSIT 2006 - Fourth Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, pages 325-329, Cork, Ireland, Aug. 2006. [pdf]

D. Woods and T. Neary. Remarks on the computational complexity of small universal Turing machines. MFCSIT 2006 - In Fourth Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, pages 334-338, Cork, Ireland, Aug. 2006. [pdf]

Invited presentations

T. Neary. Small universal Turing machines and computational complexity. Informatisches Kolloquium, Department of Computer Science, University of Hamburg, Germany, Dec. 2007.

T. Neary. Small polynomial time universal Turing machines. MFCSIT 2006 - Fourth Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, Cork, Ireland, Aug. 2006.

Technical reports

T. Neary. On the computational complexity of spiking neural P systems. arXiv:0912.0928v1 [cs.CC], 2009.

T. Neary. A boundary between universality and non-universality in spiking neural P systems. arXiv:0912.0741v1 [cs.CC], 2009.

T. Neary and D. Woods. Small weakly universal Turing machines. arXiv:0707.4489v1 [cs.CC], July 2007.

D. Woods and T. Neary. On the time complexity of 2-tag systems and small universal Turing machines. arXiv:0612.089v1 [cs.CC], Dec. 2006.

T. Neary and D. Woods. P-completeness of cellular automaton Rule 110. Technical Report 04/2006, Boole Centre for Research in Informatics, University College Cork, Ireland, 2006. [pdf]

T. Neary and D. Woods. A small fast universal Turing machine. Technical Report NUIM-CS-TR-2005-12, Department of Computer Science, National University of Ireland, Maynooth, 2005. [pdf]

T. Neary and D. Woods. Small fast universal Turing machines. Technical Report NUIM-CS-TR-2005-11, Department of Computer Science, National University of Ireland, Maynooth, 2005. [pdf]

T. Neary and D. Woods. Simulating Turing machines using switching map systems. Technical Report NUIM-CS-TR-2003-11, Department of Computer Science, National University of Ireland, Maynooth, 2003. [pdf]