Hongwei Liao

From MaRDI portal
Person:2393137

Available identifiers

zbMath Open liao.hongweiMaRDI QIDQ2393137

List of research outcomes





PublicationDate of PublicationType
Optimal Liveness-Enforcing Control for a Class of Petri Nets Arising in Multithreaded Software2017-09-08Paper
Semi-structured \(B\)-spline for blending two \(B\)-spline surfaces2017-05-30Paper
SAT-Based Control of Concurrent Software for Deadlock Avoidance2017-05-16Paper
Concurrency bugs in multithreaded software: modeling and analysis using Petri nets2013-08-07Paper

Research outcomes over time

This page was built for person: Hongwei Liao

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2393137&oldid=7134703"
Powered by MediaWiki