1![](/pdf-icon.png) | Add to Reading ListSource URL: www.saramitchell.orgLanguage: English - Date: 2009-07-21 12:23:20
|
---|
2![](/pdf-icon.png) | Add to Reading ListSource URL: www.saramitchell.orgLanguage: English - Date: 2009-07-21 12:23:20
|
---|
3![The K IND 2 Model Checker ? Adrien Champion, Alain Mebsout, Christoph Sticksel, and Cesare Tinelli The University of Iowa Abstract. K IND 2 is an open-source, multi-engine, SMT-based model checker for safety properties o The K IND 2 Model Checker ? Adrien Champion, Alain Mebsout, Christoph Sticksel, and Cesare Tinelli The University of Iowa Abstract. K IND 2 is an open-source, multi-engine, SMT-based model checker for safety properties o](https://www.pdfsearch.io/img/99eeb5091d2e80b6dac34163b8241736.jpg) | Add to Reading ListSource URL: mebsout.github.ioLanguage: English - Date: 2017-07-21 11:03:15
|
---|
4![Challenges for Fast Synthesis Procedures in SMT Andrew Reynolds1 Department of Computer Science, The University of Iowa Abstract A number of synthesis applications are made possible by automated tools for synthesis. Rece Challenges for Fast Synthesis Procedures in SMT Andrew Reynolds1 Department of Computer Science, The University of Iowa Abstract A number of synthesis applications are made possible by automated tools for synthesis. Rece](https://www.pdfsearch.io/img/be1f7a907ab50dbcf83b29b2506c3f90.jpg) | Add to Reading ListSource URL: www.cs.man.ac.ukLanguage: English - Date: 2017-07-30 15:10:48
|
---|
5![Designing Theory Solvers with Extensions Andrew Reynolds1 , Cesare Tinelli1 , Dejan1 Jovanovi´c3 , and Clark Barrett2 1 Department of Computer Science, The University of Iowa Department of Computer Science, Stanford Uni Designing Theory Solvers with Extensions Andrew Reynolds1 , Cesare Tinelli1 , Dejan1 Jovanovi´c3 , and Clark Barrett2 1 Department of Computer Science, The University of Iowa Department of Computer Science, Stanford Uni](https://www.pdfsearch.io/img/8a53c7ac9eb958e7d585347751917144.jpg) | Add to Reading ListSource URL: csl.sri.comLanguage: English - Date: 2018-04-25 11:34:43
|
---|
6![THE STRUCTURE OF SECURE MULTI-PARTY COMPUTATION BY MICHAEL J. ROSULEK B.S., Iowa State University, 2003 THE STRUCTURE OF SECURE MULTI-PARTY COMPUTATION BY MICHAEL J. ROSULEK B.S., Iowa State University, 2003](https://www.pdfsearch.io/img/63b9606b176ea9d6e98d2f1d4e0d9ecb.jpg) | Add to Reading ListSource URL: web.engr.oregonstate.eduLanguage: English - Date: 2012-01-23 00:46:40
|
---|
7![2013-‐02-‐18
NTNC
Exec
University
of
Iowa
Iowa
City,
IA
1
2013-‐02-‐18
NTNC
Exec
University
of
Iowa
Iowa
City,
IA
1](https://www.pdfsearch.io/img/fca04392db3dcc579cf152682686eb6a.jpg) | Add to Reading ListSource URL: ntnc.orgLanguage: English - Date: 2018-04-27 18:25:10
|
---|
8![Iowa State University College of Engineering Governance Document College of Engineering Faculty Updates Approved By Electronic Vote on 5-May-2017 Iowa State University College of Engineering Governance Document College of Engineering Faculty Updates Approved By Electronic Vote on 5-May-2017](https://www.pdfsearch.io/img/9f08c9ff4a11a07245282e5c61480f66.jpg) | Add to Reading ListSource URL: www.engineering.iastate.eduLanguage: English - Date: 2017-05-30 10:32:41
|
---|
9![UNIVERSITY OF IOWA MUSEUM OF ART ANNUA L REPORT 2012–2013 ◀ Table of Contents UNIVERSITY OF IOWA MUSEUM OF ART ANNUA L REPORT 2012–2013 ◀ Table of Contents](https://www.pdfsearch.io/img/23fd3e929adb7b96a0983eb509eabeb7.jpg) | Add to Reading ListSource URL: uima.uiowa.eduLanguage: English - Date: 2015-09-18 12:41:36
|
---|
10![Using the Hereditary Substitution Function in Normalization Proofs Harley Eades and Aaron Stump Computer Science The University of Iowa Using the Hereditary Substitution Function in Normalization Proofs Harley Eades and Aaron Stump Computer Science The University of Iowa](https://www.pdfsearch.io/img/578573eec271f53afc75b06d959c0750.jpg) | Add to Reading ListSource URL: metatheorem.orgLanguage: English - Date: 2018-08-16 11:42:56
|
---|