King's College London

Research portal

Research Outputs

  1. 2018
  2. 2015
  3. Bcl-2-like protein 13 is a mammalian Atg32 homologue that mediates mitophagy and mitochondrial fragmentation

    Murakawa, T., Yamaguchi, O., Hashimoto, A., Hikoso, S., Takeda, T., Oka, T., Yasui, H., Ueda, H., Akazawa, Y., Nakayama, H., Taneike, M., Misaka, T., Omiya, S., Shah, A. M., Yamamoto, A., Nishida, K., Ohsumi, Y., Okamoto, K., Sakata, Y. & Otsu, K., 6 Jul 2015, In : Nature Communications. 6, p. 7527 1 p.

    Research output: Contribution to journalArticle

  4. 2006
  5. Search Based Software Engineering (keynote)

    Harman, M., 2006, Workshop on Computational Science in Software Engineering (CSSE 2006), LNCS 3994.. p. 740-747 8 p.

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

  6. Search Based Testing (keynote)

    Harman, M., 2006, Software & Systems Quality Conference (SQS-UK 2006, industry conference).

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

  7. Search-Based Software Engineering for Maintenance and Reengineering (keynote)

    Harman, M., 2006, 10th European Conference on Software Maintenance and Reengineering (CSMR 2006).

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

  8. 2004
  9. Getting results with Search--Based Software Engineering: Tutorial

    Harman, M. & Wegener, J., 2004, 26th IEEE International Conference and Software Engineering (ICSE 2004). Los Alamitos, California, USA: IEEE Computer Society Press, p. 728-729 2 p.

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

  10. Input sequence generation for testing of communicating finite state machines (CFSMs)

    Dederian, K., Hierons, R. M., Harman, M. & Quo, Q., 2004, Genetic and Evolutionary Computation Conference (GECCO 2004). p. 1429-1430 2 p.

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

  11. Search--based techniques for optimizing software project resource allocation

    Antoniol, G., Penta, M. D. & Harman, M., 2004, Genetic and Evolutionary Computation Conference (GECCO 2004). p. 1425-1426 2 p.

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

  12. 2003
  13. Evolutionary Testing: Tutorial

    Harman, M. & Wegener, J., 2003, Genetic and Evolutionary Computation (GECCO).

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

  14. Finding Building Blocks for Software Clustering

    Mahdavi, K., Harman, M. & Hierons, R., 2003, Genetic and Evolutionary Computation -- GECCO-2003. Berlin: Springer-Verlag Berlin Heidelberg, Vol. 2724. p. 2513-2514 2 p. (LNCS).

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

  15. Search Based Transformations

    Fatiregun, D., Harman, M. & Hierons, R., 2003, Genetic and Evolutionary Computation -- GECCO-2003. Cantú-Paz, E., Foster, J. A., Deb, K., Davis, D., Roy, R., O'Reilly, U-M., Beyer, H-G., Standish, R., Kendall, G., Wilson, S., Harman, M., Wegener, J., Dasgupta, D., Potter, M. A., Schultz, A. C., Dowsland, K., Jonoska, N. & Miller, J. (eds.). Berlin: Springer-Verlag Berlin Heidelberg, Vol. 2724. p. 2511-2512 2 p. (LNCS).

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

  16. 2002
  17. Side-Effects Considered Harmful, but Rendered Harmless (keynote)

    Harman, M., 2002, 14th Annual Psychology of Programming Workshop (PPIG).

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

  18. 2001
  19. Software Engineering using Metaheuristic INnovative ALgorithms

    Harman, M. & Jones, B. F., 2001, In : INFORMATION AND SOFTWARE TECHNOLOGY. 43, 14, p. 905-907 3 p.

    Research output: Contribution to journalArticle

  20. 1997
  21. Cleaving Together: Program Cohesion with Slices

    Harman, M., 1 Jan 1997, In : EXE. 11, 8, p. 35-42 8 p.

    Research output: Contribution to journalArticle

  22. DIY Software Agents

    Harman, M., 1997, In : EXE. p. 18-24 7 p.

    Research output: Contribution to journalArticle

  23. Genetic Algorithms: Growing Your Own Code

    Harman, M. & Kopec, C., 1997, In : EXE. 11, 11, p. 17-22 6 p.

    Research output: Contribution to journalArticle

  24. LaTeX: Typesetting as a Programming Language

    Harman, M., 1997, In : EXE. p. 31-38 8 p.

    Research output: Contribution to journalArticle

  25. 1996
  26. A Piece of Cake: Slicing as a debugging technique

    Harman, M., 1996, In : EXE. 11, 5, p. 25-28 4 p., N/A.

    Research output: Contribution to journalArticle

  27. A Simultaneous Slicing Theory and Derived Program Slicer (invited paper)

    Danicic, S. & Harman, M., 1996, 4th RIMS Workshop in Computing.

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

  28. First Course in C++: A Gentle Introduction

    Harman, M. & Jones, R., 1996, McGraw Hill.

    Research output: Book/ReportBook

  29. Interictal polymorphic slow activity in temporal lobe epilepsy is associated with lateral temporal neocortex hypometabolism

    Koutroumanidis, M., Barrington, S., Agathonikou, A., Seed, P., Adachi, N., Elwes, R., Binnie, C. D., Polkey, C. E., Maisery, M. N., Wolfe, C. & Panayiotopoulos, C. P., 1996, In : Epilepsia. 37, p. 199 1 p.

    Research output: Contribution to journalArticle

Export:RIS BibTex Word PDF - will at most contain 500 items

Refine results Clear filters

Language

Publication year

Publication year

Full text

Full text

Meeting and poster abstracts

© 2018 King's College London | Strand | London WC2R 2LS | England | United Kingdom | Tel +44 (0)20 7836 5454