From post

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.

 

Другие публикации лиц с тем же именем

Eliminating Concurrency Bugs in Multithreaded Software: A New Approach Based on Discrete-Event Control., , , , , , и . IEEE Trans. Control. Syst. Technol., 21 (6): 2067-2082 (2013)Deadlock avoidance policies for flexible manufacturing systems: the conjunctive case., и . ICRA, стр. 533-538. IEEE, (1996)Gadara nets: Modeling and analyzing lock allocation for deadlock avoidance in multithreaded software., , , , , и . CDC, стр. 4971-4976. IEEE, (2009)A linear characterization of the Petri net reachability space corresponding to bounded-length fireable transition sequences and its implications for the structural analysis of process-resource nets with acyclic, quasi-live and strongly reversible process subnets.. CDC/ECC, стр. 2113-2118. IEEE, (2005)Solving the Lagrangian dual problem for some traffic coordination problems through linear programming., , и . CDC, стр. 5660-5665. IEEE, (2017)On the "Counter-Example" in the Article "Max'-Controlled Siphons for Liveness of S3PGR2" Regarding the Results in "Deadlock Avoidance in Sequential Resource Allocation Systems With Multiple Resource Acquisitions and Flexible Routings".. IEEE Trans. Automat. Contr., 61 (1): 194-197 (2016)On the Siphon-Based Characterization of Liveness in Sequential Resource Allocation Systems.. ICATPN, том 2679 из Lecture Notes in Computer Science, стр. 241-255. Springer, (2003)Avoidance versus detection and recovery problem in buffer-space allocation of flexibly automated production systems.. IEEE Trans. Syst. Man Cybern. Part B, 30 (5): 799-811 (2000)An Analytical Investigation of the Scheduling Problem for Capacitated Re-Entrant Lines., и . ICRA, стр. 3193-3198. IEEE, (2002)Preservation of Traffic Liveness in MPC Schemes for Guidepath-based Transport Systems.. CASE, стр. 520-527. IEEE, (2018)