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 2023

• 3030 Conference contribution
• 2137 Article
• 294 Conference article
• 227 Editorial
• 430 More
  • 195 Paper
  • 115 Chapter
  • 59 Review article
  • 26 Comment/debate
  • 9 Book
  • 6 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

• 2000

  A formal semantics for RSML- e

  Whalen, M. W., 2000, The University of Minnesota.

  Research output: Book/Report › Commissioned report
• 2005

  Trustworthy Translation for the Requirements State Machine Language without Events I

  Whalen, M. W., 2005, The University of Minnesota.

  Research output: Book/Report › Commissioned report