Index Catalog // Digital WPI

Start Over

Filtering by: Advisor Dougherty, Daniel J. Publisher Worcester Polytechnic Institute

1. Information Sharing at Bank of America

Creator:: Gallagher, Kimberly G., Navins, Kimberly G., Zhang, Chao, Angulo, Marco V., and Bora, Burcu
Advisor:: Abraham, Jon P., Gerstenfeld, Arthur, and Dougherty, Daniel J.
Publisher:: Worcester Polytechnic Institute
Date Created:: 2009-12-17
Resource Type:: Major Qualifying Project

2. Information Sharing at Bank of America

Creator:: Bora, Burcu
Advisor:: Abraham, Jon P., Dougherty, Daniel J., and Gerstenfeld, Arthur
Publisher:: Worcester Polytechnic Institute
Date Created:: 2010-04-23
Resource Type:: Major Qualifying Project

3. Sales Training and Swaption Pricing under New Regulatory Environment

Creator:: Wang, Boya
Advisor:: Gerstenfeld, Arthur, Dougherty, Daniel J., and Xie, Weiwei
Publisher:: Worcester Polytechnic Institute
Date Created:: 2010-03-09
Resource Type:: Major Qualifying Project

4. A Coq Formalization of Unification Modulo Exclusive-Or

Creator:: Xu, Yichi
Advisor:: Dougherty, Daniel J.
Publisher:: Worcester Polytechnic Institute
Date Created:: 2023-04-26
Resource Type:: Thesis
Degree:: MS

5. Evaluating SGX’s Remote Attestation Security Through the Analysis of Copland Phrases

Creator:: Veloz Baez, Freddy
Advisor:: Dougherty, Daniel J. and Shue, Craig A.
Publisher:: Worcester Polytechnic Institute
Date Created:: 2022-04-27
Resource Type:: Thesis
Degree:: MS
Unit (Department):: Computer Science

6. X2S

Creator:: Nordin, Richard J.
Advisor:: Mani, Murali and Dougherty, Daniel J.
Publisher:: Worcester Polytechnic Institute
Date Created:: 2004-01-01
Resource Type:: Major Qualifying Project

7. Timing diagram to Buchi automation translation

Creator:: Schudy, Warren J. and Cooper, Peter Sidney
Advisor:: Dougherty, Daniel J. and Fisler, Kathryn
Publisher:: Worcester Polytechnic Institute
Date Created:: 2003-01-01
Resource Type:: Major Qualifying Project

8. Theory Assistant 2

Creator:: Johnson, Nathan Aaron
Advisor:: Dougherty, Daniel J.
Publisher:: Worcester Polytechnic Institute
Date Created:: 2003-01-01
Resource Type:: Major Qualifying Project

9. Theory assistant

Creator:: Landry, Adam Michael, McKay, Kerry Ann, and Chadwick, Zachary
Advisor:: Dougherty, Daniel J. and Ciaraldi, Michael J.
Publisher:: Worcester Polytechnic Institute
Date Created:: 2003-01-01
Resource Type:: Major Qualifying Project

10. Normalization for metadata

Creator:: Susco, David James, Keay, David A., and Shahu Doku, Ermelinda
Advisor:: Dougherty, Daniel J.
Publisher:: Worcester Polytechnic Institute
Date Created:: 2005-01-01
Resource Type:: Major Qualifying Project