Kathi Fisler
Publications by Area

This list is also available sorted by year.

Plan Composition (Computing Education) [Active Area]

Notional Machines and Language Learning (Computing Education) [Active Area]

Bootstrap-Related (incl Transfer and Tool Design) [Active Area]

Error Messages (Computing Education) [Active Area]

Peer Review (Computing Education) [Slightly Active Area]

Policy Analysis and Authoring

Synthesizing APIs from Relational Specifications

Features and Capabilities

Timing Diagrams (Diagrammatic Reasoning and Formal Methods)

Aspect-Oriented Verification

Feature-Oriented Verification

General Computer-Aided Verification

Software Engineering Issues

Verification in Practice

Teaching Issues