Journal Articles
- Ashley Kuzmik, John J Hannan, Marie Boltz, Priyanka Shrestha, Erica Husser, Donna M Fick and Edward R Marcantonio, 2023, "A pilot study testing the iOS UB-CAM delirium app", Journal of the American Geriatrics Society, 71, (6), pp. 4
- A. Fischbach and John J Hannan, 2003, "Specification and Correctness of Lambda Lifting", Journal of Functional Programming, 13, (3), pp. 509-543
- A. Fischbach and John J Hannan, 2001, "Type Systems and Algorithms for Useless-Variable Elimination"
Conference Proceedings
- B. Sun, A. R. Hurson and John J Hannan, 2004, "Energy-Efficient Scheduling Algorithms of Object Retrieval on Indexed Parallel Broadcast Channels", Proceedings of the International Conference on Parallel Processing (ICPP 2004), pp. 440-447
- John J Hannan, 2001, "On Extracting Static Semantics", Proceedings of the Seventeenth Conference on the Mathematical Foundations of Programming Semantics (MFPS 2001), 45, (2001)
- A. Fischbach and John J Hannan, 2001, "Type Systems for Useless-Variable Elimination", Proceedings of the Symposium on Programs as Data Objects (PADO II), 2053, pp. 25-38
- John J Hannan and P. Hicks, 2000, "Higher-Order UnCurrying", Journal of Higher-Order and Symbolic Computation, 13, (3), pp. 179-216
- A. Fischbach and John J Hannan, 2000, "Higher-Order Lambda Lifting", Workshop on Semantics, Applications and Implementation of Program Generation (SAIG 2000), 1924, pp. 108-128
- A. R. Hurson, Y. C. Chehadeh and John J Hannan, 2000, "Object Organization on Parallel Broadcast Channels in a Global Information Sharing Environment", Proceedings of the Nineteenth IEEE International Performance, Computing, and Communications Conference (IPCCC 2000), pp. 347-353
