Prof Divakar Singh Yadav
Professor
Uttar Pradesh
Expertise:
Computer Science Theory and Methods
47
Publications
4
Projects
236
Scopus Citations
195
CrossRef
20 Years 2 Months Total Experience
Scopus
236
Citations
8
h-index
CrossRef
195
Citations
7
h-index
Google Scholar
Loading Scholar statistics...
Professional Recognition
Commonwealth Scholar
2004
Commonwealth Scholarship Commission,London, United Kingdom
Young Scientist Award
2003
Council of Science & Technology, Government of U.P.
Distinguished Author Award
2009
Federation of Educational Publishers in India, New Delhi.
Eminet Engineer Award
2023
Institution of Engineers
Community & Membership
No Data Found
There is currently nothing to display here.
Computer Society of India
memberACM
memberPersonal Details
Doctor of Philosophy
2008
Shree Babdeshwar Sanskrit Mahavidyalaya, Porbandar
Master of Technology
1997
N/A
Bachelor of Technology
1989
Jaipur National University Jaipur
Professor
Jun 2009 – —
Unknown Organization
Associate Professor
Jul 2011 – Mar 2013
South Asian University
Associate Professor
Jun 2006 – Jun 2009
Institute of Engineering and Technology Lucknow
Commonwealth Scholar
Oct 2003 – Oct 2007
Unknown Organization
Assistant Teaching Professor
Jun 2003 – Jun 2006
Institute of Engineering and Technology Lucknow
Lecturer - Senior Scale
Jun 1998 – Jun 2003
Institute of Engineering and Technology Lucknow
Lecturer
Jan 1992 – Jun 1998
Institute of Engineering and Technology Lucknow
Engineering and Technology
Scholarly Work
Developing an AI Model for predicting diagnosis of Bacterial, Viral and Fungal Bloodstream infections using PCT,IL-6,Presepsin,Hs-CRP and TNF Alpha Biomarkers
OtherFormal Development and Verification of Secure Blockchain enabled Digital Health Care System
CompletedDesign and development of software tools and technologies for translation of natural languages: special focus on English to Sanskrit translation
CompletedFormal Verification of Distributed Load Balancing & System Recovery
CompletedReplication control protocols for distributed databases
Verification of Protocols for replicated databases: understanding issues in Group Communication, Data Management and Fault Tolerance
Formal Development of Trustworthy Electronic Payment Systems
Formal Specifications and Verification of Routing Protocols in MANET
ROLE OF ICT IN ACHIEVING GOOD GOVERNANCE IN U.P.: A STUDY OF SELECTED GOVERNMENT PROGRAMS/INITIATIVES
Formal Verification of Recovery Techniques in Distributed Systems using Event-B
Design and Development of Methodologies for Spatial Information Retrieval
Formal Development of Recovery Protocols in Message Passing Systems
Formal Development of Replica Control Protocol using Event-B
A cluster based data sharing scheme for mobile ad-hoc networks
No Data Found
There is currently nothing to display here.
Scholarly Publications
Rigorous Design of Fault-Tolerant Transactions for Replicated Database Systems Using Event B
A Multiobjective Approach for E-Commerce Website Structure Optimization
Formal Verification of Blockchain Consensus Mechanisms Using Event-B
Formalizing Blockchain of Reliable Healthcare Authentication System Using Event B
Formal Development of Blockchain Enabled E Healthcare System Using Event-B
Rigorous Specification of Vector Timestamp Based Load Sharing Mechanism for Distributed Systems
Open AccessDevelopment of Blockchain-Enabled E-Healthcare Appointment System
Rigorous Specification of an Optimized Load Sharing Protocol with Adaptive Threshold Policy
Showing 1 to 8 of 47 publications