Karen Stephenson

According to our database1, Karen Stephenson authored at least 4 papers between 1996 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2020
Formal Model-Based Assurance Cases in Isabelle/SACM: An Autonomous Underwater Vehicle Case Study.
Proceedings of the FormaliSE@ICSE 2020: 8th International Conference on Formal Methods in Software Engineering, 2020

2003
The algebraic structure of interfaces.
Sci. Comput. Program., 2003

1998
Towards an Algebraic Specification of the Java Virtual Machine.
Proceedings of the Prospects for Hardware Foundations, ESPRIT Working Group 8533, NADA, 1998

1996
An algebraic approach to syntax, semantics and compilation.
PhD thesis, 1996


  Loading...