John Joseph Hannan

    • 221 Citations
    • 8 h-Index
    1988 …2018
    If you made any changes in Pure, your changes will be visible here soon.

    Fingerprint Dive into the research topics where John Joseph Hannan is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

    • 1 Similar Profiles
    Semantics Engineering & Materials Science
    Computer programming languages Engineering & Materials Science
    Specifications Engineering & Materials Science
    Abstract Machines Mathematics
    Functional programming Engineering & Materials Science
    Operational Semantics Mathematics
    Logic programming Engineering & Materials Science
    Specification Mathematics

    Network Recent external collaboration on country level. Dive into details by clicking on the dots.

    Research Output 1988 2018

    • 221 Citations
    • 8 h-Index
    • 12 Conference contribution
    • 12 Article
    • 2 Conference article
    • 1 Chapter
    2 Citations (Scopus)
    Technology
    Education
    Cognitive Dysfunction
    Practice (Psychology)
    5 Citations (Scopus)

    Feasibility study of an attention training application for older adults

    Hill, N. L., Mogle, J., Colancecco, E., Dick, R., Hannan, J. & Lin, F. V., Sep 1 2015, In : International Journal of Older People Nursing. 10, 3, p. 241-249 9 p.

    Research output: Contribution to journalArticle

    Feasibility Studies
    Independent Living
    Mobile Applications
    Technology
    Cognition
    8 Citations (Scopus)

    Energy-efficient scheduling algorithms of object retrieval on indexed parallel broadcast channels

    Sun, B., Hurson, A. R. & Hannan, J., Dec 17 2004, Proceedings - 2004 International Conference on Parallel Processing, ICPP 2004. Eigenmann, R. (ed.). p. 440-447 8 p. (Proceedings of the International Conference on Parallel Processing).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Scheduling algorithms
    Mobile computing
    Electric power utilization
    Broadcasting
    Energy utilization
    4 Citations (Scopus)

    Specification and correctness of lambda lifting

    Fischbach, A. & Hannan, J., May 2003, In : Journal of Functional Programming. 13, 3, p. 509-543 35 p.

    Research output: Contribution to journalArticle

    Specifications
    Semantics

    On extracting static semantics

    Hannan, J. J., Dec 1 2002, The Essence of Computation: Complexity, Analysis, Transformation. Mogensen, T., Schmidt, D. & Sudborough, H. (eds.). p. 157-171 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2566 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    Semantics
    Language