John Jones

According to our database1, John Jones authored at least 20 papers between 1982 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

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

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.
Proceedings of the Advances in Artificial Intelligence II, 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


  Loading...