| 2005 | ||
|---|---|---|
| 5 | EE | Antje Nowack: A Polynomial-Time Slicing Algorithm. Abstract State Machines 2005: 313-328 |
| 4 | EE | Antje Nowack: A Guarded Fragment for Abstract State Machines. Journal of Logic, Language and Information 14(3): 345-368 (2005) |
| 2004 | ||
| 3 | EE | Antje Nowack: Slicing Abstract State Machines. Abstract State Machines 2004: 186-201 |
| 2003 | ||
| 2 | EE | Erich Grädel, Antje Nowack: Quantum Computing and Abstract State Machines. Abstract State Machines 2003: 309-323 |
| 1 | EE | Antje Nowack: Deciding the Verification Problem for Abstract State Machines. Abstract State Machines 2003: 341-371 |
| 1 | Erich Grädel | [2] |