E-LIB Suche - Ergebnisse für: Wright, Joakim von

1

Enabledness and termination in refinement algebra:

Solin, Kim ; von Wright, Joakim
Science of Computer Programming. 74 (2009) 8 - p. 654-668 , 2009

2

Preface:

Derrick, John ; Boiten, Eerke ; Woodcock, Jim.
Electronic Notes in Theoretical Computer Science. 70 (2002) 3 - p. 1-2 , 2002

Link: https://doi.org/10.1016/..

3

Contracts, Games, and Refinement:

Back, Ralph-Johan ; von Wright, Joakim
Information and Computation. 156 (2000) 1-2 - p. 25-45 , 2000

Link: https://doi.org/10.1006/..

4

Class Refinement as Semantics of Correct Object Substitutab..:

Back, Ralph-Johan ; Mikhajlova, Anna ; von Wright, Joakim
Formal Aspects of Computing. 12 (2000) 1 - p. 18-40 , 2000

Link: https://doi.org/10.1007/..

5

Distance tutorials in a systems design course:

von Wright, Joakim
ACM SIGCSE Bulletin. 32 (2000) 3 - p. 105-107 , 2000

Link: https://doi.org/10.1145/..

6

Encoding, Decoding and Data Refinement:

Back, Ralph-Johan ; von Wright, Joakim
Formal Aspects of Computing. 12 (2000) 5 - p. 313-349 , 2000

Link: https://doi.org/10.1007/..

7

Distance tutorials in a systems design course:

, In: Proceedings of the 5th annual SIGCSE/SIGCUE ITiCSEconference on Innovation and technology in computer science education,

von Wright, Joakim - p. 105-107 , 2000

Link: https://dl.acm.org/doi/1..

8

Structured calculational proof:

Back, Ralph ; Grundy, Jim ; von Wright, Joakim
Formal Aspects of Computing. 9 (1997) 5-6 - p. 469-483 , 1997

Link: https://doi.org/10.1007/..

9

Theorem proving in higher order logics

9th international conference, TPHOLs'96, Turku, Finland, Au... Lecture notes in computer science ; 1125

Wright, Joakim von , 1996

Link: http://dx.doi.org/10.100..

10

Book reviews:

von Wright, Joakim ; Jeavons, Peter ; Bradfield, Julian..
Formal Aspects of Computing. 7 (1995) 1 - p. 106-110 , 1995

Link: https://doi.org/10.1007/..

11

Structured calculational proof:

Black, Ralph ; Grundy, Jim ; von Wright, Joakim
http://hdl.handle.net/1885/40761. , 2011

Link: http://hdl.handle.net/18..

12

Mehuken vindpark ; Mehuken wind park:

Byrkjeland, Eirik ; Strømgren, Torleif Wiik ; Wright, James Joakim
https://hdl.handle.net/11250/2682249. , 2020

Link: https://hdl.handle.net/1..

13

Speculative trading preferences of retail investor birth co..:

Lepone, Grace ; Westerholm, Joakim ; Wright, Danika
Accounting & Finance. 63 (2022) 1 - p. 555-574 , 2022

Link: https://doi.org/10.1111/..

14

Representing Steerable Bases for cryo-EM in ASPIRE:

, In: 2022 IEEE 18th International Conference on e-Science (e-Science),

Langfield, Christopher ; Carmichael, Joshua ; Wright, Garrett.. - p. 417-418 , 2022

Link: https://doi.org/10.1109/..

15

Maliwawa figures—a previously undescribed Arnhem Land rock ..:

Taçon, Paul S.C. ; May, Sally K. ; Lamilami, Ronald...
Australian Archaeology. 86 (2020) 3 - p. 208-225 , 2020

Link: https://doi.org/10.1080/..