Chris Johnson

Senior Lecturer in Computing

School of Computing, Communications and Electronics                   

Portland Square
University of Plymouth                                 
Plymouth PL4 8AA                                     

Room B301 Portland Square
Phone:  (01752) 232552

E-mail:  c.johnson@plymouth.ac.uk

 



Research

 

 

 

Improving protection mechanisms by understanding online risk, S. Atkinson, A. Phippen and C. Johnson, Information Management and Computer Security, vol. 15, vol. 5 (2007)

 

R K Rajapakse, B Mushens & C A Johnson:  The Use of Keyphrases for Selecting Metadata from Taxonomies, in Suliman Hawamdeh (ed.) Creating collaborative advantage through knowledge and innovation (World Scientific, Series on Innovation and Knowledge Management - Vol. 5;  2007)

 

M Gimenes, E R Miranda and C A Johnson,  Musicianship for robots with style, to appear in NIME (New Interfaces for Musical Expression) 2007, NYC.

 

Atkinson S., Johnson C, and Phippen A., Personal Privacy Threats: A Taxonomy for Risk Assessment:  2nd International Conference on Internet Technologies and Applications, Wrexham, Wales (2007).

 

Atkinson S, Johnson C, Phippen AD, (2007), Vulnerable Groups and the Impact of Technology Upon Personal Privacy.  In Proceedings of Human Aspects of Information Security and Assurance.

 

Atkinson S, Johnson C, Phippen AD, (2007), Protecting Society using the Semantic Web, Invited poster presentation to the House of Commons Reception for Early Stage Researchers, www.setforeurope.org.

 

M Gimenes, E R Miranda and C A Johnson,The development of musical styles in a society of software agents, in 9th International Conference on Music Perception and Recognition.    http://www.escom-icmpc-2006.org/pdfs/507.pdf

 

Atkinson S, Jagodzinski P, Johnson C, Phippen AD, (2006), Semantic Web: A Personal Privacy Perspective, Proceedings of The Internet Society II: Advances in Education, Commerce, & Governance conference, (Ed) Morgan, K.,

Brebbia, C.A, and Spector, J.M. WIT Press, Southampton, 2006

 

Atkinson S, Jagodzinski P, Johnson C, Phippen AD, (2006), Personal Privacy: Exploitation or Control through Technology, Proceedings of the Sixth International Network Conference (INC2006), Plymouth, UK, 11-14 July, pp 269-276 (2006).

 

A Memetic Approach to the Evolution of Rhythms in a Society of Software Agents, M Gimenes, E R Miranda and C A Johnson,  10th Brazilian Symposium on Computer Music, 2005

 

Musical Ontogenesis and the computer modelling of musical influence (poster), M. Gimenes, E. R. Miranda, C. Johnson, Digital Music Research Network Workshop (London, 2005)

Computing only minimal answers. Preprint

Top down query processing in first order deductive databases under the DWFS, J. Automated Reasoning, 32 (2004), 167-184.

Query compilation under the disjunctive well-founded semantics, Fundamenta Informaticae, vol. 62 (2004), 343-368      Preprint

Towards a formalised HMS model, in S. M. Deen (ed.,) Agent-based Manufacturing – Advances in the Holonic  Approach (Springer-Verlag, Heidelberg, 2003), 121-144.   ISBN: 3540440690

 

Formalising an engineering approach to cooperating knowledge based systems (with S M Deen), IEEE Transactions on Knowledge and Data Engineering, 15 (2003), 103-117.

 

Processing indefinite deductive databases under the possible model semantics, Fundamenta Informaticae, 49 (2002), 325-347.

 

Constructing interpretations of deductive databases using reduction and dynamic stratification, Data and Knowledge Engineering, 38 (2001), 173-197.

 

Griffiths, T., Fernandes, A.A.A., Paton, N.W., Mason, T. Huang, B., Worboys, M., Johnson, C. and Stell, J., Tripod: A Comprehensive System for the Management of Spatial and Aspatial Historical Objects, Proc. 9th ACM Int. Symposium on Advances in Geographic Information Systems (ACM-GIS), ACM Press, W.H. Aref (ed), 118--123, 2001. 

On the computation of the disjunctive well-founded semantics, Journal of Automated Reasoning, vol. 26 (2001), 333-356. Paper

Top-down query processing in first order deductive databases under the DWFS, in  Z. Ras and S. Ohsuga (eds), Foundations of Intelligent Systems, 12th International Symposium on Methodologies for Intelligent Systems, Charlotte, USA (Springer, 2000), 377-388.

 

On cyclic covers and perfect models, Data and Knowledge Engineering, vol. 31 (1999), 25-65. Paper

 

Towards a theoretical foundation for cooperating knowledge based systems, in: Z. Ras and A. Skowron (eds), Foundations of Intelligent Systems, 11th International Symposium on  Methodologies for Intelligent Systems, Warsaw, Poland (Springer, 1999), 144-153 (with S M Deen).   (Preliminary version given by invitation to the 9th Meeting of the International Intelligent Manufacturing Systems Consortium, San Sebastian, 1998).

 

Processing deductive databases under the disjunctive stable model semantics, Fundamenta Informaticae, vol. 40 (1999), 31-51. Paper

 

Top-down query processing in indefinite stratified databases, Data and Knowledge Engineering, vol. 26 (1998), 1-36. Extended technical report

Generating almost minimal answers in indefinite stratified deductive databases, Keele University Computer Science technical report, TR98-08. Technical report

Extended deduction trees and query processing, Keele University Computer Science technical report, TR98-07 (96pp) Technical report

Deduction trees and the view update problem in indefinite deductive databases, J. Automated Reasoning, vol. 19 (1997), 31-85. Paper

On computing minimal and perfect model membership, Data and Knowledge Engineering, 18 (1996), 225-276. Paper

Top down deduction in indefinite deductive databases, in F. Bry (ed.) Proceedings of the 9th Journées Bases de Données Avancées, Toulouse (INRIA, France, 1993), 119-138. Extended technical report

Handling indefinite and negative data in a deductive database, Data and Knowledge Engineering, vol. 6 (1991), 333-348.

On the termination of clause graph resolution, J. Automated Reasoning, vol. 13 (1994), 83-115.

On the termination of clause graph resolution, Keele University Computer Science technical report TR93-24 (121pp). Technical report

 

Top down deduction in indefinite deductive databases, in F. Bry (ed.) Proceedings of the 1993 Journées Bases de Données Avancées, Toulouse (INRIA, France), 119-138.

Factorization and circuit in the connection method, J. Association for Computing Machinery, vol. 40 (1993), 536-557.

Topics in automated theorem proving, M.Sc. Thesis, University of Warwick, 1989.

On ideals and stationary reflection, J. Symbolic Logic, vol. 54 (1990), 568-577.

Some partition relations for ideals on Pκ(λ), Acta Mathematica Hungarica, vol. 56 (1990), 269-282.

On saturated ideals and Pκ(λ), Fundamenta Mathematica, vol. 129 (1988), 215-221.

Semi-normal λ - generated ideals on Pκ(λ), J. Symbolic  Logic, vol. 53 (1988), 92-101.

More on distributive ideals, Fundamenta Mathematica, 128 (1987), 113-130.

Distributive and related ideals in generic extensions, Nagoya Mathematical Journal, vol. 106 (1987), 91-100.

Saturated ideals need not be p-points, Zeitschrift für Mathematische Logik, vol. 32 (1986), 521-522.

Precipitous ideals on singular cardinals, Zeitschrift für Mathematische Logik, 32 (1986), 461-465.

 

Distributive ideals and partition relations, J. Symbolic Logic, vol. 51 (1986), 617-625.
 
Some properties of precipitous and related ideals. Ph.D Thesis, University of Leeds, 1984.


  


Teaching

 
Currently I teach software engineering, and data mining.    In the past I’ve taught Knowledge-based systems, Database storage structures, Data structures, Logic databases, e-Commerce application design and development, Operating systems, Ada and other programming languages, Human computer interaction, Systems analysis and design, Management information systems, Numerical analysis,  Mathematical Analysis, Complex variables, Algebra, Metric spaces, Partial differential equations, Topology. 

:

  

top