James Emil Avery
Associate Professor
Programming Languages and Theory of Computing
Universitetsparken 5
2100 København Ø
ORCID: 0000-0001-7772-3440
1 - 1 out of 1Page size: 10
- 2010
- 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
ID: 2819
Most downloads
-
482
downloads
The topology of fullerenes
Research output: Contribution to journal › Journal article › Research › peer-review
Published -
197
downloads
Naming polyhedra by general face-spirals: theory and applications to fullerenes and other polyhedral molecules
Research output: Contribution to journal › Journal article › Research › peer-review
Published -
155
downloads
Quantum chemistry with Coulomb Sturmians: Construction and convergence of Coulomb Sturmian basis sets at the Hartree-Fock level
Research output: Contribution to journal › Journal article › Research › peer-review
Published