Joakim von Wright
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
7
Active years
1989–2006
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2006 | MPC | Refinement Algebra with Operators for Enabledness and Termination. | Kim Solin, Joakim von Wright |
| 2003 | APSEC | Implementing Angelic Nondeterminism. | Orieta Celiku, Joakim von Wright |
| 2002 | ICFEM | Theorem Prover Support for Precondition and Correctness Calculation. | Orieta Celiku, Joakim von Wright |
| 2002 | MPC | From Kleene Algebra to Refinement Algebra. | Joakim von Wright |
| 2000 | ITiCSE | Distance tutorials in a systems design course. | Joakim von Wright |
| 1999 | FM | Reasoning About Interactive Systems. | Ralph-Johan Back, Anna Mikhajlova, Joakim von Wright |
| 1994 | CONCUR | Trace Refinement of Action Systems. | Ralph-Johan Back, Joakim von Wright |
| 1992 | CAV | Using a Theorem Prover for Reasoning about Concurrent Algorithms. | Joakim von Wright, Thomas Lngbacka |
| 1989 | MPC | A Lattice-theoretical Basis for a Specification Language. | Ralph-Johan Back, Joakim von Wright |