Computer Science and Engineering

Research output

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

• 3013 Conference contribution
• 2029 Article
• 304 Conference article
• 239 Editorial
• 446 More
  • 209 Paper
  • 118 Chapter
  • 57 Review article
  • 25 Comment/debate
  • 10 Book
  • 7 Foreword/postscript
  • 6 Letter
  • 6 Working paper
  • 3 Other contribution
  • 2 Commissioned report
  • 2 Short survey
  • 1 Other chapter contribution

Research output per year

Research output per year

Search results

• 2010

  Model checking information flow

  Whalen, M. W., Greve, D. A. & Wagner, L. G., 2010, Design and Verification of Microprocessor Systems for High-Assurance Applications. Springer US, p. 381-428 48 p.

  Research output: Chapter in Book/Report/Conference proceeding › Other chapter contribution

  12 Scopus citations