Search research publications and outputs

  1. 1997
  2. Simplification Orders for Term Graph Rewriting

    Plump, D., 1997, Proceedings Mathematical Foundations of Computer Science (MFCS 1997). Springer, p. 458-467 (Lecture Notes in Computer Science; vol. 1295).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  3. 1999
  4. Chemical structure matching using correlation matrix memories

    Austin, J., Turner, A., Turner, M. & Lees, K., 1999, NINTH INTERNATIONAL CONFERENCE ON ARTIFICIAL NEURAL NETWORKS (ICANN99), VOLS 1 AND 2. EDISON: IEEE, Vol. 2. p. 619-624 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  5. 2000
  6. Hierarchical Graph Transformation

    Plump, D., Drewes, F. & Hoffmann, B., 2000, Proceedings Foundations of Software Science and Computation Structures (FOSSACS 2000). Springer, p. 98-113 16 p. (Lecture Notes in Computer Science; vol. 1784).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  7. 2001
  8. A novel binary spell checker

    Hodge, V. J., Austin, J., Dorffner, G. (ed.), Bischof, H. (ed.) & Hornik, K. (ed.), 2001, Artificial neural networks : ICANN 2001 : International Conference, Vienna, Austria, August 21-25, 2001 : proceedings. Berlin, Germany: Springer-verlag, p. 1199-1204 5 p. (Lecture Notes in Computer Science; vol. 2130).

    Research output: Chapter in Book/Report/Conference proceedingChapter