A Formalisation of an ℵ0-Valued Propositional Calculus with Variable Functors. - John Jones (Math. Log. Q., 1982)

A Formalisation of an M-Valued Propositional Calculus with Variable Functors. - John Jones (Math. Log. Q., 1983)

Implication and Iterated Implication. - John Jones (Math. Log. Q., 1983)

Some Propositional Calculi with Constant and Variable Functors. - John Jones (Math. Log. Q., 1984)

Simplified Axiom Schemes for Implication and Iterated Implication. - John Jones (Math. Log. Q., 1985)

Formalisations of Many-Valued Propositional Calculi with Variable Functors. - John Jones (Math. Log. Q., 1985)

The rule of procedure Re in Łukasiewicz's many-valued propositional calculi. - John Jones (Notre Dame J. Formal Log., 1985)

A Blackboard Shell in Prolog. - John Jones; Mark Millington; Peter Ross (ECAI, 1986)

Applications of Unfolding in Prolog Programming. - John Jones (LOPSTR, 1992)

Constructing logic programs : J-M Jacquet (ed) Wiley Chicester, UK (1993) pp 308 £19.95 ISBN 0 471 93789 4. - John Jones (Inf. Softw. Technol., 1994)

Formal specification using Z - a modelling approach. - Leonardo Bottaci; John Jones (International Thomson, 1995)

An Assumption-based Truth Maintenance System in Active Aid for UNIX Users. - John Jones; Mark Millington; Maria Virvou (Artif. Intell. Rev., 2000)

Virtues and Problems of an Active Help System for UNIX. - Maria Virvou; John Jones; Mark Millington (Artif. Intell. Rev., 2000)

Adaptive Image Content-Based Exposure Control for Scanning Applications in Radiography. - Helene Schulerud; Jens T. Thielemann; Trine Kirkhus; Kristin Kaspersen; Joar M. Østby; Marinos G. Metaxas; Gary J. Royle; Jennifer Griffiths; Emily Cook; Colin Esbrand; Silvia Pani; Cristian Venanzi; et al. (ACIVS, 2007)

Language Mediated Visual Search: The Role of Display Preview. - John Jones; Michael P. Kaschak; Walter R. Boot (CogSci, 2011)

Motion estimation for nuclear medicine: a probabilistic approach. - Rhodri Smith; Ashrani Aizzuddin Abd. Rahni; John Jones; Fatemeh Tahavori; Kevin Wells (Image Processing, 2014)

Bridging the Complex Contexts of Care in Medical Usability. - Elizabeth L. Angeli; John Jones; Catherine Gouge; Lisa Melonçon; Christina D. Norwood; Mariah Crilley; Kirk St. Amant; Candice A. Welhausen (SIGDOC, 2016)

A Columnar Transposition cipher in a contemporary setting. - John Jones (IACR Cryptol. ePrint Arch., 2016)

Examining usability in the communication design of health wearables. - Timothy R. Amidon; Lora Arduser; Catherine Gouge; Les Hutchinson; John Jones; Natasha N. Jones; Krista Kennedy; Tiffany Lipsey; Kristen R. Moore; Maria Novotny; Candice A. Welhausen (SIGDOC, 2017)

Developing and Evaluating an Experimental Learning Environment for Cyber Security Education. - Te-Shun Chou; John Jones (SIGITE, 2018)

Generative AI: Implications and Applications for Education. - Anastasia Olga Tzirides; Akash Saini; Gabriela C. Zapata; Duane Searsmith; Bill Cope; Mary Kalantzis; Vania Castro; Theodora Kourkoulou; John Jones; Rodrigo Abrantes da Silva; Jen Whiting; Nikoleta Polyxeni Kastania (CoRR, 2023)