Stephan van Staden

18 papers A* 1A 2B 2C 1Journal 9Unranked 2
YearRankTypeTitle / Venue / Authors
2024 J jnl
ABCDE: Application-Based Cluster Diff Evals.
CoRR
Stephan van Staden, Alexander Grubb
2024 J jnl
Decomposing the Jaccard Distance and the Jaccard Index in ABCDE.
CoRR
Stephan van Staden
2024 J jnl
Evaluation of Cluster Id Assignment Schemes with ABCDE.
CoRR
Stephan van Staden
2024 J jnl
More Clustering Quality Metrics for ABCDE.
CoRR
Stephan van Staden
2024 J jnl
Pointwise Metrics for Clustering Evaluation.
CoRR
Stephan van Staden
2016 J jnl
Developments in concurrent Kleene algebra.
J. Log. Algebraic Methods Program.
Tony Hoare, Stephan van Staden, Bernhard Möller, Georg Struth, Huibiao Zhu
2015 B conf
On Rely-Guarantee Reasoning.
MPC
Stephan van Staden
2014 — conf
Constructing the Views Framework.
UTP
Stephan van Staden
2014 C conf
Developments in Concurrent Kleene Algebra.
RAMiCS
Tony Hoare, Stephan van Staden, Bernhard Möller, Georg Struth, Jules Villard, Huibiao Zhu, Peter W. O'Hearn
2014 J jnl
The laws of programming unify process calculi.
Sci. Comput. Program.
Tony Hoare, Stephan van Staden
2013 — —
Enhancing separation logic for object-orientation.
Stephan van Staden
2012 J jnl
A Framework for Concurrent Imperative Programming
CoRR
Stephan van Staden
2012 — conf
Algebra Unifies Operational Calculi.
UTP
Stephan van Staden, Tony Hoare
2012 A* conf
Freefinement.
POPL
Stephan van Staden, Cristiano Calcagno, Bertrand Meyer
2012 J jnl
In praise of algebra.
Formal Aspects Comput.
Tony Hoare, Stephan van Staden
2012 B conf
The Laws of Programming Unify Process Calculi.
MPC
Tony Hoare, Stephan van Staden
2010 A conf
Reasoning about multiple related abstractions with MultiStar.
OOPSLA
Stephan van Staden, Cristiano Calcagno
2010 A conf
Verifying Executable Object-Oriented Specifications with Separation Logic.
ECOOP
Stephan van Staden, Cristiano Calcagno, Bertrand Meyer