Search the dblp DataBase
Gul A. Agha :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Predrag T. Tosic , Gul A. Agha Computational Complexity of Predicting Some Properties of Large-Scale Agent Ensembles' Dynamical Evolution. [Citation Graph (0, 0)][DBLP ] EUMAS, 2005, pp:415-426 [Conf ] YoungMin Kwon , Kirill Mechitov , Sameer Sundresh , WooYoung Kim , Gul A. Agha Resilient Localization for Sensor Networks in Outdoor Environments. [Citation Graph (0, 0)][DBLP ] ICDCS, 2005, pp:643-652 [Conf ] Predrag T. Tosic , Gul A. Agha Maximal Clique Based Distributed Coalition Formation for Task Allocation in Large-Scale Multi-agent Systems. [Citation Graph (0, 0)][DBLP ] MMAS, 2004, pp:104-120 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] POLICY, 2005, pp:129-138 [Conf ] YoungMin Kwon , Gul A. Agha iLTLChecker: A Probabilistic Model Checker for Multiple DTMCs. [Citation Graph (0, 0)][DBLP ] QEST, 2005, pp:245-246 [Conf ] Koushik Sen , Mahesh Viswanathan , Gul A. Agha VESTA: A Statistical Model-checker and Analyzer for Probabilistic Systems. [Citation Graph (0, 0)][DBLP ] QEST, 2005, pp:251-252 [Conf ] Predrag T. Tosic , Gul A. Agha Towards a hierarchical taxonomy of autonomous agents. [Citation Graph (0, 0)][DBLP ] SMC (4), 2004, pp:3421-3426 [Conf ] Predrag T. Tosic , Gul A. Agha On Computational Complexity of Counting Fixed Points in Symmetric Boolean Graph Automata. [Citation Graph (0, 0)][DBLP ] UC, 2005, pp:191-205 [Conf ] Sandeep Uttamchandani , Li Yin , Guillermo A. Alvarez , John Palmer , Gul A. Agha CHAMELEON: A Self-Evolving, Fully-Adaptive Resource Arbitrator for Storage Systems. [Citation Graph (0, 0)][DBLP ] USENIX Annual Technical Conference, General Track, 2005, pp:75-88 [Conf ] Irma Becerra-Fernandez , Te Wei Wang , Gul A. Agha Actor Model and Knowledge Management Systems: Social Interaction as a Framework for Knowledge Integration. [Citation Graph (0, 0)][DBLP ] Wissensmanagement, 2005, pp:19-29 [Conf ] Gul A. Agha , José Meseguer , Koushik Sen PMaude: Rewrite-based Specification Language for Probabilistic Object Systems. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2006, v:153, n:2, pp:213-239 [Journal ] Sandeep Uttamchandani , Xiaoxin Yin , John Palmer , Gul A. Agha Monitormining: creating domain knowledge for system automation using a gray-box approach. [Citation Graph (0, 0)][DBLP ] Integrated Network Management, 2005, pp:61-74 [Conf ] A Study of Coordinated Dynamic Market-Based Task Assignment in Massively Multi-Agent Systems. [Citation Graph (, )][DBLP ] A Framework for State-Space Exploration of Java-Based Actor Programs. [Citation Graph (, )][DBLP ] A Robust Audit Mechanism to Prevent Malicious Behaviors in Multi-robot Systems. [Citation Graph (, )][DBLP ] Integrating Encrypted Mobile Agents with Smart Homes. [Citation Graph (, )][DBLP ] Search in 0.004secs, Finished in 0.005secs