Yichen Xie
From MaRDI portal
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 |
|---|---|---|
| Adaptive neural appointed-time prescribed performance control for the manipulator system via barrier Lyapunov function Journal of the Franklin Institute | 2025-03-03 | Paper |
| Scalable error detection using Boolean satisfiability Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2017-07-14 | Paper |
| Computer Aided Verification Lecture Notes in Computer Science | 2006-01-10 | Paper |
| Computer Aided Verification Lecture Notes in Computer Science | 2005-08-25 | Paper |
| CONCUR 2004 - Concurrency Theory Lecture Notes in Computer Science | 2005-08-23 | Paper |
Research outcomes over time
This page was built for person: Yichen Xie
