I am a Lecturer in Mathematics at the University of Stirling, with research interests in contagion on networks, models of infectious disease, games on graphs, and graph theory.
In Spring 2015, I am supervising MATU9RP undergraduate projects.
Jessica Enright and Rowland Kao. A few bad apples: a model of disease influenced agent behaviour in a heterogeneous contact environment. PloS one 10 (3), e0118127, 2015
Jessica Enright, Lorna Stewart, and Gabor Tardos. On List Coloring and List Homomorphism of Permutation and Interval Graphs, SIAM Journal on Discrete Mathematics 28 (4), 1675-1685, 2014
Jessica Enright and Lorna Stewart. Subtree filament graphs are subtree overlap graphs. Information Processing Letters, 104:6, pp 228-232, 2007.
Jessica Enright and Grzegorz Kondrak. The application of chordal graphs to inferring phylogenetic trees of languages, Proceedings of the 5th International Joint Conference on Natural Language Processing, Chiang Mai, Thailand, November 2011.
Jessica Enright. A character-based intersection-graph approach to linguistic phylogeny, Proceedings of TextGraphs-5: Graph-based Methods for Natural Language Processing (Short paper track), pp 42-46, Uppsala, Sweden, July 2010.
Jessica Enright, Ben Chu and Osmar R. Zaiane. Intelligent functional dependency tutoring tool, 16th International Conference on Computers in Education (ICCE 2008), Taipei, Taiwan, October, 2008.
Jessica Enright and Greg Kondrak. A fast method for parallel document identification. Proceedings of Human Language Technologies: The Conference of the North American Chapter of the Association for Computational Linguistics companion volume, pp 29-32, Rochester, NY, April 2007.
Jessica Enright. A version of parentage reconstruction is NP-complete. Canadian Student Conference on Biomedical Computing, Kingston, Ontario, March 2006. Online Proceedings.
Formalized Mathematics is not a conventional journal, but a record of entries into the Mizar Mathematical Library. While these entries are peer-reviewed, the far more rigorous review is by an automated proof-checking system.