Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Joakim von Wright

2000 – 2009

see FAQ

What is the meaning of the colors in the publication list?

2009
[j20]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/scp/SolinW09
- ask others
Kim Solin, Joakim von Wright: Enabledness and termination in refinement algebra. Sci. Comput. Program. 74(8): 654-668 (2009)
2006
[c21]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/mpc/SolinW06
- ask others
Kim Solin, Joakim von Wright: Refinement Algebra with Operators for Enabledness and Termination. MPC 2006: 397-415
2004
[j19]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/scp/Wright04
- ask others
Joakim von Wright: Towards a refinement algebra. Sci. Comput. Program. 51(1-2): 23-45 (2004)
2003
[j18]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fac/BackW03
- ask others
Ralph-Johan Back, Joakim von Wright: Compositional Action System Refinement. Formal Asp. Comput. 15(2-3): 103-117 (2003)
[c20]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/apsec/CelikuW03
- ask others
Orieta Celiku, Joakim von Wright: Implementing Angelic Nondeterminism. APSEC 2003: 176-185
2002
[j17]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/DerrickBWW02
- ask others
John Derrick, Eerke A. Boiten, Jim Woodcock, Joakim von Wright: Preface. Electr. Notes Theor. Comput. Sci. 70(3): 1-2 (2002)
[j16]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/BackW02
- ask others
Ralph-Johan Back, Joakim von Wright: Compositional Action System Refinement. Electr. Notes Theor. Comput. Sci. 70(3): 3 (2002)
[c19]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icfem/CelikuW02
- ask others
Orieta Celiku, Joakim von Wright: Theorem Prover Support for Precondition and Correctness Calculation. ICFEM 2002: 299-310
[c18]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/mpc/Wright02
- ask others
Joakim von Wright: From Kleene Algebra to Refinement Algebra. MPC 2002: 233-262
2000
[j15]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fac/BackMW00
- ask others
Ralph-Johan Back, Anna Mikhajlova, Joakim von Wright: Class Refinement as Semantics of Correct Object Substitutability. Formal Asp. Comput. 12(1): 18-40 (2000)
[j14]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fac/BackW00
- ask others
Ralph-Johan Back, Joakim von Wright: Encoding, Decoding and Data Refinement. Formal Asp. Comput. 12(5): 313-349 (2000)
[j13]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/iandc/BackW00
- ask others
Ralph-Johan Back, Joakim von Wright: Contracts, Games, and Refinement. Inf. Comput. 156(1-2): 25-45 (2000)
[c17]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/iticse/Wright00
- ask others
Joakim von Wright: Distance tutorials in a systems design course. ITiCSE 2000: 105-107
[c16]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tphol/LaibinisW00
- ask others
Linas Laibinis, Joakim von Wright: Functional Procedures in Higher-Order Logic. TPHOLs 2000: 372-387

1990 – 1999

see FAQ

What is the meaning of the colors in the publication list?

1999
[b1]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - books/daglib/0096285
- ask others
Ralph-Johan Back, Joakim von Wright: Refinement calculus - a systematic introduction. Undergraduate texts in computer science, Springer 1999, ISBN 978-0-387-98417-9, pp. I-XV, 1-519
[j12]
- view
  - electronic edition @ springer.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/acta/BackW99
- ask others
Ralph-Johan Back, Joakim von Wright: Reasoning Algebraically about Loops. Acta Inf. 36(4): 295-334 (1999)
[c15]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fm/BackMW99
- ask others
Ralph-Johan Back, Anna Mikhajlova, Joakim von Wright: Reasoning About Interactive Systems. World Congress on Formal Methods 1999: 1460-1476
1998
[c14]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tphol/Wright98
- ask others
Joakim von Wright: Extending Window Inference. TPHOLs 1998: 17-32
[c13]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tphol/MikhajlovaW98
- ask others
Anna Mikhajlova, Joakim von Wright: Proving Isomorphism of First-Order Logic Proof Systems in HOL. TPHOLs 1998: 295-314
[c12]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tphol/RuksenasW98
- ask others
Rimvydas Ruksenas, Joakim von Wright: A Tool for Data Refinement. TPHOLs 1998: 423-441
1997
[j11]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/BackW97
- ask others
Ralph-Johan Back, Joakim von Wright: Contracts, games and refinement. Electr. Notes Theor. Comput. Sci. 7: 20-33 (1997)
[j10]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fac/BackGW97
- ask others
Ralph-Johan Back, Jim Grundy, Joakim von Wright: Structured Calculational Proof. Formal Asp. Comput. 9(5-6): 469-483 (1997)
[c11]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tphol/LangbackaW97
- ask others
Thomas Långbacka, Joakim von Wright: Refining Reactive Systems in HOL Using Action Systems. TPHOLs 1997: 183-197
1996
[e1]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tphol/1996
- ask others
Joakim von Wright, Jim Grundy, John Harrison (Eds.): Theorem Proving in Higher Order Logics, 9th International Conference, TPHOLs'96, Turku, Finland, August 26-30, 1996, Proceedings. Lecture Notes in Computer Science 1125, Springer 1996, ISBN 3-540-61587-3
1995
[j9]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/cj/Wright95
- ask others
Joakim von Wright: Representing Higher-Order Logic Proofs in HOL. Comput. J. 38(2): 171-179 (1995)
[j8]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/ipl/BackW95
- ask others
Ralph-Johan Back, Joakim von Wright: Games and Winning Strategies. Inf. Process. Lett. 53(3): 165-172 (1995)
[c10]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tphol/LangbackaRW95
- ask others
Thomas Långbacka, Rimvydas Ruksenas, Joakim von Wright: TkWinHOL: A Tool for Window Inference in HOL. TPHOLs 1995: 245-260
1994
[j7]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/acta/Wright94
- ask others
Joakim von Wright: The Lattice of Data Refinement. Acta Inf. 31(2): 105-135 (1994)
[c9]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/concur/BackW94
- ask others
Ralph-Johan Back, Joakim von Wright: Trace Refinement of Action Systems. CONCUR 1994: 367-384
[c8]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tphol/Wright94
- ask others
Joakim von Wright: Representing Higher-Order Logic Proofs in HOL. TPHOLs 1994: 456-470
1993
[j6]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fmsd/WrightHLL93
- ask others
Joakim von Wright, Jukka Hekanaho, P. Luostarinen, Thomas Långbacka: Mechanizing Some Advanced Refinement Concepts. Formal Methods in System Design 3(1/2): 49-81 (1993)
[j5]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/scp/BackW93
- ask others
Ralph-Johan Back, Joakim von Wright: Statement Inversion and Strongest Postcondition. Sci. Comput. Program. 20(3): 223-251 (1993)
1992
[j4]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/BackW92
- ask others
Ralph-Johan Back, Joakim von Wright: Combining Angles, Demons and Miracles in Program Specifications. Theor. Comput. Sci. 100(2): 365-383 (1992)
[c7]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/cav/WrightL92
- ask others
Joakim von Wright, Thomas Långbacka: Using a Theorem Prover for Reasoning about Concurrent Algorithms. CAV 1992: 56-68
[c6]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/rex/BackW92
- ask others
Ralph-Johan Back, Joakim von Wright: Predicate Transformers and Higher Order Logic. REX Workshop 1992: 1-20
[c5]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tphol/WrightHLL92
- ask others
Joakim von Wright, Jukka Hekanaho, P. Luostarinen, Thomas Långbacka: Mechanising some Advanced Refinement Concepts. TPHOLs 1992: 307-326
1991
[j3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/ipl/Wright91
- ask others
Joakim von Wright: Program Inversion in the Refinement Calculus. Inf. Process. Lett. 37(2): 95-100 (1991)
[c4]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tphol/Wright91
- ask others
Joakim von Wright: Mechanising the Temporal Logic of Actions in HOL. TPHOLs 1991: 155-159
[c3]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tphol/WrightS91
- ask others
Joakim von Wright, Kaisa Sere: Program Transformations and Refinements in HOL. TPHOLs 1991: 231-239
1990
[j2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fac/BackW90
- ask others
Ralph-Johan Back, Joakim von Wright: Refinement Concepts Formalised in Higher Order Logic. Formal Asp. Comput. 2(3): 247-272 (1990)

1980 – 1989

see FAQ

What is the meaning of the colors in the publication list?

1989
[j1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/acta/BackW89
- ask others
Ralph-Johan Back, Joakim von Wright: Duality in Specification Languages: A Lattice-Theoretical Approach. Acta Inf. 27(7): 583-625 (1989)
[c2]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/mpc/BackW89
- ask others
Ralph-Johan Back, Joakim von Wright: A Lattice-theoretical Basis for a Specification Language. MPC 1989: 139-156
[c1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/rex/BackW89
- ask others
Ralph-Johan Back, Joakim von Wright: Refinement Calculus, Part I: Sequential Nondeterministic Programs. REX Workshop 1989: 42-66