The Request Reply Family of Group Routing Protocols
IEEE Transactions on Computers
Time-shift scheduling—fair scheduling of flows in high-speed networks
IEEE/ACM Transactions on Networking (TON)
Randomized distance-vector routing protocol
Proceedings of the 1999 ACM symposium on Applied computing
Directed explicit model checking with HSF-SPIN
SPIN '01 Proceedings of the 8th international SPIN workshop on Model checking of software
Real-time protocol analysis for detecting link-state routing protocol attacks
ACM Transactions on Information and System Security (TISSEC)
Design and analysis of dynamic leader election protocols in broadcast networks
Distributed Computing
Towards design tools for protocol development
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Design time analysis of multiagent protocols
Data & Knowledge Engineering
Towards Design Tools for Protocol Development
Agent Communication II
Automated Development of Cooperative MAC Protocols
Mobile Networks and Applications
Comprehensive solution for anomaly-free BGP
IPOM'05 Proceedings of the 5th IEEE international conference on Operations and Management in IP-Based Networks
Group routing without group routing tables: an exercise in protocol design
Computer Communications
PPP (P3): an Estelle-based probabilistic partial protocol verification system
Computer Communications
| Hi-index | 0.00 |