National University of Ireland, Maynooth

National University of Ireland, Maynooth
Skip top page links and go directly to the main navigation
The Callan Building
Skip main navigation and go directly to page content

Department of Computer Science

staff image

Homepage
,
,
,
,
.
Email:
Phone:

Recent Publications

  • Donagh Hatton, Diarmuid P. O'Donoghue Explorations on Template-Directed Genetic Repair Using Ancient Ancestors and Other Templates Proceedings of the 13th Annual Conference on Genetic and Evolutionary Computation (GECCO 2011) 325-332 2011
  • Rosemary Monahan and Rustan Leino Using Boogie 2 in the Verification of Spec# Programs 13th BRAZILIAN SYMPOSIUM ON FORMAL METHODS (SBMF 2010) Natal, Brazil 2010
  • Karen M. Molony, Bryan M. Hennelly, Damien P. Kelly, Thomas J. Naughton Reconstruction algorithms applied to in-line Gabor digital holographic microscopy Optics Communications 283 903–909 2010
  • Bryan M. Hennelly, Damien P. Kelly, David S. Monaghan, Nitesh Pandey Zoom Algorithms for Digital Holography Book Chapter Springer, to be published 2010
  • Damien P. Kelly, David S. Monaghana, Nitesh Pandey, Tomasz Kozackib, Aneta Micha!kiewicz, Grzegorz Finke, Bryan M. Hennelly, Malgorzata Kujawinska, Digital holographic capture and opto-electronic reconstruction for 3D displays Accepted for publication International Journal of Digital Multimedia Broadcasting 2010
  • Nitesh Pandey, Bryan Hennelly Fixed point arithmetic based numerical reconstruction for Digital Holographic Microscopy Submitted Optics Letters 2010
  • G. O 'Mahony Zamora, S. Bergin, I. Kennedy Using Support Vector Machines for Passive Steady State RF Fingerprinting Novel Algorithms and Techniques in Telecommunications and Networking. Springer pp183-188 2010
  • Ya. Shnir, D.H. Tchrakian Skyrmion-Anti-Skyrmion Chains, J. Phys. A 43 2010
  • Maguire, P, Maguire, R. & Cater, A.W.S. The influence of interactional semantic patterns on the interpretation of noun-noun compounds Journal of Experimental Psychology: Learning, Memory, and Cognition Vol 36 2 288-297 2010
  • Rosemary Monahan and Rustan Leino Dafny meets the Verification Benchmarks Challenge Verified Software: Theories, Tools, Experiments(VSTTE) 2010
  • List all publications for :

Computer Science Department , NUI Maynooth
Tel: +353-1-708 3847 | Fax: +353-1-708 3848| Email: admin@cs.nuim.ie