Paul C Attie

Cited by

	All	Since 2016
Citations	1650	240
h-index	20	9
i10-index	32	8

120

1988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920205 3 7 3 7 15 39 40 63 43 55 47 43 39 47 54 67 97 105 70 92 63 55 85 69 55 47 47 72 48 48 41 27

Co-authors

Munindar P SinghProfessor of Computer Science, North Carolina State UniversityVerified email at ncsu.edu
Nancy LynchProfessor of EECS, MITVerified email at csail.mit.edu
Amit ShethDirector, AI Institute, University of South CarolinaVerified email at sc.edu
Anish AroraProfessor of Computer Science and Engineering, The Ohio State University; Founder, SamrakshVerified email at cse.ohio-state.edu
Hana ChocklerKing's College LondonVerified email at kcl.ac.uk
Scott A. SmolkaProfessor of Computer Science, Stony Brook UniversityVerified email at cs.sunysb.edu
Joseph SifakisReseracher at Verimag laboratory, GrenobleVerified email at imag.fr
Orna GrumbergProfessor of Computer Science, TechnionVerified email at cs.technion.ac.il
Fadi A ZaraketAmerican University of BeirutVerified email at aub.edu.lb
Sergio RajsbaumUniversidad Nacional Autónoma de MéxicoVerified email at im.unam.mx
vassilis tsaoussidisProfessor of Computer Engineering, Democritus University of Thrace, GreeceVerified email at ee.duth.gr
Mohamad JaberSoftware Engineer @ GoogleVerified email at google.com
Mohamed GoudaProfessor of Computer Science, University of Texas at AustinVerified email at cs.utexas.edu
Nissim FrancezComputer Science Dept., TechnionVerified email at cs.technion.ac.il
rachid guerraouiProfessor of Computer and Communication Systems, EPFLVerified email at epfl.ch
Shigang ChenProfessor, University of Florida, IEEE Fellow, ACM Distinguished ScientistVerified email at cise.ufl.edu
Saddek BensalemUniversité Grenoble Alpes, VERIMAGVerified email at univ-grenoble-alpes.fr
Marius BozgaIngenieur de Recherche, CNRS-VERIMAG, GrenobleVerified email at imag.fr
Simon BliudzeComputer Science researcher, INRIA Lille - Nord EuropeVerified email at inria.fr
Idit KeidarProfessor, TechnionVerified email at ee.technion.ac.il

Paul C Attie

Professor of Compuer Science, Augusta University

Verified email at augusta.edu

Software engineering distributed computing formal methods


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Specifying and enforcing intertask dependencies P Attie, M Singh, AP Sheth, M Rusinkiewicz	369	1993
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	119	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	119	2004
Turing machines, transition systems, and interaction DQ Goldin, SA Smolka, PC Attie, EL Sonderegger Information and computation 194 (2), 101-128, 2004	115	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	99	1998
Dynamic input/output automata: a formal model for dynamic systems PC Attie, NA Lynch International Conference on Concurrency Theory, 137-151, 2001	84	2001
Fairness and hyperfairness in multi-party interactions PC Attie, N Francez, O Grumberg Distributed Computing 6 (4), 245-254, 1993	76	1993
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	68*	2001
Scheduling workflows by enforcing intertask dependencies PC Attie, MP Singh, EA Emerson, A Sheth, M Rusinkiewicz Distributed Systems Engineering 3 (4), 222, 1996	55	1996
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	54	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	48	2016
An Event Algebra for Specifying and Scheduling Workflows. MP Singh, G Meredith, C Tomlinson, PC Attie DASFAA, 53-60, 1995	47	1995
Synthesis of large concurrent programs via pairwise composition PC Attie International Conference on Concurrency Theory, 130-145, 1999	46	1999
On formal modeling of agent computations T Araragi, P Attie, I Keidar, K Kogure, V Luchangco, N Lynch, K Mano International Workshop on Formal Approaches to Agent-Based Systems, 48-62, 2000	33	2000
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
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	30	1993
Convergence of iteration systems A Arora, P Attie, M Evangelist, M Gouda Distributed Computing 7 (1), 43-53, 1993	29	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	24	1989
Dynamic input/output automata: A formal and compositional model for dynamic systems PC Attie, NA Lynch Information and Computation 249, 28-75, 2016	22	2016

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors