2005

[1] D. Huang, F. Liu, X. Shi, G. Yang, L. Zheng, Z. Zhou (2005), ¡°MapWeb: A Location-based Converged Communication Platform¡±, Inforcom 2005, Miami, USA

[2] D. Huang, F. Liu, X. Shi, G. Yang, L. Zheng, Z. Zhou (2005), ¡°MapWeb: A Location-based Converged Communication Platform¡±, Bell Labs Technical Journal, accepted.

[3] D. Huang, ¡°Designing the packet protection scheme by statistical analysis¡±, China Statistics and Probability Society ¨C International Math & Statistical Society joint conference, Beijing, Jul 2005.

[4] D. Huang, ¡°Enhancing the Quality of Real Time Communications in Best Effort IP Networks¡±, ICC, Soul, May 2005.

2000-2004

Articles on IEEE Transactions and Journals:

[1] V. Krishnamurthy, C. Athaudage & D. Huang (2005), ¡°Adaptive OFDM synchronization algorithms based on discrete stochastic approximation¡±, IEEE Trans. Signal Processing, Vol 53, No 4, 1561-1574. View

[2] G. Schuller, D. Huang & B. Yu, (2002), ¡°Perceptual Audio Coding using Adaptive Pre-and Post-Filters and Lossless Compression¡±, IEEE Transaction Speech and Audio Processing, No 6, pp379-389. View

[3] G. Skiller & D. Huang (2000), The stationary phase error distribution of a digital Phase-Locked Loop, IEEE Trans. Communications, No 6, pp925-928. View

[4] D. Huang & F. Gustsfsson (1999), Identifiability in blind equalization,IEEE Trans. Communications, Vol. 47, No 2, pp191-194. View

[5] D. Huang & W. Dunsmuir (1998) A Boolean convolution theorem and its application in calculating probabilities for 2D non-linear filters. IEEE Trans. Pattern Recognition and Machine Intelligence, pp340-343.View

[6] Huang, D. (1992), Symmetric solutions for Toeplitz system with applications to Pisarenko's harmonic decomposition. IEEE Trans Signal Processing, Vol. 40, No. 12, 3069-74. View

[7] Guo, L. and Huang, D. (1989) Least-Squares identification for ARMAX models without the positive real condition. IEEE Thans. Autom. Control, Vol.34, No. 10, 1094-1097. View

Articles on Refereed IEEE Conferences :

[8] D. Huang & D. Lee, ¡°Constructing very low rate optimal convolutional codes by path-generator matrix and linear programming¡±, ISITA2004, Oct 2004, Italy .

[9] S. Liu, Z. Niu and D. Huang, ¡°Performance analysis of voice message service in CDMA cellular systems¡±, proceedings of IEEE International Conference on Communications, pp891-985. View

[10] C.-X. Chi, D.-W. Huang, David Lee, X.-R. Sun , ¡° Lazy flooding: a new technique for signaling in all optical network¡± (2002), OFC2002, LA, USA .

[11] D. Huang, Z.S. Niu, Y. Li and J.P. Shu ¡°Voice Message Service and its control policy¡± (2002) China Wireless Congress.

[12] Z.S. Niu, S. Liu, D. Huang, Y. Li and J.P. Shu ¡°Modeling and performance analysis of Voice Message System in mobile communications system¡± (2002) China Wireless Congress.

[13] C.-X. Chi, D.-W. Huang, David Lee, X.-R. Sun , ¡°Lazy flooding: a new technique for information dissemination in distributed network systems¡±, ICII2001, Beijing , P.R. China.

[14] G. Schuller, B. Yu and D. Huang, ¡°Lossless coding of audio signals using cascaded prediction¡± (2001) , IEEE International Conference on Acoustic, Speech, and Signal Processing (ICASSP2001). View

[15] D. Huang (2000), Lossless compression for U-law (A-law) and IMA ADPCM with variable bit rates, The First IEEE International Conference on Multimedia and Expo, New York . View

[16] D. Huang & S. Sando (1999), Fast and efficient polynomial phase estimation based on Bayesian filter and Gaussian approximation. IEEE International Conference on Signal Processing (ICASSP1999). View

[17] D. Huang, S. Sando & L. Wen (1999), Least Squares Estimation of Polynomial-Phase Signals via Stochastic Tree-Search, Proceedings of I CASSP'99 , Vol. 3, 1569-1572. View

[18] D. Huang & L. White (1999), Signal recovery and amplitude-phase tracking in wireless communications, Proceedings of 2 nd IEEE Signal Processing Workshop on Signal Processing Advances in wireless communications, pp399-402. View

[19] D.Huang (1999), Blind equalization via filtering and smoothing, invited paper on IEEE IWSC'99.

[20] Huang, D. (1997), Efficient estimation for non-linear and non-Gaussian State Space Models, Proceedings of the 36th IEEE conference on Decision & Control, pp5036-5041. View

Articles on Refereed Statistical Journals and books:

[21] D. Huang (2000), Approximate maximum likelihood algorithm for frequency estimation. Statistical Sinica, Vol. 10, No. 1, pp157-171.

[22] D. Huang (1997) Stochastic FM signals and non-linear time series, Adv.Apply. Prob. Vol. 29, 986-1003.

[23] Hannan, E.J., Huang, D. and Quinn, B.G. (1997) On frequency estimation, Applications of time series analysis in astronomy and meteorology (edited by T. Subba Rao, M.B. Priestly and O. Lessi), Chapman & Hall, p24-40.

[24] D. Huang & N.M. Spencer (1996) On a random vibration model, J. Applied Probability, Vol. 33, 1141-1158.

[25] Huang, D. (1996) On low and high frequency estimation, J. Time Series Analysis, Vol. 17, No. 4, 351-366.

[26] Davis, R., Huang, D. and Yao , Y.C. (1995), Testing for a change in the parameter values and order of an autoregressive model. Ann. Statistic. Vol. 23, no. 1, pp282--304.

[27] Yao , Y.C., Huang, D. and Davis, R (1994), On almost sure convergence of change-point estimators. Change-point problems, IMS Lecture Notes-Monograph Series Vol. 23, pp359-372.

[28] Huang, D. and Ahn, V.V. (1993), Estimation of non-stationary factor in ARUMA models. J. Time Series Analysis Vol. 14, N0. 1, 27-46.

[29] Hannan, E.J. and Huang, D. (1993), On-line frequency estimation. J. Time Series Analysis, Vol. 14, No. 2, 147-161.

[30] Huang, D. and Anh, V.V. (1992) Estimation of spatial ARMA models,Australian J. Statistic, Vol. 34(3), pp513-530.

[31] Huang, D. (1992), Central limit theory for two-parameter martingale differences with application to stationary random fields. Scientia Sinica(A) (Science of China, whole, English), 4, 406-424.

[32] Huang, D. (1992), Uniform convergence rates for two-parameter martingale with application to stationary random fields. Acta Scientiarum Naturalium, Universitatis Pekinensis (Journal of Peking University ), Vol. 28, No. 3, p291-302.

[33] Guo, L., Huang, D. and Hannan, E. J. (1990) On ARX. ( ) Approximation. J. Multivariate Analysis, No1, 1990, 17-47.

[34] Huang, D. and Guo, L. (1990) Estimation of non-stationary ARMAX models based on Hannan-Rissanen method. Ann. Statistics, Vol. 18, No 4, 1729-1756 .

[35] Huang, D. (1990) On the maximal entropy for ARMA processes and ARMA approximation. Adv. Appl. Prob., Vol. 22, No 4, 612-626.

[36] Huang,D.(1990) Levinson-type recursive algorithm for least square autoregression. J. Time Series Analysis, Vol. 11, No. 4, 295-315.

[37] Huang,D.(1990), Selecting the orders for general autoregressive models and minimum description length. J. Time Series Analysis, No2, 107-119.

[38] Huang, D. (1989) Recursive methods for ARMA model estimation (II). Acta Mathematicae Applicae Sinica, Vol. 5, No 4, 332-354.

[39] Huang, D. (1987) Discussion of the maximum entropy spectral estimation of homogeneous fields. Ann. Math., 8A, No 5, 571-579 (English abstract available in Mathematics Review, 1988).

[40] Huang, D. (1987) On convergence rates of sample autocorrelations and autocovariances for stationary time series. Kexue Tongbao (Scientific Bulletin), Vol. 32, No 4, 412-416;

[41] Huang, D.(1987) The convergence rates of sample autocorrelations and autocovariances for stationary time series. Scientia Sinica(A) (Science of China , Chinese), 1031-1046; Scientia Sinica(A) (Science of China , English), Vol. XXXI, 1988, 4, 406-424.

[42] Huang, D.(1989) Recursive methods for ARMA model estimation (II). Acta Mathematicae Applicae Sinica, Vol. 5, No 4, 332-354.

[43] Huang, D.(1988) Recursive methods for ARMA model estimation(I). Acta Mathematicae Applicae Sinica, Vol. 4, No 2, 169-192.

[44] Huang, D. (1984) The homogeneous random vector field of Markovian type and the Markovian extension of homogeneous random fields. Acta Mathematicae Applicae Sinica, Vol. 7, No 4. 123-135. 

Articles on Refereed Statistical Conferences:

[45] Huang, D (2003) Fast linear prediction methods and adaptive quatization with applications to voice compression, Invited paper, 54 th ISI Congress, Berlin .

[46] Huang,D.(1998),Speech compression via time series analysis (invited paper), 4 th International Chinese Statistical Society conference.

[47] Huang, D. (1998), Sinusoidal coding for voice signals, International Statistical International Society Conference.

[48] Huang, D. (1997), Non-linear and non-Gaussian State Space Models,3rd International Chinese Statistical Society conference.

[49] Huang, D. (1996), A Tractable Bayesian Filtering Approach via Gaussian Density Products and Gaussian Approximation, Proceedings of ISSPA'96.

[50] Huang, D. (1996), Gaussian density product and Gaussian approximation with application to FM demodulation, SISC'96.

[51] Huang, D. (1995) On random vibration models, Proceedings of the 50th ISI conference, pp519-520.

[52] Huang,D.(1995) On approximate maximum likelihood estimation with applications, proceedings of ICSS'95.

[53] Huang, D. (1993), Model selection with minimax description length through use of maximum entropy method, Workshop in La Trobe Uni.

[54] Hannan, E.J., Huang, D. and Quinn, B.G. (1993) Frequency estimation, Invited paper in the Proceedings of 12th World Congress of International Federation of Automatic Control, Sydney .

[55] Huang, D. and X. Tian (1993), Fast on-line adaptive and detail-preserving nonlinear filters. Statcomp'93.

[56] Huang, D. and W. T.M. Dunsmuir (1993), Calculating the joint distribution of medians in overlapping windows and its applications in image processing, Statcomp'93.

[57] Hannan, E.J., Huang, D. and Quinn, B.G. (1993) On frequency estimation, Invited paper in the proceedings of International Conference of Time Series Analysis in Astronomy and meteorology, Padova , Italy .

[58] Huang, D, Dunsmuir, W. and Liu, F. (1992), 2D Exponential Weighted Moving Median Filters, 2nd Singapore International Conference on Image Processing, 620-623.

[59] Huang, D. (1991), Fast, efficient on-line algorithms for frequency estimation. Statcomp 91, coolangarta, Qld.

[60] Huang, D. (1990), Estimation of non-stable ARUMA models.10th Australian Statistical Conference.

[61] Huang, D., Anh, V. and Forbes, K. (1990), Levison-type recursion and symmetric solution of the normal equations for spatial autoregression, 10th Australian Statistical Conference.

[62] Huang, D. (1989), 2D maximum entropy property of stationary random field. 33rd Australian Mathematical conference.

[1] D. Lee, L. Libman and A. Orda, "Path Protection and Blocking Probability Minimization in Optical Networks", IEEE INFOCOM, March 2004

[2] A. V. Aho and David Lee, "Hierarchical Networks and the LSA N-Squared Problem in OSPF Routing", IEEE GLOBECOM 2000, Nov. 27 - Dec. 1, San Francisco, CA

[3] M. Karol, J. Golestani and David Lee, "Prevention of Deadlocks and Livelocks in Lossless, Backpressured Packet Networks", to appear in IEEE/ACM Trans. on Networking. An earlier version published in IEEE INFOCOM 2000

[4] D. Lee, "Integrated Software System Interoperability Testing", Wiley Encyclopedia of Electrical and Electronics Engineering, 2001 (invited paper)

[5] C. Chi, D. Huang, D. Lee and X. Sun, "Signaling in All-optical Network Systems", ICII'2001 (invited paper, keynote)

[6] D. Lee, D. Chen, R. Hao, R. E. Miller, J. Wu, and X. Yin, "A Formal Approach for Passive Testing of Protocol Data Portions", Proc. ICNP'2002

[7] D. Wang, R. Hao and D. Lee, "Fault Detection in Rule-based Software Systems", Proc. CPWCSE'2001 (invited paper)

[8] A. Cavalli, D. Lee and S. Maag, "A Scenario-based Approach to Communication Software Systems Feature Interactions with Applications to IP Telephony", Proc. of International Conference on Software Engineering and Applications, 2002

[9] D. Lee, H. Wozniakowski, "A Probabilistic Analysis of Testing Linear Operators on Hilbert Spaces with a Gaussian Measure", Theoretical Computer Science, 2001

[10] D. Lee and H. Wozniakowski, "Testing Linear Operators - an Average Case Analysis", BIT, 2000

2005

[1] Jianfeng Chen, Wenhua Jiao, Hongxi Wang, ¡°A Fair Scheduling for IEEE 802.16 Broadband Wireless Access Systems¡±, IEEE ICC¡¯05, Korea.

[2] Jianfeng Chen, Wenhua Jiao, Qian Guo, ¡°Providing Integrated Qos Control for IEEE 802.16 Broadband Wireless Access¡±, the 62nd IEEE Vehicular Technology Conference, Dallas, TX, USA from September 25 to 28, 2005.

[3] Jianfeng Chen, Wenhua Jiao, Qian Guo, ¡°An Integrated QoS Control Architecture for IEEE 802.16 Broadband Wireless Access Systems¡±, IEEE Globecom¡¯05, St. Louis, Missouri, USA from 28 November ¨C 2 December.

[4] D. Huang, F. Liu, X. Shi, G. Yang, L. Zheng and Z. Zhou, ¡°MapWeb: A Location-based Converged Communication Platform¡±, IEEE INFOCOM 2005 Poster/Demo Session, Miami, Florida, March 13-17, 2005.

[5] D. Huang, F. Liu, X. Shi, G. Yang, L. Zheng, and Zhiyu Zhou, ¡°MapWeb: A Location-based Converged Communications Platform¡±, Bell Labs Technical Journal issue 11-1, 2005

[6] David Lee, Christine Liu, Mihalis Yannakakis, ¡°Protocol System Integration, Interface and Interoperability¡±, Distributed Computing Systems International Conference (OPODIS) 2004 (Dec.), an expanded version is to appear in Lecture Notes in Computer Science, 2005, Springer, 2005 (invited paper)

[7] Donghui Gao, Zhiyu Zhou, and Hanyi Zhang, ¡°A Novel Algorithm for Fast Detection of Network Failure¡±, Journal of Photonic Network Communications (PNET), 9:1, pp. 113-120, 2005.

2004

[1] Zhiyu Zhou, and Donghui Gao, "An Efficient Adaptation of RSVP-TE in GMPLS", Proceedings of the 2004 International Symposium on Performance Evaluation of Computer and Telecommunication Systems (SPECTS’2004), pp. 93-97, San Jose, California, US, July 25-29, 2004. View

[2] Zhiyu Zhou and Caixia Chi, "Link Management in Next Generation Optical Networks", Proceedings of the 3rd International Conference on Networking (ICN’2004), pp. 16-21, Gosier, Guadeloupe, French Caribbean, Feb. 29 - Mar. 4, 2004.View

[3] Donghui Gao, Zhiyu Zhou, Xiaoping Zheng, and Hanyi Zhang, "A Network Partition Scheme for Sub-Path Protection in WDM Networks", Proceedings of the 30th European Conference on Optical Communication (ECOC’2004), Vol:3, We4.P.131, pp. 730-731, Stockholm, Sweden, September 5-9, 2004. View

2003

[1] Wenhua Jiao, Shu Li, "Differentiated MAI Control for Hybrid ARQ-II in CDMA networks", IEEE Globecom' 2003, San Francisco, Dec.1-4, 2003 View

[2] Wenhua Jiao, "A Voice/Data Integration MAC Protocol for Ku Band CDMA VSAT Networks", Orlando, Florida, USA, IEEE Vehicular Technology Conference, VTC 2003 FALL, Sep. 2003 View

[3] Wenhua Jiao, Yong Wang, Ludi Zheng, " Experimental Demonstration of the Enhanced Optical User Network Interface (O-UNI) Protocol", Beijing on 9-11 April, 2003, International Conference on Communication Technology, ICCT 2003 View

2002

[4] Wenhua Jiao, Shu Li, "A MAC Protocol with RCPT coded Hybrid ARQ-II for CDMA Networks", IEEE Globecom' 2002, Taibei, Tai Wan, 17-21 November,2002. View

[5] Wenhua Jiao, Shu Li, "A New MAC Protocol with RCPC Coded Hybrid ARQ-II for CDMA Networks", IEEE VTC 2002 Fall, Hyatt Regency Hotel, Vancouver, British Columbia, Canada, 24-29 September,2002. View

Ganfeng Bao, Fang Liu, Li Hong, "Modeling and Verification of TCP Congestion Control Based on Colored Petri Nets", IEEE SMC'03

Yaohui Jin, Yikai Su, S. Chandrasekar, Greg Raybon, Pietro Bernasconi, Matthias Kauer, Caixia Chi, and Fang Liu, "Packet synchronization in wavelength-routed star networks based on broadcasting frames from a multi-frequency laser" (OFC 2003) View

Ray Wang, Book chapter: "Adaptive Routing in Ad hoc Wireless Network," in The Handbook of Ad Hoc Wireless Networks, M. Ilyas (ed.), CRC Press, 2003

Ray Wang, Load balancing of Multipath Source Routing in Ad hoc Networks, IEEE ICC'2002.

[1] Jianping Zheng, Keqin Li, Zhimei Wu, "Selection Algorithms for Anycast Relay Routing," Proceedings of the 2004 IEEE International Performance, Computing and Communications Conference, Edited by Hossam Hassanein, Richard L. Oliver, Golden G. Richard III, and Linda F. Wilson, Phoenix, Arizona, USA, April 15-17, 2004, pp.21-28 View

[2] Luo Jiazeng, Xie Junqing, Hao Ruibing and Li Xin. An approach to accelerate convergence for path vector protocol, Globecom 2002, Taipei, Taiwan, Nov., 2002 View

[3] Peng Zhang, Cong Zhao, Zengzhi Li. Agent-oriented Modeling Approach for Distributed Network Management Applications. APOC 2001, Asia-Pacific Optical and Wireless Communic (ISBN 0819443158). Beijing, China, 2001. View

2005

[1] Caixia Chi and Ruibing Hao, ¡°Test Generation for Interaction Detection in Feature-rich Communication Systems¡±, The 17th IFIP International Conference on Testing of Communicating Systems - TestCom 2005, Concordia, Canada, May 30-Jun. 2 2005. View

[2] Caixia Chi, ¡°An Optimization Technique for Feature Interaction Test Generation¡±, FIW 2005 View

[3] Caixia Chi, Dong Wang, Ruibing Hao and Wei Zhou, ¡°SIPPerformer: A Distributed SIP Testing Tool¡±, 10th Lucent Technologies Software Symposium, Sept. 2005, Naperville, U.S.A.

[4] Caixia Chi, XiaoRong Sun and Yusheng Qian ¡°Evaluating the Impact of Flooding Schemes on Best-effort Traffic¡±, GlobCom 2005 View

[5] Caixia Chi, Dawei Huang, David Lee and Xiaorong Sun, ¡°Lazy Flood: A New Technique for Information Dissemination in Distributed Network Systems¡±, accepted by IEEE Transaction on Networking View

[6] Jianfeng Chen,Wenhua Jiao and Hongxi Wang, "A Service Flow Management Strategy for IEEE 802.16 Broadband Wireless Access Systems in TDD Mode" IEEE International Conference on Communications (ICC2005), Soul, Korea. View

[7] Wenhua Jiao , Jianfeng Chen and Qian Guo, "Providing Integrated Qos Control for IEEE 802.16 Broadband Wireless Access Systems", IEEE 62nd Semiannual Vehicular Technology Conference, Dallas,USA View

[8] Jianfeng Chen, Caixia Chi and Qian Guo, "A Bandwidth Allocation Model with High Concurrence Rate in IEEE802.16 Mesh Mode", Asia-Pacific Conference on Communications(APCC2005), Perth, Australia View

[9] Jianfeng Chen, Wenhua Jiao and Qian Guo, "An Integrated QoS Control Architecture for IEEE 802.16 Broadband Wireless Access Systems" Globecom 2005. View

[10] D. Lee, D. Chen, R. Hao, R. E. Miller, J. Wu and X. Yin, "Network Protocol System Monitoring: A Formal Approach with Passive Testing", accepted by IEEE/ACM Transaction on Networking, May, 2005 View

[11] R. Miller, D. Chen, D. Lee and R. Hao, "Coping with Nondeterminism in Network Protocol Testing", The 17th IFIP International Conference on Testing of Communicating Systems - TestCom 2005, Concordia, Canada, May 30-Jun. 2 2005. View

[12] J. Qiu, R. Hao and X. Li, "The Optimal Rate-limiting Timer of BGP for Routing Convergence", IEICE Transactions on Communications, Vol.E88-B, No.4, April, 2005, pages 1338-1346. View

[13] Dawei Wang, Ruibing Hao and Jianfeng Chen, "SIPcast: Toolkit for developing SIP application server", 10th Lucent Technologies Software Symposium, Sept. 2005, Naperville, U.S.A. View

[14] Dong Wang and Hong Mei "Detect Feature Interaction in Next Generation Communication Software" Journal of Sofware, 2006, 16(7):1232-1241 View

[15] Dong Wang, Ruibing Hao and Hong Mei "Detecting the Feature Interaction in SIP systems with a Rule-based Model" accepted by Journal of Electronics, June, 2005 View

2000-2004

Kai Chen

[1] Chen Kai, Hu Xiaoxin, Hao Ruibing, "DDoS Scouter: A Simple IP Traceback Scheme", in Progress on Cryptography: 25 years of Cryptography in China, KLUWER ACADEMIC PUBLISHERS, 2004. View

[2] Shuyao Yu, Kai Chen, etc., "A security architecture for mobile Ad Hoc network", Proc. of APAN’2004. View

Caixia Chi

[1] Caixia Chi, Dong Wang, Ruibing Hao, "A Framework on Feature Interactions in Optical Network Protocols", Feature Interaction Workshop’2003. View

[2] Yaohui Jin, Yikai Su, S. Chandrasekar, Greg Raybon, Pietro Bernasconi, Matthias Kauer, Caixia Chi, and Fang Liu, "Packet synchronization in wavelength-routed star networks based on broadcasting frames from a multi-frequency laser", . OFC’2003. View

[3] Caixia Chi, Dawei Huang, David Lee and Xiaorong Sun, "Lazy Flooding: A New Technique for Signaling in All Optical Networks", OFC'2002.View

[4] Caixia Chi, Dawei Hua, David Lee, Xiaorong Sun, "Lazy Flooding: A New Technique for Information Dissemination in Distributed Network Systems", International Conference on Info-Tech &Info-Net(ICII), Beijing China, Nov.2001.View

Guangxin Yang

[1] Guangxin Yang, "Process Library". Elsevier Data & Knowledge Engineering", 2004, 50(1): 35-62 View

[2] Guangxin Yang, "Process Inheritance and Instance Modification". In: Proceedings of ACM Conference on Supporting Group Work, Sanibel Island, Nov. 2003: 229-238 View

[3] Guangxin Yang, "Towards a Library for Process Programming." In: Proceedings of International Conference on Business Process Management - On the Application of Formal Methods to "Process-Aware" Information Systems,
Eindhoven, June 2003:120-135 View

[4] Yufeng Hsieh, Guangxin Yang, Meilin Shi. "CovaModeler: A Multi-user Tool for Modeling Cooperative Processes". International Journal of Computer Applications in Technology, 2003, 16(2/3):67-72 View

[5] Guangxin Yang, "A Data Management System for Cooperative Applications". In: Proceedings of ACM Conference on Collaborative Virtual Environments, Bonn, Sep. 2002:147-148 View

[6] Guangxin Yang, "A Uniform Meta-model for Modeling Integrated Cooperation". In: Proceedings of ACM Symposium on Applied Computing, Madrid, Mar. 2002:322-328 View

[7] Jinlei Jiang, Guangxin Yang, Yan Wu, Meilin Shi. "CovaTM: a transaction model for cooperative applications". In: Proceedings of ACM Symposium on Applied Computing, Madrid, Mar. 2002:329-335 View

[8] Guangxin Yang and Meilin Shi. "oodOPT : A Semantic-based Concurrency Control Framework for Fully-replicated Architecture". Journal of Computer Science and Technology, 2001, 16(6):531-543 View

[9] Yufeng Hsieh, Guangxin Yang, and Meilin Shi. "A Conditional Directed Graph-based Approach for Workflow Process Reengineering". Chinese Journal of Computer, 2001, 24(7):729-735(In Chinese) View

[10] Guangxin Yang and Meilin Shi. "Cova: A Programming Language for Cooperative Applications". Science in China, Series F, 2001, 44(1):73-80 View

[11] Meilin Shi, Yong Xiang, and Guangxin Yang. "Computer Supported Cooperative Work: Theories and Applications". Publishing House of Electronic Industry, Beijing, Dec. 2000 (In Chinese) View

Ruibing Hao

[1] J. Qiu, R. Hao and X. Li, "The Optimal Rate-limiting Timer of BGP for Routing Convergence", accepted by IEICE Transactions on Communications, special issue on Internet Technology, Nov., 2004.

[2] D. Lee, D. Chen, R. Hao, and R. E. Miller, "Network Protocol System Monitoring: A Formal Approach with Passive Testing", accepted by IEEE/ACM Transaction on Networking, October, 2004.

[3] R. Hao, D. Lee, R. Sinha and N. Griffeth, "Integrated System Interoperability Testing with Applications to VoIP", IEEE/ACM Transaction on Networking, Volume 12, Issue 5, October, 2004, pages 823-836.

[4] D. Wang, R. Hao and D. Lee, "Fault Detection in Rule-based Software Systems", Elsevier Information and Software Technology, Volume 45, Issue 12, 15 September 2003, Pages 865-871.

[5]Yixin Zhao, Ruibing Hao, Xia Yin, Jianping Wu, "Testing Policy Based Routing of BGP-4", IEICE Transactions on Communications, Vol. E84-B, No. 11 November 2001.

(b) Publications in Conference Proceedings

[6] J. Qiu, R. Hao and X. Li, "An experimental study of the BGP rate-limiting timer", IEE 4th International Network Conference - INC 2004, Plymouth, UK, July 6-9, 2004.

[7] K. Chen, X. Hu, R. Hao, "DDoS Scouter: A Simple IP Traceback Scheme", in Progress on Cryptography: 25 years of Cryptography in China, KLUWER ACADEMIC PUBLISHERS, 2004.

[8] R. Hao, D. Lee, J. Ma and J. Yang, "Fault Management for Networks with Link-State Routing Protocols", IEEE/IFIP Network Operations and Management Symposium, NOMS 2004, Seoul, Korea, April 19-23, 2004.

[9] C. Chi, D. Wang and R. Hao, "A Framework on Feature Interactions in Optical Network Protocols", FIW 2003, Seventh International Workshop on Feature Interactions in Telecommunications and Software Systems, Ottawa, Canada, June 11-13, 2003.

[10] D. Lee, D. Chen, R. Hao, R. E. Miller, J. Wu and X. Yin, "A Formal Approach for Passive Testing of Protocol Data Portions", IEEE ICNP'2002- International Conference on Network Protocols, Paris, France, November 12-15, 2002.

[11] J. Luo, J. Xie, R. Hao and X. Li, "An approach to accelerate convergence for path vector protocol", IEEE Globecom 2002, Taiwan, November 17-21, 2002.

[12] Dong Wang, Ruibing Hao and David Lee, "Fault Detection in Rule-based Software Systems", CPWCSE'2001 - Concordia Prestigious Workshop on Communication Software Engineering. Concordia, Canada, September 11-12, 2001.

[13] Yixin Zhao, Ruibing Hao, Xia Yin, Jianping Wu, "Testing Policy Based Routing of BGP-4", APCC'2001 - The 7th Asia-Pacific Conference on Communications, Sep.17-20, 2001, Tokyo, Japan.

[14] David Lee and Ruibing Hao, "Efficient Algorithms for Test Sequence Selection", FATES'2001- FORMAL APPROACHES TO TESTING OF SOFTWARE, A Satellite Workshop of CONCUR'01, Aalborg, Denmark, August 25, 2001.

[15] David Lee and Ruibing Hao, "Test Sequence Selection", FORTE 2001 - 21st IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, Korea, August 28-31, 2001.

[16] R. Hao, D. Lee, R. Sinha and D. Vlah, "SOCRATES on IP Router Fault Detection", IEEE GLOBECOM 2000, Nov. 27 - Dec. 1, San Francisco, CA.

[17] N. Griffeth, R. Hao, D. Lee and R. Sinha, "Interoperability Testing of VoIP", IEEE GLOBECOM 2000, Nov. 27 - Dec. 1, San Francisco, CA.

[18] R. Hao, D. Lee, R. Sinha and D. Vlah, "Testing IP Routing Protocols: From Probabilistic Algorithms to Software Tool", FORTE/PSTV 2000 - IFIP TC6/WG6.1 Joint International Conference on FORMAL DESCRIPTION TECHNIQUES for Distributed Systems and Communication Protocols (FORTE XIII) and PROTOCOL SPECIFICATION, TESTING, AND VERIFICATION (PSTV XX), Pisa, Italy, October 10-13, 2000.

United States Patents

[21] Testing IP Routing Protocols - From Probabilistic Algorithm to Software Tool, US Patent Number 6728214.