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
6 results
Publication Year, Title
(descending)
Publication Year, Title
(ascending)
Title
Type
Filter
Working paper
Search results
2013
Abstractions in Decision Procedures for Algebraic Data Types
Pham, T-H.
&
Whalen, M. W.
,
2013
.
Research output
:
Working paper
Efficient Test Coverage Measurement for MC/DC
Whalen, M. W.
,
Heimdahl, M. P. E.
&
De Silva, I. J.
,
2013
.
Research output
:
Working paper
On Parameterized Abstractions in Unrolling-Based Decision Procedure for Algebraic Data Types
Pham, T-H.
&
Whalen, M. W.
,
2013
.
Research output
:
Working paper
2010
A parametric structural operational semantics for stateflow, uml statecharts
Whalen, M. W.
,
2010
.
Research output
:
Working paper
2004
The Effects of Interruptions on Task Performance, Annoyance, and Anxiety in the User Interface
Bailey, B. P.
,
Carlis, J. V.
&
Konstan, J. A.
,
2004
.
Research output
:
Working paper
2000
Representing the unknown in specification languages
Whalen, M. W.
&
Heimdahl, M. P.
,
2000
,
The University of Minnesota
.
Research output
:
Working paper