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
(69)
Projects and Grants
(954)
Research output
(6031)
Datasets
(8)
Press/Media
(5)
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
3 results
Publication Year, Title
(descending)
Publication Year, Title
(ascending)
Title
Type
Filter
Other contribution
Search results
2013
Parameterized abstractions for reasoning about algebraic data types
Pham, T-H.
&
Whalen, M. W.
,
2013
, IEEE.
Research output
:
Other contribution
2011
Method and system for the development of high-assurance microcode
Limondin, P. MT.
,
Hiratzka, T. D.
,
Whalen, M. W.
&
Hardin, D. S.
,
Oct 1 2011
Research output
:
Other contribution
2009
Variable graph minimization for improved model-checking performance
Whalen, M. W.
&
Miller, S. P.
,
Dec 1 2009
Research output
:
Other contribution