PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Reveliotis, Spyros A."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Eliminating Concurrency Bugs in Multithreaded Software: A New Approach Based on Discrete-Event Control.

, , , , , , und . IEEE Trans. Contr. Sys. Techn., 21 (6): 2067-2082 (2013)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

A. Laukemann

A. Laukemann

A. Vo{\ss}

A. Afkari

A. Laukemann

 

Weitere Publikationen von Autoren mit dem selben Namen

Optimal flow control in acyclic networks with uncontrollable routings and precedence constraints., und . Discrete Event Dynamic Systems, 21 (4): 499-518 (2011)On the Optimality of Randomized Deadlock Avoidance Policies., und . Discrete Event Dynamic Systems, 13 (4): 303-320 (2003)Applications of Discrete Event Systems.. Encyclopedia of Systems and Control, Springer, (2015)Production Planning and Control in Flexibly Automated Manufacturing Systems: Current Status and Future Requirements.. ICRA, Seite 1442-1449. IEEE Robotics and Automation Society, (1999)Structural analysis of resource allocation systems with synchronization constraints.. ICRA, Seite 1045-1049. IEEE, (2003)Designing Compact and Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems Through Classification Theory: The Linear Case., , , und . IEEE Trans. Automat. Contr., 56 (8): 1818-1833 (2011)The destabilizing effect of blocking due to finite buffering capacity in multi-class queueing networks.. IEEE Trans. Automat. Contr., 45 (3): 585-588 (2000)On the Linear Separability of the Safe and Unsafe State Subsets of Single-Unit Resource Allocation Systems.. IEEE Trans. Automat. Contr., 59 (9): 2509-2511 (2014)Coordinating Autonomy: Sequential Resource Allocation Systems for Automation.. IEEE Robot. Automat. Mag., 22 (2): 77-94 (2015)A Necessary and Sufficient Condition for the Liveness and Reversibility of Process-Resource Nets With Acyclic, Quasi-live, Serializable, and Reversible Process Subnets.. IEEE Trans. Automation Science and Engineering, 3 (4): 462-468 (2006)