Neil Jones

Neil Jones

Professor emeritus


  1. 2022
  2. Published

    Meiotic drive in chronic lymphocytic leukemia compared with other malignant blood disorders

    Jønsson, V., Awan, H., Jones, Neil, Johannesen, T. B., Thøgersen, K., Steig, B., Andorsdottir, G. & Tjønnfjord, G. E., 2022, In: Scientific Reports. 12, 1, p. 1-11 6138.

    Research output: Contribution to journalJournal articleResearchpeer-review

  3. 2020
  4. Published

    Cons-free programs and complexity classes between LOGSPACE and PTIME

    Jones, Neil, Bhaskar, Siddharth Kasi, Kop, C. & Simonsen, Jakob Grue, 2020, In: Electronic Proceedings in Theoretical Computer Science. 320, p. 65-79

    Research output: Contribution to journalConference articleResearchpeer-review

  5. 2019
  6. Published

    Inheritance of Susceptibility to Malignant Blood Disorders

    Jønsson, V., Awan, H., Jones, Neil, Johannesen, T. B., Steig, B., Andosdottir, G. & Tjønnfjord, G. E., 2019, In: Scientific Reports. 9, 1, 12 p., 2444.

    Research output: Contribution to journalJournal articleResearchpeer-review

  7. 2018
  8. Published

    On Modeling and Programming

    Jones, Neil, 2018, Leveraging Applications of Formal Methods, Verification and Validation. Modeling: 8th International Symposium, ISoLA 2018 Limassol, Cyprus, November 5–9, 2018 Proceedings. Margaria, T. & Steffen, B. (eds.). Springer, Vol. 1 (Modeling). p. 22-34 (Lecture Notes in Computer Science, Vol. 11244).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  9. 2017
  10. Published

    Compiling Untyped Lambda Calculus to lower-level code by game semantics and partial evaluation

    Berezun, D. & Jones, Neil, 2017, Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation. Association for Computing Machinery, p. 1-11 11 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  11. 2015
  12. Published

    Asymptotic speedups, bisimulation and distillation (Work in progress)

    Jones, Neil & Hamilton, G. W., 2015, Perspectives of system informatics: 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers. Voronkov, A. & Virbitskaite, I. (eds.). Springer, p. 177-185 9 p. (Lecture Notes in Computer Science, Vol. 8974).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  13. 2013
  14. Published

    A swiss pocket knife for computability

    Jones, Neil, 2013, Semantics, Abstract Interpretation, and Reasoning about Programs: essays dedicated to David A. Schmidt on the occasion of his sixtieth birthday, Manhattan, Kansas, USA, 19-20th September 2013. Banerjee, A., Danvy, O., Doh, K-G. & Hatcliff, J. (eds.). p. 1-17 17 p. (Electronic Proceedings in Theoretical Computer Science, Vol. 129).

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

  15. 2012
  16. Published

    Distillation with labelled transition systems

    Hamilton, G. W. & Jones, Neil, 2012, Proceedings of the ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation. Association for Computing Machinery, p. 15-24 10 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  17. Published

    Programs=data=first-class citizens in a computational world

    Jones, Neil & Simonsen, Jakob Grue, 2012, In: Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences. 370, 1971, p. 3305-3318 14 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  18. Published

    Proving the correctness of unfold/fold program transformations using bisimulation

    Hamilton, G. W. & Jones, Neil, 2012, Perspectives of Systems Informatics: 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers. Clarke, E., Virbitskaite, I. & Voronkov, A. (eds.). Springer, p. 153-169 17 p. (Lecture notes in computer science, Vol. 7162).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Previous 1 2 3 4 5 6 Next

ID: 283749093