King's College London

Research portal

Research Outputs

  1. 2006
  2. Bates D, Crick JC, Hamilton S. Introduction. In Bates D, Crick J, Hamilton S, editors, Writing Medieval Biography 750-1250. N/A ed. Vol. N/A. Woodbridge: Boydell & Brewer Ltd. 2006. p. 1-13
  3. Urban C, Berghofer S. A recursion combinator for nominal datatypes implemented in Isabelle/HOL. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4130 LNAI. 2006. p. 498-512
  4. Bézivin J, Rumpe B, Schürr A, Tratt L. Model transformations in practice workshop. In Lecture Notes in Computer Science : including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics. Vol. 3844 LNCS. 2006. p. 120-127
  5. Tratt L. The MT model transformation language. In Proceedings of the ACM Symposium on Applied Computing. Vol. 2. ACM Digital Library. 2006. p. 1296-1303
  6. Ogiermann E. A contrastive analysis of gender-based differences in English and Russian apologies. In Series A: General and Theoretical Papers. Vol. Paper No. 669. Duisburg-Essen University: LAUD. 2006. p. 1-30
  7. Luck M, d'Inverno M. Formal Methods and Agent-Based Systems. In Rouff CA, Hinchey M, Rash J, Truszkowski W, Gordon-Spears D, editors, Agent Technology from a Formal Perspective. Springer Finance. 2006. p. 65-96. (NASA Monographs in Systems and Software Engineering).
  8. Jennings NR, Cohn AG, Fox M, Long D, Luck M, Michaelides DT et al. Interaction, planning and motivation. In Morris R, Taressenko L, Kenward M, editors, Cognitive systems: Information processing meets brain science. Elsevier. 2006. p. 163-188
  9. Anseel F, Lievens F. Introductie tot Human Resource Management. In Introductie tot Human Resource Management. Lannoo Campus. 2006. p. 11-50
  10. Bird A. Selection and explanation. In Rethinking explanation. 2006
  11. Christodoulakis M, Iliopoulos CS, Ardila YJP. Simple Algorithm for sorting the Fibonacci string rotations. In SOFSEM 2006: Theory and Practice of Computer Science. Vol. 4009 2006. Springer Finance. 2006. p. 218-225. (Lecture Notes in Computer Science).
  12. Crochemore M, Lecroq T. Text Searching and Indexing. In Ésik Z, Mart'in-Vide C, Mitrana V, editors, Recent Advances in Formal Languages and Applications. Springer-Verlag Berlin Heidelberg. 2006. p. 43-80

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

Refine results Clear filters

Language

Language

Publication year

Meeting and poster abstracts

Authors

Authors

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