Joseph Brian Wells

Dr

  • EH14 4AS

    United Kingdom

19992020

Research output per year

If you made any changes in Pure these will be visible here soon.

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

  • 2 Similar Profiles

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

Research Output

Adding an Abstraction Barrier to ZF Set Theory

Dunne, C., Wells, J. B. & Kamareddine, F., 2020, Intelligent Computer Mathematics. CICM 2020. Benzmüller, C. & Miller, B. (eds.). Springer, p. 89-104 16 p. (Lecture Notes in Computer Science; vol. 12236).

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

Open Access
File
  • 5 Downloads (Pure)

    BNF-Style Notation as It Is Actually Used

    Quinlan, D., Wells, J. B. & Kamareddine, F., 3 Jul 2019, Intelligent Computer Mathematics - 12th International Conference, CICM 2019, Proceedings: CICM 2019. Kaliszyk, C., Brady, E., Kohlhase, A. & Sacerdoti Coen, C. (eds.). Springer, p. 187-204 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11617 LNAI).

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

    Open Access
    File
  • 1 Citation (Scopus)
    383 Downloads (Pure)

    Proof-carrying plans

    Schwaab, C., Komendantskaya, E., Hill, A., Farka, F., Petrick, R. P. A., Wells, J. & Hammond, K., 2019, Practical Aspects of Declarative Languages: PADL 2019. Alferes, J. J. & Johansson, M. (eds.). Springer, p. 204-220 17 p. (Lecture Notes in Computer Science; vol. 11372).

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

    Open Access
    File
  • 12 Downloads (Pure)

    Skalpel: A constraint-based type error slicer for standard ML

    Rahli, V., Wells, J. B., Pirie, J. & Kamareddine, F. D., May 2017, In : Journal of Symbolic Computation. 80, Part 1, p. 164–208 45 p.

    Research output: Contribution to journalArticle

    Open Access
    File
  • 2 Citations (Scopus)
    21 Downloads (Pure)
    Open Access
    File
  • 29 Downloads (Pure)

    Prizes

    2017/18 Teaching Excellence Awards (Global Learning and Teaching Award, Highly Commended))

    Maarek, Manuel (Recipient), Hamdan, Mohammad Mahmoud Mohammad (Recipient), Kumar, Smitha (Recipient), Shaikh, Talal (Recipient), Wells, Joseph Brian (Recipient) & Zantout, Hind (Recipient), 21 May 2018

    Prize: Prize (including medals and awards)