No photo of Joe Wells

View Scopus Profile

Joe Wells

Dr

  • EH14 4AS

    United Kingdom

19992022

Research activity per year

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

Fingerprint

Dive into the research topics where Joe Wells is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles
View full fingerprint

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Explore network further

  • Isabelle/HOL/GST: A Formal Proof Environment for Generalized Set Theories

    Dunne, C. & Wells, J., 17 Sept 2022, Intelligent Computer Mathematics: 15th International Conference, CICM 2022; Tbilisi, Georgia, September 19–23, 2022; Proceedings. Buzzard, K. & Kutsia, T. (eds.). Springer, p. 38-55 (Lecture Notes in Computer Science; vol. 13467).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Generating Custom Set Theories with Non-set Structured Objects

    Dunne, C., Wells, J. B. & Kamareddine, F., 2021, Intelligent Computer Mathematics. CICM 2021. Kamareddine, F. & Sacerdoti Coen, C. (eds.). Springer, p. 228-244 17 p. (Lecture Notes in Computer Science; vol. 12833).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    163 Downloads (Pure)

  • 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 proceeding › Conference contribution

    Open Access
    File
    80 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 proceeding › Conference contribution

    Open Access
    File
    2 Citations (Scopus)
    1512 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 proceeding › Conference contribution

    Open Access
    File
    4 Citations (Scopus)
    25 Downloads (Pure)
View all 57 research outputs