Joakim von Wright
According to our database1,
Joakim von Wright
authored at least 41 papers
between 1989 and 2009.
Collaborative distances:
Collaborative distances:
Timeline
1990
1995
2000
2005
0
1
2
3
4
5
1
1
1
2
1
1
2
1
2
1
1
2
1
1
3
2
1
3
2
1
2
3
2
1
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2009
2006
Proceedings of the Mathematics of Program Construction, 8th International Conference, 2006
2004
2003
Proceedings of the 10th Asia-Pacific Software Engineering Conference (APSEC 2003), 2003
2002
Proceedings of the Mathematics of Program Construction, 6th International Conference, 2002
Proceedings of the Formal Methods and Software Engineering, 2002
2000
Formal Aspects Comput., 2000
Proceedings of the Theorem Proving in Higher Order Logics, 13th International Conference, 2000
Proceedings of the 5th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2000
1999
1998
Proceedings of the Theorem Proving in Higher Order Logics, 11th International Conference, 1998
Proceedings of the Theorem Proving in Higher Order Logics, 11th International Conference, 1998
Proceedings of the Theorem Proving in Higher Order Logics, 11th International Conference, 1998
Graduate Texts in Computer Science, Springer, ISBN: 978-1-4612-1674-2, 1998
1997
Proceedings of the International Workshop on Expressiveness in Concurrency, 1997
Proceedings of the Theorem Proving in Higher Order Logics, 10th International Conference, 1997
1995
Proceedings of the Higher Order Logic Theorem Proving and Its Applications, 1995
1994
Proceedings of the 6th Refinement Workshop, 1994
1993
1992
Theor. Comput. Sci., 1992
Mechanising some Advanced Refinement Concepts.
Proceedings of the Higher Order Logic Theorem Proving and its Applications, 1992
Proceedings of the Sematics: Foundations and Applications, 1992
Proceedings of the Computer Aided Verification, Fourth International Workshop, 1992
1991
Program Transformations and Refinements in HOL.
Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and its Applications, 1991
Mechanising the Temporal Logic of Actions in HOL.
Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and its Applications, 1991
1990
Acta Informatica, 1990
Refinement Concepts Formalized in Higher Order Logic.
Proceedings of the Programming concepts and methods: Proceedings of the IFIP Working Group 2.2, 1990
1989
Proceedings of the Stepwise Refinement of Distributed Systems, 1989
Proceedings of the Mathematics of Program Construction, 1989