Wee Lum Tan
Identifiers
- name variant Wee Lum Tan 0.60 · backfill
Papers (7)
- Sequence Numbers Do Not Guarantee Loop Freedom; AODV Can Yield Routing Loops cs.NI · 2015 · author #3
- A Rigorous Analysis of AODV and its Variants cs.NI · 2015 · author #3
- Modelling and Verifying the AODV Routing Protocol cs.NI · 2015 · author #4
- Automated Analysis of AODV using UPPAAL cs.NI · 2015 · author #6
- A Process Algebra for Wireless Mesh Networks cs.LO · 2015 · author #6
- Modelling and Analysis of AODV in UPPAAL cs.NI · 2015 · author #6
- A Process Algebra for Wireless Mesh Networks used for Modelling, Verifying and Analysing AODV cs.NI · 2013 · author #6
Mentions
- 1312.7645 #6 · backfill · confidence 0.70 Wee Lum Tan
Frequent Coauthors
- Marius Portmann 7 shared papers
- Peter H\"ofner 7 shared papers
- Rob van Glabbeek 7 shared papers
- Annabelle McIver 5 shared papers
- Ansgar Fehnker 5 shared papers