Sava Krstić

A Correctness Proof of a Speculative, Superscalar, Out-of-Order, Renaming Microarchitecture

John Launchbury, John Matthews, Byron Cook, 1998 .

Networks of Elastic Circuits

Michael Kishinevsky, Jordi Cortadella, Sava Krstić, 2005 .

Parametrized System Verification with Guard Strengthening and Parameter Abstraction

Sava Krstić, 2005 .

Zip Fusion with Hyperfunctions

John Launchbury, Sava Krstić, Timothy E. Sauerwein, 2000 .

Inductive Fixpoints in Higher Order Logic

Sava Krstić, S. Krstic, 2004 .

Program Transformation Techniques in Program Generation

John Launchbury, Sava Krstić, Timothy E. Sauerwein, 2000 .

Actions of finite groups on graphs and related automorphisms of free groups

Sava Krstić, 1989 .