Skip to Content
Toggle navigation
首页
Browse
Browse by Collection
Browse by Project Center
Browse Exhibits
About
About Us
Help
登录
Explore, Discover, Share
转到
Advanced search
搜索条件
清除筛选
筛选:
Advisor
Fisler, Kathryn
删除限定条件 Advisor: Fisler, Kathryn
« 上一页 |
1
-
10
共
45
|
下一页 »
按 relevance 排序
relevance
date uploaded ▼
date uploaded ▲
date modified ▼
date modified ▲
每页显示结果数
10 每页
10
每页
20
每页
50
每页
100
每页
以如下方式察看搜索结果:
列表
图片式展示
砌体式展示
幻灯式展示
Download search results to .CSV file
搜索结果
Add to Category
Remove From Category
Verification techniques of feature-oriented Java
创造者:
Gerratana, Frank Louis
,
Maddock, Jordan Alfred
, and
Wallace, Scott Thomas
Advisor:
Fisler, Kathryn
出版者:
Worcester Polytechnic Institute
创建日期:
2003-01-01
Resource Type:
Major Qualifying Project
Timing diagram to Buchi automation translation
创造者:
Schudy, Warren J.
and
Cooper, Peter Sidney
Advisor:
Dougherty, Daniel J.
and
Fisler, Kathryn
出版者:
Worcester Polytechnic Institute
创建日期:
2003-01-01
Resource Type:
Major Qualifying Project
Random finite-state automata for model checking
创造者:
Haley, Alexander Gregory
and
Vaillancourt, Dale
Advisor:
Fisler, Kathryn
and
Selkow, Stanley M.
出版者:
Worcester Polytechnic Institute
创建日期:
2002-01-01
Resource Type:
Major Qualifying Project
Mining state machine simulations
创造者:
Cole, Christopher David.
Advisor:
Fisler, Kathryn
and
Ruiz, Carolina
出版者:
Worcester Polytechnic Institute
创建日期:
2001-01-01
Resource Type:
Major Qualifying Project
Generating header files for hardware simulators
创造者:
Benoit, Tyler Paul
,
Donovan, Sean P.
, and
Kilgore, Brandon M.
Advisor:
Fisler, Kathryn
出版者:
Worcester Polytechnic Institute
创建日期:
2006-01-01
Resource Type:
Major Qualifying Project
FSATS -- a case study of computer-aided verification for large systems
创造者:
Landry, Brian R.
Advisor:
Fisler, Kathryn
出版者:
Worcester Polytechnic Institute
创建日期:
2004-01-01
Resource Type:
Major Qualifying Project
Extensible timing diagram editor
创造者:
Ramshaw, David Ian
,
Kapadia, Zaheer Abbas
, and
Klos, Michal
Advisor:
Fisler, Kathryn
出版者:
Worcester Polytechnic Institute
创建日期:
2002-01-01
Resource Type:
Major Qualifying Project
Emergency response simulation
创造者:
Gagnon, Timothy Scott
and
Kissinger, Michael A.
Advisor:
Fisler, Kathryn
and
Weaver, Elise A.
出版者:
Worcester Polytechnic Institute
创建日期:
2006-01-01
Resource Type:
Major Qualifying Project
Development of cross-disciplinary course material
创造者:
Bogdanova, Natasha
Advisor:
Trimbur, John
and
Fisler, Kathryn
出版者:
Worcester Polytechnic Institute
创建日期:
2004-01-01
Resource Type:
Major Qualifying Project
Comparing algorithms for symbolic cycle detection
创造者:
Dow, Benjamin Scott
Advisor:
Fisler, Kathryn
出版者:
Worcester Polytechnic Institute
创建日期:
2001-01-01
Resource Type:
Major Qualifying Project
« 上一页
下一页 »
1
2
3
4
5
Toggle facets
限定搜索
Collections
Interactive Qualifying Projects
21
Major Qualifying Projects
14
Masters Theses
7
PhD Dissertations
3
Year
Year range begin
–
Year range end
Current results range from
2001
to
2020
View distribution
创造者
Bartlett, Michael Charles
1
Benoit, Tyler Paul
1
Beski, Richard Alex
1
Bogdanova, Natasha
1
Bonci, Timothy Daniel
1
更多
创造者s
»
Advisor
Camesano, Terri Anne
3
Claypool, Mark L.
1
Davis, Paul W.
3
DiMassa, Daniel
6
Dougherty, Daniel J.
2
更多
Advisors
»
Contributor
Dorn, Brian
1
Dougherty, Daniel J.
2
Fisler, Kathryn
10
Guttman, Joshua
2
Krishnamurthi, Shriram
1
更多
Contributors
»
Project Center
London, England Project Center - IQP
6
Worcester Community Project Center (Massachusetts) - IQP
1
Zurich, Switzerland Project Center - IQP
6
Major
Computer Science
14
Electrical & Computer Engineering
1
Interactive Media & Game Development
1
Physics
1
Unit (Department)
Computer Science
10
出版者
Worcester Polytechnic Institute
45
学科
Community
13
Computing
10
Culture
8
Energy
2
Environment
1
更多
学科s
»
资源类型
Interactive Qualifying Project
21
Major Qualifying Project
14
Thesis
7
Dissertation
3