Divakar Yadav
Dr. A.P.J. Abdul Kalam Technical University(IN)Indian Institute of Management Lucknow(IN)
Publications by Year
Research Areas
Distributed systems and fault tolerance, Real-Time Systems Scheduling, Formal Methods in Verification, Petri Nets in System Modeling, Blockchain Technology Applications and Security
Most-Cited Works
- → An incremental development of the Mondex system in Event-B(2007)65 cited
- → Introduction of Formal Methods in Blockchain Consensus Mechanism and Its Associated Protocols(2022)37 cited
- → Understanding and Estimation of Emotional Expression Using Acoustic Analysis of Natural Speech(2013)37 cited
- → Rigorous Design of Fault-Tolerant Transactions for Replicated Database Systems Using Event B(2006)26 cited
- → Analysis of lane detection techniques using openCV(2015)24 cited
- → Performance Evaluation of Optimizers in the Classification of Marble Surface Quality Using CNN(2022)24 cited
- Application of Event B to Global Causal Ordering for Fault Tolerant Transactions(2005)