| Trajectories of maternal depressive and anxiety symptoms from pregnancy to five years postpartum and their prenatal predictors A Ahmed, A Bowen, CX Feng, N Muhajarine BMC pregnancy and childbirth 19 (1), 26, 2019 | 143 | 2019 |
| Designing compact and maximally permissive deadlock avoidance policies for complex resource allocation systems through classification theory: The linear case A Nazeem, S Reveliotis, Y Wang, S Lafortune IEEE Transactions on Automatic Control 56 (8), 1818-1833, 2010 | 131 | 2010 |
| Designing optimal deadlock avoidance policies for sequential resource allocation systems through classification theory: existence results and customized algorithms R Cordone, A Nazeem, L Piroddi, S Reveliotis IEEE Transactions on Automatic Control 58 (11), 2772-2787, 2013 | 45 | 2013 |
| A practical approach for maximally permissive liveness-enforcing supervision of complex resource allocation systems A Nazeem, S Reveliotis IEEE Transactions on Automation Science and Engineering 8 (4), 766-779, 2011 | 33 | 2011 |
| Supervisory control of software execution for failure avoidance: Experience from the gadara project Y Wang, HK Cho, H Liao, A Nazeem, TP Kelly, S Lafortune, S Mahlke, ... IFAC Proceedings Volumes 43 (12), 259-266, 2010 | 30 | 2010 |
| Optimizing cloud solutioning design A Megahed, A Nazeem, P Yin, S Tata, HRM Nezhad, T Nakamura Future Generation Computer Systems 91, 86-95, 2019 | 29 | 2019 |
| Deadlock avoidance policies for automated manufacturing systems using finite state automata S Reveliotis, A Nazeem Formal methods in manufacturing, 169-196, 2018 | 25 | 2018 |
| Efficient enumeration of minimal unsafe states in complex resource allocation systems A Nazeem, S Reveliotis IEEE Transactions on Automation Science and Engineering 11 (1), 111-124, 2013 | 25 | 2013 |
| Designing maximally permissive deadlock avoidance policies for sequential resource allocation systems through classification theory A Nazeem, SA Reveliotis 2011 IEEE International Conference on Automation Science and Engineering …, 2011 | 20 | 2011 |
| Optimal deadlock avoidance for complex resource allocation systems through classification theory A Nazeem, SA Reveliotis, Y Wang, S Lafortune IFAC Proceedings Volumes 43 (12), 267-274, 2010 | 17 | 2010 |
| Maximally permissive deadlock avoidance for sequential resource allocation systems using disjunctions of linear classifiers R Cordone, A Nazeem, L Piroddi, S Reveliotis 2012 IEEE 51st IEEE Conference on Decision and Control (CDC), 7244-7251, 2012 | 15 | 2012 |
| Maximally permissive deadlock avoidance for resource allocation systems with R/W-locks A Nazeem, S Reveliotis Discrete Event Dynamic Systems 25 (1), 31-63, 2015 | 14 | 2015 |
| A practical approach to the design of maximally permissive liveness-enforcing supervisors for complex resource allocation systems A Nazeem, S Reveliotis 2010 IEEE International Conference on Automation Science and Engineering …, 2010 | 14 | 2010 |
| System for generating personalized service content S Jiang, X Duan, A Megahed, A Nazeem US Patent App. 16/171,312, 2020 | 12 | 2020 |
| Maximally permissive deadlock avoidance for multithreaded computer programs Y Wang, H Liao, A Nazeem, S Reveliotis, T Kelly, S Mahlke, S Lafortune 2009 IEEE International Conference on Automation Science and Engineering, 37-41, 2009 | 12 | 2009 |
| Optimal linear separation of the safe and unsafe subspaces of sequential RAS as a set-covering problem: algorithmic procedures and geometric insights S Reveliotis, A Nazeem SIAM Journal on Control and Optimization 51 (2), 1707-1726, 2013 | 10 | 2013 |
| Designing parsimonious representations of the maximally permissive deadlock avoidance policy for complex resource allocation systems through classification theory A Nazeem Georgia Institute of Technology, 2012 | 10 | 2012 |
| On the optimal Petri net representation for service composition Y Wang, A Nazeem, R Swaminathan 2011 IEEE International Conference on Web Services, 235-242, 2011 | 10 | 2011 |
| Artifact-centric business process synthesis framework using discrete event systems theory Y Wang, A Nazeem HP Laboratories, HPL-2011-40, 2011 | 7 | 2011 |
| Monitoring services in the Internet of Things: an optimization approach A Megahed, JA Pazour, A Nazeem, S Tata, M Mohamed Computing 101 (8), 1119-1145, 2019 | 6 | 2019 |
