Stephan van Staden

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 4

Top Topics

Mutual Exclusion

Hierarchical Reinforcement Learning

Laplace Transform

Top Venues

J. Log. Algebraic Methods Program.

Publications

Stephan van Staden, Alexander Grubb
ABCDE: Application-Based Cluster Diff Evals. CoRR (2024)
Stephan van Staden
Pointwise Metrics for Clustering Evaluation. CoRR (2024)
Tony Hoare, Stephan van Staden, Bernhard Möller, Georg Struth, Huibiao Zhu
Developments in concurrent Kleene algebra. J. Log. Algebraic Methods Program. 85 (4) (2016)
Stephan van Staden
On Rely-Guarantee Reasoning. MPC (2015)
Tony Hoare, Stephan van Staden, Bernhard Möller, Georg Struth, Jules Villard, Huibiao Zhu, Peter W. O'Hearn
Developments in Concurrent Kleene Algebra. RAMiCS (2014)
Stephan van Staden
Constructing the Views Framework. UTP (2014)
Tony Hoare, Stephan van Staden
The laws of programming unify process calculi. Sci. Comput. Program. 85 (2014)
Stephan van Staden, Cristiano Calcagno, Bertrand Meyer
Freefinement. POPL (2012)
Stephan van Staden, Tony Hoare
Algebra Unifies Operational Calculi. UTP (2012)
Stephan van Staden
A Framework for Concurrent Imperative Programming CoRR (2012)
Tony Hoare, Stephan van Staden
In praise of algebra. Formal Aspects Comput. 24 (4-6) (2012)
Tony Hoare, Stephan van Staden
The Laws of Programming Unify Process Calculi. MPC (2012)
Stephan van Staden, Cristiano Calcagno
Reasoning about multiple related abstractions with MultiStar. OOPSLA (2010)
Stephan van Staden, Cristiano Calcagno, Bertrand Meyer
Verifying Executable Object-Oriented Specifications with Separation Logic. ECOOP (2010)