Department of Computer Science

Research output

Research output per year 1979 2003 2004 2005 2006 2007 2008 2009 2010 2011 2012 2013 2014 2015 2016 2017 2018 2019 2020 2021 2022 2023 2024 2323

• 1455 Article
• 1125 Conference contribution
• 221 Other report
• 143 Paper
• 369 More
  • 75 Chapter
  • 64 Meeting abstract
  • 41 Chapter (peer-reviewed)
  • 25 Book
  • 24 Editorial
  • 22 Review article
  • 13 Poster
  • 13 Conference article
  • 11 Working paper
  • 10 Other contribution
  • 9 Other chapter contribution
  • 9 Abstract
  • 9 Doctoral Thesis
  • 7 Comment/debate
  • 5 Anthology
  • 5 Entry for encyclopedia/dictionary
  • 5 Presentation
  • 5 Literature review
  • 4 Book/Film/Article review
  • 3 Master's Thesis
  • 2 Letter
  • 2 Software
  • 1 Commissioned report
  • 1 Foreword/postscript
  • 1 Other
  • 1 Short survey
  • 1 Exhibition
  • 1 Web publication/site

Research output per year

Research output per year

Search results

• 2014

  The application of RFID technology to automated data acquisition and processing in real time.

  Heffernan, R., 2014

  Research output: Thesis › Master's Thesis

• 2005

  Comparing Different Prenexing Strategies for Quantified Boolean Formulas

  Zolda, M., 2005

  Research output: Thesis › Master's Thesis

  Open Access

  File
  266 Downloads (Pure)
• 1985

  On the Definition of C* - Algebras

  Spring, W., 30 Sept 1985

  Research output: Thesis › Master's Thesis

  • C* Algebra 100%
  • C-algebras 100%
  • C-Algebras 100%