| An incremental development of the Mondex system in Event-B M Butler, D Yadav Formal Aspects of Computing 20, 61-77, 2008 | 105 | 2008 |
| Rigorous development of complex fault-tolerant systems M Butler, C Jones, A Romanovsky, E Troubitsyna Springer, 2006 | 52 | 2006 |
| Understanding and estimation of emotional expression using acoustic analysis of natural speech NS Fulmare, P Chakrabarti, D Yadav International Journal on Natural Language Computing (IJNLC) 2 (4), 37-46, 2013 | 35 | 2013 |
| Rigorous design of fault-tolerant transactions for replicated database systems using Event B D Yadav, M Butler Rigorous Development of Complex Fault-Tolerant Systems, 343-363, 2006 | 34 | 2006 |
| Foundations of Information Technology DS Yadav New Age International, 2007 | 28 | 2007 |
| Application of Event B to global causal ordering for fault tolerant transactions D Yadav, M Butler | 22 | 2005 |
| Microcontroller: features and applications DS Yadav New Age International, 2004 | 20 | 2004 |
| Methods, models and tools for fault tolerance M Butler, CB Jones, A Romanovsky, E Troubitsyna Springer Berlin Heidelberg, 2009 | 19 | 2009 |
| Analysis of lane detection techniques using opencv SK Vishwakarma, DS Yadav 2015 annual IEEE india conference (INDICON), 1-4, 2015 | 16 | 2015 |
| Modeling of multiversion concurrency control system using Event-B R Suryavanshi, D Yadav 2012 Federated Conference on Computer Science and Information Systems …, 2012 | 16 | 2012 |
| Performance Evaluation of Optimizers in the Classification of Marble Surface Quality Using CNN RG Tiwari, DS Yadav, A Misra Proceedings of Third Doctoral Symposium on Computational Intelligence: DoSCI …, 2022 | 15 | 2022 |
| Formal development of a total order broadcast for distributed transactions using Event-B D Yadav, M Butler Methods, Models and Tools for Fault Tolerance, 152-176, 2009 | 15 | 2009 |
| Formal development of byzantine immune total order broadcast system using Event-B R Suryavanshi, D Yadav Data Engineering and Management: Second International Conference, ICDEM 2010 …, 2012 | 13 | 2012 |
| Verification of liveness properties in distributed systems D Yadav, M Butler Contemporary Computing: Second International Conference, IC3 2009, Noida …, 2009 | 13 | 2009 |
| Mathematical framework for a novel database replication algorithm SK Yadav, G Singh, DS Yadav international journal of modern education and computer science 5 (9), 1, 2013 | 12 | 2013 |
| A Comparative Study of Checkpointing Algorithms for Distributed Systems DSY Bal Krishna Saraswat, Raghuraj Suryavanshi International Journal of Pure and Applied Mathematics 118 (20), 1595-1603, 2018 | 11* | 2018 |
| Formal specification and verification of total order broadcast through destination agreement using Event-B AK Singh, D Yadav AIRCC's International Journal of Computer Science and Information Technology …, 2015 | 9 | 2015 |
| Formal Specifications and Verification of Message Ordering Properties in a Broadcasting System using Event B D Yadav, M Butler | 9 | 2007 |
| Formal development of fault tolerant transactions for a replicated database using ordered broadcasts D Yadav, M Butler | 8 | 2007 |
| Effect of continuous cropping and fertilizer application on fertility status of soil LP Verma, DS Yadav, R Singh J. Indian Society of Soil Science 35, 754-756, 1987 | 8 | 1987 |
Michael ButlerProfessor of Computer Science, University of SouthamptonVerified email at ecs.soton.ac.uk
