• Intelligent data dissemination in vehicular networks: leveraging reinforcement learning 

  Bhatia, Jitendra; Shah, Maanit; Prajapati, Rushi; Shah, Khush; Shah, Premal; Trivedi, Harshal; Joshi, Dhaval (Springer, 2025-06)

  Data dissemination in Vehicular Ad Hoc Networks (VANETs) is vital for the development and operation of intelligent transportation systems, as it enables the rapid and reliable exchange of critical information among vehicles ...
• Techno-economic challenges 

  Dixit, Sudhir; Bhatia, Vimal; Khanganba, Sanjram Premjit; Agrawal, Anuj (Springer, 2022-04)

  Without business sustainability, no technological innovation or solution is feasible in the long-term. The business viability may come from complex free market forces, from government subsidies, or combination of the two, ...
• Systems architecture and major global initiatives 

  Dixit, Sudhir; Bhatia, Vimal; Khanganba, Sanjram Premjit; Agrawal, Anuj (Springer, 2022-04)

  In the previous chapters, several technical and non-technical aspects of rural and remote connectivity have been discussed such as the non-availability of backhaul communications infrastructure, affordability, power issues, ...
• Future challenges 

  Dixit, Sudhir; Bhatia, Vimal; Khanganba, Sanjram Premjit; Agrawal, Anuj (Springer, 2022-04)

  In the previous five chapters, various technical, economic, social, and cultural aspects of B5G and 6G connectivity in the unconnected rural regions have been discussed. Though most of the technology required to bridge the ...
• Technology drivers for 6G 

  Dixit, Sudhir; Bhatia, Vimal; Khanganba, Sanjram Premjit; Agrawal, Anuj (Springer, 2022-04)

  All generations of mobile and networking solutions have been driven by technology innovations, stringent performance requirements and demanding user expectations. For example, multimedia applications and video streaming ...
• Key considerations to achieve 5G and B5G connectivity in rural areas 

  Dixit, Sudhir; Bhatia, Vimal; Khanganba, Sanjram Premjit; Agrawal, Anuj (Springer, 2022-04)

  In rural regions, various factors may affect network planning and deployment, such as demographics, architectural structure, geomorphic, and topographical features of land, current state of development, economic status, ...
• Digital divide and its current state 

  Dixit, Sudhir; Bhatia, Vimal; Khanganba, Sanjram Premjit; Agrawal, Anuj (Springer, 2022-04)

  Digital divide refers to the disparity among people living in various parts of the world, different organizations, as well as among geographic regions in terms of the accessibility to information and communication technology ...
• On structural parameterizations of graph motif and chromatic number 

  Das, Bireswar; Enduri, Murali Krishna; Misra, Neeldhara; Vinod Reddy, I. (Springer International Publishing, 2017)

  Structural parameterizations for hard problems have proven to be a promising venture for discovering scenarios where the problem is tractable. In particular, when a problem is already known to be polynomially solvable for ...
• Polynomial-time algorithm for isomorphism of graphs with clique-width at most three 

  Das, Bireswar; Enduri, Murali Krishna; Reddy, I. Vinod (Springer, 2016-07)

  The clique-width is a measure of complexity of decomposing graphs into certain tree-like structures. The class of graphs with bounded clique-width contains bounded tree-width graphs. We give a polynomial time graph isomorphism ...
• Logspace and FPT algorithms for graph isomorphism for subclasses of bounded tree-width graphs 

  Das, Bireswar; Enduri, Murali Krishna; Reddy, I. Vinod (Springer, 2015-02)

  We give a deterministic logspace algorithm for the graph isomorphism problem for graphs with bounded tree-depth. We also show that the graph isomorphism problem is fixed parameter tractable for a related parameterized graph ...
• Succinct Encodings of Graph Isomorphism 

  Das, Bireswar (Springer, 2014)

  It is well known that problems encoded with circuits or formulas generally gain an exponential complexity blow-up compared to their original complexity. We introduce a new way for encoding graph problems, based on CNF or ...
• Comparative Analysis of Formal Model Checking Tools for Security Protocol Verification 

  Patel, Reema; Borisaniya, Bhavesh; Patel, Avi; Patel, Dhiren R.; Rajarajan, Muttukrishnan; Zisman, Andrea (Springer, 2010)

  With the proliferation of universal clients over Internet, use of security protocols is rapidly on rise to minimize associated risks. Security protocols are required to be verified thoroughly before being used to secure ...

View more