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: Contributor Fisler, Kathryn Remove constraint Contributor: Fisler, Kathryn Publisher Worcester Polytechnic Institute Remove constraint Publisher: Worcester Polytechnic Institute

« Previous | 1 - 10 of 12 | Next »

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

Development of a Data-Grounded Theory of Program Design in HTDP

Keyword:

Program design, Human-centered computing, Cognition, Planning, Computing education, and Functional programming

Creator:

Castro, Francisco Enrique Vi G.

Advisor:

Fisler, Kathryn

Publisher:

Worcester Polytechnic Institute

Date Created:

2020-05-18

Resource Type:

Dissertation

Degree:

PhD

Unit (Department):

Computer Science
Improving the Efficiency of Homomorphic Encryption Schemes

Keyword:

homomorphic encryption

Creator:

Hu, Yin

Advisor:

Sunar, Berk

Publisher:

Worcester Polytechnic Institute

Date Created:

2013-04-25

Resource Type:

Dissertation

Degree:

PhD

Unit (Department):

Electrical & Computer Engineering
First-Order Models for Configuration Analysis

Keyword:

firewalls, Security, static analysis, logic, scenarios, model finding, and configuration

Creator:

Nelson, Tim

Advisor:

Dougherty, Daniel J. and Fisler, Kathryn

Publisher:

Worcester Polytechnic Institute

Date Created:

2013-04-25

Resource Type:

Dissertation

Degree:

PhD

Unit (Department):

Computer Science
Building Web Based Programming Environments for Functional Programming

Keyword:

compilation, web, javascript, programming environments, and Education

Creator:

Yoo, Daniel

Advisor:

Fisler, Kathryn

Publisher:

Worcester Polytechnic Institute

Date Created:

2012-04-26

Resource Type:

Dissertation

Degree:

PhD

Unit (Department):

Computer Science
Disjunction of Regular Timing Diagrams

Keyword:

disjunction, timing diagrams, model checking, temporal logic, and Alloy

Creator:

Feng, Yu

Advisor:

Fisler, Kathryn

Publisher:

Worcester Polytechnic Institute

Date Created:

2010-10-12

Resource Type:

Thesis

Degree:

MS

Unit (Department):

Computer Science
Margrave: An Improved Analyzer for Access-Control and Configuration Policies

Keyword:

finite model property, firewalls, applied logic, and Access Control

Creator:

Nelson, Timothy

Advisor:

Fisler, Kathryn

Publisher:

Worcester Polytechnic Institute

Date Created:

2010-04-13

Resource Type:

Thesis

Degree:

MS

Unit (Department):

Computer Science
An Efficient Scheme to Provide Real-time Memory Integrity Protection

Keyword:

Memory Authentication and Integrity Protection

Creator:

Hu, Yin

Advisor:

Sunar, Berk

Publisher:

Worcester Polytechnic Institute

Date Created:

2009-04-30

Resource Type:

Thesis

Degree:

MS

Unit (Department):

Electrical & Computer Engineering
Alchemy: Transmuting Base Specifications into Implementations

Keyword:

Alloy, program synthesis, and relational specification

Creator:

Yoo, Daniel

Advisor:

Fisler, Kathryn

Publisher:

Worcester Polytechnic Institute

Date Created:

2009-02-26

Resource Type:

Thesis

Degree:

MS

Unit (Department):

Computer Science
Feature-Oriented Specification of Hardware Bus Protocols

Keyword:

hardware verification, timing diagrams, language, and aspect-oriented programming

Creator:

Freitas, Paul Michael

Advisor:

Fisler, Kathryn

Publisher:

Worcester Polytechnic Institute

Date Created:

2008-04-29

Resource Type:

Thesis

Degree:

MS

Unit (Department):

Computer Science
An Axiomatic Semantics for Functional Reactive Programming

Keyword:

coq, monads, formal verification, and functional reactive programming

Creator:

King, Christopher T.

Advisor:

Fisler, Kathryn

Publisher:

Worcester Polytechnic Institute

Date Created:

2008-04-29

Resource Type:

Thesis

Degree:

MS

Unit (Department):

Computer Science

« Previous
Next »
1
2

Limit your search

Collections

Masters Theses8
PhD Dissertations4

Year

Year range begin – Year range end

Current results range from 2003 to 2020

View distribution

Creator

Castro, Francisco Enrique Vi G.1
Feng, Yu1
Freitas, Paul Michael1
Hu, Yin2
King, Christopher T.1
more Creators »

Advisor

Dougherty, Daniel J.1
Fisler, Kathryn10
Sunar, Berk2

Contributor

Dorn, Brian1
Dougherty, Daniel J.2
Fisler, Kathryn[remove]12
Guttman, Joshua2
Krishnamurthi, Shriram1
more Contributors »

Unit (Department)

Computer Science10
Electrical & Computer Engineering2

Publisher

Worcester Polytechnic Institute[remove]12

Resource type

Thesis8
Dissertation4

A service of Samvera.

Digital WPI v3.3.0

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