Antje Nowack

According to our database, Antje Nowack authored at least 6 papers between 2003 and 2005.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2005

A Guarded Fragment for Abstract State Machines.

Antje Nowack

J. Log. Lang. Inf., 2005

A Polynomial-Time Slicing Algorithm.

Antje Nowack

Proceedings of the 12th International Workshop on Abstract State Machines, 2005

2004

Abstract state machines: verification problems and computational power.

Antje Nowack

PhD thesis, 2004

Slicing Abstract State Machines.

Antje Nowack

Proceedings of the Abstract State Machines 2004. Advances in Theory and Practice, 2004

2003

Deciding the Verification Problem for Abstract State Machines.

Antje Nowack

Proceedings of the Abstract State Machines, 2003

Quantum Computing and Abstract State Machines.

Erich Grädel, Antje Nowack

Proceedings of the Abstract State Machines, 2003