Below is a complete list of my publications, which you can download in BibTeX format.

Journals

2014
  • [DOI] J. Nicholson, A. H. Eden, R. Kazman, and E. Gasparis, Automated verification of design patterns: a case study. Science of computer programming, 80(Part B):211-222, 2014.
2013
  • [DOI] A. H. Eden, E. Gasparis, J. Nicholson, and R. Kazman, Modeling and visualizing object-oriented programs with codecharts. Formal methods in system design, 43(1):1-28, 2013.

Books and book chapters

2011
  • [DOI] A. H. Eden and J. Nicholson, Codecharts: roadmaps and blueprints for object-oriented programs, Wiley-Blackwell, 2011.

Conferences and workshops

2014
  • A. Delaney, E. Kow, P. Chapman, and J. Nicholson, “Generating and navigating large euler diagrams,” in 4th international workshop on euler diagrams, Melbourne, Australia, 2014, pages 23-31.
2012
  • [PDF] [DOI] J. Nicholson, A. Delaney, and G. Stapleton, “Linking codecharts with programs,” in Ieee symposium on visual languages and human-centric computing, Innsbruck, Austria, 2012, pages 259-260.
  • [PDF] [DOI] J. Nicholson and A. Delaney, “Formalising simple codecharts,” in 7th international conference on the theory and application of diagrams, Canterbury, UK, 2012, pages 346-348.
  • J. Nicholson, A. Delaney, and G. Stapleton, “Formalizing the syntax of codecharts,” in 18th international conference on distributed multimedia systems, Miami Beach, FL, USA, 2012, pages 181-184.
2011
  • [DOI] J. Nicholson, “A theory of classes from the theoretical foundations of lepus3,” in 13th international conference on formal engineering methods, Durham, UK, 2011, pages 522-536.
2009
  • [PDF] J. Nicholson, E. Gasparis, A. H. Eden, and R. Kazman, “Automated verification of design patterns with lepus3,” in 1st nasa formal methods symposium, Moffett Field, California, USA, 2009, pages 76-85.
2008
  • [DOI] E. Gasparis, J. Nicholson, and A. H. Eden, “Lepus3: an object-oriented design description language,” in 5th international conference on the theory and application of diagrams, 2008, pages 364-367.
  • [DOI] E. Gasparis, A. H. Eden, J. Nicholson, and R. Kazman, “The design navigator: charting java programs,” in 30th international conference on software engineering, Leipzig, Germany, 2008, pages 945-946.
  • [DOI] E. Gasparis, J. Nicholson, A. H. Eden, and R. Kazman, “Navigating through the design of object-oriented programs,” in Working conference on reverse engineering, Los Alamitos, CA, USA, 2008, pages 331-332.

PhD Thesis

2011
  • [PDF] J. Nicholson, “On the theoretical foundations of lepus3 and its application to object-oriented design verification,” PhD Thesis, University of Essex, Colchester, UK, 2011.

Seminars

2015
  • [PDF] J. Nicholson, Querying ontologies with diagrams, Hastings Research Seminar, University of Brighton, UK, February, 2015.
2014
  • J. Nicholson and S. Kapetanakis, Enhance your research and teaching with knowledge transfer, KTP Week, University of Brighton, UK, November, 2014.
2013
  • [PDF] J. Nicholson, Degrees in computing, University of Brighton, UK, September, 2013.
2012
  • [PDF] J. Nicholson, Modeling and visualizing object-oriented programs with codecharts, Hastings Research Seminar, University of Brighton, UK, November, 2012.

Technical reports

2007
  • J. Nicholson, A. H. Eden, and E. Gasparis, “Verification of lepus3/class-z specifications: sample models and abstract semantics for java 1.4,” School of Computer Science and Electronic Engineering, University of Essex, UK, Technical Report CSM-471, ISSN 1744-8050, 2007.
  • A. H. Eden, E. Gasparis, and J. Nicholson, “Lepus3 and class-z reference manual,” School of Computer Science and Electronic Engineering, University of Essex, UK, Technical Report CSM-474, ISSN 1744-8050, 2007.
  • A. H. Eden, E. Gasparis, and J. Nicholson, “The ‘gang of four’ companion: formal specification of design patterns in lepus3 and class-z,” School of Computer Science and Electronic Engineering, University of Essex, UK, Technical Report CSM-472, ISSN 1744-8050, 2007.

I use the Papercite plugin to display each publication with some tweaks.