3
Publications
49
Citations
3
H-Index
1997
Active since
Affiliations
X Chen is an author at University of California, Santa Barbara specializing in engineering, computer engineering, and formal methods.
Top concepts
EngineeringPhysicsExplosionsVerificationFluid DynamicsFormal MethodsThermodynamicsMultiphase FlowComputer ScienceProgram Analysis
Publications per year
1997–2024
3
3
Code Soliloquies for Accurate Calculations in Large Language Models
Shashank Sonkar, X Chen, M. van Le et al. · 2024 · 15 citations · Full text
The verification basis of the ESPROSE.m code
T.G. Theofanous, Walter W. Yuen, K. C. Freeman et al. · Nuclear Engineering and Design · 1999 · 11 citations
Rows per page
1–3 of 3