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 |
|---|---|---|
| On the exploitation of control knowledge for enhancing automated planning Information Sciences | 2025-01-16 | Paper |
| Deep Collaborative Multi-View Hashing for Large-Scale Image Search IEEE Transactions on Image Processing | 2022-09-16 | Paper |
| Wireless wearable biosensor smart physiological monitoring system for risk avoidance and rescue Mathematical Biosciences and Engineering | 2022-04-25 | Paper |
| Verify heaps via unified model checking Theoretical Computer Science | 2020-04-08 | Paper |
| Using unified model checking to verify heaps Combinatorial Optimization and Applications | 2017-02-01 | Paper |
| Checking satisfiability of two-dimensional logic PPTL\(^{\mathrm{SL}}\) Journal of Software | 2016-10-06 | Paper |
| The estimation and inference on the equal ratios of means to standard deviations of normal populations Statistical Papers | 2015-02-06 | Paper |
| Convexity estimates for level sets of quasiconcave solutions to fully nonlinear elliptic equations Journal für die Reine und Angewandte Mathematik | 2013-08-16 | Paper |
Research outcomes over time
This page was built for person: Xu Lu
