- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| j3 |      | Ahmed Nazeem, Spiridon Reveliotis: Designing Compact and Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems Through Classification Theory: The Nonlinear Case. IEEE Trans. Automat. Contr. 57(7): 1670-1684 (2012) |
| c6 | | Ahmed Nazeem, Spyros A. Reveliotis: An efficient algorithm for the enumeration of the minimal unsafe states in complex resource allocation systems. CASE 2012: 686-693 |
| c5 | | Roberto Cordone, Ahmed Nazeem, Luigi Piroddi, Spyros A. Reveliotis: Maximally permissive deadlock avoidance for sequential resource allocation systems using disjunctions of linear classifiers. CDC 2012: 7244-7251 |
| 2011 | ||
| j2 | | Ahmed Nazeem, Spyros A. Reveliotis, Yin Wang, Stéphane Lafortune: Designing Compact and Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems Through Classification Theory: The Linear Case. IEEE Trans. Automat. Contr. 56(8): 1818-1833 (2011) |
| j1 | | Ahmed Nazeem, Spiridon Reveliotis: A Practical Approach for Maximally Permissive Liveness-Enforcing Supervision of Complex Resource Allocation Systems. IEEE T. Automation Science and Engineering 8(4): 766-779 (2011) |
| c4 | | Ahmed Nazeem, Spyros A. Reveliotis: Designing maximally permissive deadlock avoidance policies for sequential resource allocation systems through classification theory. CASE 2011: 405-412 |
| c3 | | Yin Wang, Ahmed Nazeem, Ram Swaminathan: On the Optimal Petri Net Representation for Service Composition. ICWS 2011: 235-242 |
| 2010 | ||
| c2 | | Ahmed Nazeem, Spiridon Reveliotis: A practical approach to the design of maximally permissive liveness-enforcing supervisors for complex resource allocation systems. CASE 2010: 451-458 |
| 2009 | ||
| c1 | | Yin Wang, Hongwei Liao, Ahmed Nazeem, Spyros A. Reveliotis, Terence Kelly, Scott A. Mahlke, Stéphane Lafortune: Maximally permissive deadlock avoidance for multithreaded computer programs (Extended abstract). CASE 2009: 37-41 |
| 1 | Roberto Cordone | |
| 2 | Terence Kelly | |
| 3 | Stéphane Lafortune | |
| 4 | Hongwei Liao | |
| 5 | Scott A. Mahlke | |
| 6 | Luigi Piroddi | |
| 7 | Spyros A. Reveliotis (Spiridon Reveliotis) | |
| 8 | Ram Swaminathan | |
| 9 | Yin Wang |
Data released under the ODC-BY 1.0 license — See also our legal information page