Displaying 201 - 229 of 229 publications

2011

  1. Manish Gaur, Formal methods in adoption of industrial automation, In Proceedings of the Seminar on Challenges in Adoption of Industrial Automation in Indian Perspective, , , , 2011.
  2. Raghuraj Suryavanshi, Divakar Yadav Rigorous Design of Partition-Aware Total Order Broadcast System using Event-B, International Journal of Computer Applications, , , , 2011. DOI : 10.5120/3123-4297
  3. Yogendra Narain Singh, and Phalguni Gupta Correlation-based classification of heartbeats for individual identification, Journal of Soft Computing, , vol. 2011, pp. 449-460, 2011. DOI : https://doi.org/10.1007/s00500-009-0525-y
  4. Yogendra Narain Singh, and S K Singh Vitality detection from biometrics: State-of-the-art, 2011 World Congress on Information and Communication Technologies, , vol. 2011, pp. 106-111, 2011. DOI : 10.1109/WICT.2011.6141226
  5. Yogendra Narain Singh, Challenges of Unique ID Environment, In: Proc. UID 2011, National conference, Impact of Aadhar unique Id in Governance , Social & Technological- Issues & Challenges , , vol. 2011, pp. 51-58, 2011.
  6. Yogendra Narain Singh, and S K Singh The State of Information Security, In: Proc. National Conference on Artificial Intelligence and Agents: Theory and Applications AIATA-2011, , vol. 2011, pp. 1-10, 2011.

2010

  1. Pillai samaya, Bhattacharjee Siddharth Nagar Abhishek Nagar Abhishek. Pillai Samaya, Bhattacharjee Siddharth Virtualization : A step towards Green IT, GIT2010 Green IT & Open Source, , , pp. pg 16-19, 2010.

2009

  1. Matthew Hennessy & Manish Gaur, Counting the cost in the picalculus (extended abstract), Electronic Notes of Theoretical Computer Science, , , pp. 229(3)117-129, 2009. DOI : https://doi.org/10.1016/j.entcs.2009.06.042
  2. J Pandey, S Joshi D S Yadav ANN Based Crop Yield Forecasting Model Using Remote Sensing and Surface Parameters, International journal of Emerging Technologies and Applications in Engineering, Technology and Sciences, , , pp. 724-727, 2009.
  3. Divakar Yadav, Michael Butler Verification of Liveness Properties in Distributed Systems, Contemporary Computing, , , pp. 625-636, 2009.
  4. Divakar Yadav, Michael Butler Formal Development of a Total Order Broadcast for Distributed Transactions Using Event-B, Method, Models and Tool for Fault-Tolerance, , , pp. 152-176, 2009.
  5. Yogendra Narain Singh, and Phalguni Gupta Biometrics Method for Human Identification Using Electrocardiogram, In: Tistarelli, M., Nixon, M.S. eds Advances in Biometrics. ICB 2009, , vol. 5558, pp. 1270–1279, 2009. DOI : https://doi.org/10.1007/978-3-642-01793-3_128
  6. Yogendra Narain Singh , and Phalguni Gupta A robust delineation approach of electrocardiographic P waves, In: Proc. IEEE Symposium on Industrial Electronics & Applications ISIEA 2009, , vol. 2209, pp. 846-849, 2009. DOI : 10.1109/ISIEA.2009.5356341
  7. Yogendra Narain Singh , and Phalguni Gupta An Efficient and Robust Technique of T Wave Delineation in Electrocardiogram., In: Proc. Second International Conference on Bio-inspired Systems and Signal Processing BIOSIGNALS 2009 , , vol. 2009, pp. 146 -154, 2009.

2008

  1. Manish Gaur, A routing calculus for distributed computing (extended abstract), Bulletin of the European Association for Theoretical Computer Science , , , pp. 95, 2008.
  2. Manish Gaur, A routing calculus for distributed computing, Formal Methods 2008, , , pp. Vol 28, 23-32, 2008.
  3. Yogendra Narain Singh, and Phalguni Gupta ECG to Individual Identification, In. Proc. IEEE 2nd International Conference on Biometrics: Theory, Applications and Systems BTAS 2008, , vol. 2008, pp. 1-8, 2008. DOI : 10.1109/BTAS.2008.4699343

2007

  1. Michael Butler, Divakar Yadav An incremental development of the Mondex system in Event-B, Formal Aspects of Computing, , , pp. 61–77, 2007. DOI : https://doi.org/10.1007/s00165-007-0061-4
  2. P Kangsabanik, D S Yadav R Mall A K Majumdar Performance analysis of long-lived cooperative transactions in active DBMS, Data and Knowledge Engineering , , , pp. 547–577, 2007. DOI : https://doi.org/10.1016/j.datak.2006.11.001
  3. Divakar Yadav, Michael Butler Rigorous Design of Fault-tolerant Transactions for Replicated Databases, Final Report on Methodology, European Union IST project 511599, RODIN, , , pp. 31-33, 2007.
  4. Divakar Yadav, Michael Butler Formal Specifications and Verification of Message Ordering Properties in a Broadcasting System using Event B, Technical Report, , , , 2007.
  5. Yogendra Narain Singh, and Phalguni Gupta Quantitative Evaluation of Normalization Techniques of Matching Scores in Multimodal Biometric Systems, In: Lee, SW., Li, S.Z. eds Advances in Biometrics. ICB 2007. Lecture Notes in Computer Science, vol 4642, , vol. 4642 , pp. 574 - 583, 2007. DOI : https://doi.org/10.1007/978-3-540-74549-5_61

2006

  1. Divakar Yadav, Michael Butler Development of Distributed Transaction in Event-B, Intermediate Report on Methodology, European Union IST project RODIN Deliverable D19 , , , pp. 58-65, 2006.
  2. Divakar Yadav, Michael Butler Rigorous Design of Fault-Tolerant Transactions for Replicated Database Systems Using Event B, Springer Verlag, , , pp. 343–363, 2006.

2003

  1. Manish Gaur and S P Tripathi, An on the fly algorithm for deciding efficiency preorders, In Proceedings of the International Conference on Computer Science and Information Technologies, , , pp. Vol 1, 2003.
  2. D S Yadav, V S Yadav RC Saraswat Maintaining Legal Requirement of Digital Signature through public key cryptographic system, IETE Journal of Education, , , pp. 131-142 , 2003.

2002

  1. Manish Gaur, A talk on deciding efficiency preorders, In Proceedings of International Conference and Instructional Workshop on Industrial Mathematics ICIWIM, , , , 2002.
  2. Manish Gaur and Shirshu Verma, Switching networks for rural networks, In Proceedings of the National Conference on Telecommunications for Rural India, , , , 2002.

1993

  1. Manish Gaur and R B Patel, Industry academia interaction towards increased productivity and better research and development, In Proceedings National Conference on Industry Academia Interaction, , , , 1993.