John Jones - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 20 from 20

2018

Developing and Evaluating an Experimental Learning Environment for Cyber Security EducationTe-Shun Chou, John Jones. sigite 2018: 92-97 [doi]

2017

Examining usability in the communication design of health wearablesTimothy R. Amidon, Lora Arduser, Catherine Gouge, Les Hutchinson, John Jones, Natasha Jones, Krista Kennedy, Tiffany Lipsey, Kristen Moore, Maria Novotny, Candice A. Welhausen. sigdoc 2017: [doi]

2016

Bridging the Complex Contexts of Care in Medical UsabilityElizabeth L. Angeli, John Jones, Catherine Gouge, Lisa Meloncon, Christina D. Norwood, Mariah Crilley, Kirk St. Amant, Candice A. Welhausen. sigdoc 2016: 34 [doi]

A Columnar Transposition cipher in a contemporary settingJohn Jones. iacr, 2016:5, 2016. [doi]

2014

Motion estimation for nuclear medicine: a probabilistic approachRhodri Smith, Ashrani Aizzuddin Abd. Rahni, John Jones, Fatemeh Tahavori, Kevin Wells. miip 2014: [doi]

2011

Language Mediated Visual Search: The Role of Display PreviewJohn Jones, Michael P. Kaschak, Walter R. Boot. cogsci 2011: [doi]

2007

2000

An Assumption-based Truth Maintenance System in Active Aid for UNIX UsersJohn Jones, Mark Millington, Maria Virvou. air, 14(3):229-252, 2000.

Virtues and Problems of an Active Help System for UNIXMaria Virvou, John Jones, Mark Millington. air, 14(1-2):23-42, 2000.

1995

Formal specification using Z - a modelling approachLeonardo Bottaci, John Jones. International Thomson, 1995.

1994

Constructing logic programs : J-M Jacquet (ed) Wiley Chicester, UK (1993) pp 308 £19.95 ISBN 0 471 93789 4John Jones. INFSOF, 36(1):55-56, 1994. [doi]

1992

Applications of Unfolding in Prolog ProgrammingJohn Jones. LOPSTR 1992: 184-198

1986

A Blackboard Shell in PrologJohn Jones, Mark Millington, Peter Ross. ecai 1986: 553-561

1985

The rule of procedure Re in Ł ukasiewicz's many-valued propositional calculiJohn Jones. ndjfl, 26(4):423-428, 1985. [doi]

Simplified Axiom Schemes for Implication and Iterated ImplicationJohn Jones. mlq, 31(1-6):31-33, 1985. [doi]

Formalisations of Many-Valued Propositional Calculi with Variable FunctorsJohn Jones. mlq, 31(25-28):403-422, 1985. [doi]

1984

Some Propositional Calculi with Constant and Variable FunctorsJohn Jones. mlq, 30(30):477-479, 1984. [doi]

1983

M-Valued Propositional Calculus with Variable FunctorsJohn Jones. mlq, 29(6):377-378, 1983. [doi]

Implication and Iterated ImplicationJohn Jones. mlq, 29(10):543-556, 1983. [doi]

1982

0-Valued Propositional Calculus with Variable FunctorsJohn Jones. mlq, 28(33-38):505-510, 1982. [doi]

Sign in or sign up to see more results.

runs on WebDSL