Get started
Author

Raghuraj Singh Suryavanshi

Observed name: Raghuraj Suryavanshi
ORCID: 0009-0003-6289-1531
Observed ORCID: 0009-0003-6289-1531
OpenAlex ID: A5075491997
Development of Blockchain-Enabled E-Healthcare Appointment System
2024 · Abhishek Rawat, Raghuraj Singh Suryavanshi, et al. · Lecture notes in networks and systems · 13
Modeling of multiversion concurrency control system using Event-B
2012 · Raghuraj Suryavanshi, Divakar Yadav · Annals of Computer Science and Information Systems · 10
Formal Development of Byzantine Immune Total Order Broadcast System Using Event-B
2012 · Raghuraj Suryavanshi, Divakar Yadav · Lecture notes in computer science · 9
The Introduction of Cryptography, Blockchain, and Artificial Intelligence in the Modern World of Computing
2025 · Abhishek Rawat, Rajat Verma, et al. · CRC Press eBooks · 8
Hybrid buffer‐based optical packet switch with negative acknowledgment for multilevel data centers
2020 · Sumit Chandra, Shahnaz Fatima, et al. · Journal of Optical Communications · 7
Blockchain Integration in Emergency Medical Transportation: Advancing Security and Coordination for Critical Care Scenarios
2025 · Abhishek Rawat, Raghuraj Singh Suryavanshi, et al. · Lecture notes in networks and systems · 6
Formal Modelling of Cluster-Coordinator-Based Load Balancing Protocol Using Event-B
2021 · Shantanu Shukla, Raghuraj Suryavanshi, et al. · Advances in intelligent systems and computing · 6
Packet Blocking Performance of Cloud Computing Based Optical Data Centers Networks under Contention Resolution Mechanisms
2020 · Rahul Deo Shukla, Ajay Pratap, et al. · Journal of Optical Communications · 6
Formal Verification of Causal Order-Based Load Distribution Mechanism Using Event-B
2019 · Pooja Yadav, Raghuraj Suryavanshi, et al. · Springer eBooks · 6
Blockchain Approach for Analyzing the Issues of IoT Systems
2025 · Abhishek Rawat, Rajat Verma, et al. · Lecture notes in networks and systems · 5
Formal Verification of Liveness Properties in Causal Order Broadcast Systems Using Event-B
2021 · Pooja Yadav, Raghuraj Suryavanshi, et al. · Advances in intelligent systems and computing · 5
Rigorous Design of Lazy Replication System Using Event-B
2012 · Raghuraj Suryavanshi, Divakar Yadav · Communications in computer and information science · 4
Formal Development of Blockchain Enabled E Healthcare System Using Event-B
2025 · Raghuraj Singh Suryavanshi, Vishal Nagar, et al. · International Journal of Engineering Trends and Technology · 3
PDF
Formal Specification of Dynamic Load-Based Coordinator Selection Algorithm with Recovery in Distributed Systems
2022 · Pooja Yadav, Raghuraj Suryavanshi, et al. · Lecture notes in networks and systems · 2
Formal Specification & Verification of Checkpoint Algorithm for Distributed Systems using Event - B
2021 · Bal Krishna Saraswat, Raghuraj Suryavanshi, et al. · International Journal of Engineering Trends and Technology · 2
Split Point Load Balancing Algorithm Based on Event B
2019 · Shantanu Shukla, Raghuraj Singh Suryavanshi, et al. · International Journal of Innovative Technology and Exploring Engineering · 2
Modeling of Distributed Mutual Exclusion System Using Event-B
2013 · Raghuraj Suryavanshi, Divakar Yadav · 2
PDF
Blockchain Basics: Understanding the Core Concepts and Mechanisms
2025 · Rajat Verma, Abhishek Rawat, et al. · Advances in computational intelligence and robotics book series · 1
Buffering Performance of Optical Packet Switch Consisting of Hybrid Buffer
2023 · Sumit Chandra, Shahnaz Fatima, et al. · Lecture notes in networks and systems · 1
A Detailed Insight into AI-driven Specific Damage Site Nano-detection (SDSND) for Precision Diagnosis of Breast Cancer
2026 · Pragati Kumar, Pranay Wal, et al. · Current Cancer Therapy Reviews
Formal Verification of Blockchain Consensus Mechanisms Using Event-B
2026 · Atul Gupta, Divakar Yadav, et al. · Journal of Visualized Experiments
Formal Method Approach for Verification of Blockchain Smart Contract for E-Governance Using Event B
2026 · Abhishek Rawat, Atul Srivastava, et al. · Lecture notes in electrical engineering
Authentication and Key Exchange Protocol in IoMT
2025 · Aanya Kankane, Brijesh Kumar Chaurasia, et al. · International Conference on Computational Intelligence and Communication Networks (CICN)
Optical Network Modeling and Performance Using Random Graph Theory
2023 · Rahul Deo Shukla, Ajay Pratap, et al. · Algorithms for intelligent systems
Network Layer Performance of Hybrid Buffer-Based Optical Router
2023 · Sumit Chandra, Shahnaz Fatima, et al. · Algorithms for intelligent systems
Works count: 31
Citation count: 98
H-index: 6
I10-index: 2
Year
Topic
Type