Antje Nowack

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2005
A Guarded Fragment for Abstract State Machines.
J. Log. Lang. Inf., 2005

A Polynomial-Time Slicing Algorithm.
Proceedings of the 12th International Workshop on Abstract State Machines, 2005

2004
Abstract state machines: verification problems and computational power.
PhD thesis, 2004

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

2003
Deciding the Verification Problem for Abstract State Machines.
Proceedings of the Abstract State Machines, 2003

Quantum Computing and Abstract State Machines.
Proceedings of the Abstract State Machines, 2003


  Loading...