Quantum Computing and Abstract State Machines. - Erich Grädel; Antje Nowack (Abstract State Machines, 2003)

Deciding the Verification Problem for Abstract State Machines. - Antje Nowack (Abstract State Machines, 2003)

Slicing Abstract State Machines. - Antje Nowack (Abstract State Machines, 2004)

Abstract state machines: verification problems and computational power. - Antje Nowack (2004)

A Polynomial-Time Slicing Algorithm. - Antje Nowack (Abstract State Machines, 2005)

A Guarded Fragment for Abstract State Machines. - Antje Nowack (J. Log. Lang. Inf., 2005)