Paul C Attie

Citado por

	Total	Desde 2019
Citas	1762	145
Índice h	21	6
Índice i10	33	4

120

199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320249 3 10 12 35 39 68 50 61 50 42 37 49 61 67 105 105 74 88 67 52 83 65 53 40 48 73 47 46 43 24 17 38 16 7

Coautores

Munindar P SinghProfessor of Computer Science, North Carolina State UniversityDirección de correo verificada de ncsu.edu
Nancy LynchProfessor of EECS, MITDirección de correo verificada de csail.mit.edu
Amit ShethDirector, AI Institute; NCR Chair, U. of South CarolinaDirección de correo verificada de sc.edu
Anish AroraChair & Professor of Computer Science and Engg, The Ohio State University; Founder, Samraksh CompanyDirección de correo verificada de cse.ohio-state.edu
Hana ChocklerKing's College LondonDirección de correo verificada de kcl.ac.uk
Scott A. SmolkaProfessor of Computer Science, Stony Brook UniversityDirección de correo verificada de cs.sunysb.edu
Joseph SifakisReseracher at Verimag laboratory, GrenobleDirección de correo verificada de imag.fr
Orna GrumbergProfessor of Computer Science, TechnionDirección de correo verificada de cs.technion.ac.il
Sergio RajsbaumUniversidad Nacional Autónoma de MéxicoDirección de correo verificada de im.unam.mx
vassilis tsaoussidisProfessor of Computer Engineering, Democritus University of Thrace, GreeceDirección de correo verificada de ee.duth.gr
Mohamad JaberSoftware Engineer @ GoogleDirección de correo verificada de google.com
Mohamed GoudaProfessor of Computer Science, University of Texas at AustinDirección de correo verificada de cs.utexas.edu
Nissim FrancezComputer Science Faculty, TechnionDirección de correo verificada de cs.technion.ac.il
Saddek BensalemUniversité Grenoble Alpes, VERIMAGDirección de correo verificada de univ-grenoble-alpes.fr
Marius BozgaIngenieur de Recherche, CNRS-VERIMAG, GrenobleDirección de correo verificada de imag.fr
Shigang ChenProfessor, University of Florida, IEEE Fellow, ACM Distinguished ScientistDirección de correo verificada de cise.ufl.edu
Simon BliudzeComputer Science researcher, University of Lille Inria Research CentreDirección de correo verificada de inria.fr
rachid guerraouiProfessor of Computer and Communication Systems, EPFLDirección de correo verificada de epfl.ch
Petr KuznetsovProfessor of Computer Science, Telecom Paris, Institut Polytechnique ParisDirección de correo verificada de telecom-paris.fr
Fadi A ZaraketAmerican University of BeirutDirección de correo verificada de aub.edu.lb

Seguir

Paul C Attie

Professor of Compuer Science, Augusta University

Dirección de correo verificada de augusta.edu

Software engineering distributed computing formal methods


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
Specifying and enforcing intertask dependencies P Attie, M Singh, AP Sheth, M Rusinkiewicz	388	1993
Turing machines, transition systems, and interaction DQ Goldin, SA Smolka, PC Attie, EL Sonderegger Information and computation 194 (2), 101-128, 2004	122	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	120	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	107	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	86	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	79	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	50	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	36	2016
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
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	34	2001
Convergence of iteration systems A Arora, P Attie, M Evangelist, M Gouda Distributed Computing 7, 43-53, 1993	32	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
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	30	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
Beyond AIMD: Explicit fair-share calculation PC Attie, A Lahanas, V Tsaoussidis Proceedings of the Eighth IEEE Symposium on Computers and Communications …, 2003	23	2003

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores