Xuechao Sun

From MaRDI portal
Person:2084939



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Characterizing in situ poroelastic properties of cytoplasm by the translation of a rigid spherical inclusion
Acta Mechanica Sinica
2025-04-09Paper
Proving Non-inclusion of Büchi Automata Based on Monte Carlo Sampling
1517.68205
2022-12-22Paper
Synthesizing ranking functions for loop programs via SVM
Theoretical Computer Science
2022-10-14Paper


Research outcomes over time


This page was built for person: Xuechao Sun