Concepedia

Kathi Fisler

KF

48

Publications

2.3K

Citations

24

H-Index

1996

Active since

Affiliations

Brown University(Current)

Worcester Polytechnic Institute

John Brown University

Northeastern University

The University of Texas at Austin

Kathi Fisler is an author at Brown University specializing in engineering, computer science, and program analysis.

Top concepts

EngineeringComputer ScienceSoftware EngineeringProgram AnalysisSoftware AnalysisEducationSoftware DesignFormal VerificationFormal MethodsLearning Analytics

Publications per year

1996–2022

48

Publications

48

Verification and change-impact analysis of access-control policies

Kathi Fisler, Shriram Krishnamurthi, Leo A. Meyerovich et al. · 2005 · 393 citations

Engineering, Information Security, Software Engineering +22

The recurring rainfall problem

Kathi Fisler · 2014 · 111 citations

Engineering, Education, Software Engineering +24

Transferring Skills at Solving Word Problems from Computing to Algebra Through Bootstrap

Emmanuel Schanzer, Kathi Fisler, Shriram Krishnamurthi et al. · 2015 · 110 citations

Mathematics Curriculum, Early-programming Curriculum, Solving Word Problems +21

Verifying aspect advice modularly

Shriram Krishnamurthi, Kathi Fisler, Michael Greenberg · 2004 · 109 citations

Program Checking, Engineering, Cross-cutting Concern +22

The margrave tool for firewall analysis

Tim Nelson, Christopher L. R. Barratt, Daniel J. Dougherty et al. · 2010 · 104 citations

Engineering, Information Security, Next-generation Firewall +18

Rows per page

1–5 of 48