| An incremental development of the Mondex system in Event-B M Butler, D Yadav Formal Aspects of Computing 20, 61-77, 2008 | 106 | 2008 |
| 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 | 49 | 2013 |
| Rigorous development of complex fault-tolerant systems M Butler, C Jones, A Romanovsky, E Troubitsyna Springer, 2006 | 48 | 2006 |
| Introduction of formal methods in blockchain consensus mechanism and its associated protocols S Verma, D Yadav, G Chandra IEEE Access 10, 66611-66624, 2022 | 40 | 2022 |
| 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 | 37 | 2006 |
| Foundations of Information Technology DS Yadav New Age International, 2007 | 29 | 2007 |
| Application of Event B to global causal ordering for fault tolerant transactions D Yadav, M Butler | 22 | 2005 |
| 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 | 20 | 2022 |
| Analysis of lane detection techniques using opencv SK Vishwakarma, DS Yadav 2015 annual IEEE india conference (INDICON), 1-4, 2015 | 20 | 2015 |
| 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 |
| 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 |
| 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 |
| 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 | 13 | 2013 |
| 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 |
| Similarity measure approaches applied in text document clustering for information retrieval N Kumar, SK Yadav, DS Yadav 2020 Sixth International Conference on Parallel, Distributed and Grid …, 2020 | 11 | 2020 |
| 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 e Vent-B A Singh, D Yadav International Journal of Computer Science & Information Technology 7 (5), 85-95, 2015 | 11 | 2015 |
| Formal Specifications and Verification of Message Ordering Properties in a Broadcasting System using Event B D Yadav, M Butler | 9 | 2007 |
Michael ButlerProfessor of Computer Science, University of SouthamptonBestätigte E-Mail-Adresse bei ecs.soton.ac.uk
