Gul A. Agha

Dave Clarke, Gul Agha: Preface to the special issue on Coordination Models and Languages (Coordination 2010). Sci. Comput. Program. 78(2): 145-146 (2013)

Rick Kazman, Gul Agha: Introduction to Software Technology Track. HICSS 2013: 4749

Kirill Mechitov, Gul Agha: An Architecture for Dynamic Service-Oriented Computing in Networked Embedded Systems. Software Service and Application Engineering 2012: 147-164

Peter Dinges, Gul Agha: Scoped Synchronization Constraints for Large Scale Actor Systems. COORDINATION 2012: 89-103

Samira Tasharofi, Rajesh K. Karmani, Steven Lauterburg, Axel Legay, Darko Marinov, Gul Agha: TransDPOR: A Novel Dynamic Partial-Order Reduction Technique for Testing Actor Programs. FMOODS/FORTE 2012: 219-234

Alessandro Ricci, Assaf Marron, Rafael H. Bordini, Gul Agha: AGERE!: programming based on actors, agents, and decentralized control. SPLASH 2012: 215-216

Paria Moinzadeh, Kirill Mechitov, Reza Shiftehfar, Tarek F. Abdelzaher, Gul Agha, Billie F. Spencer: The time-keeping anomaly of energy-saving sensors: Manifestation, solution, and a structural monitoring case study. SECON 2012: 380-388

Kirill Mechitov, Gul Agha: Building portable middleware services for heterogeneous cyber-physical systems. SESENA 2012: 31-36

Ashish Vulimiri, Gul A. Agha, Philip Brighten Godfrey, Karthik Lakshminarayanan: How well can congestion pricing neutralize denial of service attacks? SIGMETRICS 2012: 137-150

Minas Charalambides, Peter Dinges, Gul Agha: Parameterized Concurrent Multi-Party Session Types. FOCLASA 2012: 16-30

YoungMin Kwon, Gul A. Agha: Verifying the Evolution of Probability Distributions Governed by a DTMC. IEEE Trans. Software Eng. 37(1): 126-141 (2011)

Vijay Anand Korthikanti, Gul Agha, Mark R. Greenstreet: On the Energy Complexity of Parallel Algorithms. ICPP 2011: 562-570

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

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

Stas Negara, Rajesh K. Karmani, Gul A. Agha: Inferring ownership transfer for efficient message passing. PPOPP 2011: 81-90

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

Rajesh K. Karmani, Gul Agha: Actors. Encyclopedia of Parallel Computing 2011: 1-11

Gul Agha, Olivier Danvy, José Meseguer (Eds.): Formal Modeling: Actors, Open Systems, Biological Systems - Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday. Lecture Notes in Computer Science 7000, Springer 2011, isbn 978-3-642-24932-7

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)

YoungMin Kwon, Kirill Mechitov, Sameer Sundresh, WooYoung Kim, Gul Agha: Resilient localization for sensor networks in outdoor environments. TOSN 7(1) (2010)

Steven Lauterburg, Rajesh K. Karmani, Darko Marinov, Gul Agha: Evaluating Ordering Heuristics for Dynamic Partial-Order Reduction Techniques. FASE 2010: 308-322

Vijay Anand Korthikanti, Gul Agha: Avoiding energy wastage in parallel applications. Green Computing Conference 2010: 149-163

Vilas Jagannath, Milos Gligoric, Steven Lauterburg, Darko Marinov, Gul Agha: Mutation Operators for Actor Systems. ICST Workshops 2010: 157-162

Vijay Anand Korthikanti, Mahesh Viswanathan, Gul Agha, YoungMin Kwon: Reasoning about MDPs as Transformers of Probability Distributions. QEST 2010: 199-208

Steven Lauterburg, Rajesh K. Karmani, Darko Marinov, Gul Agha: Basset: a tool for systematic testing of actor programs. SIGSOFT FSE 2010: 363-364

Vijay Anand Korthikanti, Gul Agha: Towards optimizing energy costs of algorithms for shared memory architectures. SPAA 2010: 157-165

Dave Clarke, Gul A. Agha (Eds.): Coordination Models and Languages, 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings. Lecture Notes in Computer Science 6116, Springer 2010, isbn 978-3-642-13413-5

Vijay Anand Korthikanti, Gul Agha: Analysis of Parallel Algorithms for Energy Conservation in Scalable Multicore Architectures. ICPP 2009: 212-219

Steven Lauterburg, Mirco Dotta, Darko Marinov, Gul A. Agha: A Framework for State-Space Exploration of Java-Based Actor Programs. ASE 2009: 468-479

Sherin M. Moussa, Mohamed Hashem, Gul Agha: An agent-based framework for inhabitants' untraceability in ubiquitous environments. MoMM 2009: 386-390

Sherin M. Moussa, Mohamed H. Abdelaziz, Gul A. Agha: Integrating Encrypted Mobile Agents with Smart Homes. NTMS 2009: 1-5

Rajesh K. Karmani, Amin Shali, Gul Agha: Actor frameworks for the JVM platform: a comparative analysis. PPPJ 2009: 11-20

Gul Agha: Computing in pervasive cyberspace. Commun. ACM 51(1): 68-70 (2008)

MyungJoo Ham, Gul Agha: Market-based coordination strategies for physical multi-agent systems. SIGBED Review 5(1): 23 (2008)

YoungMin Kwon, Gul Agha: LTLC: Linear Temporal Logic for Control. HSCC 2008: 316-329

YoungMin Kwon, Gul Agha: Passive Localization: Large Size Sensor Network Localization Based on Environmental Events. IPSN 2008: 3-14

MyungJoo Ham, Gul A. Agha: A Robust Audit Mechanism to Prevent Malicious Behaviors in Multi-robot Systems. SASO 2008: 35-44

Kirill Mechitov, Reza Razavi, Gul Agha: Architecture design principles to support adaptive service orchestration in WSN applications. SIGBED Review 4(3): 37-42 (2007)

Po-Hao Chang, Gul Agha: Towards Context-Aware Web Applications. DAIS 2007: 239-252

Rick Kazman, Gul Agha: Software Technology Track Introduction. HICSS 2007: 255

YoungMin Kwon, Gul Agha: A Markov Reward Model for Software Reliability. IPDPS 2007: 1-6

Po-Hao Chang, Gul Agha: Supporting reconfigurable object distribution for customized web applications. SAC 2007: 1286-1292

Rajesh K. Karmani, Timo Latvala, Gul Agha: On Scaling Multi-Agent Task Reallocation Using Market-Based Approach. SASO 2007: 173-182

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)

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)

Koushik Sen, Grigore Rosu, Gul Agha: Online efficient predictive safety analysis of multithreaded programs. STTT 8(3): 248-260 (2006)

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

YoungMin Kwon, Sameer Sundresh, Kirill Mechitov, Gul Agha: ActorNet: an actor platform for wireless sensor networks. AAMAS 2006: 1297-1300

Koushik Sen, Gul Agha: CUTE and jCUTE: Concolic Unit Testing and Explicit Path Model-Checking Tools. CAV 2006: 419-423

Koushik Sen, Gul Agha: Automated Systematic Testing of Open Distributed Programs. FASE 2006: 339-356

Bill Donkervoet, Gul Agha: Reflecting on Aspect-Oriented Programming, Metaprogramming, and Adaptive Distributed Monitoring. FMCO 2006: 246-265

Gul Agha: Track Introduction. HICSS 2006

Koushik Sen, Gul Agha: A Race-Detection and Flipping Algorithm for Automated Testing of Multi-threaded Programs. Haifa Verification Conference 2006: 166-182

Koushik Sen, Abhay Vardhan, Gul Agha, Grigore Rosu: Decentralized runtime analysis of multithreaded applications. IPDPS 2006

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

Po-Hao Chang, Gul Agha: Supporting Reconfigurable Object Distribution for Customizable Web Applications. OTM Workshops (1) 2006: 32-33

Liping Chen, Gul Agha: State Aware Data Dissemination over Structured Overlays. Peer-to-Peer Computing 2006: 145-152

YoungMin Kwon, Gul Agha: Scalable Modeling and Performance Evaluation of Wireless Sensor Networks. IEEE Real Time Technology and Applications Symposium 2006: 49-58

Koushik Sen, Mahesh Viswanathan, Gul Agha: Model-Checking Markov Chains in the Presence of Uncertainties. TACAS 2006: 394-410

Koushik Sen, Mahesh Viswanathan, Gul Agha: On Statistical Model Checking of Stochastic Systems. CAV 2005: 266-280

Predrag T. Tosic, Gul A. Agha: Computational Complexity of Predicting Some Properties of Large-Scale Agent Ensembles' Dynamical Evolution. EUMAS 2005: 415-426

Koushik Sen, Grigore Rosu, Gul Agha: Detecting Errors in Multithreaded Programs by Generalized Predictive Analysis of Executions. FMOODS 2005: 211-226

Gul Agha: Software Technology Track. HICSS 2005

YoungMin Kwon, Kirill Mechitov, Sameer Sundresh, WooYoung Kim, Gul A. Agha: Resilient Localization for Sensor Networks in Outdoor Environments. ICDCS 2005: 643-652

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

Christo Frank Devaraj, Indranil Gupta, Mahwish Nagda, Gul A. Agha: An underlay for sensor networks: localized protocols for maintenance and usage. MASS 2005

MyungJoo Ham, Gul Agha: ARA: A Robust Audit to Prevent Free-Riding in P2P Networks. Peer-to-Peer Computing 2005: 125-132

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

YoungMin Kwon, Gul A. Agha: iLTLChecker: A Probabilistic Model Checker for Multiple DTMCs. QEST 2005: 245-246

Koushik Sen, Mahesh Viswanathan, Gul A. Agha: VESTA: A Statistical Model-checker and Analyzer for Probabilistic Systems. QEST 2005: 251-252

Koushik Sen, Darko Marinov, Gul Agha: CUTE: a concolic unit testing engine for C. ESEC/SIGSOFT FSE 2005: 263-272

Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gul Agha: Using Language Inference to Verify Omega-Regular Properties. TACAS 2005: 45-60

Predrag T. Tosic, Gul A. Agha: On Computational Complexity of Counting Fixed Points in Symmetric Boolean Graph Automata. UC 2005: 191-205

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

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

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

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)

Predrag T. Tosic, Gul Agha: Characterizing Configuration Spaces of Simple Threshold Cellular Automata. ACRI 2004: 861-870

Prasanna Thati, Carolyn L. Talcott, Gul Agha: Techniques for Executing and Reasoning about Specification Diagrams. AMAST 2004: 521-536

Sameer Sundresh, WooYoung Kim, Gul Agha: SENS: A Sensor, Environment and Network Simulator. Annual Simulation Symposium 2004: 221-228

Nadeem Jamali, Indratmo, Xinghui Zhao, Gul Agha: Decentralized Resource Control for Multi-Agent Systems. AAMAS 2004: 1366-1367

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

Koushik Sen, Mahesh Viswanathan, Gul Agha: Statistical Model Checking of Black-Box Probabilistic Systems. CAV 2004: 202-215

Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gul Agha: Actively Learning to Verify Safety for FIFO Automata. FSTTCS 2004: 494-505

Gul Agha: Software Technology Track Introduction. HICSS 2004

Myeong-Wuk Jang, Amr Abdel Momen, Gul Agha: ATSpace: A Middle Agent to Support Application Oriented Matchmaking and Brokering Services. IAT 2004: 393-396

YoungMin Kwon, Gul Agha: Linear Inequality LTL (iLTL): A Model Checker for Discrete Time Markov Chains. ICFEM 2004: 194-208

Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gul Agha: Learning to Verify Safety Properties. ICFEM 2004: 274-289

Koushik Sen, Abhay Vardhan, Gul Agha, Grigore Rosu: Efficient Decentralized Monitoring of Safety in Distributed Systems. ICSE 2004: 418-427

Predrag T. Tosic, Gul Agha: Concurrency vs. Sequential Interleavings in 1-D Threshold Cellular Automata. IPDPS 2004

Myeong-Wuk Jang, Gul Agha: Adaptive Agent Allocation for Massively Multi-agent Applications. MMAS 2004: 25-39

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

Sandeep Uttamchandani, Guillermo A. Alvarez, Gul Agha: DecisionQoS: An Adaptive, Self-Evolving QoS Arbitration Module for Storage Systems. POLICY 2004: 67-76

Koushik Sen, Mahesh Viswanathan, Gul Agha: Learning Continuous Time Markov Chains from Sample Executions. QEST 2004: 146-155

Po-Hao Chang, WooYoung Kim, Gul Agha: An Adaptive Programming Framework for Web Applications. SAINT 2004: 152-159

Myeong-Wuk Jang, Amr Ahmed Momen, Gul Agha: Efficient Agent Communication in Multi-agent Systems. SELMAS 2004: 236-253

Predrag T. Tosic, Gul A. Agha: Towards a hierarchical taxonomy of autonomous agents. SMC (4) 2004: 3421-3426

Koushik Sen, Grigore Rosu, Gul Agha: Online Efficient Predictive Safety Analysis of Multithreaded Programs. TACAS 2004: 123-138

Koushik Sen, Grigore Rosu, Gul Agha: Generating Optimal Linear Temporal Logic Monitors by Coinduction. ASIAN 2003: 260-275

Nirman Kumar, Koushik Sen, José Meseguer, Gul Agha: A Rewriting Based Model for Probabilistic Distributed Object Systems. FMOODS 2003: 32-46

Reza Ziaei, Gul Agha: SynchNet: A Petri Net Based Coordination Language for Distributed Objects. GPCE 2003: 324-343

Hui Ding, Can Zheng, Lui Sha, Gul Agha: Specification and Validation of Fault-Tolerant Software Architectures Based on Actor Model. SEKE 2003: 458-466

Kirill Mechitov, Sameer Sundresh, YoungMin Kwon, Gul Agha: Cooperative tracking with binary-detection sensor networks. SenSys 2003: 332-333

Koushik Sen, Grigore Rosu, Gul Agha: Runtime safety analysis of multithreaded programs. ESEC / SIGSOFT FSE 2003: 337-346

Hui Ding, Can Zheng, Gul Agha, Lui Sha: Automated Verification of the Dependability of Object-Oriented Real-Time Systems. WORDS Fall 2003: 171-178

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)

Gul Agha: Introduction. Commun. ACM 45(6): 30-32 (2002)

Prasannaa Thati, Reza Ziaei, Gul Agha: A Theory of May Testing for Asynchronous Calculi with Locality and No Name Matching. AMAST 2002: 223-238

Prasannaa Thati, Reza Ziaei, Gul Agha: A Theory of May Testing for Actors. FMOODS 2002: 147-162

Abhay Vardhan, Gul Agha: Using passive object garbage collection algorithms for garbage collection of active objects. MSP/ISMM 2002: 213-220

Mark Astley, Daniel C. Sturman, Gul Agha: Customizable middleware for modular distributed software. Commun. ACM 44(5): 99-107 (2001)

Carlos A. Varela, Gul Agha: Programming Dynamically Reconfigurable Open systems with SALSA. SIGPLAN Notices 36(12): 20-34 (2001)

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

Gul Agha: The World Wide Computer: Prospects for Parallel and Distributed Computing on the Web. CCGRID 2001: 18

Nalini Venkatasubramanian, Carolyn L. Talcott, Gul Agha: A Formal Model for Reasoning about Adaptive QoS-Enabled Middleware. FME 2001: 197-221

Prasannaa Thati, Po-Hao Chang, Gul Agha: Crawlets: Agents for High Performance Web Search Engines. Mobile Agents 2001: 119-134

Gul Agha, Fiorella de Cindio, Grzegorz Rozenberg (Eds.): Concurrent Object-Oriented Programming and Petri Nets, Advances in Petri Nets. Lecture Notes in Computer Science 2001, Springer 2001, isbn 3-540-41942-X

Gul Agha: Object Oriented Architectures, Tools, and Applications. Euro-Par 2000: 1029-1030

Brian Nielsen, Gul Agha: Towards Reusable Real-Time Objects. Ann. Software Eng. 7: 257-282 (1999)

Gul A. Agha, WooYoung Kim: Actors: A unifying model for parallel and distributed computing. Journal of Systems Architecture 45(15): 1263-1277 (1999)

Carlos A. Varela, Gul Agha: A Hierarchical Model for Coordination of Concurrent Activities. COORDINATION 1999: 166-182

Carlos A. Varela, Gul Agha: What after Java? From Objects to Actors. Computer Networks 30(1-7): 573-577 (1998)

Rachid Guerraoui, Gul Agha: Editorial - High Availability in CORBA. TAPOS 4(2): 71 (1998)

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

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

Brian Nielsen, Shangping Ren, Gul Agha: Specification of Real-Time Interaction Constraints. ISORC 1998: 206-214

Mark Astley, Gul Agha: Modular Construction and Composition of Distributed Software Architectures. PDSE 1998: 2-12

Mark Astley, Gul Agha: Customizaton and Compositon of Distributed Objects: Middleware Abstractions for Policy Management. SIGSOFT FSE 1998: 1-9

Gul Agha, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott: A Foundation for Actor Computation. J. Funct. Program. 7(1): 1-72 (1997)

Gul Agha, Stefano Russo: Workshop on Software Engineering for Parallel and Distributed Systems. ICSE 1997: 678

Gul Agha: Linguistic Paradigms for Programming Complex Distributed Systems. ACM Comput. Surv. 28(2): 295-296 (1996)

Mark Astley, Gul Agha: A Visualization Model for Concurrent Systems. Inf. Sci. 93(1): 107-131 (1996)

Shangping Ren, Gul Agha, Masahiko Saito: A Modular Approach to Programming Distributed Real-Time Systems. J. Parallel Distrib. Comput. 36(1): 4-12 (1996)

Masahiko Saito, Gul Agha: A modular approach to real-time synchronization. OOPS Messenger 7(1): 13-20 (1996)

Gul Agha: Modeling Concurrent Systems: Actors, Nets, and the Problem of Abstraction and Composition. Application and Theory of Petri Nets 1996: 1-10

Shangping Ren, Gul Agha: A Modular Approach for Programming Embedded Systems. European Educational Forum: School on Embedded Systems 1996: 170-207

R. Panwar, W. Kim, Gul Agha: Parallel Implementations of Irregular Problems Using High-Level Actor Language. IPPS 1996: 857-862

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

WooYoung Kim, Gul Agha: Efficient Support of Location Transparency in Concurrent Object-Oriented Programming Languages. SC 1995: 39

Christian J. Callsen, Gul Agha: Open Heterogeneous Computing in Actor Space. J. Parallel Distrib. Comput. 21(3): 289-300 (1994)

R. Panwar, Gul Agha: A Methodology for Programming Scalable Architectures. J. Parallel Distrib. Comput. 22(3): 479-487 (1994)

Svend Frølund, Gul Agha: Abstracting Interactions Based on Message Sets. ECOOP Workshop 1994: 107-124

Daniel C. Sturman, Gul Agha: A Protocol Description Language for Customizing Semantics. SRDS 1994: 148-157

Svend Frølund, Gul Agha: A Language Framework for Multi-Object Coordination. ECOOP 1993: 346-360

Gul Agha, Christian J. Callsen: ActorSpaces: An Open Distributed Programming Paradigm. PPOPP 1993: 23-32

Shakuntala Miriyala, Gul Agha, Yamina Sami: Visualizing actor programs using predicate transition nets. J. Vis. Lang. Comput. 3(2): 195-220 (1992)

Gul Agha, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott: Towards a Theory of Actor Computation. CONCUR 1992: 565-579

Suresh Jagannathan, Gul Agha: A Reflective Model of Inheritance. ECOOP 1992: 350-371

Gul Agha: Formal methods for Actor systems: A progress report. FORTE 1992: 217-228

Christopher R. Houck, Gul Agha: HAL: A High-Level Actor Language and Its Distributed Implementation. ICPP (2) 1992: 158-165

Nalini Venkatasubramanian, Gul Agha, Carolyn L. Talcott: Scalable Distributed Garbage Collection for Systems of Active Objects. IWMM 1992: 134-147

Won Kim, Gul Agha: Comilation of a Highly Parallel Actor-Based Language. LCPC 1992: 1-15

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)

Gul Agha, Akinori Yonezawa, Peter Wegner, Samson Abramsky: OOPSLA panel on object-based concurrent programming. OOPS Messenger 2(2): 3-15 (1991)

Vineet Singh, Vipin Kumar, Gul Agha, Chris Tomlinson: Scalability of Parallel Sorting on Mesh Multicomputers. IPPS 1991: 92-101

Gul Agha, Christopher R. Houck, R. Panwar: Distributed Execution of Actor Programs. LCPC 1991: 1-17

Gul A. Agha: ACTORS - a model of concurrent computation in distributed systems. MIT Press series in artificial intelligence, MIT Press 1990, isbn 978-0-262-01092-4, pp. I-IX, 1-144

Gul Agha: Concurrent Object-Oriented Programming. Commun. ACM 33(9): 125-141 (1990)

Gul Agha, Samson Abramsky, Carl Hewitt, Robin Milner, Peter Wegner, Akinori Yonezawa: Foundations of Concurrent Object-Oriented Programming (Panel). OOPSLA/ECOOP 1990: 100

Gul Agha: The Structure and Semantics of Actor Languages. REX Workshop 1990: 1-59

Gul Agha: Foundational issues in concurrent computing. SIGPLAN Notices 24(4): 60-65 (1989)

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)

Gul Agha: Supporting Multiparadigm Programming on Actor Architectures. PARLE (2) 1989: 1-19

Gul Agha: The Relation between Problems in Large-Scale Concurrent Systems and Distributed Databases. DPDS 1988: 2-12

Carl Hewitt, Gul Agha: Guarded Horn Clause Languages: Are They Deductive and Logical? FGCS 1988: 650-657

Gul Agha, Carl Hewitt: Actors: A Conceptual Foundation for Concurrent Object-Oriented Programming. Research Directions in Object-Oriented Programming 1987: 49-74

Gul Agha: A Message-Passing Paradigm for Object Management. IEEE Database Eng. Bull. 8(4): 75-82 (1985)

Gul Agha, Carl Hewitt: Concurrent Programming Using Actors: Exploiting large-Scale Parallelism. FSTTCS 1985: 19-41

Gul Agha: Semantic Considerations in the Actor Paradigm of Concurrent Computation. Seminar on Concurrency 1984: 151-179

Carl Hewitt, Tom Reinhardt, Gul Agha, Giuseppe Attardi: Linguistic Support of Receptionists for Shared Resources. Seminar on Concurrency 1984: 330-359