Chao Wang
From MaRDI portal
Person:1629744
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!
| Publication | Date of Publication | Type |
|---|---|---|
| Solving nonlinear fractional differential equations by common fixed point results for a pair of (, )-type contractions in metric spaces Demonstratio Mathematica | 2025-01-06 | Paper |
| Sensitivity-based finite element model updating using dynamic condensation approach International Journal of Structural Stability and Dynamics | 2024-04-26 | Paper |
| TSO-to-TSO linearizability is undecidable Acta Informatica | 2018-12-12 | Paper |
| Decomposable relaxation for concurrent data structures SOFSEM 2017: Theory and Practice of Computer Science | 2017-04-04 | Paper |
| Bounded TSO-to-SC linearizability is decidable Lecture Notes in Computer Science | 2016-03-10 | Paper |
| Quasi-linearizability is undecidable Programming Languages and Systems | 2016-01-08 | Paper |
| TSO-to-TSO linearizability is undecidable Automated Technology for Verification and Analysis | 2016-01-08 | Paper |
Research outcomes over time
This page was built for person: Chao Wang
