King's College London

Research portal

Research Outputs

  1. 2016
  2. PADUA and R.E.N.A.L. nephrometry scores correlate with perioperative outcomes of robot-assisted partial nephrectomy: analysis of the Vattikuti Global Quality Initiative in Robotic Urologic Surgery (GQI-RUS) database

    Schiavina, R., Novara, G., Borghesi, M., Ficarra, V., Ahlawat, R., Moon, D. A., Porpiglia, F., Challacombe, B. J., Dasgupta, P., Brunocilla, E., La Manna, G., Volpe, A., Verma, H., Martorana, G. & Mottrie, A., 11 Sep 2016, In : BJU International.

    Research output: Contribution to journalArticle

  3. 2006
  4. 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

  5. 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

  6. 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

  7. 2004
  8. 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

  9. 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

  10. 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

  11. 2003
  12. Evolutionary Testing: Tutorial

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

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

  13. 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

  14. 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

  15. 2002
  16. 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

  17. 2001
  18. 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

  19. 1997
  20. 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

  21. DIY Software Agents

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

    Research output: Contribution to journalArticle

  22. 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

  23. LaTeX: Typesetting as a Programming Language

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

    Research output: Contribution to journalArticle

  24. 1996
  25. 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

  26. 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

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

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

    Research output: Book/ReportBook

  28. 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

Meeting and poster abstracts

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