20162016

Research output per year

If you made any changes in Pure these will be visible here soon.

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output

  • 1 Conference contribution with ISSN or ISBN
  • 1 Article

Efficient knot discrimination via quandle coloring with SAT and #-SAT

Fish, A., Lisitsa, A., Stanovský, D. & Swartwood, S., 1 Jan 2016, 5th International Conference on Mathematical Software (ICMS 2016). Berlin: Springer International Publishing, Vol. 9725. p. 51-58 8 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBN

KnotSketch: a tool for knot diagram sketching, encoding and re-generation

Costagliola, G., De Rosa, M., Fish, A., Fuccella, V., Saleh, R. & Swartwood, S., 1 Oct 2016, In : Journal of Visual Languages and Sentient Systems. 2, p. 16-25 10 p.

Research output: Contribution to journalArticle

Open Access
File