University of Minnesota Twin Cities

Research Output 1916 2018

Filter
Working paper
2013

Abstractions in Decision Procedures for Algebraic Data Types

Pham, T-H. & Whalen, M. W. 2013

Research output: ResearchWorking paper

Efficient Test Coverage Measurement for MC/DC

Whalen, M. W., Heimdahl, M. P. E. & De Silva, I. J. 2013

Research output: ResearchWorking paper

2012

Digital Arts and Humanities Working Group 2011-2012 Report

Burroughs, J., Brooks, K., Boudewyns, D., Chew, C. N., Marcus, C., Marsh, L., Moss, R., Roy, J. & Spicer, S. 2012

Research output: ResearchWorking paper

Open Access
working group
art
infrastructure
community
Group
Open Access
Spreadsheets
Bibliographies
Electronic mail
2006

Project C3: Connecting Youth with Communities and Careers Year 2 process evaluation

Hill, K., McEathron, M. & Fields, J. 2006

Research output: ResearchWorking paper

2001

Transforming school counseling: A report on early evaluation findings

Seashore, K. R., Jones, L. M., Seppanen, P. S. W. A., M., B., H., G., L., H., J., K., M., M., V., M., E., R. & J. & Schleisman, J. 2001

Research output: ResearchWorking paper