PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Liao, Hongwei"

Author of the publication

copydeleteadd this publication to your clipboard
Optimal Liveness-Enforcing Control for a Class of Petri Nets Arising in Multithreaded Software.

, , , , and . IEEE Trans. Automat. Contr., 58 (5): 1123-1138 (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Kuan-Po Liao University of Stuttgart

Yiwen Liao University of Stuttgart

Liao Han University of Stuttgart

 

Other publications of authors with the same name

Deadlock-avoidance control of multithreaded software: An efficient siphon-based algorithm for Gadara petri nets., , , , , and . CDC-ECE, page 1142-1148. IEEE, (2011)Concurrency bugs in multithreaded software: modeling and analysis using Petri nets., , , , , , , and . Discrete Event Dynamic Systems, 23 (2): 157-195 (2013)Simulation analysis of multithreaded programs under deadlock-avoidance control., , and . Winter Simulation Conference, page 703-715. IEEE, (2011)A Vertical Handover Decision Algorithm Based on Fuzzy Control Theory., , and . IMSCCS (2), page 309-313. IEEE Computer Society, (2006)0-7695-2581-4.Quality guaranteed all-hex mesh generation by a constrained volume iterative fitting algorithm., , , and . Computer-Aided Design, (2015)Gadara nets: Modeling and analyzing lock allocation for deadlock avoidance in multithreaded software., , , , , and . CDC, page 4971-4976. IEEE, (2009)Work in progress - A new laboratory project in a required Electrical Engineering course for non-majors: Design, survey, and analysis of student feedback., and . FIE, page 3. IEEE Computer Society, (2011)Adaptive Call Admission Control for Multi-Class Services in Wireless Networks., , and . ICC, page 2840-2844. IEEE, (2008)A Petri net approach to resource allocation in brand management systems., and . IEEM, page 41-45. IEEE, (2011)Affine Arithmetic-Based B-Spline Surface Intersection with GPU Acceleration., , , and . IEEE Trans. Vis. Comput. Graph., 20 (2): 172-181 (2014)