Hongwei Liao
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 |
|---|---|---|
| Optimal Liveness-Enforcing Control for a Class of Petri Nets Arising in Multithreaded Software IEEE Transactions on Automatic Control | 2017-09-08 | Paper |
| Semi-structured \(B\)-spline for blending two \(B\)-spline surfaces Computers & Mathematics with Applications | 2017-05-30 | Paper |
| SAT-Based Control of Concurrent Software for Deadlock Avoidance IEEE Transactions on Automatic Control | 2017-05-16 | Paper |
| Concurrency bugs in multithreaded software: modeling and analysis using Petri nets Discrete Event Dynamic Systems | 2013-08-07 | Paper |
Research outcomes over time
This page was built for person: Hongwei Liao
