Stanislas Nanchen

According to our database, Stanislas Nanchen authored at least 3 papers between 2001 and 2005.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of five.

2005

A logic for secure memory access of abstract state machines.

Stanislas Nanchen, Robert F. Stärk

Theor. Comput. Sci., 2005

2004

A Security Logic for Abstract State Machines.

Stanislas Nanchen, Robert F. Stärk

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

2001

A Logic for Abstract State Machines.

Robert F. Stärk, Stanislas Nanchen

Proceedings of the Computer Science Logic, 15th International Workshop, 2001