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 2023 2024 2025

• 3355 Conference contribution
• 2295 Article
• 335 Conference article
• 245 Editorial
• 488 More
  • 214 Paper
  • 132 Chapter
  • 63 Review article
  • 30 Comment/debate
  • 11 Book
  • 8 Foreword/postscript
  • 8 Letter
  • 6 Working paper
  • 4 Other contribution
  • 3 Preprint
  • 2 Commissioned report
  • 2 Meeting Abstract
  • 2 Short survey
  • 1 Other chapter contribution
  • 1 Chapter (peer-reviewed)
  • 1 Abstract

Research output per year

Research output per year

Search results

• 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
• 2000

  A formal semantics for RSML- e

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

  Research output: Book/Report › Commissioned report