Displaying 201 - 216 of 216 publications

2009

  1. 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.