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
-
A Formal Description of an Algorithm Suitable for Parsing the Language of Mathematics
Vrečar, L., Wells, J. & Kamareddine, F., 2026, Intelligent Computer Mathematics. CICM 2025. de Paiva, V. & Koepke, P. (eds.). Springer, p. 171-188 18 p. (Lecture Notes in Computer Science; vol. 16136).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Intersection Types via Finite-Set declarations
Kamareddine, F. D. & Wells, J., 8 Jun 2024, Logic, Language, Information, and Computation: WoLLIC 2024. Metcalfe, G., Studer, T. & de Queiroz, R. (eds.). Springer, p. 80-92 13 p. (Lecture Notes in Computer Science; vol. 14672).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile11 Downloads (Pure) -
Towards Semantic Markup of Mathematical Documents via User Interaction
Vrecar, L., Wells, J. & Kamareddine, F. D., 29 Jul 2024, Intelligent Computer Mathematics. CICM 2024. Kohlhase, A. & Kovács, L. (eds.). 9783031669965: Springer, p. 223-240 18 p. (Lecture Notes in Computer Science; vol. 14960).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile2 Link opens in a new tab Citations (Scopus)8 Downloads (Pure) -
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 AccessFile41 Downloads (Pure) -
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 AccessFile1 Link opens in a new tab Citation (Scopus)388 Downloads (Pure)
Prizes
-
2017/18 Teaching Excellence Awards (Global Learning and Teaching Award, Highly Commended))
Maarek, M. (Recipient), Hamdan, M. M. M. (Recipient), Kumar, S. (Recipient), Shaikh, T. (Recipient), Wells, J. B. (Recipient) & Zantout, H. (Recipient), 21 May 2018
Prize: Prize (including medals and awards)