Author of the publication

Maximally permissive deadlock avoidance for multithreaded computer programs (Extended abstract).

, , , , , , and . CASE, page 37-41. IEEE, (2009)

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.

 

Other publications of authors with the same name

Discovery of new multifunctional selective acetylcholinesterase inhibitors: structure-based virtual screening and biological evaluation., , , , , , and . J. Comput. Aided Mol. Des., 33 (5): 521-530 (2019)Adding Multi-Class Routing into the DiffServ Architecture., , and . Systems Communications, page 326-334. IEEE Computer Society, (2005)The Research on the Logistics Service Design Based on the Theory of Brand Image: A Case for FEELER., , and . HCI (19), volume 8528 of Lecture Notes in Computer Science, page 47-58. Springer, (2014)Mixed Game Pigeon-Inspired Optimization for Unmanned Aircraft System Swarm Formation., , , and . ICSI (1), volume 11655 of Lecture Notes in Computer Science, page 429-438. Springer, (2019)Joint Cooperative Relay and Cross Layer HARQ for QoS Provisioning in Wireless Sensor Networks., , , and . EAI Endorsed Trans. Self-Adaptive Systems, 1 (4): e2 (2015)Direct multi-hop time synchronization with constructive interference., , and . IPSN, page 115-116. IEEE Computer Society / ACM, (2012)Identification of a class of generalized autoregressive conditional heteroskedasticity (GARCH) models with applications to covariance propagation., , , and . CDC, page 795-800. IEEE, (2015)Frobenius norm minimization and probing for preconditioning., , and . Int. J. Comput. Math., 84 (8): 1211-1223 (2007)Register Allocation By Model Transformer Semantics, and . CoRR, (2012)Coordinated Target Tracking via a Hybrid Optimization Approach., and . Sensors, 17 (3): 472 (2017)