Search research publications and outputs

  1. 2013
  2. A Survey of Outlier Detection Methodologies

    Hodge, V. J. & Austin, J., 26 Sep 2013, Fundamentals of Regression Modeling. Babones, S. (ed.). (SAGE Benchmarks in Social Research Methods).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  3. 2012
  4. Using Compositional Verification to Manage Change in Large-Scale Systems

    Calinescu, R. C., Kikuchi, S. & Johnson, K. H. A., 2012, Large-Scale Complex IT Systems - Development, Operation and Management. Vol. 7539.

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  5. 2011
  6. An Information Theoretic Approach to Gender Feature Selection

    Zhang, Z., Hancock, E. R. & Wu, J., 2011, 2011 IEEE INTERNATIONAL CONFERENCE ON COMPUTER VISION WORKSHOPS (ICCV WORKSHOPS). NEW YORK: IEEE, p. - 7 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  7. Information Theoretic Methods for Learning Generative Models for Relational Structures

    Hancock, E. R., Han, L. & Wilson, R. C., 2011, 2011 IEEE INTERNATIONAL CONFERENCE ON COMPUTER VISION WORKSHOPS (ICCV WORKSHOPS). NEW YORK: IEEE, p. - 2 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  8. System Safety Engineering: The Benefits and Practicalities of Globalization

    McDermid, J. A., 2011, 29th International System Safety Conference Proceedings, Las Vegas, Nevada. 8-12 August 2011. The International System Safety Society

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  9. Tensor-based Total Bregman Divergences between Graphs

    Escolano, F., Liu, M. & Hancock, E. R., 2011, 2011 IEEE INTERNATIONAL CONFERENCE ON COMPUTER VISION WORKSHOPS (ICCV WORKSHOPS). NEW YORK: IEEE, p. - 8 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  10. 2010
  11. Checking Graph-Transformation Systems for Confluence

    Plump, D., 2010, Manipulation of Graphs, Algebras and Pictures: Essays Dedicated to Hans-Jörg Kreowski on the Occasion of His 60th Birthday. Drewes, F., Habel, A., Hoffmann, B. & Plump, D. (eds.). Technische Universität Berlin, 16 p. (Electronic Communications of the EASST; vol. 26).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  12. 2005
  13. Confluence of Graph Transformation Revisited

    Plump, D., 2005, Processes, Terms and Cycles: Steps on the Road to Infinity: Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday. Middledorp, A., VanOostrom, V., VanRaamsdonk, F. & DeVrijer, R. (eds.). BERLIN: Springer, p. 280-308 29 p. (Lecture Notes in Computer Science; vol. 3838).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  14. 1999
  15. Term Graph Rewriting

    Plump, D., 1999, Handbook of Graph Grammars and Computing by Graph Transformation, Volume 2: Applications, Languages and Tools. Ehrig, H., Engels, G., Kreowski, H-J. & Rozenberg, G. (eds.). World Scientific Publishing, Vol. 2. p. 3-61

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  16. 1993
  17. Hypergraph Rewriting: Critical Pairs and Undecidability of Confluence

    Plump, D., 1993, Term Graph Rewriting: Theory and Practice. Sleep, R., Plasmeijer, R. & van Eekelen, M. (eds.). John Wiley, p. 201-213 13 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)