Average Case Analysis of the Classical Algorithm for Markov Decision Processes with Büchi Objectives
Axiomatic Aspects of Default Inference
Axiomatic Synthesis of Computer Programs and Computability Theorems
Axiomatizing Flat Iteration
Axiomatizing GSOS with Predicates
Axiomatizing rational power series