James Emil Avery

James Emil Avery

Associate Professor

ORCID: 0000-0001-7772-3440

Publication year:
All
1 - 6 out of 6Page size: 10
  1. 2010
  2. Published

    Static complexity analysis of higher order programs

    Avery, James Emil, Kristiansen, L. & Moyen, J., 2010, Foundational and Practical Aspects of Resource Analysis: First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, Revised Selected Papers. van Eekelen, M. & Shkaravska, O. (eds.). Springer, p. 84-99 16 p. (Lecture notes in computer science, Vol. 6324).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  3. 2009
  4. Published

    Can Coulomb Sturmians Be Used as a Basis for N-Electron Molecular Calculations?

    Avery, J. S. & Avery, James Emil, 6 Oct 2009, In: Journal of Physical Chemistry A. 113, 52, p. 14565–14572 8 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  5. Published

    Static Complexity Analysis of Higher Order Programs

    Avery, James Emil, Kristiansen, L. & Moyen, J., 2009, FOPARA 2009: Preliminary Proceedings. van Eekelen, M. & Olha, S. (eds.). p. 34-49 16 p.

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research

  6. 2008
  7. Published

    Atomic core-ionization energies; approximately piecewise-linear and linear relationships

    Avery, James Emil & Avery, J. S., 5 Aug 2008, In: Journal of Mathematical Chemistry. 46, 1, p. 164-181 17 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  8. 2006

  9. Generalized Sturmians and Atomic Spectra

    Avery, James Emil & Avery, J., 2006, 1 ed. World Scientific. 240 p.

    Research output: Book/Report › Book › Research › peer-review

  10. Published

    Size-change termination and bound analysis

    Avery, James Emil, 2006, Functional and Logic Programming: 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006. Proceedings. Hagiya, M. & Wadler, P. (eds.). Springer, p. 192-207 16 p. (Lecture notes in computer science, Vol. 3945).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

ID: 2819