115 citations · 311 across the 31 of their papers we have counts for
Showing 2013 · cs.NIShow all
2 papers · 2 filters
cs.NI2013★ 46 cited
Applying Formal Methods to Networking: Theory, Techniques and Applications
Junaid Qadir, Osman Hasan
Despite its great importance, modern network infrastructure is remarkable for the lack of rigor in its engineering. The Internet which began as a research experiment was never desi…
cs.NI2013★ 51 cited
Artificial Intelligence Based Cognitive Routing for Cognitive Radio Networks
Junaid Qadir
Cognitive radio networks (CRNs) are networks of nodes equipped with cognitive radios that can optimize performance by adapting to network conditions. While cognitive radio networks…