The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Joakim von Wright: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Orieta Celiku, Joakim von Wright
    Implementing Angelic Nondeterminism. [Citation Graph (0, 0)][DBLP]
    APSEC, 2003, pp:176-185 [Conf]
  2. Joakim von Wright, Thomas Långbacka
    Using a Theorem Prover for Reasoning about Concurrent Algorithms. [Citation Graph (0, 0)][DBLP]
    CAV, 1992, pp:56-68 [Conf]
  3. Ralph-Johan Back, Joakim von Wright
    Trace Refinement of Action Systems. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1994, pp:367-384 [Conf]
  4. Ralph-Johan Back, Anna Mikhajlova, Joakim von Wright
    Reasoning About Interactive Systems. [Citation Graph (0, 0)][DBLP]
    World Congress on Formal Methods, 1999, pp:1460-1476 [Conf]
  5. Orieta Celiku, Joakim von Wright
    Theorem Prover Support for Precondition and Correctness Calculation. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2002, pp:299-310 [Conf]
  6. Ralph-Johan Back, Joakim von Wright
    A Lattice-theoretical Basis for a Specification Language. [Citation Graph (0, 0)][DBLP]
    MPC, 1989, pp:139-156 [Conf]
  7. Kim Solin, Joakim von Wright
    Refinement Algebra with Operators for Enabledness and Termination. [Citation Graph (0, 0)][DBLP]
    MPC, 2006, pp:397-415 [Conf]
  8. Joakim von Wright
    From Kleene Algebra to Refinement Algebra. [Citation Graph (0, 0)][DBLP]
    MPC, 2002, pp:233-262 [Conf]
  9. Ralph-Johan Back, Joakim von Wright
    Refinement Calculus, Part I: Sequential Nondeterministic Programs. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1989, pp:42-66 [Conf]
  10. Ralph-Johan Back, Joakim von Wright
    Predicate Transformers and Higher Order Logic. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1992, pp:1-20 [Conf]
  11. Linas Laibinis, Joakim von Wright
    Functional Procedures in Higher-Order Logic. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 2000, pp:372-387 [Conf]
  12. Thomas Långbacka, Rimvydas Ruksenas, Joakim von Wright
    TkWinHOL: A Tool for Window Inference in HOL. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1995, pp:245-260 [Conf]
  13. Thomas Långbacka, Joakim von Wright
    Refining Reactive Systems in HOL Using Action Systems. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1997, pp:183-197 [Conf]
  14. Rimvydas Ruksenas, Joakim von Wright
    A Tool for Data Refinement. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1998, pp:423-441 [Conf]
  15. Anna Mikhajlova, Joakim von Wright
    Proving Isomorphism of First-Order Logic Proof Systems in HOL. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1998, pp:295-314 [Conf]
  16. Joakim von Wright
    Mechanising the Temporal Logic of Actions in HOL. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1991, pp:155-159 [Conf]
  17. Joakim von Wright
    Representing Higher-Order Logic Proofs in HOL. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1994, pp:456-470 [Conf]
  18. Joakim von Wright
    Extending Window Inference. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1998, pp:17-32 [Conf]
  19. Joakim von Wright, Jukka Hekanaho, P. Luostarinen, Thomas Långbacka
    Mechanising some Advanced Refinement Concepts. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1992, pp:307-326 [Conf]
  20. Joakim von Wright, Kaisa Sere
    Program Transformations and Refinements in HOL. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1991, pp:231-239 [Conf]
  21. Ralph-Johan Back, Joakim von Wright
    Reasoning Algebraically about Loops. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1999, v:36, n:4, pp:295-334 [Journal]
  22. Ralph-Johan Back, Joakim von Wright
    Duality in Specification Languages: A Lattice-Theoretical Approach. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1989, v:27, n:7, pp:583-625 [Journal]
  23. Joakim von Wright
    The Lattice of Data Refinement. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1994, v:31, n:2, pp:105-135 [Journal]
  24. Joakim von Wright
    Representing Higher-Order Logic Proofs in HOL. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1995, v:38, n:2, pp:171-179 [Journal]
  25. Ralph-Johan Back, Joakim von Wright
    Compositional Action System Refinement. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:70, n:3, pp:- [Journal]
  26. Ralph-Johan Back, Joakim von Wright
    Contracts, games and refinement. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1997, v:7, n:, pp:- [Journal]
  27. John Derrick, Eerke A. Boiten, Jim Woodcock, Joakim von Wright
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:70, n:3, pp:- [Journal]
  28. Ralph-Johan Back, Jim Grundy, Joakim von Wright
    Structured Calculational Proof. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1997, v:9, n:5-6, pp:469-483 [Journal]
  29. Ralph-Johan Back, Anna Mikhajlova, Joakim von Wright
    Class Refinement as Semantics of Correct Object Substitutability. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2000, v:12, n:1, pp:18-40 [Journal]
  30. Ralph-Johan Back, Joakim von Wright
    Encoding, Decoding and Data Refinement. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2000, v:12, n:5, pp:313-349 [Journal]
  31. Ralph-Johan Back, Joakim von Wright
    Compositional Action System Refinement. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2003, v:15, n:2-3, pp:103-117 [Journal]
  32. Ralph-Johan Back, Joakim von Wright
    Refinement Concepts Formalised in Higher Order Logic. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1990, v:2, n:3, pp:247-272 [Journal]
  33. Joakim von Wright, Jukka Hekanaho, P. Luostarinen, Thomas Långbacka
    Mechanizing Some Advanced Refinement Concepts. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 1993, v:3, n:1/2, pp:49-81 [Journal]
  34. Ralph-Johan Back, Joakim von Wright
    Contracts, Games, and Refinement. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2000, v:156, n:1-2, pp:25-45 [Journal]
  35. Ralph-Johan Back, Joakim von Wright
    Games and Winning Strategies. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1995, v:53, n:3, pp:165-172 [Journal]
  36. Joakim von Wright
    Program Inversion in the Refinement Calculus. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1991, v:37, n:2, pp:95-100 [Journal]
  37. Ralph-Johan Back, Joakim von Wright
    Statement Inversion and Strongest Postcondition. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1993, v:20, n:3, pp:223-251 [Journal]
  38. Joakim von Wright
    Towards a refinement algebra. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2004, v:51, n:1-2, pp:23-45 [Journal]
  39. Ralph-Johan Back, Joakim von Wright
    Combining Angles, Demons and Miracles in Program Specifications. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1992, v:100, n:2, pp:365-383 [Journal]

  40. Distance tutorials in a systems design course. [Citation Graph (, )][DBLP]


Search in 0.006secs, Finished in 0.007secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002