Stephan van Staden

According to our database, Stephan van Staden authored at least 17 papers between 2010 and 2024.

Collaborative distances:

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

2024

Decomposing the Jaccard Distance and the Jaccard Index in ABCDE.

Stephan van Staden

CoRR, 2024

Evaluation of Cluster Id Assignment Schemes with ABCDE.

Stephan van Staden

CoRR, 2024

More Clustering Quality Metrics for ABCDE.

Stephan van Staden

CoRR, 2024

ABCDE: Application-Based Cluster Diff Evals.

Stephan van Staden, Alexander Grubb

CoRR, 2024

Pointwise Metrics for Clustering Evaluation.

Stephan van Staden

CoRR, 2024

2016

Developments in concurrent Kleene algebra.

Tony Hoare, Stephan van Staden, Bernhard Möller, Georg Struth, Huibiao Zhu

J. Log. Algebraic Methods Program., 2016

2015

On Rely-Guarantee Reasoning.

Stephan van Staden

Proceedings of the Mathematics of Program Construction - 12th International Conference, 2015

2014

The laws of programming unify process calculi.

Tony Hoare, Stephan van Staden

Sci. Comput. Program., 2014

Constructing the Views Framework.

Stephan van Staden

Proceedings of the Unifying Theories of Programming - 5th International Symposium, 2014

Developments in Concurrent Kleene Algebra.

Tony Hoare, Stephan van Staden, Bernhard Möller, Georg Struth, Jules Villard, Huibiao Zhu, Peter W. O'Hearn

Proceedings of the Relational and Algebraic Methods in Computer Science, 2014

2013

Enhancing separation logic for object-orientation.

Stephan van Staden

PhD thesis, 2013

2012

In praise of algebra.

Tony Hoare, Stephan van Staden

Formal Aspects Comput., 2012

A Framework for Concurrent Imperative Programming

Stephan van Staden

CoRR, 2012

Algebra Unifies Operational Calculi.

Stephan van Staden, Tony Hoare

Proceedings of the Unifying Theories of Programming, 4th International Symposium, 2012

Freefinement.

Stephan van Staden, Cristiano Calcagno, Bertrand Meyer

Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012

2010

Reasoning about multiple related abstractions with MultiStar.

Stephan van Staden, Cristiano Calcagno

Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

Verifying Executable Object-Oriented Specifications with Separation Logic.

Stephan van Staden, Cristiano Calcagno, Bertrand Meyer

Proceedings of the ECOOP 2010, 2010