Browsing by Author Xu, Hao
Showing results 1 to 2 of 2
| Publication Date | Title | Author(s) |
|---|---|---|
| Apr-2012 | Model Based System Consistency Checking Using Event-B | Xu, Hao |
| 2025 | Prior-guided Neural Compression of Visual Data | Xu, Hao |
| Publication Date | Title | Author(s) |
|---|---|---|
| Apr-2012 | Model Based System Consistency Checking Using Event-B | Xu, Hao |
| 2025 | Prior-guided Neural Compression of Visual Data | Xu, Hao |