King's College London

Research portal

Research Outputs

  1. 2016
  2. Alpha-Structural Induction and Recursion for the Lambda Calculus in Constructive Type Theory

    Copello, E., Tasistro, Á., Szasz, N., Bove, A. & Fernández, M., 14 Jul 2016, In : Electronic Notes in Theoretical Computer Science. 323, p. 109-124 16 p.

    Research output: Contribution to journalConference paper

  3. 2010
  4. Closed nominal rewriting and efficiently computable nominal algebra equality

    Fernandez, M., Murdoch, J. & Gabbay, D., 2010, In : Electronic Proceedings in Theoretical Computer Science. 34, p. 37 - 51 15 p.

    Research output: Contribution to journalConference paper

  5. Graph Creation, Visualisation and Transformation

    Fernandez, M. & Namet, O., 2010, In : Electronic Proceedings in Theoretical Computer Science. 21, p. 1 - 12 12 p.

    Research output: Contribution to journalConference paper

  6. Labelled Lambda-calculi with Explicit Copy and Erase

    Fernandez, M. & Siafakas, N., 2010, In : Electronic Proceedings in Theoretical Computer Science. 22, p. 49 - 64 16 p.

    Research output: Contribution to journalConference paper

  7. 2009
  8. Recursive Functions with Pattern Matching in Interaction Nets

    Fernandez, M., Mackie, I., Sato, S. & Walker, M., 6 Nov 2009, In : Electronic Notes in Theoretical Computer Science. 253, 4, p. 55 - 71 17 p., N/A.

    Research output: Contribution to journalConference paper

  9. A comparative study of cognition and brain anatomy between two neurodevelopmental disorders: 22q11.2 deletion syndrome and Williams syndrome

    Campbell, L. E., Stevens, A., Daly, E., Toal, F., Azum, R., Karmiloff-Smith, A., Murphy, D. G. M. & Murphy, K. C., Mar 2009, In : Neuropsychologia. 47, 4, p. 1034 - 1044 11 p.

    Research output: Contribution to journalConference paper

  10. New Developments in Abstract Machines

    Fernandez, M. & Siafakas, N., 2009, In : Electronic Notes in Theoretical Computer Science.

    Research output: Contribution to journalConference paper

  11. 2007
  12. From Functional Programs to Interaction Nets via the Rewriting Calculus

    Cirstea, H., Faure, G., Fernandez, M., Mackie, I. & Sinot, F-R., 2 Jul 2007, In : Electronic Notes in Theoretical Computer Science. 174, 10, p. 39 - 56 18 p.

    Research output: Contribution to journalConference paper

  13. The Power of Closed Reduction Strategies

    Alves, S., Fernandez, M., Florido, M. & Mackie, I., 2 Jul 2007, In : Electronic Notes in Theoretical Computer Science. 174, 10, p. 57 - 74 18 p.

    Research output: Contribution to journalConference paper

  14. Implementing Nominal Unification

    Calvès, C. & Fernandez, M., 28 May 2007, In : Electronic Notes in Theoretical Computer Science. 176, 1, p. 25 - 37 13 p.

    Research output: Contribution to journalConference paper

  15. 2006
  16. A cross-syndrome comparison of structural brain and cognitive profiles: 22q11.2 deletion syndrome and Williams syndrome

    Campbell, L. E., Stevens, A., Daly, E., Toal, F., Azuma, R., Karmiloff-Smith, A., Murphy, D. G. M. & Murphy, K. C., 2006, In : Journal of Intellectual Disability Research. 50, p. 784 - 784 1 p.

    Research output: Contribution to journalConference paper

  17. Biological differences in autism - So what?

    Murphy, D., 2006, In : Journal of Intellectual Disability Research. 50, p. 782 - 782 1 p.

    Research output: Contribution to journalConference paper

  18. Brain volume in patients with autistic spectrum disorder compared to controls

    Hallahan, B., Daly, E., O'Brien, F., McAlonan, G., Toal, F., Murphy, C., Murphy, K. & Murphy, D., 2006, In : Journal of Intellectual Disability Research. 50, p. 785 - 785 1 p.

    Research output: Contribution to journalConference paper

  19. Maturation of limbic regions in Asperger syndrome: A IH magnetic resonance spectroscopy and Structural Magnetic Resonance Imaging study

    O'Brien, F. M., Page, L., O'Gorman, R. L., Bolton, P., Sharma, A., Baird, G., Daly, E., Hallahan, B., Curran, S., Murphy, K. & Murphy, D. G. M., 2006, In : Journal of Intellectual Disability Research. 50, p. 786 - 786 1 p.

    Research output: Contribution to journalConference paper

  20. The relationship between clinical phenotype and brain anatomy in autistic spectrum disorder: An sMRI study

    Toal, F., Daly, E. M., Page, L., Deeley, Q., Cutter, B., Deeley, Q., Hallaghan, B., Chitnis, X. A., Curran, S., Robertson, D., Murphy, C., Murphy, K. M. C. & Murphy, D. G. M., 2006, In : Journal of Intellectual Disability Research. 50, p. 786 - 786 1 p.

    Research output: Contribution to journalConference paper

  21. 2003
  22. The neuroprotective effects of estrogen on the aging brain

    Norbury, R., Cutter, W. J., Compton, J., Robertson, D. M., Craig, M., Whitehead, M. & Murphy, D. G., Jan 2003, In : Experimental Gerontology. 38, 1-2, p. 109 - 117 9 p.

    Research output: Contribution to journalConference paper

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

Refine results Clear filters

Language

Language

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