# John Jones

According to our database

Collaborative distances:

^{1}, John Jones authored at least 20 papers between 1982 and 2018.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2018

Developing and Evaluating an Experimental Learning Environment for Cyber Security Education.

Proceedings of the 19th Annual SIG Conference on Information Technology Education, 2018

2017

Examining usability in the communication design of health wearables.

Proceedings of the 35th ACM International Conference on the Design of Communication, 2017

2016

A Columnar Transposition cipher in a contemporary setting.

IACR Cryptology ePrint Archive, 2016

Bridging the Complex Contexts of Care in Medical Usability.

Proceedings of the 34th ACM International Conference on the Design of Communication, 2016

2014

Motion estimation for nuclear medicine: a probabilistic approach.

Proceedings of the Medical Imaging 2014: Image Processing, 2014

2011

Language Mediated Visual Search: The Role of Display Preview.

Proceedings of the 33th Annual Meeting of the Cognitive Science Society, 2011

2007

Adaptive Image Content-Based Exposure Control for Scanning Applications in Radiography.

Proceedings of the Advanced Concepts for Intelligent Vision Systems, 2007

2000

Virtues and Problems of an Active Help System for UNIX.

Artif. Intell. Rev., 2000

An Assumption-based Truth Maintenance System in Active Aid for UNIX Users.

Artif. Intell. Rev., 2000

1995

Formal specification using Z - a modelling approach.

International Thomson, ISBN: 978-1-850-32109-5, 1995

1994

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

Information & Software Technology, 1994

1992

Applications of Unfolding in Prolog Programming.

Proceedings of the Logic Program Synthesis and Transformation, 1992

1986

A Blackboard Shell in Prolog.

ECAI, 1986

1985

The rule of procedure Re in Łukasiewicz's many-valued propositional calculi.

Notre Dame Journal of Formal Logic, 1985

Formalisations of Many-Valued Propositional Calculi with Variable Functors.

Math. Log. Q., 1985

Simplified Axiom Schemes for Implication and Iterated Implication.

Math. Log. Q., 1985

1984

Some Propositional Calculi with Constant and Variable Functors.

Math. Log. Q., 1984

1983

Implication and Iterated Implication.

Math. Log. Q., 1983

A Formalisation of an

*M*-Valued Propositional Calculus with Variable Functors.
Math. Log. Q., 1983

1982

A Formalisation of an ℵ

_{0}-Valued Propositional Calculus with Variable Functors.
Math. Log. Q., 1982