Publications 2005 - 2009

1. Korthikanti, Vijay Anand Reddy, Gul Agha. "Analysis of Parallel Algorithms for Energy Conservation in Scalable Multicore Architectures," International Conference on Parallel Processing (ICPP), 2009. [PDF] [PPT] [bib]
2. Bangalore Jagannath, Vilas Shekhar, Yun Young Lee, Brett Daniel, Darko Marinov. "Reducing the Costs of Bounded-Exhaustive Testing," Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering (FASE), 2009. [Paper] [Presentation] [bib]
3. Moussa, Sherin, Gul Agha. "Integrating Encrypted Mobile Agents with Smart Homes," to appear in Proceedings of The Third International Conference on New Technologies, Mobility and Security (NTMS'2009), Cairo, Egypt, December, 2009. [bib]
4. Karmani, Rajesh Kumar, Amin Shali, Gul Agha. "Actor frameworks for the JVM platform: A Comparative Analysis," In the proceedings of the 7th International Conference on the Principles and Practice of Programming in Java, 2009. [pdf] [bib]
5. Daniel, Brett, Vilas Shekhar Bangalore Jagannath, Danny Dig, Darko Marinov. "ReAssert: Suggesting Repairs for Broken Unit Tests," 24rd IEEE/ACM International Conference on Automated Software Engineering (ASE), 2009. [bib]
6. Sundresh, Sameer. "Request-Based Mediated Execution," University of Illinois, 2009. [pdf] [bib]
7. Moussa, Sherin, Gul Agha. "A Multi-agent Simulator for Resource Management in Smart Spaces," to appear in Proceedings of The International Workshop on Mobile Systems, E-commerce, and Agent Technology (MSEAT'2009), in conjunction with The Second IEEE International Conference on Ubi-media Computing (U-Media'2009), Taiwan, December, 2009. [bib]
8. Moussa, Sherin, Gul Agha. "An Agent-based Framework for Inhabitants’ Untraceability in Ubiquitous Environments," to appear in Proceedings of The 7th International Conference on Advances in Mobile Computing & Multimedia (@WAS ERPAS'2009), Kuala Lampur. Malaysia, December, 2009. [bib]
9. Ham, MyungJoo, Gul Agha. " Market-based Coordination Strategies for Physical Multi-Agent Systems," Special Issue on the RTSS Forum on Deeply Embedded Real-Time Computing, ACM SIGBED Review, Volume 5, Number 1, January 2008, 2008. [bib] [pdf] [ppt] [wmv]
10. Korthikanti, Vijay Anand Reddy, Prateek Mittal, Indranil Gupta. "Fair K Mutual Exclusion Algorithm for Peer to Peer Systems," International Conference on Distributed Computing Systems (ICDCS), 2008. [pdf] [ppt] [bib]
11. Kwon, YoungMin, Gul Agha. "Passive Localization: Large Size Sensor Network Localization Based on Environmental Events," International Conference on Information Processing in Sensor Networks (IPSN) (to appear), 2008. [pdf] [bib]
12. Kwon, YoungMin, Gul Agha. "LTLC: Linear Temporal Logic for Control," 11th International Conference on Hybrid Systems: Computation and Control (HSCC) (to appear), 2008. [pdf] [bib]
13. Karmani, Rajesh Kumar, Gul Agha. "Debugging Wireless Sensor Networks Using Mobile Actors," RTAS Poster Session, 2008. [abstract] [poster] [bib]
14. Ham, MyungJoo, Gul Agha. "A Study of Coordinated Dynamic Market-Based Task Assignment in Massively Multi-Agent Systems," Coordination and Control in Massively Multi-Agent Systems in Massively Multi-Agent Technology of Lecture Notes in Computer Science, Vol. 5043, pp. 43--63, 2008. [bib] [pdf]
15. Sundresh, Sameer. "Communication Across Levels of Abstraction," Workshop on Event-Based Semantics (WEBS), 2008. [pdf] [slides] [bib]
16. Ham, MyungJoo, Gul Agha. "A Robust Audit Mechanism to Prevent Malicious Behaviors in Multi-Robot Systems," Proccedings of IEEE SASO, pp. 35--44, 2008. [pdf] [ppt] [bib]
17. Zwicky, William. "AJ: A Systems for Buildings Actors with Java," , 2008. [pdf] [bib]
18. Shevlyagin, Sergei, Kirill Mechitov, Gul Agha. "Fault Tolerance in ActorNet," UIUC Department of Computer Science Undergraduate Research Symposium, 2008. [ppt-poster] [bib]
19. Mechitov, Kirill, Reza Razavi, Gul Agha. "Architecture Design Principles to Support Adaptive Service Orchestration in WSN Applications," ACM SIGBED Review, vol. 4, no. 3, 2007. [pdf] [bib]
20. Kwon, YoungMin, Gul Agha. "A Markov Reward Model for Software Reliability," The Next Generation Software (NGS) Workshop at International Parallel and Distributed Processing Symposium (IPDPS), pages 1-6, 2007. [pdf] [ps] [bib]
21. Mechitov, Kirill, Reza Razavi, Gul Agha. "Architecture Design Principles to Support Adaptive Service Orchestration in WSN Applications," International Workshop on Wireless Sensor Network Architectures (WWSNA), 2007. [pdf] [ps] [bib]
22. Chang, Po-Hao, Gul Agha. "Towards Context-Aware Web Applications," 7th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), 2007. [pdf] [bib]
23. Chang, Po-Hao, Gul Agha. "Supporting Reconfigurable Object Distribution for Customized Web Applications," The 22nd Annual ACM Symposium on Applied Computing (SAC), 2007. [pdf] [pdf] [bib]
24. Ham, MyungJoo, Gul Agha. "Market-based Coordination Strategies for Large-scale Multi-Agent Systems," System and Information Sciences Notes, Vol. 2, No. 1, pp. 126--131), 2007. [bib] [pdf] [ppt] [wmv] [wmv]
25. Donkervoet, Bill, Gul Agha. "Reflecting on Adaptive Distributed Monitoring," Formal Methods for Components and Objects, 2007. [pdf] [bib]
26. Agha, Gul. "Computing with Biosensors," NSF Biosensing and Bioactuation Workshop, 2007. [pdf] [bib]
27. Razavi, Reza, Kirill Mechitov, Gul Agha, Jean-Francois Perrot. "Ambiance: A Mobile Agent Platform for End-User Programmable Ambient Systems," J.C. Augusto and D. Shapiro (eds.), Advances in Ambient Intelligence, Frontiers in Artificial Intelligence and Applications (FAIA), vol. 164, IOS Press, 2007. [pdf] [bib]
28. Nagayama, Tomonori, B. F. Spencer. "Structural Health Monitoring Using Smart Sensors," Newmark Structural Engineering Laboratory Report Series 001 http://hdl.handle.net/2142/3521, 2007. [bib]
29. Razavi, Reza, Kirill Mechitov, Gul Agha, Jean-Francois Perrot. "Dynamic Macroprogramming of Wireless Sensor Networks with Mobile Agents," 2nd Workshop on Artificial Intelligence Techniques for Ambient Intelligence (AITAmI), 2007. [pdf] [bib]
30. Karmani, Rajesh Kumar, Timo Latvala, Gul Agha. "On Scaling Multi-Agent Task Reallocation Using Market-Based Approach," In the proceedings of the First IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO), 2007. [pdf] [slides] [bib]
31. Tosic, Predrag. "Computational Complexity of Some Enumeration Problems About Uniformly Sparse Boolean Network Automata," Proceedings of the Second European Conference on Complex Systems (ECCS'06), European Complex Systems Society (15 pages); to appear in September, 2006. [pdf] [ps] [bib]
32. Sen, Koushik, Gul Agha. "Automated Systematic Testing of Open Distributed Programs," FASE, 2006. [pdf] [ps] [bib]
33. Sen, Koushik, Mahesh Viswanathan, Gul Agha. "Model-Checking Markov Chains in the presence of Uncertainties," TACAS, 2006. [pdf] [ps] [bib]
34. Nagayama, Tomonori, B. F. Spencer, Gul Agha, Kirill Mechitov. "Model-based Data Aggregation for Structural Monitoring Employing Smart Sensors," 3rd International Conference on Networked Sensing Systems (INSS), 2006. [pdf] [bib]
35. Tosic, Predrag. "On the Complexity of Counting Fixed Points and Gardens of Eden in Sequential Dynamical Systems on Planar Bipartite Graphs," International Journal on Foundations of Computer Science, vol. 17 (5), pp. 1179--1203, World Scientific, October, 2006. [pdf] [pdf] [bib]
36. Mechitov, Kirill, WooYoung Kim, Gul Agha, Tomonori Nagayama. "High-Frequency Distributed Sensing for Structure Monitoring," Trans. of the Society of Instrument and Control Engineers (SICE), vol. E-S-1, no. 1, pages 109-114, 2006. [pdf] [ps] [bib]
37. Kwon, YoungMin, Sameer Sundresh, Kirill Mechitov, Gul Agha. "ActorNet: An Actor Platform for Wireless Sensor Networks," Fifth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS), pages 1297-1300, 2006. [pdf] [ps] [bib]
38. Kwon, YoungMin, Gul Agha. "Scalable Modeling and Performance Evaluation of Wireless Sensor Networks," Real-Time and Embedded Technology and Applications Symposium (RTAS), IEEE pages 49-58, 2006. [pdf] [ps] [bib]
39. Kwon, YoungMin. "Probabilistic Modeling and Verification of Large Scale Systems," Technical Report, UIUCDCS-R-2006-2687, Department of Computer Science, University of Illinois at Urbana Champaign, 2006. [pdf] [ps] [bib]
40. Tosic, Predrag. "On Modeling and Analyzing Sparsely Networked Large-Scale Multi-agent Systems with Cellular and Graph Automata," The Second Workshop on Modeling of Complex Systems with Cellular Automata (MCSCA06), in Proceedings of the Sixth International Conference on Computational Science ICCS'06 (part III); Springer's LNCS series, vol. 3993, pp. 272 - 280, 2006. [pdf] [ps] [bib]
41. Vardhan, Abhay. "Learning To Verify Systems," Ph.D. Thesis, Dept. of Computer Science, 2006. [pdf] [bib]
42. Jang, Myeong-Wuk. "Efficient Communication and Coordination for Large-Scale Multi-Agent Systems," Ph.D. Dissertation, 2006. [pdf] [bib]
43. Chen, Liping, Gul Agha. "State Aware Data Dissemination over Structured Overlays," The Sixth IEEE International Conference on Peer-to-Peer Computing, Cambridge, UK, Sept 6-8, 2006. [pdf] [bib]
44. Chang, Po-Hao, Gul Agha. "Supporting Reconfigurable Object Distribution for Customizable Web Applications (poster)," The 8th International Symposium on Distributed Objects, Middleware, and Applications (DOA), 2006. [pdf] [pdf] [bib]
45. Sen, Koushik, Mahesh Viswanathan. "Model Checking Multithreaded Programs with Asynchronous Atomic Methods," CAV, 2006. [pdf] [ps] [bib]
46. Sen, Koushik, Gul Agha. "CUTE and jCUTE : Concolic Unit Testing and Explicit Path Model-Checking Tools," CAV. Tool Paper, 2006. [pdf] [ps] [bib]
47. Rosu, Grigore, Koushik Sen. "An Instrumentation Technique for Online Analysis of Multithreaded Programs," Special Issue of Concurrency and Computation: Practice and Experience (CC:PE), 2006. [pdf] [ps] [bib]
48. Sen, Koushik. "Scalable Automated Methods for Dynamic Program Analysis," PhD Dissertation, 2006. [pdf] [ps] [bib]
49. Tosic, Predrag. "Computational Complexity of Some Enumeration Problems About Uniformly Sparse Boolean Network Automata," Electronic Colloquium on Computational Complexity (ECCC), Report TR06-159, 2006. [pdf] [ps] [bib]
50. Tosic, Predrag. "DISTRIBUTED COALITION FORMATION FOR COLLABORATIVE LARGE-SCALE MULTI-AGENT SYSTEMS," M.S. thesis, 2006. [pdf] [ps] [bib]
51. Tosic, Predrag. "Modeling and Analysis of the Collective Dynamics of Large-Scale Multi-Agent Systems: A Cellular and Network Automata based Approach," Department of Computer Science Technical Report (based on doctoral dissertation), UIUC, 2006. [pdf] [ps] [bib]
52. Tosic, Predrag. "Computational Complexity of Counting in Sparsely Networked Discrete Dynamical Systems," InterJournal, paper #1738, www.interjournal.org, 2006. [pdf] [bib]
53. Razavi, Reza, Kirill Mechitov, Sameer Sundresh, Gul Agha, Jean-Francois Perrot. "Ambiance: Adaptive Object Model-based Platform for Macroprogramming Sensor Networks," ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), 2006. [pdf] [poster] [bib]
54. Sen, Koushik, Abhay Vardhan, Gul Agha, Grigore Rosu. "Efficient Decentralized Monitoring of Safety in Distributed Systems," Submitted to ACM TOSEM [invited], 2006. [pdf] [ps] [bib]
55. Sen, Koushik, Mahesh Viswanathan, Gul Agha. "On Statistical Model Checking of Stochastic Systems," In 17th International Conference on Computer Aided Verification, (CAV'05), LNCS (To Appear), 2005. [pdf] [pdf] [ps] [ps] [bib]
56. Jang, Myeong-Wuk, Gul Agha. "Agent Framework Services to Reduce Agent Communication Overhead in Large-scale Agent-based Simulations," Simulation Modelling Practice and Theory (Accepted in October), 2005. [bib]
57. Artho, Cyrille, Howard Barringer, Allen Goldberg, Klaus Havelund, Sarfraz Khurshid, Michael Lowry, Corina Pasareanu, Grigore Rosu, Koushik Sen, Willem Visser, Rich Washington. "Combining Test Case Generation and Runtime Verification," Theoretical Computer Science (TCS), 2005. [pdf] [ps] [bib]
58. Uttamchandani, Sandeep, Xiaoxin Yin, John Palmer, Gul Agha. "MonitorMining: Creating Domain Knowledge for System Automation Using a Gray-box Approach," To Appear in Proceedings of the Ninth IFIP/IEEE International Symposium on Integrated Network Management, Nice, France, May, 2005. [pdf] [ps] [bib]
59. Jang, Myeong-Wuk, Amr Ahmed, Gul Agha. "Efficient Communication in Multi-Agent Systems," Software Engineering for Scale Multi-Agent Systems III, Lecture Notes in Computer Science 3390, Springer-Verlag, pp. 236-253, 2005. [pdf] [bib]
60. Yin, Li, Sandeep Uttamchandani, John Palmer, Randy Katz, Gul Agha. "AutoLoop: Automated Action Selection in the ," 6th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY'05), , 2005. [bib]
61. Ahmed, Amr, Abhilash Patel, Tom Brown, MyungJoo Ham, Myeong-Wuk Jang, Gul Agha. "Task Assignment for a Physical Agent Team via a Dynamic Forward/Reverse Auction Mechanism," The International Conference of Integration of Knowledge Intensive Multi-Agent Systems KIMAS '05: Modeling, Evolutions and Engineering, pp. 311-317, April 18 - 21, 2005. [pdf] [bib]
62. Jang, Myeong-Wuk, Gul Agha. "Scalable Agent Distribution Mechanisms for Large-Scale UAV Simulations," The International Conference of Integration of Knowledge Intensive Multi-Agent Systems KIMAS '05: Scalable Agents Session, pp. 85-90, April 18-21, Waltham, Massachusetts, 2005. [pdf] [bib]
63. Godefroid, Patrice, Nils Klarlund, Koushik Sen. "DART: Directed Automated Random Testing," PLDI, 2005. [pdf] [ps] [bib]
64. Agha, Gul, Jose Meseguer, Koushik Sen. "PMaude: Rewrite-based Specification Language for Probabilistic Object Systems," 3rd Workshop on Quantitative Aspects of Programming Languages (QAPL 05), 2005. [bib]
65. Uttamchandani, Sandeep, Li Yin, John Palmer, Randy Katz, Gul Agha. "Model-based Automation of the Observe-Analyze-Act Loop: Will it become a reality?," position paper submitted for review, 2005. [bib]
66. Vardhan, Abhay, Koushik Sen, Mahesh Viswanathan, Gul Agha. "Using Language Inference to Verify omega-regular Properties," In Proceedings of 11th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2005), LNCS, 2005. [pdf] [ps] [bib]
67. Sen, Koushik, Grigore Rosu, Gul Agha. "Detecting Errors in Multithreaded Programs by Generalized Predictive Analysis of Executions," FMOODS, 2005. [pdf] [ps] [bib]
68. Kwon, YoungMin, Sameer Sundresh, Kirill Mechitov, Gul Agha. "ActorNet: An Actor Platform for Wireless Sensor Networks," Technical Report UIUCDCS-R-2005-2595, Department of Computer Science, University of Illinois at Urbana-Champaign, 2005. [pdf] [ps] [bib]
69. Sundresh, Sameer, YoungMin Kwon, Kirill Mechitov, WooYoung Kim, Gul Agha. "Localization of Sparse Sensor Networks Using Layout Information," Technical Report UIUCDCS-R-2005-2525, Department of Computer Science, University of Illinois at Urbana-Champaign, 2005. [pdf] [ps] [bib]
70. Meseguer, Jose, Prasanna Thati. "Symbolic Reachability Analysis Using Narrowing and its Application to Verification of Cryptographic Protocols," to appear in Journal of Higher Order and Symbolic Computation , 2005. [pdf] [ps] [bib]
71. Thati, Prasanna, Jose Meseguer. "Complete Symbolic Reachability Analysis Using Back-and-Forth Narrowing," International Conference on Algebra and Coalgebra in Computer Science, to appear, 2005. [bib]
72. Uttamchandani, Sandeep, Li Yin, Guillermo Alvarez, John Palmer, Gul Agha. "Chameleon: a self-evolving, fully-adaptive resource arbitrator for storage systems," To Appear in the Proceedings of the 2005 USENIX Technical Conference, Anaheim, CA, April , 2005. [pdf] [bib]
73. Sen, Koushik, Grigore Rosu, Gul Agha. "Online Efficient Predictive Safety Analysis of Multithreaded Programs," International Journal on Software Technology and Tools Transfer (STTT) (To Appear), 2005. [pdf] [ps] [bib]
74. Escobar, Santiago, Jose Meseguer, Prasanna Thati. "Natural Narrowing for General Term Rewriting Systems," International Conference on Term Rewriting Techniques and Applications, 2005. [pdf] [ps] [bib]
75. Tosic, Predrag, Gul Agha. "On Parallel vs. Sequential Threshold Cellular Automata," (to become) Department of Computer Science Technical Report, University of Illinois at Urbana-Champaign, Spring, 2005. [pdf] [ps] [bib]
76. Kim, WooYoung, Kirill Mechitov, Jeung-Yoon Choi, Soo Ham. "On Target Tracking with Binary Proximity Sensors," Fourth International Conference on Information Processing in Sensor Networks (IPSN), pages 301-308, 2005. [pdf] [bib]
77. Tosic, Predrag. "On Counting Fixed Point Configurations in Star Networks," Proc. IEEE Int'l Parallel & Distributed Processing Symposium IPDPS '05 (CD-Rom), in Advances in Parallel and Distributed Computing Models workshop (APDCM '05); held in Denver, Colorado, April 4 - 8, 2005. [pdf] [ps] [bib]
78. Agha, Gul, Carl Gunter, Michael Greenwald, Sanjeev Khanna, Jose Meseguer, Koushik Sen, Prasanna Thati. "Formal Modeling and Analysis of DoS Using Probabilistic Rewrite Theories," Foundations of Computer Security (FCS), 2005. [bib]
79. Jang, Myeong-Wuk, Gul Agha. "Adaptive Agent Allocation for Massivley Multi-agent Applications," Massively Multi-Agent Systems I, LNCS(LNAI) 3446, Springer-Verlag, pp. 25-39, 2005. [bib]
80. Tosic, Predrag. "Cellular Automata for Distributed Computing: Models of Agent Interaction and Their Implications," IEEE Int'l Conf. on Systems, Man and Cybernetics SMC'05 (CD-Rom); held in Waikoloa, The Big Island of Hawaii, October 10-12, 2005. [pdf] [ps] [bib]
81. Brown, Tom. "Decentralized Coordination with Crash Failures," , 2005. [pdf] [bib]
82. Ham, MyungJoo, Gul Agha. "ARA: A Robust Audit to Prevent Free-Riding in P2P Networks," The Fifth IEEE International Conference on Peer-to-Peer Computing (P2P2005), 2005. [bib] [pdf] [ppt]
83. Tosic, Predrag. "Counting Fixed Points and Gardens of Eden of Sequential Dynamical Systems on Planar Bipartite Graphs," Electronic Colloquium on Computational Complexity, ECCC-TR05-091, 2005. [pdf] [ps] [bib]
84. Devaraj, Christo Frank, Mehwish A Nagda, Indranil Gupta, Gul Agha. "An Underlay for Sensor Networks: Localized Protocols for Maintenance and Usage," Proc. IEEE Conf. Mobile Ad-Hoc and Sensor Systems (MASS), 2005. [pdf] [bib]
85. Agha, Gul, Jose Meseguer, Koushik Sen. "PMaude: Rewrite-based Specification Language for Probabilistic Object Systems," Electronic Notes in Theoretical Computer Science, Elsevier Science, 2005. Expanded version of the paper that appeared in Proceedings of the 3rd Workshop on Quantitative Aspects of Programming Languages (To Appear)., 2005. [bib]
86. Tosic, Predrag, Gul Agha. "Parallel vs. Sequential Threshold Cellular Automata: Comparison and Contrast," Proceedings of the First European Conference on Complex Systems ECCS '05 (CD-Rom), European Complex Systems Society; held in Paris, France, November 14-18, 2005. [pdf] [ps] [bib]
87. Vardhan, Abhay, Mahesh Viswanathan. "Learning to Verify Branching Time Properties," Techincal Report UIUCDCS-R-2004-2445, UILU-ENG-2004-1747 (this is a long version of a paper to appear at the 20th IEEE/ACM International Conference on Automated Software Engineering, Long Beach, California, USA), 2005. [pdf] [bib]
88. Kwon, YoungMin, Gul Agha. "iLTLChecker: A Probabilistic Model Checker for Multiple DTMCs," 2nd International Conference on the Quantitative Evaluation of Systems, IEEE, (Tool paper), 2005. [pdf] [ps] [bib]
89. Tosic, Predrag. "On Complexity of Counting Fixed Point Configurations in Certain Classes of Graph Automata," Electronic Colloquium on Computational Complexity, ECCC-TR05-051, 2005. [pdf] [ps] [bib]
90. Tosic, Predrag, Gul Agha. "Maximal Clique Based Distributed Coalition Formation for Task Allocation in Large-Scale Multi-agent Systems," MMAS'04 Post-Proceedings, Springer-Verlag LNAI series, vol. 3446, pp. 104-120, 2005. [pdf] [ps] [bib]
91. Sen, Koushik, Darko Marinov, Gul Agha. "CUTE: A Concolic Unit Testing Engine for C," ESEC/FSE. ACM SIGSOFT Distinguished Paper Award Winner, 2005. [pdf] [pdf] [ps] [ps] [bib]
92. Sen, Koushik, Mahesh Viswanathan, Gul Agha. "VESTA: A Statistical Model Checker and Analyzer for Probabilistic Systems," In 2nd International Conference on the Quantitative Evaluation of Systems, IEEE, (Tool paper), 2005. [pdf] [ps] [bib]
93. Kwon, YoungMin, Kirill Mechitov, Sameer Sundresh, WooYoung Kim, Gul Agha. "Resilient Localization for Sensor Networks in Outdoor Environments," 25th International Conference on Distributed Computing Systems (ICDCS), pages 643-652, 2005. [pdf] [bib]
94. Tosic, Predrag, Gul Agha. "On Computational Complexity of Counting Fixed Points in Symmetric Boolean Graph Automata," Proc. UC'05 - Fourth International Conference on Unconventional Computation, Springer-Verlag LNCS series, vol. 3699, pp. 191-205; held in Sevilla, Spain, October 3-7 , 2005. [pdf] [ps] [bib]
95. Chen, Liping, Kasim Selcuk Candan, Diviyakant Agrawal, Dirceu Cavendish, Junichi Tatemura. "On Overlay Schemes to Support Point-in-Range Queries for Scalable Grid Resource Discovery," The Fifth IEEE International Conference on Peer-to-Peer Computing, Konstanz, Germany, Aug 31- Sept 2, 2005. [bib]
96. Chen, Liping, Kasim Selcuk Candan, Junichi Tatemura. "Overlay Schemes for Scalable p-Range Resource Discovery," The 14th IEEE International Symposium on High Performance Distributed Computing, Research Triangle Park, USA, July 24-27, 2005. [bib]
97. Tosic, Predrag, Gul Agha. "On Computational Complexity of Predicting Dynamical Evolution of Large Agent Ensembles," Proceedings of the Third European Workshop on Multi-Agent Systems EUMAS '05, pp. 415-426, Flemish Academy of Sciences; held in Brussels, Belgium, December 7-8, 2005. [pdf] [ps] [bib]