Wuxu Peng

According to our database1, Wuxu Peng
  • authored at least 31 papers between 1989 and 2015.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2015
Improving Throughput in SCTP via Dynamic Optimization of Retransmission Bounds.
Network Protocols & Algorithms, 2015

A Module-based Approach to Adopting the 2013 ACM Curricular Recommendations on Parallel Computing.
Proceedings of the 46th ACM Technical Symposium on Computer Science Education, 2015

Dynamic throughput optimization in SCTP.
Proceedings of the IEEE International Conference on Communication, 2015

2010
A uniform process alternator for arbitrary topologies.
J. High Speed Networks, 2010

2007
Dynamic key management for secure routing in MANET.
Wireless Communications and Mobile Computing, 2007

Preference-Function Algorithm: a novel approach for selection of the users' preferred websites.
IJBIDM, 2007

2006
The CSMA/DM LAN protocol.
Int. J. Communication Systems, 2006

2005
A practical spanning tree based MANET routing algorithm.
Proceedings of the 14th International Conference On Computer Communications and Networks, 2005

2004
Lossy Communicating Finite State Machines.
Telecommunication Systems, 2004

Dynamic Key Management for Secure Routing In LCMRMG.
Proceedings of the International Conference On Computer Communications and Networks (ICCCN 2004), 2004

2003
Locality caching multiroot multigeneration routing algorithm in mobile ad hoc networks.
Proceedings of the 12th International Conference on Computer Communications and Networks, 2003

2000
Distributed wavelength assignment protocols with priority for WDM all-optical networks.
Proceedings of the Proceedings Ninth International Conference on Computer Communications and Networks, 2000

1998
Improving the PIM Routing Protocol with Adaptive Switching Mechanism between Its Two Sparse Sub-Modes.
Proceedings of the International Conference On Computer Communications and Networks (ICCCN 1998), 1998

1997
Deadlock Detection in Communicating Finite State Machines by Even Reachability Analysis.
MONET, 1997

A modular methodology to verify communication protocols.
Computer Communications, 1997

Using Logical Rings to solve the Mutual Exclusion Problem in Distributed Memory Systems.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1997

An Innovative Routing Protocol Evaluation Tool.
Proceedings of the International Conference On Computer Communications and Networks (ICCCN 1997), 1997

1996
Petri Nets and Self-Stabilization of Communication Protocols.
Informatica (Slovenia), 1996

Reachability and reverse reachability analysis of CFSMs.
Computer Communications, 1996

1995
A New Typee of Pushdown Automata on Infinite Trees.
Int. J. Found. Comput. Sci., 1995

On Reachability Analysis of Communicating Finite State Machines.
Proceedings of the 4th International Conference on Computer Communications and Networks (ICCCN '95), 1995

Deadlock Detection in Communicating Finite State Machines by Even Reachability Analysis.
Proceedings of the 4th International Conference on Computer Communications and Networks (ICCCN '95), 1995

1994
Single-link and time communicating finite state machines.
Proceedings of the 1994 International Conference on Network Protocols, 1994

1993
On Petri nets and self-stabilization of communication protocols.
Proceedings of the 1993 International Conference on Network Protocols, 1993

1992
Analysis of a Class of Communicating Finite State Machines.
Acta Inf., 1992

Empty Stack Pushdown Omega-Tree Automata.
Proceedings of the CAAP '92, 1992

1991
Data Flow Analysis of Communicating Finite State Machines.
ACM Trans. Program. Lang. Syst., 1991

1990
A Unified Approach to the Deadlock Detection Problem in Networks of Communicating Finite State Machines.
Proceedings of the Computer-Aided Verification, 1990

A Unified Approach to the Deadlock Detection Problem in Networks of Communicating Finite State Machines.
Proceedings of the Computer Aided Verification, 2nd International Workshop, 1990

1989
Towards Dataflow Analysis of Communicating Finite State Machines.
Proceedings of the Eighth Annual ACM Symposium on Principles of Distributed Computing, 1989

Analysis of communicating processes for non-progress.
Proceedings of the 9th International Conference on Distributed Computing Systems, 1989


  Loading...