Kathi Fisler
Publications by Area

This list is also available sorted by year.

Education for Socially-Responsible Computing [Active Area]

Data-Centric Computing Education (for K-12 and University) [Active Area]

Computing Education General [Active Area]

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)

Peer Review (Computing Education)

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