Kannan, Venkatesh (2017) Transformation of functional programs for identification of parallel skeletons. PhD thesis, Dublin City University.
Dever, Michael (2015) AutoPar: automating the parallelization of functional programs. PhD thesis, Dublin City University.
Mendel-Gleason, Gavin (2012) Types and verification for infinite state systems. PhD thesis, Dublin City University.
Kabir, Md. Humayun (2007) Automatic inductive theorem proving and program construction methods using program transformation. PhD thesis, Dublin City University.
Aziz, Benyamin Y. Y. (2003) A static analysis framework for security properties in mobile and cryptographic systems. PhD thesis, Dublin City University.
Power, Bernadette (2003) Declassification: transforming java programs to remove intermediate classes. Master of Science thesis, Dublin City University.
![[up]](/style/images/multi_up.png)
Up a level