Skip to Content
Toggle navigation
Startseite
Browse
Browse by Collection
Browse by Project Center
Browse Exhibits
About
About Us
Help
Anmeldung
Explore, Discover, Share
Suchen
Advanced search
Suchen
Filter löschen
Filtern nach:
Advisor
Fisler, Kathryn
Entfernen Zwang Advisor: Fisler, Kathryn
« Vorig |
1
-
10
von
45
|
Nächste »
Ordnen bei relevance
relevance
date uploaded ▼
date uploaded ▲
date modified ▼
date modified ▲
Anzahl der Ergebnisse pro Seite angezeigt werden
10 pro Seite
10
pro Seite
20
pro Seite
50
pro Seite
100
pro Seite
Anschauen Ergebnisse als:
Liste
Gallery
Masonry
Slideshow
Suchergebnisse
Verification techniques of feature-oriented Java
Schöpfer:
Gerratana, Frank Louis
,
Maddock, Jordan Alfred
, and
Wallace, Scott Thomas
Advisor:
Fisler, Kathryn
Herausgeber:
Worcester Polytechnic Institute
Datum erstellt:
2003-01-01
Resource Type:
Major Qualifying Project
Timing diagram to Buchi automation translation
Schöpfer:
Schudy, Warren J.
and
Cooper, Peter Sidney
Advisor:
Dougherty, Daniel J.
and
Fisler, Kathryn
Herausgeber:
Worcester Polytechnic Institute
Datum erstellt:
2003-01-01
Resource Type:
Major Qualifying Project
Random finite-state automata for model checking
Schöpfer:
Haley, Alexander Gregory
and
Vaillancourt, Dale
Advisor:
Fisler, Kathryn
and
Selkow, Stanley M.
Herausgeber:
Worcester Polytechnic Institute
Datum erstellt:
2002-01-01
Resource Type:
Major Qualifying Project
Mining state machine simulations
Schöpfer:
Cole, Christopher David.
Advisor:
Fisler, Kathryn
and
Ruiz, Carolina
Herausgeber:
Worcester Polytechnic Institute
Datum erstellt:
2001-01-01
Resource Type:
Major Qualifying Project
Generating header files for hardware simulators
Schöpfer:
Benoit, Tyler Paul
,
Donovan, Sean P.
, and
Kilgore, Brandon M.
Advisor:
Fisler, Kathryn
Herausgeber:
Worcester Polytechnic Institute
Datum erstellt:
2006-01-01
Resource Type:
Major Qualifying Project
FSATS -- a case study of computer-aided verification for large systems
Schöpfer:
Landry, Brian R.
Advisor:
Fisler, Kathryn
Herausgeber:
Worcester Polytechnic Institute
Datum erstellt:
2004-01-01
Resource Type:
Major Qualifying Project
Extensible timing diagram editor
Schöpfer:
Ramshaw, David Ian
,
Kapadia, Zaheer Abbas
, and
Klos, Michal
Advisor:
Fisler, Kathryn
Herausgeber:
Worcester Polytechnic Institute
Datum erstellt:
2002-01-01
Resource Type:
Major Qualifying Project
Emergency response simulation
Schöpfer:
Gagnon, Timothy Scott
and
Kissinger, Michael A.
Advisor:
Fisler, Kathryn
and
Weaver, Elise A.
Herausgeber:
Worcester Polytechnic Institute
Datum erstellt:
2006-01-01
Resource Type:
Major Qualifying Project
Development of cross-disciplinary course material
Schöpfer:
Bogdanova, Natasha
Advisor:
Trimbur, John
and
Fisler, Kathryn
Herausgeber:
Worcester Polytechnic Institute
Datum erstellt:
2004-01-01
Resource Type:
Major Qualifying Project
Comparing algorithms for symbolic cycle detection
Schöpfer:
Dow, Benjamin Scott
Advisor:
Fisler, Kathryn
Herausgeber:
Worcester Polytechnic Institute
Datum erstellt:
2001-01-01
Resource Type:
Major Qualifying Project
« Vorig
Nächste »
1
2
3
4
5
Toggle facets
Beschränken dein Suche
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
Schöpfer
Bartlett, Michael Charles
1
Benoit, Tyler Paul
1
Beski, Richard Alex
1
Bogdanova, Natasha
1
Bonci, Timothy Daniel
1
mehr
Schöpfers
»
Advisor
Camesano, Terri Anne
3
Claypool, Mark L.
1
Davis, Paul W.
3
DiMassa, Daniel
6
Dougherty, Daniel J.
2
mehr
Advisors
»
Contributor
Dorn, Brian
1
Dougherty, Daniel J.
2
Fisler, Kathryn
10
Guttman, Joshua
2
Krishnamurthi, Shriram
1
mehr
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
Herausgeber
Worcester Polytechnic Institute
45
Fach
Community
13
Computing
10
Culture
8
Energy
2
Environment
1
mehr
Faches
»
Ressourcentyp
Interactive Qualifying Project
21
Major Qualifying Project
14
Thesis
7
Dissertation
3
