Skip to main navigation
Skip to search
Skip to main content
Experts@Minnesota Home
Home
Profiles
Research units
University Assets
Projects and Grants
Research output
Press/Media
Datasets
Activities
Fellowships, Honors, and Prizes
Search by expertise, name or affiliation
Computer Science and Engineering
University of Minnesota Twin Cities
College of Science & Engineering
Overview
Fingerprint
Network
Profiles
(73)
Projects and Grants
(598)
Research output
(6718)
Datasets
(35)
Press/Media
(6)
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
2 results
Publication Year, Title
(descending)
Publication Year, Title
(ascending)
Title
Type
Filter
Commissioned report
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