Concepedia
Statistics
Publications
10
Citations
271
H-Index
Active since
1988
Affiliations
East China Normal University(Current)
Shanghai University of Engineering Science
Kent State University
Shanghai Key Laboratory of Trustworthy Computing
Wen Su is an author at East China Normal University specializing in formal methods, computer science, and computing.
Publications per year
1988–2025
Formalizing hybrid systems with Event-B and the Rodin Platform
Wen Su, Jean-Raymond Abrial, Huibiao Zhu · Science of Computer Programming · 2014 · 52 citations
Computing, Computer Science, Systems Engineering +12
The influence of hydration on the conformation of lysozyme studied by solid‐state <sup>13</sup>C‐nmr spectroscopy
Roger B. Gregory, Mahinda Gangoda, R. K. Gilpin et al. · Biopolymers · 1993 · 51 citations
Natural Sciences, Biochemistry, Biophysics +16
The C Programmer's Abbreviated Guide to Multicomputer Programming
Charles L. Seitz, Jakov N. Seizovic, Wen Su · Cell and Tissue Research · 1988 · 48 citations · Full text
Computing, Computer Science, Computer Systems +16
The influence of hydration on the conformation of bovine serum albumin studied by solid‐state <sup>13</sup>C‐nmr spectroscopy
Roger B. Gregory, Mahinda Gangoda, R. K. Gilpin et al. · Biopolymers · 1993 · 36 citations
Natural Sciences, Biochemistry, Biophysics +17
Formalizing MapReduce with CSP
Fan Yang, Wen Su, Huibiao Zhu et al. · 2010 · 17 citations
Computing, Computer Science, Cluster Computing +12
1–5 of 10