Computer Science Faculty Research Overview CSIAC Meeting November 5th 2004 Faculty Research Areas • Artificial Intelligence and Robotics – Eugene Eberbach – Iren Valova – Xiaoqin Zhang • Networks and Systems – Emad Aboelela – Vinod M. Vokkarane • Software Engineering – Paul Bergstein – Richard L. Upchurch • Theory and Formal Methods – – – – Jan Bergandy Eugene Eberbach Boleslaw Mikolajczak Haiping Xu • Vision and Graphics – Ram Balasubramanian – Adam O. Hausknecht – Li Shen Dr. Emad Aboelela Assistant Professor Dr. Emad Aboelela Degrees Dr. Emad Aboelela received his Ph.D. in Computer Engineering from the University of Miami, Florida, in 1998. He received his M.Sc. In Computer Science from Alexandria University, Egypt, in 1993. He joined the Department of Computer and Information Science at the University of Massachusetts Dartmouth in September of 2001 Dr. Emad Aboelela Teaching CIS272 Introduction to Computer Systems CIS273 Computer Organization and Design CIS475 Computer Networks CIS476 Network Programming CIS577 Computer Networks CIS579 Multimedia Networking Dr. Emad Aboelela Research Quality-of-service for multimedia networking. Wireless sensor networks. Network topology design. Parallel IP-address forwarding. Network performance measurement and analysis. Dr. Emad Aboelela Awards Provost Travel Award, University of Massachusetts Dartmouth, Fall 2003 and Spring 2004. Graduate School Award of Academic Merit, University of Miami, Florida, 1998 Jury Award for Graduate Scholarship in Electrical & Computer Engineering University of Miami, Florida, 1998. Dr. Emad Aboelela Grants National Science Foundation (NSF) Collaborative Research Grant – “Redundant Traffic Encoding and Marking Scheme for Voice-Over-IP Quality-ofService” – September 2004 to September 2006. UMASS Dartmouth Foundation Research Grant, University of Massachusetts , May 2001 to May 2002. Dr. Emad Aboelela Recent Publications 1. Yiluo Song and Emad Aboelela, "A Parallel IP-Address Forwarding Approach Based on Partitioned Lookup Table Techniques”, The 29th Conference on Local Computer Networks, Tampa, Florida, November 2004. 2. Phuong Tu and Emad Aboelela, "Genetic Algorithm Approach for Optimization of Backbone Network Topology Design”, The Fourth International Network Conference, Plymouth, United Kingdom, July 2004. 3. Phuong Tu and Emad Aboelela, "An Optimization Model for Backbone Network Topology Design Based on Genetic Algorithm”, 7th INFORMS Telecommunications Conference, Florida, March 2004. 4. E. Aboelela: "Network Simulation Experiments Manual", Morgan Kaufmann Publisher, ISBN: 0120421712, June 2003. Dr. Emad Aboelela Recent Publications 5. E.Aboelela; C. Douligeris, "Quality of Service via an Optimal Routing Model", Appears in: “Quality and Reliability of Large Scale Telecommunication Systems”, Peter Stavroulakis (Editor), Publisher: John Wiley, ISBN: 0-470-84770-0, pp. 281 - 295, February 2003. 6. E.Aboelela; C. Douligeris, "Fuzzy Reasoning Approach for QoS Routing in B-ISDN", Journal of Intelligent and Fuzzy Systems, Application in Engineering and Technology, Vol. 9, pp. 11-27, November 2000 7. E. Aboelela ; C. Douligeris, "Switching Theory Approach to Alarm Correlation in Network Management”, 25th Conference on Local Computer Networks, LCN'2000, Tampa, Florida, November 2000. 8. E. Aboelela; C. Douligeris, "Fuzzy Optimization Model For QoS Routing and Bandwidth Allocation ", World Scientific Publisher, Advances in Informatics, edited by Dimitrios Fotiadis & Stavros D Nikolopoulos, ISBN 981-02-41925, pp. 18-29, July 2000 Dr. Emad Aboelela Recent Publications 9. E. Aboelela ; C. Douligeris, "Fuzzy Generalized Network Approach for Solving an Optimization Model for Routing in B-ISDN", Telecommunication Systems Journal , Vol. 12 (1999) 2-3, pp. 237-263, December 1999. 10. E. Aboelela; C. Douligeris, " Fuzzy Temporal Reasoning Model for Event Correlation in Network Management ", 24th Conference on Local Computer Networks, LCN'99 ,Lowell, Massachusetts, October 1999. 11. E. Aboelela; C. Douligeris, "Fuzzy Optimization Model For QoS Routing and Bandwidth Allocation ", 7th Hellenic Conference on Informatics, Ioannina, Greece, August 1999. 12. E. Aboelela, C. Douligeris, "Fuzzy Metric Approach for Routing in B-ISDN", IEEE 1999 International Conference on Communications, ( ICC99 ), Vancouver, Canada, June 1999. Dr. Ram Balasubramanian Assistant Professor Dr. Ramprasad Balasubramanian • Ph.D., Computer Science, June 2000 The University of South Florida, FL, USA Thesis: Non-Rigid Motion Analysis and its Application to MPEG-4. • M.S.O.R., Operations Research, Aug. 2003 The University of Kentucky, KY, USA • M.S., Applied Mathematics, Aug. 2001 The University of Toledo, OH, USA • B.Sc., Mathematics, Sep. 1989 The University of Madras, India Research Interests • • • • • 2-D and 3-D Visualization Rigid and Non-Rigid Motion Analysis Pattern Recognition Artificial Intelligence Human-Computer Interaction Selected Publications • • • Chaudhuri, A., Gangopadhyay, R. Balasubramanian and S. Ray, Automated Oceanographic feature detection from high resolution satellite images, Proceedings of the Seventh IASTED International Conference on Computer Graphics and Imaging, 2004, Hawaii, August, 2004, 217-223. Detecting and Tracking of Mesoscale Oceanic Features in the Miami Isopycnic Circulation Ocean Model. Ramprasad Balasubramanian, Amit Tandon, Bin John and Vishal Sood. Proceedings of The IASTED International Conference on Visualization, Imaging, and Image Processing VIIP 2003, Pg. 169-174. Sept 8-10, Benalmedena, Spain. Visualization methods for heat transport in Miami Isopycnic Circulation Ocean Model (MICOM) by Ramprasad Balasubramanian, Amit Tandon and Vishal Shah. Proceedings of the Fifth IASTED International Conference on Computer Graphics and Imaging (CGIM 2002) August 12-14, 2002, pp 281-286, Kauai, Hawaii, USA. Min Shin, Ramprasad Balasubramanian and Dmitry Goldgof. Framework for Integrating 2D Points and Curves for Tracking 3D Nonrigid Motion and Structure. Proceedings of the International Conference on Pattern Recognition (ICPR), v3, pp. 831-834, September 2000. Research Projects • Extraction, Segmentation and Tracking of Eddies in Miami Isopycnic Circulation Ocean Model (3 Grad Students + 1 Physics Faculty) • Extraction of Eddies, Upwelling and other significant features in SST (Sea Surface Temperature) Satellite Data (2 Graduate Students + 1 Physics Faculty) • Modeling and Shape Analysis of Eddy Structures (1 Grad Student + 1 CIS Faculty) • Visualization of Eddy for Heat Transport Diagnosis in the CAVE (Collaboration with Faculty at Brown University) • Non-Rigid Motion Analysis (Collaboration with Faculty at UNCC) What are mesoscale eddies • Mesoscale: Size scale of about 100km • Eddies are energetic swirling currents found all over the ocean • Mesoscale eddies have deep roots of about 5km • They can transport momentum to the sea floor Why are mesoscale eddies important? • Poleward Heat transport – Heat moved by the from the equator towards poles – An important quantity in Climate Studies – Oceans are partly responsible for poleward heat transport – Contribution of mesoscale eddies to heat transport Why are mesoscale eddies important? • Biological communities of the ocean – Strongly affected by ocean circulation and mesoscale eddies – Nutrient rich cold water at the bottom – Cold cyclonic eddies can lift this nutrient waters towards surface – Sunlight on surface helps nutrient rich water promote chlorophyll rich plankton, and thereby the food chain from plankton to whales Statistical Border Detection Circle vs Ellipse – Segmentation Study Difference in Clustering Based Feature Extraction in SST Satellite Data Visualization in the CAVE Non-Rigid Motion Analysis – FAP Estimation Dr. Bolek Mikolajczak Professor Dr. Bolek Mikolajczak • Dr. Habilitis – post-doctoral degree in Computer Science with distinction, Poznan University of Technology and State Commission on Academic Cadres, 1979 • Ph. D. in Computer Science with distinction, Poznan University of Technology, 1974 • MS in Mathematics, Adam Mickiewicz University, Poznan, Poland, 1972 • MS in Control Engineering with Specialization in Digital Systems, Poznan University of Technology, 1970 1. Software Development of Concurrent Computing Systems • Integrating Object-Oriented Design and High-Level Petri Nets in Development of Concurrent Software Systems • Integration of Object Oriented Design and Colored Petri Nets with Abstract Node Approach • Conceptual Modeling of Concurrent Systems through Stepwise Abstraction Using Petri Net Vicinity Preserving Morphisms Software Development and Engineering of Concurrent Computing Systems, ctnd. • Modeling and Resolving Inheritance Anomaly in Concurrent OO Systems with Colored Petri Nets • Modeling and Analyzing Multi-level Security Features of Complex Information Systems using Colored Petri Nets Combining OO with Petri Nets Abstract Node Approach 2. Design of Parallel Algorithms • Parallel Algorithm Computing All Homomorphisms of Deterministic Finite Automata (all decompositions) – algorithm design, analysis and MPI and transputerbased implementations • Experimental study of time and space performance of Parallel ocean modeling system with MPI implementation 3. Design and Analysis of Workflow Management Systems • Design and Verification of Information Systems, and in particular, Workflow Management Systems • Workflow (Mining) Rediscovery Algorithms and their Complexity • Workflow Modeling and Analysis Using Petri Nets • Modeling and Verifying Manufacturing/ Production Systems as Workflows using Petri Nets 4. Grants • NSF 01-52; ATE Articulation Partnerships, Establishing an Articulated Computer Science Program: From BCC through UMD, co-principal investigator with P. Grocer, BCC; $309,000 • CITI, PhaseII-IFAC, Program Committee member, $1 mln, 2004-2005. Grants, ctnd. • 2000-2001; BHE Commomwealth Information Technology Initiative (CITI) Grant, $144,858. • 2001-2002; Federal Grant, Naval Undersea Warfare Center, Newport, RI, Software Engineering of Web-enabled Navy, PI, coinvestigators: P. Bergstein and R. Upchurch, $25,000. 5. Most recent publications • • • • Mikolajczak, B., Wang, Z., Conceptual Modeling of Information Systems with Morphisms of Petri Nets, “Intelligent Information Processing and Web Mining”, IIS’03, Zakopane, Poland, June 2-5, 2003; Advances in Soft Computing, Springer, Physica Series, 2003, pp. 535-540. Mikolajczak B., Sefranek, Ch. Integrating Object-Oriented Design with Petri Nets – A Case Study of ATM System, 2003 IEEE International Conference Systems, Man, Cybernetics SMC’2003, Washington, DC, Oct. 5-8, 2003, IEEE Computer Society Press. Mikolajczak, B., Wang Z., Conceptual Modeling of Concurrent Systems through Stepwise Abstraction and Refinement using Petri Net Morphisms, 22nd International Conference on Conceptual Modeling, ER2003, Chicago, Illinois, Oct. 13-16, 2003, in: Lecture Notes in Computer Science, Springer-Verlag, vol. 2813, pp. 433-445. Mikolajczak, B., Stepwise Abstractions of Workflow Systems using Petri Net Morphisms, Proc. of the 2004 IEEE International Conference on Networking, Sensing and Control, March 21-23, 2004, Taipei, Taiwan. Dr. Li Shen Assistant Professor Dr. Li Shen • Ph.D., Computer Science, 2004 Dartmouth College, Hanover, NH, USA Thesis: Three Dimensional Shape Analysis with Parametric Surface Modeling • M.S., Computer Science, 1996 Shanghai Jiao Tong University, China Thesis: A Rapid Normalization Technique in Term Rewriting Systems • B.S., Computer Science, 1993 Xi’an Jiao Tong University, China Thesis: The Design and Implementation of A Personnel and Salary Information Management System Research Areas • • • • Image processing and computer vision Pattern analysis and machine intelligence Data mining and bioinformatics Geometric modeling and graphics Selected Publications (1) • • • • • Li Shen, James Ford, Fillia Makedon, and Andrew Saykin. A surface-based approach for classification of 3D neuroanatomic structures. Intelligent Data Analysis, An International Journal, 8(5), to appear. Li Shen, Ling Gao, Zhenwu Zhuang, Ebo DeMuinck, Heng Huang, Fillia Makedon, and Justin Pearlman. An interactive 3D visualization and manipulation tool for effective assessment of angiogenesis and arteriogenesis using computed tomographic angiography. SPIE Medical Imaging 2005, San Diego, California, 12-17 February 2005. Li Shen and Fillia Makedon. Spherical parameterization for 3D surface analysis in volumetric images. IEEE Conference on ITCC'04: International Conference on Information Technology, pp 643-649, Las Vegas, NV, April 5-7, 2004. Li Shen, Fillia Makedon, and Andrew Saykin. Shape-based discriminative analysis of combined bilateral hippocampi using multiple object alignment. Medical Imaging 2004: Image Processing, SPIE Proceedings 5370, pp 274-282, San Diego, California, 14-19 February 2004. Li Shen, James Ford, Fillia Makedon, Yuhang Wang, Tilmann Steinberg, Song Ye, and Andrew Saykin. Morphometric analysis of brain structures for improved discrimination. MICCAI'03: Medical Image Computing and Computer Assisted Intervention, LNCS 2879, pages 513-520, Montreal, Canada, Nov 15-18, 2003. Selected Publications (2) • • • • • • Li Shen, Ling Cheng, Faye Teng, Fillia Makedon, James Ford, Tilmann Steinberg, and Andrew J. Saykin. A multimedia system for tracing and studying regions-of-interest in brain images. MTAC'01: IEEE Multimedia Technology and Application Conference, pages 238-245, Irvine, CA, November 7-9, 2001. Li Shen, Ling Cheng, James Ford, Fillia Makedon, Vasileios Megalooikonomou, and Tilmann Steinberg. Mining the most interesting web access associations. WebNet'00: World Conference on the WWW and Internet, pages 489-494, San Antonio, TX, Oct. 30-Nov. 4, 2000. V. Megalooikonomou, James Ford, Li Shen, and Fillia Makedon. Data mining in brain imaging. Statistical Methods in Medical Research, 9(4):359-394, 2000. Li Shen, Hong Shen, Ling Cheng, and Paul Pritchard. Fast association discovery in derivative transaction collections. Knowledge and Information Systems, An International Journal, 2(2):147-160, May 2000. Li Shen, Hong Shen, and Ling Cheng. New algorithms for efficient mining of association rules. Information Sciences, 118(1-4):251-268, September, 1999. Li Shen and Hong Shen. Mining flexible multiple-level association rules in all concept hierarchies. DEXA'98: The 9th International Conference on Database and Expert Systems Applications, LNCS 1460, pp 786-795, Vienna, Austria, August 24-28, 1998. Selected Projects Shape Classification Goal: Learn a shape-based medical classifier Healthy Classifier: Schizophrenic Schizophrenic or not? Selected Projects Surface registration Sample application: measuring ventricle wall thickness Joint work with Dartmouth Advanced Imaging Center at Dartmouth Medical School Selected Projects Shape analysis of brain structures – Hippocampus – Amygdala – Entorhinal cortex Goal: distinguish the following populations to help diagnosis – – – – Healthy normal Cognitive complaint Mild cognitive impairment Alzheimer disease Joint work with Dartmouth Brain Imaging Laboratory at Dartmouth Medical School Selected Projects Lung Image Analysis – Lung nodule classification Goal: Distinguish – – – Cancer Inflammatory Scar Joint work with Dartmouth Advanced Imaging Center at Dartmouth Hitchcock Medical Center Selected Projects Interactive Vessel Manipulation Goal: effective assessment of angiogenesis and arteriogenesis using computed tomographic angiography Joint work with Dartmouth Advanced Imaging Center at Dartmouth Medical School Dr. Iren Valova Associate Professor Dr. Iren Valova • PhD in Computer Science – Tokyo Institute of Technology, Japan 1997 • Postgraduate MS in Applied Mathematics and Informatics – Technical University, Sofia, Bulgaria, 1993 • BS/MS in Computer Science – Technical University, Sofia, Bulgaria, 1991 Research areas • Neural Networks – Learning algorithms – Architectures – Brain modeling and simulations • • • • Data Mining Image Processing Machine Learning Artificial Intelligence Recent Publications - Journal • I.Valova, N.Gueorguieva, Y.Kosugi, Oscillation-driven neural network for simulation of olfactory system. Springer Neural Computing and Applications, Vol.13, No.1, pp 6579, April 2004. • N.Gueorguieva, I.Valova, DYPOF: Dynamically Adaptive Neural Network With Potential Functions. Journal of Smart Engineering System Design, 5:517-536, No.4, 2003. • I.Valova, Y.Kosugi. Hadamard-based image decomposition and compression. IEEE Transactions on Information Technology in Biomedicine, vol.4, No.4, pp 306-319, December 2000. Selected Recent Publications Conference • I.Valova, N.Gueorguieva, F.Troescher, Synchronization of Spiking Neurons Modeling Inhibition / Excitation Firing, ASME Press Series on Intelligent Engineering Systems Through Artificial Neural Networks (ANNIE 2004) • I.Valova, G.Milano, K.Bowen, Optimizing Genetic Algorithms to Train Fully Connected Feedforward Neural Networks, ASME Press Series on Intelligent Engineering Systems Through Artificial Neural Networks (ANNIE 2003), pp 391-396, In Part 2: Evolutionary programming, Volume 13, Smart Engineering System Design, eds C. Dagli et al, 2003. • N.Gueorguieva, I.Valova, Building RBF Neural Network Topology Through Potential Functions, Springer-Verlag Series: Lecture Notes in Computer Science. Vol.2714. Artificial Neural Networks and Neural Information Processing (ICANN – ICONIP 2003), pp 1033 – 1040, Kaynak, E. Alpaydin, E. Oja, L. Xu (Eds.), ISBN 3-540-40408-2 Invited seminars • Dynamics of Odor Encoding: Neural Circuit Modeling, Seminar on Medical Imaging and Visualization , 2002 Awards and recognition • Best paper award in the Theoretical Developments in Computational Intelligence category at the Artificial Neural Networks in Engineering (ANNIE’02): Smart Engineering System Design – Neural Networks, Fuzzy Logic, Evolutionary Programming, and Data Mining conference, St. Louis, Missouri, USA, November 3-6, 2002 • Reviewer for the US Department of Education, Fund for Improvement for Postsecondary Education grant evaluation session Current research projects • Simulation of olfactory information processing – Oscillatory model – Spiking neuron model Current research projects • Radial basis function neural networks – Potential functions-based learning algorithm – Clustering Current research projects • Self-organizing feature maps – Growing parallel architectures and algorithms – Autonomous learning SOMs Current research projects • Independent component analysis – Neural network architectures Dr. Vinod M. Vokkarane Assistant Professor Dr. Vinod Vokkarane • Ph.D., Computer Science, Aug. 2004 The University of Texas at Dallas, USA Thesis: Design of Architectures and Protocols for Optical BurstSwitched Networks • M.S., Computer Science, Dec. 2001 The University of Texas at Dallas, USA Thesis: Burst Segmentation: A New Approach to Reduce Packet Loss in Optical Burst-Switched Networks • B.Eng. (Hons), Computer Science and Eng., Sep. 1999 The University of Mysore, India Thesis: Design and Implementation of LDAP Research Interests • • • • • Optical Networks Wireless Networks Sensor Networks Satellite Communication Networks Information Security Selected Publications • • • • • • • • • • • Book: J.P. Jue and V.M. Vokkarane, “Optical Burst Switched Networks,” Springer, 2005. Q. Zhang, V.M. Vokkarane, J.P. Jue, and B. Chen, "Absolute QoS Differentiation in Optical Burst-Switched Networks," to appear, IEEE Journal of Selected Areas of Communications (JSAC), vol. 22, no. 9, Nov. 2004. Q. Zhang, V.M. Vokkarane, and J.P. Jue, "Path Clustering: An Approach to Implement Absolute QoS Differentiation in Optical Burst-Switched Networks," accepted, IEEE Globecom 2004, Dallas, TX. V.M. Vokkarane, J. Wang, R. Jothi, X. Qi, B. Raghavachari, and J.P. Jue, "Dynamic Dual-Homing Protection in WDM mesh Networks," Proceedings, IEEE ICC 2004, Paris, France, June 2004. R. Jothi, and V.M. Vokkarane, "Threshold-Based Differentiated Intermediate-Node Initiated (TDINI) Signaling for Optical Burst-Switched Networks," Proceedings, Informs TELECOM 2004, Mar. 2004. J. Wang, V.M. Vokkarane, X. Qi, and J.P. Jue, "Dual-Homing Protection in WDM Mesh Networks," Proceedings, IEEE/OSA OFC 2004, Los Angeles, CA, Feb. 2004. Q. Zhang, V.M. Vokkarane, B. Chen, and J.P. Jue, "Early Drop and Wavelength Grouping Schemes for Providing Absolute QoS Differentiation in Optical Burst-Switched Networks," Proceedings, IEEE Globecom 2003, San Francisco, CA, vol. 5, pp. 2628-2632, Dec. 2003. V.M. Vokkarane and J.P. Jue, "Burst Segmentation: an Approach for Reducing Packet Loss in Optical Burst-Switched Networks ," Special Issue on Engineering the Next Generation Optical Internet, SPIE/Kluwer Optical Networks, vol. 4, no. 6, pp. 81-89, Nov./Dec., 2003. G. Thodime, V.M. Vokkarane, and J.P. Jue, "Dynamic Congestion-Based Load Balanced Routing in Optical Burst-Switched Networks," Proceedings, IEEE Globecom’03, vol. 5, pp. 2694-2698, Dec. 2003. V.M. Vokkarane and J.P. Jue, "Segmentation-Based Non-Preemptive Scheduling Algorithms for Optical Burst-Switched Networks, " Proceedings, WOBS 2003, Dallas, TX, Oct. 2003. F. Farahmand, V.M. Vokkarane, and J.P. Jue, "Practical Priority Contention Resolution for Slotted Optical Burst Switching Networks, " Proceedings, WOBS 2003, Dallas, TX, Oct. 2003. Selected Publications (cont.) • • • • • • • • V.M. Vokkarane and J.P. Jue, "Prioritized Burst Segmentation and Composite Burst Assembly Techniques for QoS Support in Optical Burst-Switched Networks," IEEE Journal of Selected Areas of Communications (JSAC), vol. 21, no. 7, pp. 1198-1209, Sept. 2003. Q. Zhang, V. M. Vokkarane, B. Chen, and J.P. Jue, "Early Drop Scheme for Providing Absolute QoS Differentiation in Optical Burst-Switched Networks," Proceedings, IEEE HPSR 2003, Torino, Italy, pp. 153-157, June 2003. V.M. Vokkarane, G. Thodime, V. Challagulla, and J.P. Jue, "Channel Scheduling Algorithms using Burst Segmentation and FDLs for Optical Burst-Switched Networks," Proceedings, IEEE ICC 2003 conference, Anchorage, Alaska, vol. 2, pp. 1443-1447, May 2003. R. Karanam, V.M. Vokkarane, and J.P. Jue, "Intermediate Node Initiated (INI) Signaling: A Hybrid Channel Reservation Technique for Optical Burst-Switched Networks," Proceedings, IEEE/OSA OFC 2003, Atlanta, TuJ2, vol. 1, pp. 213-215, Mar. 2003. V.M. Vokkarane, Q. Zhang , J.P. Jue, and B. Chen, "Generalized Burst Assembly and Scheduling Techniques for QoS Support in Optical Burst-Switched Networks," Proceedings, IEEE Globecom 2002, Taipei, Taiwan, Nov. 2002. V.M. Vokkarane, K. Haridoss, and J.P. Jue, "Threshold-Based Burst Assembly Policies for QoS Support in Optical Burst-Switched Networks," Proceedings, SPIE Optical Networking and Communication Conference (OptiComm) 2002, Boston, MA, vol. 4874, pp. 125-136, July 2002. V.M. Vokkarane, J.P. Jue, and S. Sitaraman, "Burst Segmentation: an Approach for Reducing Packet Loss in Optical Burst-Switched Networks," Proceedings, IEEE International Conference on Communications (ICC) 2002, New York, NY, vol. 5, pp. 2673-2677, Apr. 2002. V.M. Vokkarane and J.P. Jue, "Prioritized Routing and Burst Segmentation for QoS in Optical Burst-Switched Networks," Proceedings, IEEE/OSA Optical Fiber Communication Conference (OFC) 2002, Anaheim, CA, WG6, pp. 221-222, Mar. 2002. Invited Talks and Awards • Invited Talks – "QoS in Optical Burst-Switched Networks," Dept. of Computer Science, Hong Kong University of Science and Technology, Nov. 25, 2002. – “Burst Segmentation: an Approach for Reducing Packet Loss in Optical Burst-Switched Networks,” State Univ. of New York (SUNY) at Buffalo, May 3, 2002. • Awards – Best Dissertation Award, UT-Dallas, 2003-04 – Texas Telecommunication Engineering Consortium Fellowship 200203 Research Projects • Optical Burst-Switched Networks – – – – Scheduling and Signaling Quality of Service Congestion Control TCP Performance • Multi-Layer Survivability using Dual-Homing Protection over Wireless and Optical Networks • Energy-Efficient Routing and Information Security in Wireless Sensor Networks QoS in Optical Burst Switching Burst Segmentation Prioritized Scheduling Composite Burst Assembly • • • • Burst Segmentation: minimizes data loss Prioritized Scheduling: supports for different classes of traffic Composite Burst Assembly: further minimizes packet loss Efficient utilization of network resources Publications: IEEE JSAC 2003, SPIE/Kluwer Optical Networks 2003, IEEE [ICC, OFC, GLOBECOM] 2002 Multi-Layer Survivability using Dual-Homing Protection Coordinated Dual-Homing Protection across multiple networks [ICC 2004, OFC 2004] Dr. Haiping Xu Assistant Professor Dr. Haiping Xu • Ph.D. in Computer Science, University of Illinois at Chicago, Chicago, Illinois, 2003. • M.S. in Computer Science, Wright State University, Dayton, Ohio, 1998. Academic/Research Specializations • Current teaching and research interests: theoretical computer science, software engineering and distributed computing. • Special interest and expertise: model-based software development and agent-oriented software engineering. • Specific research issues in this area include: – formal specification and design of complex software systems; – model-based development of agent-oriented software, including design and implementation of software agents; – real-world applications of agent technology. Journal Publications • Haiping Xu, Zhiguo Zhang, and Sol M. Shatz, "A Security Based Model for Mobile Agent Software Systems," Submitted to the International Journal of Software Engineering and Knowledge Engineering (IJSEKE), August 2004. • Haiping Xu and Sol M. Shatz, “ADK: An Agent Development Kit Based on a Formal Model for Multi-Agent Systems,” Journal of Automated Software Engineering (AUSE), October 2003, Vol. 10, No. 4, pp. 337365. • Haiping Xu and Sol M. Shatz, “A Framework for Model-Based Design of Agent-Oriented Software,” IEEE Transactions on Software Engineering (IEEE TSE), January 2003, Vol. 29, No. 1, pp. 15-30. • Ravi K. Gedela, Sol M. Shatz, and Haiping Xu, “Compositional Petri Net Models of Advanced Tasking in Ada-95,” Computer Languages, July 1999, Vol. 25, No. 2, pp. 55-87. Conference Publications • • • • • Haiping Xu and Xiaoqin Zhang, "A Methodology for Role-Based Modeling of Multi-Agent Software Systems," Submitted to the 27th International Conference on Software Engineering (ICSE-2005), August 2004. Haiping Xu and Sol M. Shatz, “A Framework for Modeling Agent-Oriented Software,” In Proceedings of the 21st International Conference on Distributed Computing Systems (ICDCS-21), April 16-19, 2001, Phoenix, Arizona, USA, pp. 57-64. Haiping Xu and Sol M. Shatz, “An Agent-Based Petri Net Model with Application to Seller/Buyer Design in Electronic Commerce,” In Proceedings of the Fifth International Symposium on Autonomous Decentralized Systems (ISADS 2001), March 26-28, 2001, Dallas, Texas, USA, pp. 11-18. Haiping Xu and Sol M. Shatz, “Extending G-Nets to Support Inheritance Modeling in Concurrent Object-Oriented Design,” In Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics (SMC 2000), October 8-11, 2000, Nashville, Tennessee, USA, pp. 3128-3133. Ravi K. Gedela, Sol M. Shatz, and Haiping Xu, “Formal Modeling of Synchronization Methods for Concurrent Objects in Ada 95,” In Proceedings of the ACM Annual International Conference on Ada (SIGAda'99), October 17-21, 1999, Redondo Beach, CA, USA, pp. 211-220. Invited Seminar Lectures • Haiping Xu, “A Model-Based Approach for Development of Multi-Agent Software Systems,”, Computer Science Colloquium, Computer Science Department, University of Massachusetts Boston, December 2003. Honors • University Fellowship, University of Illinois, Chicago, IL, 2001. • Dayton Area Graduate Studies Institute (DAGSI) Scholarship, Dayton, OH, 1998. Current Research Projects • Secure, Personalized Mobile Agents for Stock Trading. • Multi-Agent System for Online Auctions. • Role-Based Modeling of Multi-Agent Software Systems. Dr. Xiaoqin Zhang Assistant Professor Dr. Xiaoqin Zhang Doctor of Philosophy, Computer Science. University of Massachusetts at Amherst, September, 2002. Master of Science, Computer Science. University of Massachusetts at Amherst, 1998. Bachelor of Science, Computer Science. University of Science & Technology of China, P.R.China, 1995. Journal Publications 1. 2. 3. 4. 5. Xiaoqin Zhang, Victor Lesser and Sherief Abdallah, “Efficient Management of MultiLinked Negotiation Based on a Formalized Model”, accepted by the Journal of Autonomous Agents and MultiAgent Systems, to appear. Xiaoqin Zhang, Victor Lesser, Rodion Podorozhny "Multi-Dimensional, MultiStep Negotiation for Task Allocation in a Cooperative System". Journal of Autonomous Agents and MultiAgent Systems, 7, page 1-36, 2004. Xiaoqin Zhang, Victor Lesser and Tom Wagner. “A Layered Approach to Complex Negotiations”. In the (WIAS) Web Intelligence and Agent Systems: An International Journal. Page 91-104, Vol 2. No. 2. 2004. IOS Press, Netherlands. Victor Lesser, Bryan Horling, Frank Klassner, Anita Raja, Thomas Wagner, and Shelley XQ. Zhang. "BIG: An Agent for Resource-Bounded Information Gathering and Decision Making." In Artificial Intelligence journal, Special Issue on Internet Information Agents, Volume 118, Number 1-2, pp. 197-244, May 2000, Elsevier Science. Also available as UMass Computer Science Technical Report 1998-52. Victor Lesser, Bryan Horling, Anita Raja, Thomas Wagner, and Xiaoqin Zhang. "Resource-Bounded Searches in an Information Marketplace." In IEEE Internet Computing: Agents on the Net, Volume 4, Number 2, pp. 49-57, March 2000, IEEE Computer Society Publications. Conference Publications 1. 2. 3. 4. 5. Shen, Jiaying; Zhang, Xiaoqin; and Lesser, Victor. “Degree of Local Cooperation and its Implication on Global Utility”. In Proceedings of Third International Joint Conference on Autonomous Agents and MultiAgent Systems (AAMAS 2004). July, 2004. To appear. Xiaoqin Zhang, Victor Lesser and Tom Wagner "A Two-Level Negotiation Framework for Complex Negotiations", In the Proceedings of the IEEE/WIC International Conference on Intelligent Agent Technology (IAT 2003). pp. 311-317. 2003, Halifax, Canada. Acceptance rate 23%. Xiaoqin Zhang, Victor Lesser and Tom Wagner "Integrative Negotiation In Complex Organizational Agent Systems", In the Proceedings of the IEEE/WIC International Conference on Intelligent Agent Technology (IAT 2003). pp. 140-146. 2003. Halifax, Canada. Acceptance rate 23%. Xiaoqin Zhang, Victor Lesser "Multi-Linked Negotiation in Multi-Agent System" In the Proceedings of the First International Joint Conference on Autonomous Agents & MultiAgent Systems (AAMAS 2002), acceptance rate 26%. Page 1207-1214. July 15-19, 2002, Bologna, Italy. Xiaoqin Zhang, Rodion Podorozhny, Victor Lesser, "Cooperative, MultiStep Negotiation Over a Multi-Dimensional Utility Function Multi-Agent Systems Negotiation," Proceedings of the IASTED International Conference, Artificial Intelligence and Soft Computing (ASC 2000), pages:136-142. ASTED/ACTA Press, Banff, Canada, July 2000. Current research projects: sophisticated negotiation This research is focused on the sophisticated negotiation in multi-agent systems for complex distributed applications. It explores a number of ideas to speed up the negotiation and reduce the computational burden involving how to order overlapping negotiations in time and abstractions, and how to constrain individual negotiation in terms of a concept called flexibility and where to pre-plan for the possibility of re-visiting settled negotiations by introducing flexibility into the original statement of the issue being negotiated so as to limit the effects of re-negotiation on other settled issues. Specifically, we focus on the following issues related to negotiations in our target application areas: ordering of multiple Related negotiations, abstraction in hierarchical negotiation, and flexibility management for sophisticated negotiations. Study of Formation of Virtual Organization • Virtual organization refers to the temporary teaming of organizations for the rapid development of a new product or service; by sharing physical, human and knowledge resources, via information technologies, a virtual organization enables member enterprises to share skills, costs, access to one another’s markets and, at the same time decrease the risk of investments. To realize this new generation of business model, the ability to form, operation, and dissolution of virtual enterprise is of foremost importance. While the concepts of virtual organization are similar to a traditional vertically integrated enterprise, however, its implementation in e-marketplace remains a difficult task as challenges and obstacles remain unsolved. • The project is to implement a multi-agent system that simulates an artificial emarketplace, for which we have derive mechanisms for the decision-making processes in various stages of a virtual organization. In order to better understand the organizational problem, we have conducted experiments to study the behaviors of individual organizations (represented by agents) under different control settings. In additional, we have modified a statistical model, that predicts scheduling conflicts and agent rewards, as a verification tool for the correctness of our agent system. Emotional and rational agents • There are two approaches to build intelligent agents. Traditional AI approach is to develop rational agent, rational technologies include searching, logic reasoning, planning, scheduling, learning, probabilistic reasoning, decision making, and etc. Another approach is to build emotional agents based on affective mechanisms. A number of applications for emotional agents have been explored. However, little work has been done to study the connection of the traditional AI mechanisms (rational approaches) and the new affective computing mechanisms (emotionbased approaches). • In this project is to build a hybrid agent architecture, which integrates both rational reasoning mechanisms and emotional mechanisms. With such architecture, we are going to verify the hypothesis that whether the emotional mechanisms improve the agent’s performance, and in what circumstance. We will also like to explore how the emotion affects agent’s social behavior. Additionally, this project will create a testbed for social science researchers to run experiments and test hypothesis related to emotion and social behavior. Thank You!