We stand with Ukraine  

Wei Chen

Orcid: 0000-0001-7436-0293

Affiliations:
  • VMware Inc., Palo Alto, CA, USA
  • Washington University, Department of Computer Science, St. Louis, MO, USA (PhD 1992)


According to our database1, Wei Chen authored at least 8 papers between 1989 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Weakest preconditioned goto axiom.
[BibTeX]
[DOI]
Wei Chen
Inf. Process. Lett., 2023

2021
Loop invariance with <i>break</i> and <i>continue</i>.
[BibTeX]
[DOI]
Wei Chen
Sci. Comput. Program., 2021

Behind Clint and Hoare's goto Proof Rule.
[BibTeX]
[DOI]
Wei Chen
Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2021

A wp Characterization of Jump Statements.
[BibTeX]
[DOI]
Wei Chen
Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2021

1990
Program Inversion: More than Fun!
[BibTeX]
[DOI]
Wei Chen
,
Jan Tijmen Udding
Sci. Comput. Program., 1990

A Formal Approach to Program Inversion.
[BibTeX]
[DOI]
Wei Chen
Proceedings of the ACM 18th Annual Computer Science Conference on Cooperation, 1990

1989
Networks of Communicating Processes and Their (De-)Composition.
[BibTeX]
[DOI]
Wei Chen
,
Jan Tijmen Udding
,
Tom Verhoeff
Proceedings of the Mathematics of Program Construction, 1989

Towards a Calculus of Data Refinement.
[BibTeX]
[DOI]
Wei Chen
,
Jan Tijmen Udding
Proceedings of the Mathematics of Program Construction, 1989


  Loading...