James Emil Avery
Visiting researcher
Programming Languages and Theory of Computing
Universitetsparken 5
2100 København Ø
- 2019
- Published
Lossy channels in Bohrium
Kristensen, M. R. B. & Avery, James Emil, 2019, Communicating Process Architectures 2017 and 2018, WoTUG-39 and WoTUG-40 - Proceedings of CPA 2017 (WoTUG-39) and Proceedings of CPA 2018 (WoTUG-40). Pedersen, J. B., Chalmers, K., Broenink, J. F., Vinter, B., Vella, K., Welch, P. H., Smith, M. L. & Skovhede, K. (eds.). IMIA and IOS Press, p. 347-360 14 p. (Concurrent Systems Engineering Series, Vol. 70).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- 2018
- Published
4-center STO interelectron repulsion integrals with Coulomb Sturmians
Avery, James Emil & Avery, J. S., 2018, In: Advances in Quantum Chemistry. 76, p. 133-146 14 p.Research output: Contribution to journal › Conference article › Research › peer-review
- 2016
- Published
Battling memory requirements of array programming through streaming
Kristensen, M. R. B., Avery, James Emil, Blum, T., Lund, S. A. F. & Vinter, B., 2016, In: Lecture notes in computer science. 2016, p. 451-469 19 p.Research output: Contribution to journal › Conference article › Research › peer-review
- Published
Fusion of parallel array operations
Kristensen, M. R. B., Lund, S. A. F., Blum, T. & Avery, James Emil, 2016, PACT' 16: Proceedings of the 2016 International Conference on Parallel Architectures and Compilation. Association for Computing Machinery, p. 71-85 15 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research
- 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
- 2009
- 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
- 2006
- 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
Most downloads
-
406
downloads
The topology of fullerenes
Research output: Contribution to journal › Journal article › Research › peer-review
Published -
166
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 -
130
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