Artificial Intelligence and its Applications Institute

Research output

Research output per year 1970 2009 2010 2011 2012 2013 2014 2015 2016 2017 2018 2019 2020 2021 2022 2023 2024 2024

• 865 Conference contribution
• 492 Article
• 79 Paper
• 64 Chapter
• 193 More
  • 28 Chapter (peer-reviewed)
  • 23 Abstract
  • 20 Book
  • 17 Working paper
  • 15 Editorial
  • 13 Preprint
  • 11 Other contribution
  • 9 Poster
  • 8 Other report
  • 6 Comment/debate
  • 6 Review article
  • 5 Other
  • 5 Doctoral Thesis
  • 5 Book/Film/Article review
  • 4 Commissioned report
  • 4 Special issue
  • 3 Meeting abstract
  • 2 Letter
  • 2 Literature review
  • 1 Scholarly edition
  • 1 Foreword/postscript
  • 1 Featured article
  • 1 Data set/Database
  • 1 Performance
  • 1 Web publication/site
  • 1 Master's Thesis

Research output per year

Research output per year

Search results

• 2019

  AI Lab (European ARTificial Intelligence Lab: Experiential AI Artist Residency

  Hemment, D., Belle, V., Aylett, R., Murray-Rust, D., Pschetz, L. & Broz, F., 2019

  Research output: Other contribution

  File
• 2016

  Foundations of Forgetting and Remembering – Final Report.

  Logie, R., Alexandru, C., Niven, E., Rhodes, S., Rutter, J., Wolters, M. & Mayer-Schönberger, V., 2016

  Research output: Other contribution
• 2012

  Web Services Data Access and Integration – The Core (WS-DAI) Specification

  Atkinson, M., Antonioletti, M., Jackson, M., Krause, A., Laws, S., Lynden, S., Malaika, S., Paton, N. W., Pearson, D. & Riccardi, G., 17 Apr 2012, 49 p. Open Grid Forum.

  Research output: Other contribution
• 2004

  Rocket science or social science? Involving women in the creation of computing

  Martin, U., Liff, S., Dutton, W. H. & Light, A., 2004, 47 p.

  Research output: Other contribution

  • Internet 100%
  • Computing Profession 100%
  • Computing 100%
• 1990

  Case studies in equational reasoning

  Martin, UH., Cohen, D., Lai, MKF., Norrie, KJ. & Watson, P., 1990

  Research output: Other contribution

• Equational Reasoning in Groups

  Martin, U., 1990, University of London. Royal Holloway and Bedford New College. Department of Computer Science.

  Research output: Other contribution

• 1989

  Automating Squiggol

  Martin, U. & Nipkow, T., 1989

  Research output: Other contribution

• Unification in Special P-groups

  Martin, U., 1989, University of London. Royal Holloway and Bedford New College. Department of Computer Science.

  Research output: Other contribution

• 1986

  Doing algebra with REVE

  Martin, U., 1986, University of Manchester. Department of Computer Science.

  Research output: Other contribution

• Multiset Orderings

  Martin, U., 1986, University of Manchester. Department of Computer Science.

  Research output: Other contribution

• Unification in Boolean Rings an Unquantified Formulae of First Order Predicate Calculus

  Martin, U., 1986, University of Manchester. Department of Computer Science.

  Research output: Other contribution