Towards a Calculus of Data Refinement. - Wei Chen 094; Jan Tijmen Udding (MPC, 1989)

Networks of Communicating Processes and Their (De-)Composition. - Wei Chen 094; Jan Tijmen Udding; Tom Verhoeff (MPC, 1989)

A Formal Approach to Program Inversion. - Wei Chen 094 (ACM Conference on Computer Science, 1990)

Program Inversion: More than Fun! - Wei Chen 094; Jan Tijmen Udding (Sci. Comput. Program., 1990)

A wp Characterization of Jump Statements. - Wei Chen 094 (TASE, 2021)

Behind Clint and Hoare's goto Proof Rule. - Wei Chen 094 (TASE, 2021)

Loop invariance with break and continue. - Wei Chen 094 (Sci. Comput. Program., 2021)

Weakest preconditioned goto axiom. - Wei Chen 094 (Inf. Process. Lett., 2023)