Kathi Fisler
Brown University(US)
Publications by Year
Research Areas
Teaching and Learning Programming, Formal Methods in Verification, Advanced Software Engineering Methodologies, Online Learning and Analytics, Software Engineering Research
Most-Cited Works
- → Verification and change-impact analysis of access-control policies(2005)393 cited
- → Specifying and Reasoning About Dynamic Access-Control Policies(2006)127 cited
- → The recurring rainfall problem(2014)111 cited
- → Transferring Skills at Solving Word Problems from Computing to Algebra Through Bootstrap(2015)110 cited
- → Verifying aspect advice modularly(2004)109 cited
- The margrave tool for firewall analysis(2010)
- → Measuring the effectiveness of error messages designed for novice programmers(2011)95 cited
- → Mind your language(2011)76 cited
- → Modular verification of collaboration-based software designs(2001)75 cited