Gul A. Agha - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

Verifying the Evolution of Probability Distributions Governed by a DTMCYoungmin Kwon, Gul A. Agha. TSE, 37(1):126-141, 2011. [doi]

Inferring ownership transfer for efficient message passingStas Negara, Rajesh K. Karmani, Gul A. Agha. ppopp 2011: 81-90 [doi]

2010

Coordination Models and Languages, 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010. ProceedingsDave Clarke, Gul A. Agha, editors, Volume 6116 of Lecture Notes in Computer Science, Springer, 2010. [doi]

Integrating Encrypted Mobile Agents with Smart Spaces in a Multi-agent Simulator for Resource ManagementSherin M. Moussa, Gul A. Agha. jsw, 5(6):630-636, 2010. [doi]

2009

A Framework for State-Space Exploration of Java-Based Actor ProgramsSteven Lauterburg, Mirco Dotta, Darko Marinov, Gul A. Agha. kbse 2009: 468-479 [doi]

Integrating Encrypted Mobile Agents with Smart HomesSherin M. Moussa, Mohamed H. Abdelaziz, Gul A. Agha. ntms 2009: 1-5 [doi]

2008

A Robust Audit Mechanism to Prevent Malicious Behaviors in Multi-robot SystemsMyungJoo Ham, Gul A. Agha. saso 2008: 35-44 [doi]

2006

PMaude: Rewrite-based Specification Language for Probabilistic Object SystemsGul A. Agha, José Meseguer, Koushik Sen. ENTCS, 153(2):213-239, 2006. [doi]

A Study of Coordinated Dynamic Market-Based Task Assignment in Massively Multi-Agent SystemsMyungJoo Ham, Gul A. Agha. atal 2008: 43-63 [doi]

2005

Actor Model and Knowledge Management Systems: Social Interaction as a Framework for Knowledge IntegrationIrma Becerra-Fernandez, Te-Wei Wang, Gul A. Agha. wm 2005: 19-29

An underlay for sensor networks: localized protocols for maintenance and usageChristo Frank Devaraj, Indranil Gupta, Mahwish Nagda, Gul A. Agha. mass 2005: [doi]

iLTLChecker: A Probabilistic Model Checker for Multiple DTMCsYoungmin Kwon, Gul A. Agha. qest 2005: 245-246 [doi]

Resilient Localization for Sensor Networks in Outdoor EnvironmentsYoungmin Kwon, Kirill Mechitov, Sameer Sundresh, WooYoung Kim, Gul A. Agha. icdcs 2005: 643-652 [doi]

VESTA: A Statistical Model-checker and Analyzer for Probabilistic SystemsKoushik Sen, Mahesh Viswanathan, Gul A. Agha. qest 2005: 251-252 [doi]

Computational Complexity of Predicting Some Properties of Large-Scale Agent Ensembles Dynamical EvolutionPredrag T. Tosic, Gul A. Agha. eumas 2005: 415-426

On Computational Complexity of Counting Fixed Points in Symmetric Boolean Graph AutomataPredrag T. Tosic, Gul A. Agha. uc 2005: 191-205 [doi]

CHAMELEON: A Self-Evolving, Fully-Adaptive Resource Arbitrator for Storage SystemsSandeep Uttamchandani, Li Yin, Guillermo A. Alvarez, John Palmer, Gul A. Agha. usenix 2005: 75-88 [doi]

Monitormining: creating domain knowledge for system automation using a gray-box approachSandeep Uttamchandani, Xiaoxin Yin, John Palmer, Gul A. Agha. im 2005: 61-74 [doi]

AUTOLOOP: Automated Action Selection in the Observe-Analyze-Act Loop for Storage SystemsLi Yin, Sandeep Uttamchandani, John Palmer, Randy H. Katz, Gul A. Agha. policy 2005: 129-138 [doi]

2004

Towards a hierarchical taxonomy of autonomous agentsPredrag T. Tosic, Gul A. Agha. SMC 2004: 3421-3426 [doi]

Maximal Clique Based Distributed Coalition Formation for Task Allocation in Large-Scale Multi-agent SystemsPredrag T. Tosic, Gul A. Agha. mmas 2005: 104-120 [doi]

1999

Actors: A unifying model for parallel and distributed computingGul A. Agha, WooYoung Kim. jsa, 45(15):1263-1277, 1999. [doi]

1990

ACTORS - a model of concurrent computation in distributed systemsGul A. Agha. MIT Press series in artificial intelligence, MIT Press, 1990.