Computer Science and Engineering

Research output

Research output per year 1975 2021

• 2886 Conference contribution
• 2073 Article
• 279 Conference article
• 213 Editorial
• 406 More
  • 190 Paper
  • 107 Chapter
  • 53 Review article
  • 21 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

• 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