| Specifying and enforcing intertask dependencies P Attie, M Singh, AP Sheth, M Rusinkiewicz | 387 | 1993 |
| Turing machines, transition systems, and interaction DQ Goldin, SA Smolka, PC Attie, EL Sonderegger Information and computation 194 (2), 101-128, 2004 | 124 | 2004 |
| Synthesis of fault-tolerant concurrent programs PC Attie, A Arora, EA Emerson ACM Transactions on Programming Languages and Systems (TOPLAS) 26 (1), 125-185, 2004 | 121 | 2004 |
| Synthesis of concurrent systems with many similar processes PC Attie, EA Emerson ACM Transactions on Programming Languages and Systems (TOPLAS) 20 (1), 51-115, 1998 | 109 | 1998 |
| Dynamic input/output automata, a formal model for dynamic systems PC Attie, NA Lynch Proceedings of the twentieth annual ACM symposium on Principles of …, 2001 | 85 | 2001 |
| Fairness and hyperfairness in multi-party interactions PC Attie, N Francez, O Grumberg Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of …, 1989 | 80 | 1989 |
| Synthesis of concurrent programs for an atomic read/write model of computation PC Attie, EA Emerson ACM Transactions on Programming Languages and Systems (TOPLAS) 23 (2), 187-242, 2001 | 70* | 2001 |
| Optimal deadlock detection in distributed systems based on locally constructed wait-for graphs S Chen, Y Deng, P Attie, W Sun Proceedings of 16th International Conference on Distributed Computing …, 1996 | 60 | 1996 |
| Scheduling workflows by enforcing intertask dependencies PC Attie, MP Singh, EA Emerson, A Sheth, M Rusinkiewicz Distributed Systems Engineering 3 (4), 222, 1996 | 59 | 1996 |
| A general framework for architecture composability P Attie, E Baranov, S Bliudze, M Jaber, J Sifakis Formal Aspects of Computing 28 (2), 207-231, 2016 | 58 | 2016 |
| An Event Algebra for Specifying and Scheduling Workflows. MP Singh, G Meredith, C Tomlinson, PC Attie DASFAA, 53-60, 1995 | 51 | 1995 |
| Synthesis of large concurrent programs via pairwise composition PC Attie International Conference on Concurrency Theory, 130-145, 1999 | 49 | 1999 |
| Dynamic input/output automata: A formal and compositional model for dynamic systems PC Attie, NA Lynch Information and Computation 249, 28-75, 2016 | 35 | 2016 |
| On formal modeling of agent computations T Araragi, P Attie, I Keidar, K Kogure, V Luchangco, N Lynch, K Mano Formal Approaches to Agent-Based Systems: First InternationalWorkshop, FAABS …, 2001 | 35 | 2001 |
| Task scheduling using intertask dependencies in Carnot D Woelk, P Attie, P Cannata, G Meredith, A Sheth, M Singh, C Tomlinson Proceedings of the 1993 ACM SIGMOD international conference on management of …, 1993 | 35 | 1993 |
| Efficiently verifiable conditions for deadlock-freedom of large concurrent programs PC Attie, H Chockler International Workshop on Verification, Model Checking, and Abstract …, 2005 | 31 | 2005 |
| Convergence of iteration systems A Arora, P Attie, M Evangelist, M Gouda Distributed Computing 7, 43-53, 1993 | 31 | 1993 |
| Workflow support in Carnot C Tomlinson, PC Attie, P Cannata, G Meredith, AP Sheth, MP Singh, ... IEEE Data Eng. Bull. 16 (2), 33-36, 1993 | 29 | 1993 |
| Synthesis of concurrent systems with many similar sequential processes PC Attie, EA Emerson Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of …, 1989 | 27 | 1989 |
| Model and program repair via sat solving PC Attie, KDA Bab, M Sakr ACM Transactions on Embedded Computing Systems (TECS) 17 (2), 1-25, 2017 | 23 | 2017 |
Munindar P SinghProfessor of Computer Science, North Carolina State University在 ncsu.edu 的电子邮件经过验证
