Journal and magazine publications

1. 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]
2. 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]
3. 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]
4. Donkervoet, Bill, Gul Agha. "Reflecting on Adaptive Distributed Monitoring," Formal Methods for Components and Objects, 2007. [pdf] [bib]
5. 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]
6. 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]
7. 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]
8. 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]
9. 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]
10. 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]
11. 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]
12. 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]
13. 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]
14. 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]
15. Ahmed, Amr, Nevin Darwish. "GTPOT-RL For Multiagent Teamwork," Journal of Engineering and Applied Science, Vol 50, No 3, June 2003, pp. 537-552. , 2003. [bib]
16. Milojicic, Dejan, 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, vol 2.1, pp 45-79, 2002. [pdf] [bib]
17. Astley, Mark, Daniel Sturman, Gul Agha. "Customizable Middleware for Modular Distributed Software," Communications of the ACM, Vol. 44, No. 5, pp 99-107, 2001. [pdf] [bib]
18. Chua, Tat Seng, Liping Chen, Suann Lee, Jihua Wang. "Stratification Approach to Modeling Video," A Special issue of the "Multimedia Tools & Applications" Journal, Sept, 2000. [bib]
19. Agha, Gul, WooYoung Kim. "Unifying Parallel and Distributed Computation: An Actor-Based Approach," Journal of Systems Architecture, 1999. [pdf] [bib]
20. Jamali, Nadeem, Prasanna Thati, Gul Agha. "An Actor-based architecture for customizing and controlling agent ensembles," IEEE Intelligent Systems, vol. 14, no. 2, April, 1999. [pdf] [ps] [bib]
21. Nielsen, Brian, Gul Agha. "Towards Reusable Real-Time Objects," Annals of Software Engineering: Special Volume on Real-Time Software Engineering, vol. 7, pp 257-282, 1999. [pdf] [ps] [bib]
22. Varela, Carlos A., Gul Agha. "What after Java? From Objects to Actors," Computer Networks and ISDN Systems: The International Journal of Computer Telecommunications and Networking, vol. 30, pp 573-577, April, 1998. [html] [bib]
23. Vardhan, Abhay, P. L. Dhar. "A new procedure for performance prediction of air conditioning coils," International Journal of Refrigeration , Volume:21, Issue: 1, pp. 77-83, 1998. [bib]
24. Agha, Gul. "Abstracting Interaction Patterns: A Programming Paradigm for Open Distributed Systems," in Elie Najm and Jean-Bernard Stefani (editors), Formal Methods for Open Object-Based Distributed Systems, pp 135-153, Chapman and Hall (on behalf of the International Federation for Information Processing), 1997. [pdf] [ps] [bib]
25. Astley, Mark, Gul Agha. "A Visualization Model for Concurrent Systems," International Journal of Information Science, vol. 93, no. 1-2, pp 107-132, 1996. [pdf] [bib]
26. Agha, Gul. "Linguistic Paradigms for Programming Complex Distributed Systems," ACM Computing Surveys, vol. 28, no. 2, pp 3-5, 1996. [bib]
27. Ren, Shangping, Gul Agha, Masahiko Saito. "A Modular Approach for Programming Distributed Real-Time Systems," Journal of Parallel and Distributed Computing, vol. 36, no. 1, pp 4-12, 1996. Also published in School on Embedded Systems, European Educational Forum 1996, pp 52-, 1996. [pdf] [ps] [bib]
28. Panwar, Rajendra, Gul Agha. "A Methodology for Programming Scalable Architectures ," Journal of Parallel and Distributed Computing, vol. 22 pp 479-487, 1994. [pdf] [bib]
29. Callsen, Christian J., Gul Agha. "Open Heterogeneous Computing in ActorSpace," Journal of Parallel and Distributed Computing, vol. 21, pp 289-, 1994. [pdf] [ps] [bib]
30. Agha, Gul, Svend Frølund, WooYoung Kim, Rajendra Panwar, Anna Patterson, Daniel Sturman. "Abstraction and Modularity Mechanisms for Concurrent Computing," Parallel and Distributed Technology, vol. 1, no. 2, pp 3-15, IEEE Computer Society, May, 1993. [pdf] [ps.gz] [bib]
31. Miriyala, Shakuntala, Gul Agha, Yamina Sami. "Visualizing Actor Programs using Predicate Transition Nets," Journal of Visual Languages and Computation, vol. 3, no. 2, pp 195-220, Academic Press, June, 1992. [pdf] [ps] [bib]
32. Venkatasubramanian, Nalini, Shakuntala Miriyala, Gul Agha. "Scalable Concurrent Computing ," SADHANA: Academy Proceedings in Engineering Sciences, Special Issue on Parallel and Distributed Computing, vol. 17, no. 1, pp 193-220, 1992, Indian Academy of Sciences, Banglore, India, 1992. [bib]
33. Agha, Gul. "Concurrent Object-Oriented Programming," in Communications of the ACM, Association for Computing Machinery, vol. 33, no. 9, pp 125-141, September, 1990. [pdf] [bib]