Michael Kifer

Publication Activity (10 Years)

Years Active: 1983-2023
Publications (10 Years): 19

Top Topics

Logical Framework

Recent Progress

Access Control Policies

Regression Analysis

Top Venues

Theory Pract. Log. Program.

MoDELS (Companion)

Publications