Karen Seidel

Affiliations:

Oxford University, UK

According to our database¹, Karen Seidel authored at least 6 papers between 1994 and 1997.

Collaborative distances:

Dijkstra number² of three.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

1997

Probabilistic Models for the Guarded Command Language.

[BibT_eX]

[DOI]

Jifeng He

Karen Seidel

Annabelle McIver

Sci. Comput. Program., 1997

1996

Probabilistic Predicate Transformers.

[BibT_eX]

[DOI]

Carroll Morgan

Annabelle McIver

Karen Seidel

ACM Trans. Program. Lang. Syst., 1996

Structured Development of a Virtual Shared Memory System.

[BibT_eX]

[DOI]

Karen Seidel

Paul H. B. Gardiner

Formal Aspects Comput., 1996

Refinement-Oriented Probability for CSP.

[BibT_eX]

[DOI]

Formal Aspects Comput., 1996

1995

Probabilistic Communicating Processes.

[BibT_eX]

[DOI]

Karen Seidel

Theor. Comput. Sci., 1995

1994

Case Study: Specification and Refinement of the PI-Bus.

[BibT_eX]

[DOI]

Karen Seidel

Proceedings of the FME '94: Industrial Benefit of Formal Methods, 1994

Karen Seidel

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...