Publications 2000 - 2004

1. Kim, WooYoung, Alan Karp. "Customizable Description and Dynamic Discovery for Web Services," ACM Conference on Electronic Commerce (EC'04), 2004. [bib]
2. Uttamchandani, Sandeep. "Polus: A Declarative Self-Refining Approach for Dynamic System Management," PhD Prelims Report (in progress), 2004. [bib]
3. Sen, Koushik, Mahesh Viswanathan, Gul Agha. "Learning Continuous Time Markov Chains from Sample Executions," In 1st International Conference on Quantitative Evaluation of Systems (QEST'04), pages 146-155, Enschede, The Netherlands, September 2004. IEEE., 2004. [pdf] [ps] [bib]
4. Agha, Gul, Carlos A. Varela. "Worldwide Computing Middleware," CRC Practical Handbook on Internet Computing, Editor: M. Singh, Invited Chapter., 2004. [pdf] [ps] [bib]
5. Thati, Prasanna, Mahesh Viswanathan. "Verification of Asynchronous Systems with Unbounded and Unordered Message Buffers," International Workshop on Automated Verification of Infinite State Systems (AVIS), 2004. [pdf] [ps] [bib]
6. Thati, Prasanna, Grigore Rosu. "Monitoring Algorithms for Metric Temporal Logic Specifications," Runtime Verification (RV), 2004. [pdf] [ps] [bib]
7. Thati, Prasanna, Carolyn Talcott, Gul Agha. "Techniques for Executing and Reasoning About Specification Diagrams," International Conference on Algebraic Methodology and Software Technology (AMAST), 2004. [pdf] [ps] [bib]
8. Escobar, Santiago, Jose Meseguer, Prasanna Thati. "Natural Rewriting for General Term Rewriting Systems," Submitted to International Symposium on Logic Based Program Synthesis and Tranformation (LOPSTR), 2004. [pdf] [ps] [bib]
9. Jang, Myeong-Wuk, Gul Agha. "On Efficient Communication and Service Agent Discovery in Multi-agent Systems," Third International Workshop on Software Engineering for Large-Scale Multi-Agent Systems (SELMAS '04), pp. 27-33, Edinburgh, Scotland, May 24-25, 2004. [pdf] [bib]
10. Tosic, Predrag, Gul Agha. "Maximal Clique Based Distributed Group Formation for Autonomous Agent Coalitions," Coalitions and Teams Workshop (W10), within The Third Int'l Joint Conf. on Agents & Multi Agent Systems (AAMAS '04), Columbia University, New York City, USA, 2004. [pdf] [bib]
11. Sundresh, Sameer, WooYoung Kim, Gul Agha. "SENS: A Sensor, Environment and Network Simulator," The 37th Annual Simulation Symposium (ANSS37), Arlington, VA, April 21, 2004. [pdf] [ppt] [sxi] [bib]
12. Sen, Koushik, Abhay Vardhan, Gul Agha, Grigore Rosu. "Efficient Decentralized Monitoring of Safety in Distributed Systems," In Proceedings of 26th International Conference on Software Engineering (ICSE'04), pages 418-427, Edinburgh, UK, May 2004. IEEE., 2004. [pdf] [ps] [bib]
13. Sen, Koushik, Grigore Rosu, Gul Agha. "Online Efficient Predictive Safety Analysis of Multithreaded Programs," In Proceedings of 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'04), volume 2988 of Lecture Notes in Computer Science, pages 123-138, Barcelona, Spain, March 2004., 2004. [pdf] [ps] [bib]
14. Vardhan, Abhay, Koushik Sen, Mahesh Viswanathan, Gul Agha. "Learning to Verify Safety Properties," In 6th International Conference on Formal Engineering Methods (ICFEM'04), Seattle, WA, USA, November 2004, LNCS 3308, pages 274-288, Copyright Springer-Verlag (http://www.springer.de/comp/lncs/index.html), 2004. [pdf] [ps] [bib]
15. Rosu, Grigore, Koushik Sen. "An Instrumentation Technique for Online Analysis of Multithreaded Programs," In Workshop on Parallel and Distributed Systems: Testing and Debugging (PADTAD'04) (Satellite workshop of IPDPS'04), Santa Fe, New Mexico, USA, April 2004. IEEE digital library. Invited Paper., 2004. [pdf] [ps] [bib]
16. Barringer, Howard, Allen Goldberg, Klaus Havelund, Koushik Sen. "Program Monitoring with LTL in Eagle," In Workshop on Parallel and Distributed Systems: Testing and Debugging (PADTAD'04) (Satellite workshop of IPDPS'04), Santa Fe, New Mexico, USA, April 2004. IEEE digital library., 2004. [pdf] [ps] [bib]
17. Tosic, Predrag. "A Perspective on the Future of Massively Parallel Computing: Fine Grain vs. Coarse-Grain Parallel Models," Proc. 1st ACM Conference on Computing Frontiers (CF'04), Ischia, Italy, April 14-16, 2004. [pdf] [ps] [bib]
18. Sen, Koushik, Abhay Vardhan, Gul Agha, Grigore Rosu. "On Specifying and Monitoring Epistemic Properties of Distributed Systems," In 2nd International Workshop on Dynamic Analysis (WODA'04), Satellite workshop of ICSE 2004, pages 32-35. British Institution of Electrical Engineers (IEE), May 2004., 2004. [pdf] [ps] [bib]
19. Uttamchandani, Sandeep, Kaladhar Voruganti, Sudarshan M. Srinivasan, John Palmer, David Pease. "Polus: Growing Storage QoS Management beyond a ," 3rd USENIX Conference on File and Storage Technologies (FAST '04) , 2004. [pdf] [ps] [bib]
20. Naldurg, Prasad, Koushik Sen, Prasanna Thati. "A Temporal Logic Based Approach to Intrusion Detection," In 24th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE'04), volume 3235 of Lecture Notes in Computer Science, pages 359-376, Madrid, Spain, September 2004. Springer., 2004. [pdf] [ps] [bib]
21. Uttamchandani, Sandeep, Guillermo Alvarez, Gul Agha. "DecisionQoS: an adaptive, self-evolving QoS arbitration module for storage systems," 5th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2004), pages 67-76, Yorktown, NY, June , 2004. [pdf] [bib]
22. Tosic, Predrag, Gul Agha. "Towards a Hierarchical Taxonomy of Autonomous Agents," Proc. IEEE Int'l Conference on Systems, Man and Cybernetics (IEEE-SMC'04), The Hague, The Netherlands, Oct. 10-13, 2004. [pdf] [bib]
23. Tosic, Predrag, Gul Agha. "Concurrency vs. Sequential Interleavings in 1-D Threshold Cellular Automata," Proc. IEEE - IPDPS '04 (APDCM Workshop), Santa Fe, New Mexico, USA, April 26-30, 2004. [pdf] [ps] [bib]
24. Chang, Po-Hao, WooYoung Kim, Gul Agha. "An Adaptive Programming Framework for Web Applications," The IEEE/IPSJ Symposium on Applications and the Internet (SAINT '04), 2004. [pdf] [bib]
25. Moussa, Sherin. "Hybrid Techniques For Performance Enhancement of Document Clustering," MSc. Thesis, Faculty of Computer and Information Sciences, Ain Shams University, Egypt, March, 2004. [pdf] [bib]
26. Jang, Myeong-Wuk, Gul Agha. "Dynamic Agent Allocation for Large-Scale Multi-Agent Applications," International Workshop on Massively Multi-Agent Systems, pp. 19-33, Kyoto, Japan, December 10-11, 2004. [pdf] [bib]
27. Patel, Abhilash. "A Swapping Mechanism for Dynamic Task Assignment in Multi-Agent Systems," Master's thesis, 2004. [pdf] [bib]
28. Tosic, Predrag, Gul Agha. "Maximal Clique Based Distributed Group Formation for Task Allocation in Large-Scale Multi-Agent Systems," Proc. Int'l Workshop on Massively Multi-Agent Systems, Kyoto, Japan, December 10-11, 2004. [pdf] [bib]
29. Jang, Myeong-Wuk, Amr Ahmed, Gul Agha. "A Flexible Coordination Framework for Application-Oriented Matchmaking and Brokering Services," Technical Report UIUCDCS-R-2004-2430, Department of Computer Science, University of Illinois at Urbana-Champaign, April, 2004. [pdf] [ps] [bib]
30. Kwon, YoungMin, Gul Agha. "Linear Inequality LTL (iLTL): A Model Checker for Discrete Time Markov Chains," International Conference on Formal Engineering Methods (ICFEM), 2004. [pdf] [ps] [bib]
31. Sen, Koushik, Mahesh Viswanathan, Gul Agha. "Statistical Model Checking of Black-Box Probabilistic Systems," In 16th conference on Computer Aided Verification (CAV'04), volume 3114 of Lecture Notes in Computer Science, pages 202-215, Boston, MA, USA, July 2004. Springer., 2004. [pdf] [ps] [bib]
32. Kwon, YoungMin, Kirill Mechitov, Sameer Sundresh, WooYoung Kim, Gul Agha. "Resilient Localization for Sensor Networks in Outdoor Environments," Technical Report UIUCDCS-R-2004-2449, Department of Computer Science, University of Illinois at Urbana Champaign, 2004. [pdf] [bib]
33. Tosic, Predrag, Gul Agha. "Characterizing Configuration Spaces of Simple Threshold Cellular Automata," Proc. ACRI 2004 ( 6th Int'l Conference on Cellular Automata for Research and Industry), Amsterdam, The Netherlands, October 25-27, Springer-Verlag LNCS series, vol. 3305, pp. 861 - 870, 2004. [pdf] [ps] [bib]
34. Yih, Wen-Tau, Po-Hao Chang, WooYoung Kim. "Mining Online Deal Forums for Hot Deals," 2004 IEEE/WIC/ACM International Conference on Web Intelligence (WI'04), 2004. [pdf] [bib]
35. Mechitov, Kirill, WooYoung Kim, Gul Agha, Tomonori Nagayama. "High-Frequency Distributed Sensing for Structure Monitoring," First International Workshop on Networked Sensing Systems (INSS), pages 101-104, 2004. [pdf] [bib]
36. Barringer, Howard, Allen Goldberg, Klaus Havelund, Koushik Sen. "Rule-Based Runtime Verification," In Proceedings of 5th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI'04), volume 2937 of Lecture Notes in Computer Science, pages 44-57, Venice, Italy, January 2004. Springer., 2004. [pdf] [ps] [bib]
37. Nagayama, Tomonori, Manuel Ruiz Sandoval, B. F. Spencer, Kirill Mechitov, Gul Agha. "Wireless Strain Sensor Development for Civil Infrastructure," First International Workshop on Networked Sensing Systems (INSS), pages 97-100, 2004. [pdf] [bib]
38. Jang, Myeong-Wuk, Amr Ahmed, Gul Agha. "ATSpace: A Middle Agent to Support Application-Oriented Matchmaking and Brokering Services," IEEE/WIC/ACM IAT(Intelligent Agent Technology)-2004, pp. 393-396, Beijing, China, September 20-24, 2004. [pdf] [bib]
39. Vardhan, Abhay, Koushik Sen, Mahesh Viswanathan, Gul Agha. "Actively Learning to Verify Safety for FIFO Automata," In 24th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'04), Lecture Notes in Computer Science, Chennai, India, December, LNCS 3328, pages 494-505, Copyright Springer-Verlag (http://www.springer.de/comp/lncs/index.html), 2004. [pdf] [ps] [bib]
40. Mazumdar, Soham. "Fast Range Queries using Pre-Aggregated In-Network Storage," Masters' thesis, 2004. [pdf] [bib]
41. Chang, Po-Hao. "An Adaptive Distributed Object Framework for the Web," The combined 14th Workshop for PhD Students in Object-Oriented Systems and Doctoral Symposium, 2004. [pdf] [bib]
42. 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]
43. Agha, Gul, WooYoung Kim, YoungMin Kwon, Kirill Mechitov, Sameer Sundresh. "Evaluation of Localization Services (Preliminary Report)," DARPA NEST Program, 2003. [pdf] [bib]
44. Moussa, Sherin. "The Effect of Word Sampling on Document Clustering," WSEAS Transactions on Computers, Volume 2, Issue 1, pages 157-162. January, 2003. [pdf] [bib]
45. Wendling, William. "THAL++: A Concurrent Language For The THAL Runtime System," , 2003. [pdf] [ps] [bib]
46. Tosic, Predrag, Gul Agha. "Understanding and Modeling Agent Autonomy in Dynamic Multi-Agent, Multi-Task Environments," Proc. First European Workshop on Multi-Agent Systems (EUMAS '03) (Day 2, Panel 2 section), Oxford, England (UK), December 18-19, 2003. [pdf] [ps] [bib]
47. Tosic, Predrag, Gul Agha. "True Concurrency vs. Nondeterministic Sequential Interleavings in 1-D Cellular Automata," IEEE Real Time Systems Symposium (RTSS'03), Work-in-Progress Workshop, Cancun, Mexico, December 3-5, 2003. [pdf] [bib]
48. Krishnan, Prasanna V., Lui Sha, Kirill Mechitov. "Reliable Upgrade of Group Communication Software in Sensor Networks," First IEEE International Workshop on Sensor Network Protocols and Applications (SNPA), pages 82-92, 2003. [doc] [pdf] [bib]
49. Tosic, Predrag, Gul Agha. "Simple Genetic Algorithms for Pattern Learning: The Role of Crossovers," 5th Int'l Workshop on Frontiers in Evolutionary Algorithms (FEA'03), in Proc. Joint Conference on Information Systems, September 26-30, 2003. [pdf] [ps] [bib]
50. Mechitov, Kirill, Sameer Sundresh, YoungMin Kwon, Gul Agha. "Cooperative Tracking with Binary-Detection Sensor Networks," First International Conference on Embedded Networked Sensor Systems (SenSys), 2003. [pdf] [bib]
51. Mechitov, Kirill, Sameer Sundresh, YoungMin Kwon, Gul Agha. "Cooperative Tracking with Binary-Detection Sensor Networks," Technical Report UIUCDCS-R-2003-2379, Department of Computer Science, University of Illinois at Urbana-Champaign, 2003. [pdf] [ps] [bib]
52. Jamali, Nadeem, Gul Agha. "CyberOrgs: A Model for Decentralized Resource Control in Multi Agent Systems ," Proceedings of Workshop on Representations and Approaches for Time-Critical Decentralized Resource/Role/Task Allocation, at the Second International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 03), Melbourne, Australia, July, 2003. [bib] [pdf]
53. Sahai, Akhil, Sven Graupner, WooYoung Kim. "Web Services," Hossein Bidgoli (ed.), The Internet Encyclopedia, vol. 3. The John Wiley and Sons, Inc., 2003. [bib]
54. Sen, Koushik, Grigore Rosu, Gul Agha. "Runtime Safety Analysis of Multithreaded Programs," 9th European Software Engineering Conference and 11th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (ESEC/FSE'03), pages 337{346, Helsinki, Finland, September, 2003. ACM., 2003. [pdf] [ps] [bib]
55. Sen, Koushik. "Predictive Safety Analysis of Concurrent Programs," Master's thesis, Supervisor Gul Agha, University of Illinois at Urbana-Champaign, May, 2003. [pdf] [ps] [bib]
56. Sen, Koushik, Grigore Rosu, Gul Agha. "Generating Optimal Linear Temporal Logic Monitors by Coinduction," In Proceedings of 8th Asian Computing Science Conference (ASIAN'03), volume 2896 of Lecture Notes in Computer Science, pages 260{75, Mumbai, India, December 2003. Springer., 2003. [pdf] [ps] [bib]
57. Kumar, Nirman, Koushik Sen, Jose Meseguer, Gul Agha. "A Rewriting Based Model for Probabilistic Distributed Object Systems," In Proceedings of 6th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS'03), volume 2884 of Lecture Notes in Computer Science, pages 32{46, Paris, France, November 2003. Springer., 2003. [pdf] [ps] [bib]
58. Sen, Koushik, Grigore Rosu. "Generating Optimal Monitors for Extended Regular Expressions," In Proceedings of the 3rd Workshop on Runtime Verification (RV'03), volume 89(2) of Electronic Notes in Theoretical Computer Science, Boulder, Colorado, USA, July 2003. Elsevier Science., 2003. [pdf] [ps] [bib]
59. Ziaei, Reza, Gul Agha. "SynchNet: A Petri Net Based Coordination Language for Distributed Objects," Generative Programming and Component Engineering (GPCE), 2003. [pdf] [ps] [bib]
60. Jang, Myeong-Wuk, Smitha Reddy, Predrag Tosic, Liping Chen, Gul Agha. "An Actor-based Simulation for Studying UAV Coordination," 15th European Simulation Symposium (ESS 2003), pp. 593-601, Delft, The Netherlands, October 26-29, 2003. [pdf] [bib]
61. Tosic, Predrag, Myeong-Wuk Jang, Smitha Reddy, Joshua Chia, Liping Chen, Gul Agha. "Modeling a System of UAVs on a Mission," Proc. 7th World Multiconference on Systemics, Cybernetics, and Informatics (SCI '03), pp. 508-514, July 27-30, 2003. [pdf] [ps] [bib]
62. Sarkar, Prasenjit, Sandeep Uttamchandani, Kaladhar Voruganti. "Storage Over IP: When Does Hardware Support Help? ," 2nd USENIX Conference on File and Storage Technologies (FAST '03) , 2003. [pdf] [bib]
63. . "Storage Over IP: When Does Hardware Support Help?," 2nd USENIX Conference on File and Storage Technologies (FAST '03) , 2003. [bib]
64. Uttamchandani, Sandeep, Carolyn Talcott, David Pease. "Eos: An Approach of Using Behavior Implications for Policy-based Self-management," 14th IFIP/IEEE International Workshop on Distributed Systems: Operations & Management (To appear in LNCS), 2003. [pdf] [bib]
65. Sundresh, Sameer, Gul Agha, Kirill Mechitov, WooYoung Kim, YoungMin Kwon. "Coordination Services for Wireless Sensor Networks," International Workshop on Advanced Sensors, Structural Health Monitoring and Smart Structures, 2003. [doc] [pdf] [bib]
66. Thati, Prasanna. "A theory of testing for asynchronous concurrent systems," Phd Dissertation, University of Illinois at Urbana Champaign, October, 2003. [pdf] [ps] [bib]
67. Ahmed, Amr. "Reinforcement Learning for Multi-agent Teamwork," MSc. thesis, Faculty of Engineering, Cairo University, Egypt, August, 2002. [bib]
68. Agha, Gul, Prasanna Thati. "An Algebraic Theory of Actors and its Application to a Simple Object-Based Language," Festschrift in honour of Ole-Johan Dahl, to be published in LNCS, Springer Verlag, 2002. [bib]
69. Ziaei, Reza, Gul Agha, Prasanna Thati. "A Theory of May Testing for Actors," International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), 2002. [pdf] [ps] [bib]
70. Thati, Prasanna, Koushik Sen, Narciso Marti-Oliet. "An Executable Specification of Asynchronous Pi-Calculus and May-Testing in Maude 2.0," WRLA (ENTCS), 2002. [pdf] [ps] [bib]
71. Vardhan, Abhay, Gul Agha. "Using Passive Garbage Collection Algorithms for Garbage Collection of Active Objects," International Symposium for Memory Management, pp 106-113, Berlin, June 20-21, 2002. [pdf] [ps] [bib]
72. Moussa, Sherin. "Determining Initial Starting Conditions For Documents Clustering," In Proceedings, 1st International Conference on Intelligent Computing and Information Systems (ICICIS 2002) , pages 275-283. Cairo, June, 2002. [pdf] [bib]
73. Thati, Prasanna, Reza Ziaei, Gul Agha. "Theory of May Testing for Asynchronous Calculi with Locality and No Name Matching," International Conference on Algebraic Methodology and Software Technology (AMAST), 2002. [pdf] [ps] [bib]
74. Sen, Koushik, Gul Agha. "Thin Middleware for Ubiquitous Computing," Process Coordination and Ubiquitous Computing, CRC Press, 2002. [pdf] [ps] [bib]
75. Moussa, Sherin. "Analysis of Documents Clustering Using Sampled Agglomerative Technique," In Proceedings, 12th International Conference on Computer Theory and Applications, (ICCTA’2002) , pages 193-197. Alexandria, August, 2002. [pdf] [bib]
76. Uttamchandani, Sandeep. "StorageAgent: An Agent-based approach for dynamic resource sharing in a Storage Service," 1st USENIX Conference on File and Storage Technologies (FAST '02) (Work-In-Progress), 2002. [pdf] [bib]
77. 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]
78. Uttamchandani, Sandeep, Gul Agha. "WAPSec: A Personalized Security Architecture for WAP," 2nd Asian International Mobile Computing Conference 2002 (AMOC 2002), 2002. [bib]
79. D'Amorim, Marcelo Bezerra, Clovis Nogueira, Gustavo Santos, Adeline Souza, Paulo Borba. "Integrating Code Generation and Refactoring. ," In Workshop on Generative Programming, ECOOP'02, Malaga, Spain, June 2002. Springer Verlag. , 2002. [pdf] [bib]
80. Wang, Jihua, Tat Seng Chua, Liping Chen. "Cinematic-based Model for Scene Boundary Detection," Multimedia Modeling'2001, Amsterdam, Netherlands, Nov, 2001. [bib]
81. Agha, Gul, Prasanna Thati. "Actors: A model for reasoning about open distributed systems," in H. Bowman and J. Derrick (editors), Formal Methods for Distributed Processing - An Object Oriented Approach, Chap. 8, Cambridge University Press, 2001. [pdf] [ps] [bib]
82. Uttamchandani, Sandeep. "Customizable Security Architectures ," Masters thesis (Advisor: Gul Agha), 2001. [bib]
83. Varela, Carlos A.. "Worldwide Computing with Universal Actors: Linguistic Abstractions for Naming, Migration, and Coordination," Ph.D. Thesis, University of Illinois at Urbana-Champaign, April, 2001. [pdf] [ps.gz] [bib]
84. Chen, Liping, Tat Seng Chua. "A Match and Tiling Approach to Video Retrieval," ICME (IEEE Conf. On Multimedia System and Expo)'2001, Waseda, Japan, Aug, 2001. [bib]
85. Thati, Prasanna. "Towards an Algebriac Formulation of Actors," Masters Thesis, 2001. [pdf] [ps] [bib]
86. Thati, Prasanna, Po-Hao Chang, Gul Agha. "Crawlets: Agents for high performance web search engines," IEEE International Conference on Mobile Agents (MA), 2001. [ps] [bib]
87. D'Amorim, Marcelo Bezerra, Carlos Ferraz. "Designing Jini Distributed Services: A Framework to support the development of reliable component networks," Proc. First OOPSLA Workshop on Language Mechanisms for Programming Software Components. Tampa Bay, FL. October 2001., 2001. [pdf] [pdf] [ps] [bib]
88. Agha, Gul, Nadeem Jamali, Carlos A. Varela. "Agent Naming and Coordination: Actor Based Models and Infrastructures," in A. Omicini et al. (editors), Coordination of Internet Agents: Models, Technologies and Applications, Chap. 9, Springer Verlag, 2001. [pdf] [ps] [bib]
89. 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]
90. Venkatasubramanian, Nalini, Carolyn Talcott, Gul Agha. "A Formal Model for Reasoning about Adaptive QoS-Enabled Middleware," Formal Methods Europe (FME 2001), Humboldt-Universität zu Berlin, Germany, March, 2001. [bib]
91. Varela, Carlos A., Gul Agha. "Programming Dynamically Reconfigurable Open Systems with SALSA," 16th Annual ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications: Intriguing Technology Track, Tampa, FL, October, 2001. [pdf] [ps] [bib]
92. Agha, Gul, Prasanna Thati, Reza Razavi. "Actors: A Model for Reasoning about Open Distributed Systems," Formal methods for distributed processing: a survey of object-oriented approaches, 2001. [bib] [pdf]
93. 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]
94. Mohindra, Ajay, Apratim Purakayastha, Prasanna Thati. "Exploiting non-determinism for reliability of mobile agent systems," International Conference on Dependable Systems and Networks (DSN), 2000. [pdf] [ps] [bib]
95. Graupner, Sven, WooYoung Kim, Dmitry Lenkov, Akhil Sahai. "E-speak -- and Enabling Infrastructure for Web-based E-Services," the proceedings of SSGRR 2000, 2000. [pdf] [bib]