Analysis of communicating processes for non-progress. - Wuxu Peng; S. Purushothaman (ICDCS, 1989)

Towards Dataflow Analysis of Communicating Finite State Machines. - Wuxu Peng; S. Purushothaman (PODC, 1989)

A Unified Approach to the Deadlock Detection Problem in Networks of Communicating Finite State Machines. - Wuxu Peng; S. Purushothaman (CAV, 1990)

Data Flow Analysis of Communicating Finite State Machines. - Wuxu Peng; S. Purushothaman (ACM Trans. Program. Lang. Syst., 1991)

Empty Stack Pushdown Omega-Tree Automata. - Wuxu Peng; S. Purushothaman (CAAP, 1992)

Analysis of a Class of Communicating Finite State Machines. - Wuxu Peng; S. Purushothaman (Acta Informatica, 1992)

On Petri nets and self-stabilization of communication protocols. - Wuxu Peng (ICNP, 1993)

Single-link and time communicating finite state machines. - Wuxu Peng (ICNP, 1994)

On Reachability Analysis of Communicating Finite State Machines. - Wuxu Peng; Kia Makki (ICCCN, 1995)

A New Typee of Pushdown Automata on Infinite Trees. - Wuxu Peng; S. Purushothaman Iyer (Int. J. Found. Comput. Sci., 1995)

Reachability and reverse reachability analysis of CFSMs. - Wuxu Peng; Kia Makki (Comput. Commun., 1996)

Petri Nets and Self-Stabilization of Communication Protocols. - Wuxu Peng; Kia Makki (Informatica (Slovenia), 1996)

An Innovative Routing Protocol Evaluation Tool. - James Holt; Wuxu Peng (ICCCN, 1997)

Using Logical Rings to solve the Mutual Exclusion Problem in Distributed Memory Systems. - John Dell; Kia Makki; Niki Pissinou; Wuxu Peng (PDPTA, 1997)

A modular methodology to verify communication protocols. - Wuxu Peng; Kia Makki (Comput. Commun., 1997)

Deadlock Detection in Communicating Finite State Machines by Even Reachability Analysis. - Wuxu Peng (Mob. Networks Appl., 1997)

Improving the PIM Routing Protocol with Adaptive Switching Mechanism between Its Two Sparse Sub-Modes. - James Holt; Wuxu Peng (ICCCN, 1998)

Distributed wavelength assignment protocols with priority for WDM all-optical networks. - Wuxu Peng; Chunyan Wei (ICCCN, 2000)

Locality caching multiroot multigeneration routing algorithm in mobile ad hoc networks. - Wuxu Peng; Xin Zhang; Kia Makki (ICCCN, 2003)

Dynamic Key Management for Secure Routing In LCMRMG. - Wuxu Peng; Yalin Wang 002; Kia Makki (ICCCN, 2004)

Lossy Communicating Finite State Machines. - Wuxu Peng; Kia Makki (Telecommun. Syst., 2004)

A practical spanning tree based MANET routing algorithm. - Wuxu Peng; Zhuojing Li; F. Furman Haddix (ICCCN, 2005)

The CSMA/DM LAN protocol. - Wuxu Peng; Shamila Makki (Int. J. Commun. Syst., 2006)

Preference-Function Algorithm: a novel approach for selection of the users' preferred websites. - S. Kami Makki; Seema Jani; Xiaohua Jia; Wuxu Peng (Int. J. Bus. Intell. Data Min., 2007)

Dynamic key management for secure routing in MANET. - Wuxu Peng; Yalin Wang 002; E. K. Park; Kia Makki (Wirel. Commun. Mob. Comput., 2007)

A uniform process alternator for arbitrary topologies. - F. Furman Haddix; Wuxu Peng (J. High Speed Networks, 2010)

RTOmin as a balancing parameter between fast retransmissions and timeouts within stream control transmission protocol (SCTP). - Eduardo Gonzalez; Stan McClellan; Wuxu Peng (ICSAI, 2014)

Dynamic throughput optimization in SCTP. - Stan McClellan; Wuxu Peng; Eduardo Gonzalez (ICC Workshops, 2015)

A Module-based Approach to Adopting the 2013 ACM Curricular Recommendations on Parallel Computing. - Martin Burtscher; Wuxu Peng; Apan Qasem; Hongchi Shi; Dan E. Tamir; Heather Thiry (SIGCSE, 2015)

Improving Throughput in SCTP via Dynamic Optimization of Retransmission Bounds. - Stan McClellan; Wuxu Peng; Eduardo Gonzalez (Netw. Protoc. Algorithms, 2015)

Bandwidth as a service: Transport layer bandwidth guarantees for cloud environments. - Anthony Amaro; Wuxu Peng; Stan McClellan (ICTC, 2016)

A survey of cloud bandwidth control mechanisms. - Anthony Amaro; Wuxu Peng; Stan McClellan (ICTC, 2016)

Enhancing the Naive Bayes Spam Filter Through Intelligent Text Modification Detection. - Wuxu Peng; Linda Huang; Julia Jia; Emma Ingram (TrustCom/BigDataSE, 2018)