Gul A. Agha

Gul Agha

	2011
158		Gul Agha, Olivier Danvy, José Meseguer: Formal Modeling: Actors, Open Systems, Biological Systems - Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday Springer 2011
157		Vijay Anand Korthikanti, Gul Agha, Mark R. Greenstreet: On the Energy Complexity of Parallel Algorithms. ICPP 2011: 562-570
156		Alessandro Ricci, Rafael H. Bordini, Gul A. Agha: AGERE! (actors and agents reloaded): splash 2011 workshop on programming systems, languages and applications based on actors, agents and decentralized control. OOPSLA Companion 2011: 325-326
155		Stas Negara, Rajesh K. Karmani, Gul A. Agha: Inferring ownership transfer for efficient message passing. PPOPP 2011: 81-90
154		Rohit Chadha, Vijay Anand Korthikanti, Mahesh Viswanathan, Gul Agha, YoungMin Kwon: Model Checking MDPs with a Unique Compact Invariant Set of Distributions. QEST 2011: 121-130
153		Alessandro Ricci, Gul Agha, Rafael H. Bordini: Agere! (actors and agents reloaded): splash 2011 workshop on programming systems, languages and applications based on actors, agents and decentralized control. SPLASH Workshops 2011: 143-146
152		Rajesh K. Karmani, Gul Agha: Actors. Encyclopedia of Parallel Computing 2011: 1-11
151		YoungMin Kwon, Gul A. Agha: Verifying the Evolution of Probability Distributions Governed by a DTMC. IEEE Trans. Software Eng. 37(1): 126-141 (2011)
	2010
150		Dave Clarke, Gul A. Agha: Coordination Models and Languages, 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings Springer 2010
149		Steven Lauterburg, Rajesh K. Karmani, Darko Marinov, Gul Agha: Evaluating Ordering Heuristics for Dynamic Partial-Order Reduction Techniques. FASE 2010: 308-322
148		Vijay Anand Korthikanti, Gul Agha: Avoiding energy wastage in parallel applications. Green Computing Conference 2010: 149-163
147		Vilas Jagannath, Milos Gligoric, Steven Lauterburg, Darko Marinov, Gul Agha: Mutation Operators for Actor Systems. ICST Workshops 2010: 157-162
146		Vijay Anand Korthikanti, Mahesh Viswanathan, Gul Agha, YoungMin Kwon: Reasoning about MDPs as Transformers of Probability Distributions. QEST 2010: 199-208
145		Steven Lauterburg, Rajesh K. Karmani, Darko Marinov, Gul Agha: Basset: a tool for systematic testing of actor programs. SIGSOFT FSE 2010: 363-364
144		Vijay Anand Korthikanti, Gul Agha: Towards optimizing energy costs of algorithms for shared memory architectures. SPAA 2010: 157-165
143		Sherin M. Moussa, Gul A. Agha: Integrating Encrypted Mobile Agents with Smart Spaces in a Multi-agent Simulator for Resource Management. JSW 5(6): 630-636 (2010)
142		YoungMin Kwon, Kirill Mechitov, Sameer Sundresh, WooYoung Kim, Gul Agha: Resilient localization for sensor networks in outdoor environments. TOSN 7(1): (2010)
	2009
141		Steven Lauterburg, Mirco Dotta, Darko Marinov, Gul A. Agha: A Framework for State-Space Exploration of Java-Based Actor Programs. ASE 2009: 468-479
140		Vijay Anand Korthikanti, Gul Agha: Analysis of Parallel Algorithms for Energy Conservation in Scalable Multicore Architectures. ICPP 2009: 212-219
139		Sherin M. Moussa, Mohamed Hashem, Gul Agha: An agent-based framework for inhabitants' untraceability in ubiquitous environments. MoMM 2009: 386-390
138		Sherin M. Moussa, Mohamed H. Abdelaziz, Gul A. Agha: Integrating Encrypted Mobile Agents with Smart Homes. NTMS 2009: 1-5
137		Rajesh K. Karmani, Amin Shali, Gul Agha: Actor frameworks for the JVM platform: a comparative analysis. PPPJ 2009: 11-20
	2008
136		YoungMin Kwon, Gul Agha: LTLC: Linear Temporal Logic for Control. HSCC 2008: 316-329
135		YoungMin Kwon, Gul Agha: Passive Localization: Large Size Sensor Network Localization Based on Environmental Events. IPSN 2008: 3-14
134		MyungJoo Ham, Gul A. Agha: A Robust Audit Mechanism to Prevent Malicious Behaviors in Multi-robot Systems. SASO 2008: 35-44
133		Gul Agha: Computing in pervasive cyberspace. Commun. ACM 51(1): 68-70 (2008)
	2007
132		Po-Hao Chang, Gul Agha: Towards Context-Aware Web Applications. DAIS 2007: 239-252
131		Rick Kazman, Gul Agha: Software Technology Track Introduction. HICSS 2007: 255
130		YoungMin Kwon, Gul Agha: A Markov Reward Model for Software Reliability. IPDPS 2007: 1-6
129		Po-Hao Chang, Gul Agha: Supporting reconfigurable object distribution for customized web applications. SAC 2007: 1286-1292
128		Rajesh K. Karmani, Timo Latvala, Gul Agha: On Scaling Multi-Agent Task Reallocation Using Market-Based Approach. SASO 2007: 173-182
	2006
127		YoungMin Kwon, Sameer Sundresh, Kirill Mechitov, Gul Agha: ActorNet: an actor platform for wireless sensor networks. AAMAS 2006: 1297-1300
126		Koushik Sen, Gul Agha: CUTE and jCUTE: Concolic Unit Testing and Explicit Path Model-Checking Tools. CAV 2006: 419-423
125		Koushik Sen, Gul Agha: Automated Systematic Testing of Open Distributed Programs. FASE 2006: 339-356
124		Bill Donkervoet, Gul Agha: Reflecting on Aspect-Oriented Programming, Metaprogramming, and Adaptive Distributed Monitoring. FMCO 2006: 246-265
123		Gul Agha: Track Introduction. HICSS 2006
122		Koushik Sen, Gul Agha: A Race-Detection and Flipping Algorithm for Automated Testing of Multi-threaded Programs. Haifa Verification Conference 2006: 166-182
121		YoungMin Kwon, Gul Agha: Scalable Modeling and Performance Evaluation of Wireless Sensor Networks. IEEE Real Time Technology and Applications Symposium 2006: 49-58
120		Koushik Sen, Abhay Vardhan, Gul Agha, Grigore Rosu: Decentralized runtime analysis of multithreaded applications. IPDPS 2006
119		MyungJoo Ham, Gul A. Agha: A Study of Coordinated Dynamic Market-Based Task Assignment in Massively Multi-Agent Systems. MMAS/LSMAS/CCMMS 2006: 43-63
118		Reza Razavi, Kirill Mechitov, Sameer Sundresh, Gul Agha, Jean-François Perrot: Ambiance: adaptive object model-based platform for macroprogramming sensor networks. OOPSLA Companion 2006: 663-664
117		Po-Hao Chang, Gul Agha: Supporting Reconfigurable Object Distribution for Customizable Web Applications. OTM Workshops (1) 2006: 32-33
116		Liping Chen, Gul Agha: State Aware Data Dissemination over Structured Overlays. Peer-to-Peer Computing 2006: 145-152
115		Koushik Sen, Mahesh Viswanathan, Gul Agha: Model-Checking Markov Chains in the Presence of Uncertainties. TACAS 2006: 394-410
114		Gul A. Agha, José Meseguer, Koushik Sen: PMaude: Rewrite-based Specification Language for Probabilistic Object Systems. Electr. Notes Theor. Comput. Sci. 153(2): 213-239 (2006)
113		Koushik Sen, Grigore Rosu, Gul Agha: Online efficient predictive safety analysis of multithreaded programs. STTT 8(3): 248-260 (2006)
112		Myeong-Wuk Jang, Gul Agha: Agent framework services to reduce agent communication overhead in large-scale agent-based simulations. Simulation Modelling Practice and Theory 14(6): 679-694 (2006)
	2005
111		Koushik Sen, Mahesh Viswanathan, Gul Agha: On Statistical Model Checking of Stochastic Systems. CAV 2005: 266-280
110		Koushik Sen, Darko Marinov, Gul Agha: CUTE: a concolic unit testing engine for C. ESEC/SIGSOFT FSE 2005: 263-272
109		Predrag T. Tosic, Gul A. Agha: Computational Complexity of Predicting Some Properties of Large-Scale Agent Ensembles' Dynamical Evolution. EUMAS 2005: 415-426
108		Koushik Sen, Grigore Rosu, Gul Agha: Detecting Errors in Multithreaded Programs by Generalized Predictive Analysis of Executions. FMOODS 2005: 211-226
107		Gul Agha: Software Technology Track. HICSS 2005
106		YoungMin Kwon, Kirill Mechitov, Sameer Sundresh, WooYoung Kim, Gul A. Agha: Resilient Localization for Sensor Networks in Outdoor Environments. ICDCS 2005: 643-652
105		Sandeep Uttamchandani, Xiaoxin Yin, John Palmer, Gul A. Agha: Monitormining: creating domain knowledge for system automation using a gray-box approach. Integrated Network Management 2005: 61-74
104		Christo Frank Devaraj, Indranil Gupta, Mahwish Nagda, Gul A. Agha: An underlay for sensor networks: localized protocols for maintenance and usage. MASS 2005
103		Li Yin, Sandeep Uttamchandani, John Palmer, Randy H. Katz, Gul A. Agha: AUTOLOOP: Automated Action Selection in the "Observe-Analyze-Act" Loop for Storage Systems. POLICY 2005: 129-138
102		MyungJoo Ham, Gul Agha: ARA: A Robust Audit to Prevent Free-Riding in P2P Networks. Peer-to-Peer Computing 2005: 125-132
101		YoungMin Kwon, Gul A. Agha: iLTLChecker: A Probabilistic Model Checker for Multiple DTMCs. QEST 2005: 245-246
100		Koushik Sen, Mahesh Viswanathan, Gul A. Agha: VESTA: A Statistical Model-checker and Analyzer for Probabilistic Systems. QEST 2005: 251-252
99		Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gul Agha: Using Language Inference to Verify Omega-Regular Properties. TACAS 2005: 45-60
98		Predrag T. Tosic, Gul A. Agha: On Computational Complexity of Counting Fixed Points in Symmetric Boolean Graph Automata. UC 2005: 191-205
97		Sandeep Uttamchandani, Li Yin, Guillermo A. Alvarez, John Palmer, Gul A. Agha: CHAMELEON: A Self-Evolving, Fully-Adaptive Resource Arbitrator for Storage Systems. USENIX Annual Technical Conference, General Track 2005: 75-88
96		Irma Becerra-Fernandez, Te Wei Wang, Gul A. Agha: Actor Model and Knowledge Management Systems: Social Interaction as a Framework for Knowledge Integration. Wissensmanagement 2005: 19-29
95		Irma Becerra-Fernandez, Te Wei Wang, Gul Agha, Thant Sin: Actor Model and Knowledge Management Systems: Social Interaction as a Framework for Knowledge Integration. Wissensmanagement (LNCS Volume) 2005: 19-31
	2004
94		Nadeem Jamali, Indratmo, Xinghui Zhao, Gul Agha: Decentralized Resource Control for Multi-Agent Systems. AAMAS 2004: 1366-1367
93		Predrag T. Tosic, Gul Agha: Characterizing Configuration Spaces of Simple Threshold Cellular Automata. ACRI 2004: 861-870
92		Prasanna Thati, Carolyn L. Talcott, Gul Agha: Techniques for Executing and Reasoning about Specification Diagrams. AMAST 2004: 521-536
91		Sameer Sundresh, WooYoung Kim, Gul Agha: SENS: A Sensor, Environment and Network Simulator. Annual Simulation Symposium 2004: 221-228
90		Koushik Sen, Mahesh Viswanathan, Gul Agha: Statistical Model Checking of Black-Box Probabilistic Systems. CAV 2004: 202-215
89		Gul Agha, Prasanna Thati: An Algebraic Theory of Actors and Its Application to a Simple Object-Based Language. Essays in Memory of Ole-Johan Dahl 2004: 26-57
88		Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gul Agha: Actively Learning to Verify Safety for FIFO Automata. FSTTCS 2004: 494-505
87		Gul Agha: Software Technology Track Introduction. HICSS 2004
86		Myeong-Wuk Jang, Amr Abdel Momen, Gul Agha: ATSpace: A Middle Agent to Support Application Oriented Matchmaking and Brokering Services. IAT 2004: 393-396
85		YoungMin Kwon, Gul Agha: Linear Inequality LTL (iLTL): A Model Checker for Discrete Time Markov Chains. ICFEM 2004: 194-208
84		Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gul Agha: Learning to Verify Safety Properties. ICFEM 2004: 274-289
83		Koushik Sen, Abhay Vardhan, Gul Agha, Grigore Rosu: Efficient Decentralized Monitoring of Safety in Distributed Systems. ICSE 2004: 418-427
82		Predrag T. Tosic, Gul Agha: Concurrency vs. Sequential Interleavings in 1-D Threshold Cellular Automata. IPDPS 2004
81		Predrag T. Tosic, Gul A. Agha: Maximal Clique Based Distributed Coalition Formation for Task Allocation in Large-Scale Multi-agent Systems. MMAS 2004: 104-120
80		Myeong-Wuk Jang, Gul Agha: Adaptive Agent Allocation for Massively Multi-agent Applications. MMAS 2004: 25-39
79		Sandeep Uttamchandani, Guillermo A. Alvarez, Gul Agha: DecisionQoS: An Adaptive, Self-Evolving QoS Arbitration Module for Storage Systems. POLICY 2004: 67-76
78		Koushik Sen, Mahesh Viswanathan, Gul Agha: Learning Continuous Time Markov Chains from Sample Executions. QEST 2004: 146-155
77		Po-Hao Chang, WooYoung Kim, Gul Agha: An Adaptive Programming Framework for Web Applications. SAINT 2004: 152-159
76		Myeong-Wuk Jang, Amr Ahmed Momen, Gul Agha: Efficient Agent Communication in Multi-agent Systems. SELMAS 2004: 236-253
75		Predrag T. Tosic, Gul A. Agha: Towards a hierarchical taxonomy of autonomous agents. SMC (4) 2004: 3421-3426
74		Koushik Sen, Grigore Rosu, Gul Agha: Online Efficient Predictive Safety Analysis of Multithreaded Programs. TACAS 2004: 123-138
73		Nalini Venkatasubramanian, Carolyn L. Talcott, Gul Agha: A formal model for reasoning about adaptive QoS-enabled middleware. ACM Trans. Softw. Eng. Methodol. 13(1): 86-147 (2004)
	2003
72		Koushik Sen, Grigore Rosu, Gul Agha: Generating Optimal Linear Temporal Logic Monitors by Coinduction. ASIAN 2003: 260-275
71		Koushik Sen, Grigore Rosu, Gul Agha: Runtime safety analysis of multithreaded programs. ESEC / SIGSOFT FSE 2003: 337-346
70		Nirman Kumar, Koushik Sen, José Meseguer, Gul Agha: A Rewriting Based Model for Probabilistic Distributed Object Systems. FMOODS 2003: 32-46
69		Reza Ziaei, Gul Agha: SynchNet: A Petri Net Based Coordination Language for Distributed Objects. GPCE 2003: 324-343
68		Hui Ding, Can Zheng, Lui Sha, Gul Agha: Specification and Validation of Fault-Tolerant Software Architectures Based on Actor Model. SEKE 2003: 458-466
67		Kirill Mechitov, Sameer Sundresh, YoungMin Kwon, Gul Agha: Cooperative tracking with binary-detection sensor networks. SenSys 2003: 332-333
66		Hui Ding, Can Zheng, Gul Agha, Lui Sha: Automated Verification of the Dependability of Object-Oriented Real-Time Systems. WORDS Fall 2003: 171-178
	2002
65		Prasannaa Thati, Reza Ziaei, Gul Agha: A Theory of May Testing for Asynchronous Calculi with Locality and No Name Matching. AMAST 2002: 223-238
64		Prasannaa Thati, Reza Ziaei, Gul Agha: A Theory of May Testing for Actors. FMOODS 2002: 147-162
63		Abhay Vardhan, Gul Agha: Using passive object garbage collection algorithms for garbage collection of active objects. MSP/ISMM 2002: 213-220
62		Dejan S. Milojicic, Gul Agha, Philippe Bernadat, Deepika Chauhan, Shai Guday, Nadeem Jamali, Dan Lambright, Franco Travostino: Case Studies in Security and Resource Management for Mobile Object Systems. Autonomous Agents and Multi-Agent Systems 5(1): 45-79 (2002)
61		Gul Agha: Introduction. Commun. ACM 45(6): 30-32 (2002)
	2001
60		Gul Agha, Fiorella de Cindio, Grzegorz Rozenberg: Concurrent Object-Oriented Programming and Petri Nets, Advances in Petri Nets. Springer 2001
59		Gul Agha: The World Wide Computer: Prospects for Parallel and Distributed Computing on the Web. CCGRID 2001: 18
58		Nalini Venkatasubramanian, Carolyn L. Talcott, Gul Agha: A Formal Model for Reasoning about Adaptive QoS-Enabled Middleware. FME 2001: 197-221
57		Prasannaa Thati, Po-Hao Chang, Gul Agha: Crawlets: Agents for High Performance Web Search Engines. Mobile Agents 2001: 119-134
56		Gul Agha, Nadeem Jamali, Carlos A. Varela: Agent Naming and Coordination: Actor Based Models and Infrastructures. Coordination of Internet Agents: Models, Technologies, and Applications 2001: 225-246
55		Mark Astley, Daniel C. Sturman, Gul Agha: Customizable middleware for modular distributed software. Commun. ACM 44(5): 99-107 (2001)
54		Carlos A. Varela, Gul Agha: Programming Dynamically Reconfigurable Open systems with SALSA. SIGPLAN Notices 36(12): 20-34 (2001)
	2000
53		Gul Agha: Object Oriented Architectures, Tools, and Applications. Euro-Par 2000: 1029-1030
	1999
52		Carlos A. Varela, Gul Agha: A Hierarchical Model for Coordination of Concurrent Activities. COORDINATION 1999: 166-182
51		Brian Nielsen, Gul Agha: Towards Reusable Real-Time Objects. Ann. Software Eng. 7: 257-282 (1999)
50		Gul A. Agha, WooYoung Kim: Actors: A unifying model for parallel and distributed computing. Journal of Systems Architecture 45(15): 1263-1277 (1999)
	1998
49		Dejan S. Milojicic, Gul Agha, Philippe Bernadat, Deepika Chauhan, Shai Guday, Nadeem Jamali, Dan Lambright: Case Studies in Security and Resource Management for Mobile Objects. ECOOP Workshops 1998: 306
48		Gul Agha, Mark Astley, Jamil A. Sheikh, Carlos A. Varela: Modular Heterogeneous System Development: A Critical Analysis of Java. Heterogeneous Computing Workshop 1998: 144-155
47		Brian Nielsen, Shangping Ren, Gul Agha: Specification of Real-Time Interaction Constraints. ISORC 1998: 206-214
46		Mark Astley, Gul Agha: Modular Construction and Composition of Distributed Software Architectures. PDSE 1998: 2-12
45		Mark Astley, Gul Agha: Customizaton and Compositon of Distributed Objects: Middleware Abstractions for Policy Management. SIGSOFT FSE 1998: 1-9
44		Carlos A. Varela, Gul Agha: What after Java? From Objects to Actors. Computer Networks 30(1-7): 573-577 (1998)
43		Rachid Guerraoui, Gul Agha: Editorial - High Availability in CORBA. TAPOS 4(2): 71 (1998)
	1997
42		Gul Agha, Stefano Russo: Workshop on Software Engineering for Parallel and Distributed Systems. ICSE 1997: 678
41		Gul Agha, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott: A Foundation for Actor Computation. J. Funct. Program. 7(1): 1-72 (1997)
	1996
40		Gul Agha: Modeling Concurrent Systems: Actors, Nets, and the Problem of Abstraction and Composition. Application and Theory of Petri Nets 1996: 1-10
39		Shangping Ren, Gul Agha: A Modular Approach for Programming Embedded Systems. European Educational Forum: School on Embedded Systems 1996: 170-207
38		R. Panwar, W. Kim, Gul Agha: Parallel Implementations of Irregular Problems Using High-Level Actor Language. IPPS 1996: 857-862
37		Gul Agha: Linguistic Paradigms for Programming Complex Distributed Systems. ACM Comput. Surv. 28(2): 295-296 (1996)
36		Mark Astley, Gul Agha: A Visualization Model for Concurrent Systems. Inf. Sci. 93(1): 107-131 (1996)
35		Shangping Ren, Gul Agha, Masahiko Saito: A Modular Approach to Programming Distributed Real-Time Systems. J. Parallel Distrib. Comput. 36(1): 4-12 (1996)
34		Masahiko Saito, Gul Agha: A modular approach to real-time synchronization. OOPS Messenger 7(1): 13-20 (1996)
	1995
33		WooYoung Kim, Gul Agha: Efficient Support of Location Transparency in Concurrent Object-Oriented Programming Languages. SC 1995
32		Shangping Ren, Gul Agha: RTsynchronizer: Language Support for Real-Time Specifications in Distributed Systems. Workshop on Languages, Compilers, & Tools for Real-Time Systems 1995: 50-59
	1994
31		Svend Frølund, Gul Agha: Abstracting Interactions Based on Message Sets. ECOOP Workshop 1994: 107-124
30		Daniel C. Sturman, Gul Agha: A Protocol Description Language for Customizing Semantics. SRDS 1994: 148-157
29		Christian J. Callsen, Gul Agha: Open Heterogeneous Computing in Actor Space. J. Parallel Distrib. Comput. 21(3): 289-300 (1994)
28		R. Panwar, Gul Agha: A Methodology for Programming Scalable Architectures. J. Parallel Distrib. Comput. 22(3): 479-487 (1994)
	1993
27		Svend Frølund, Gul Agha: A Language Framework for Multi-Object Coordination. ECOOP 1993: 346-360
26		Gul Agha, Christian J. Callsen: ActorSpaces: An Open Distributed Programming Paradigm. PPOPP 1993: 23-32
	1992
25		Gul Agha, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott: Towards a Theory of Actor Computation. CONCUR 1992: 565-579
24		Suresh Jagannathan, Gul Agha: A Reflective Model of Inheritance. ECOOP 1992: 350-371
23		Gul Agha: Formal methods for Actor systems: A progress report. FORTE 1992: 217-228
22		Christopher R. Houck, Gul Agha: HAL: A High-Level Actor Language and Its Distributed Implementation. ICPP (2) 1992: 158-165
21		Nalini Venkatasubramanian, Gul Agha, Carolyn L. Talcott: Scalable Distributed Garbage Collection for Systems of Active Objects. IWMM 1992: 134-147
20		Won Kim, Gul Agha: Comilation of a Highly Parallel Actor-Based Language. LCPC 1992: 1-15
19		Shakuntala Miriyala, Gul Agha, Yamina Sami: Visualizing actor programs using predicate transition nets. J. Vis. Lang. Comput. 3(2): 195-220 (1992)
	1991
18		Vineet Singh, Vipin Kumar, Gul Agha, Chris Tomlinson: Scalability of Parallel Sorting on Mesh Multicomputers. IPPS 1991: 92-101
17		Gul Agha, Christopher R. Houck, R. Panwar: Distributed Execution of Actor Programs. LCPC 1991: 1-17
16		Vineet Singh, Vipin Kumar, Gul Agha, Chris Tomlinson: Efficient algorithms for parallel sorting on mesh multicomputers. International Journal of Parallel Programming 20(2): 95-131 (1991)
15		Gul Agha, Akinori Yonezawa, Peter Wegner, Samson Abramsky: OOPSLA panel on object-based concurrent programming. OOPS Messenger 2(2): 3-15 (1991)
	1990
14		Gul A. Agha: ACTORS - a model of concurrent computation in distributed systems. MIT Press 1990: I-IX, 1-144
13		Gul Agha, Samson Abramsky, Carl Hewitt, Robin Milner, Peter Wegner, Akinori Yonezawa: Foundations of Concurrent Object-Oriented Programming (Panel). OOPSLA/ECOOP 1990: 100
12		Gul Agha: The Structure and Semantics of Actor Languages. REX Workshop 1990: 1-59
11		Gul Agha: Concurrent Object-Oriented Programming. Commun. ACM 33(9): 125-141 (1990)
	1989
10		Gul Agha: Supporting Multiparadigm Programming on Actor Architectures. PARLE (2) 1989: 1-19
9		Gul Agha: Foundational issues in concurrent computing. SIGPLAN Notices 24(4): 60-65 (1989)
8		Chris Tomlinson, Won Kim, Mark Scheevel, Vineet Singh, B. Will, Gul Agha: Rosette: An object-oriented concurrent systems architecture. SIGPLAN Notices 24(4): 91-93 (1989)
	1988
7		Gul Agha: The Relation between Problems in Large-Scale Concurrent Systems and Distributed Databases. DPDS 1988: 2-12
6		Carl Hewitt, Gul Agha: Guarded Horn Clause Languages: Are They Deductive and Logical? FGCS 1988: 650-657
	1987
5		Gul Agha, Carl Hewitt: Actors: A Conceptual Foundation for Concurrent Object-Oriented Programming. Research Directions in Object-Oriented Programming 1987: 49-74
	1985
4		Gul Agha, Carl Hewitt: Concurrent Programming Using Actors: Exploiting large-Scale Parallelism. FSTTCS 1985: 19-41
3		Gul Agha: A Message-Passing Paradigm for Object Management. IEEE Database Eng. Bull. 8(4): 75-82 (1985)
	1984
2		Gul Agha: Semantic Considerations in the Actor Paradigm of Concurrent Computation. Seminar on Concurrency 1984: 151-179
1		Carl Hewitt, Tom Reinhardt, Gul Agha, Giuseppe Attardi: Linguistic Support of Receptionists for Shared Resources. Seminar on Concurrency 1984: 330-359

Coauthor Index

1	Mohamed H. Abdelaziz	[138]
2	Samson Abramsky	[13] [15]
3	Amr Ahmed (Amr Ahmed Momen, Amr Abdel Momen)	[76] [86]
4	Guillermo A. Alvarez	[79] [97]
5	Mark Astley	[36] [45] [46] [48] [55]
6	Giuseppe Attardi	[1]
7	Irma Becerra-Fernandez	[95] [96]
8	Philippe Bernadat	[49] [62]
9	Rafael H. Bordini	[153] [156]
10	Christian J. Callsen	[26] [29]
11	Rohit Chadha	[154]
12	Po-Hao Chang	[57] [77] [117] [129] [132]
13	Deepika Chauhan	[49] [62]
14	Liping Chen	[116]
15	Fiorella de Cindio	[60]
16	Dave Clarke (David G. Clarke)	[150]
17	Olivier Danvy	[158]
18	Christo Frank Devaraj	[104]
19	Hui Ding	[66] [68]
20	Bill Donkervoet	[124]
21	Mirco Dotta	[141]
22	Svend Frølund	[27] [31]
23	Milos Gligoric	[147]
24	Mark R. Greenstreet	[157]
25	Shai Guday	[49] [62]
26	Rachid Guerraoui	[43]
27	Indranil Gupta	[104]
28	MyungJoo Ham	[102] [119] [134]
29	Mohamed Hashem	[139]
30	Carl Hewitt	[1] [4] [5] [6] [13]
31	Christopher R. Houck	[17] [22]
32	Indratmo	[94]
33	Vilas Jagannath	[147]
34	Suresh Jagannathan	[24]
35	Nadeem Jamali	[49] [56] [62] [94]
36	Myeong-Wuk Jang	[76] [80] [86] [112]
37	Rajesh K. Karmani	[128] [137] [145] [149] [152] [155]
38	Randy H. Katz	[103]
39	Rick Kazman	[131]
40	W. Kim	[38]
41	Won Kim	[8] [20]
42	WooYoung Kim	[33] [50] [77] [91] [106] [142]
43	Vijay Anand Korthikanti (Vijay Anand Reddy)	[140] [144] [146] [148] [154] [157]
44	Nirman Kumar	[70]
45	Vipin Kumar	[16] [18]
46	YoungMin Kwon	[67] [85] [101] [106] [121] [127] [130] [135] [136] [142] [146] [151] [154]
47	Dan Lambright	[49] [62]
48	Timo Latvala	[128]
49	Steven Lauterburg	[141] [145] [147] [149]
50	Darko Marinov	[110] [141] [145] [147] [149]
51	Ian A. Mason	[25] [41]
52	Kirill Mechitov	[67] [106] [118] [127] [142]
53	José Meseguer	[70] [114] [158]
54	Robin Milner	[13]
55	Dejan S. Milojicic	[49] [62]
56	Shakuntala Miriyala	[19]
57	Sherin M. Moussa	[138] [139] [143]
58	Mahwish Nagda	[104]
59	Stas Negara	[155]
60	Brian Nielsen	[47] [51]
61	John Palmer	[97] [103] [105]
62	R. Panwar	[17] [28] [38]
63	Jean-François Perrot	[118]
64	Reza Razavi	[118]
65	Tom Reinhardt	[1]
66	Shangping Ren	[32] [35] [39] [47]
67	Alessandro Ricci	[153] [156]
68	Grigore Rosu	[71] [72] [74] [83] [108] [113] [120]
69	Grzegorz Rozenberg	[60]
70	Stefano Russo	[42]
71	Masahiko Saito	[34] [35]
72	Yamina Sami	[19]
73	Mark Scheevel	[8]
74	Koushik Sen	[70] [71] [72] [74] [78] [83] [84] [88] [90] [99] [100] [108] [110] [111] [113] [114] [115] [120] [122] [125] [126]
75	Lui Sha	[66] [68]
76	Amin Shali	[137]
77	Jamil A. Sheikh	[48]
78	Thant Sin	[95]
79	Vineet Singh	[8] [16] [18]
80	Scott F. Smith	[25] [41]
81	Daniel C. Sturman	[30] [55]
82	Sameer Sundresh	[67] [91] [106] [118] [127] [142]
83	Carolyn L. Talcott	[21] [25] [41] [58] [73] [92]
84	Prasanna Thati (Prasannaa Thati)	[57] [64] [65] [89] [92]
85	Chris Tomlinson	[8] [16] [18]
86	Predrag T. Tosic	[75] [81] [82] [93] [98] [109]
87	Franco Travostino	[62]
88	Sandeep Uttamchandani	[79] [97] [103] [105]
89	Abhay Vardhan	[63] [83] [84] [88] [99] [120]
90	Carlos A. Varela	[44] [48] [52] [54] [56]
91	Nalini Venkatasubramanian	[21] [58] [73]
92	Mahesh Viswanathan	[78] [84] [88] [90] [99] [100] [111] [115] [146] [154]
93	Te Wei Wang	[95] [96]
94	Peter Wegner	[13] [15]
95	B. Will	[8]
96	Li Yin	[97] [103]
97	Xiaoxin Yin	[105]
98	Akinori Yonezawa	[13] [15]
99	Xinghui Zhao	[94]
100	Can Zheng	[66] [68]
101	Reza Ziaei	[64] [65] [69]

Colors in the list of coauthors

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page