Index Catalog // Digital WPI

Skip to Content

Home
Browse
About
- About Us
- Help

Login

Explore, Discover, Share

Advanced search

Search Constraints

Start Over

Filtering by: Advisor Bohrer, Rose Remove constraint Advisor: Bohrer, Rose Collections Masters Theses Remove constraint Collections: Masters Theses

1 - 3 of 3

relevance
date uploaded ▼
date uploaded ▲
date modified ▼
date modified ▲

Number of results to display per page

10 per page
20 per page
50 per page
100 per page

View results as:

List Gallery Masonry Slideshow

Search Results

Select an image to start the slideshow

Logic For Exploit Detection: Utilizing Proof Search for Exploitability Detection in Compact Software Systems

1 of 3

Regular Session Types

2 of 3

Homotopy Type Theory for Sewn Quilts

3 of 3

Limit your search

Collections

Masters Theses[remove]3

Year

Year range begin – Year range end

Current results range from 2023 to 2024

View distribution

Creator

Clark, Charlotte1
Eskandari Miandoab, Kaveh1
Friedman, Alex1

Advisor

Bohrer, Rose[remove]3

Contributor

Bohrer, Rose3
Heineman, George1
Sun, Xiaoyan Sherry1

Unit (Department)

Computer Science3

Publisher

Worcester Polytechnic Institute3

Resource type

Thesis3

License

https://creativecommons.org/licenses/by/4.0/1

A service of Samvera.

Digital WPI v3.3.0

Copyright © 2024 Samvera Licensed under the Apache License, Version 2.0