Academics > Departments > Computer Science

Research Publications (Journals and Referred Conference Publishing)

                                                   Accepted and Communicated                                Other links >>

 

 

D.S. Yadav

 

Journals / Book Sections

  1. Michael Butler, Divakar Yadav, “An incremental development of the Mondex System in Event-B”, Formal Aspects of Computing, Springer-Verlag London, Vol 20, No 1, pp 61-77, 2008.

  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, Elsevier B.V Amsterdam, Volume 62, Issue 3, pp 547-577, 2007.

  3. Divakar Yadav, Michael Butler, “ Rigorous Design of Fault-Tolerant Transactions for Replicated Database System using Event B”, ( Book Chapter) in Rigorous Development of Complex Fault Tolerant Systems, volume 4157 of Lecture Notes in Computer Science, pp 343-363, Springer-Verlag, Berlin Heidelberg, 2006.

  4. D S Yadav, V S Yadav, R C Sarswat ,” Maintaining Legal Requirement of Digital Signature through public key cryptographic system”, IETE Journal of Education , New Delhi, Vol 44, No 3, pp. 131-142 , July –Sep 2003 , ISSN : 0970-1664

  5. Divakar Yadav, Michael Butler, “ Formal Development of Broadcast Systems and Verification of Ordering Properties using Event-B”, IEEE TDSE. ( under consideration )

  6. Divakar Yadav, Michael Butler, “Formal Development of a Total Order Broadcast for Distributed Transactions using Event-B”, (Book Section) for the book on Method, Models and Tool for Fault-Tolerance to be published by Springer-Verlag, Berlin-Heildelberg.

Referred International Conference Papers

  1. Divakar Yadav and Michael Butler,“ Formal Development of Fault Tolerant Transactions for a replicated Database using Ordered Broadcasts”, In Proc. of Workshop on Methods, Models and Tools for Fault Tolerance , MeMoT 2007, pp 33-42, 3 July 2007, Oxford, UK

  2. Divakar Yadav, Michael Butler, “ Formal Specifications and Verifications of Message Ordering Properties in a Broadcast System using Event B”, Technical Report, School of Electronics and Computer Science, University of Southampton, 2007.

  3. Divakar Yadav, Michael Butler, “Application of Event-B to Global causal Ordering for Fault-Tolerant transactions, In Proc. of Workshop on Rigorous Engineering of Fault Tolerant Systems, REFT 2005, pp 93-103, 19 July 2005, Newcastle upon Tyne, UK

  4. D S Yadav, Rajeev Agrawal , A K Majumdar ,“Modeling long duration transaction with time constraints in Active Database”, International Conference on Information Technology : Coding and Computing, ITCC 2004, Volume-1, IEEE Computer Society , PP 497-501, April 5-7, 2004, Las Vegas, Nevada, USA. ISBN: 0-765-2108-8.

  5. D S Yadav, Rajeev Agrawal , R C Sarswat ,“Analysis of Cooperation Semantics for Transaction Processing with Full and Partial Aborts in Active Database”, Proceedings 4th IEEE International Pacific Rim Conference on Multimedia , Information , Communication and Signal Processing , ICICS/PCM-2003 ,Singapore , 18-20 December 2003, ISBN:0-7803-8186-6

  6. D S Yadav, Rajeev Agrawal, R C Sarswat, “An approach to reduce resource contention while scheduling time constrained long running activity in Active Database System” , 5th International Workshop on Computer & Information Technologies , CSIT 2003, 16-18 Sept 2003 ,Ufa , Proceeding , Vol 1 , pp 162-166 , Russia. ISBN : 5-86911-420-9

  7. D S Yadav, Shipra Agrawal , B N Misra etal , “Recent Trends in Drug Design: A Bioinformatics Approach” , 5th International Workshop on computer & Information Technologies ,CSIT 2003, 16-18 Sept 2003, Proceedings , Vol 1 , pp 49-53, Ufa , Russia. ISBN : 5-86911-420-9 Divakar Yadav , DSSE Group, School of Electronics and Computer Science, University of Southampton 2

  8. D S Yadav, A K Majumdar , R C Saraswat, D S Chauhan " Towards a Model of Concurrency to achieve Temporal Consistency in Long Duration Transaction Processing in Real Time Active Database System ", Proc. 3rd International Conference on Information, Communication and Signal Processing (ICICS 2001) , 15-18 Oct 2001 , Singapore , ISBN : 981-04-5149-0

  9. D S Yadav , P Kangasabanik , A K Majumdar ," Scheduling Long Duration Transaction in Real Time Active DBMS", ICICS'99, 2nd Intl. Conf. On Information, Communication & Sig. Processing , 7-10 Dec 1999, Singapore.

National Conference

  1. D S Yadav ," Digital Signatures " , PWD Annual Review 2000, Government of UP, Lucknow, India

  2. D S Yadav, S S Soam ,S K Bajpai ,"An Elegant way to Achieve Parallelism in Real Time Transaction Databases " Proc. National Conference on Data Communication ( NCDC-2000) , 7-8 April 2000 , Chandigarh , India.

  3. D S Yadav, S K Shukla ," Technical and Legal Aspects of Digital Signatures" , Proc. National Conference on advancement in Information Technology and Management", AIM -2002, Dehradun , India, Feb 2002.

  4. D S Yadav , S K Bajpai ," On Concurrency Control Mechanism to achieve parallism in Real Time Transaction Databases", Proc. National Conference on advancement in Information Technology and Management",AIM 2002 , Dehradun , India, Feb 2002.

  5. D S Yadav , " An Execution Model for Long Duration Transaction Processing in Active Database Management System " VII Annual Conference of Vijnana Parishad of India, Lucknow ,15-17 Dec 1998.

  6. D S Yadav , S K Bajpai ," A Model for Transaction Scheduling & Concurrency Control in Real Time Database System " VII Annual Conference of Vijnana Parishad of India, Lucknow,15-17 Dec 1998.

  7. D S Yadav, Onkar Singh ,"Real Time Query Processing in Distributed System", Proc. National Symposium on Computer Applications in Engineering & Technology ,ReTCA’96,March 8-9,1996, PP 49-57 Punjab , India 1996.

  Books

  1. D S Yadav “Foundations of Information Technology", 506 pp, 3rd Edition, New Age International Publishers, New Delhi , 2001. ISBN : 81-224-1490-7

  Talk/Seminars/Presentations

  1. “Formal Development of Fault Tolerant Transactions for a Replicated Database using Ordered Broadcasts”, Methods, Models and Tools for Fault Tolerance(MeMoT 2007), July 3, 2007, Oxford, UK.

  2. “Formal Development of Fault Tolerant Transactions for Replicated Database using Ordered Broadcasts” Group Seminar, DSSE research group, School of Electronics and Computer Science, University of Southampton, UK , 14 May 2007.

  3. “Incremental development of Mondex using Event-B”, Mondex case study workshop, 4th VSR-net meeting, 5-6 October 2006, University of York, Yorkshire, UK. (Presented by Professor Michael Butler. The meeting was a part of Grand Challenge 6 on dependable systems evolution set by UK Computing Research Council.)

  4. “Incremental development of Mondex using Event-B”, Mondex case study workshop, 3rd VSR-net(Verified Software Repository) meeting, Cosener's House,25-26 May 2006, Abingdon, Oxford, UK. (Presented by Professor Michael Butler )

  5. “Incremental Development of Distributed Transaction in Event-B”, RefineNet Workshop, May 4-5, 2006, Chilworth Manor, Southampton, UK.

  6. “Formal Specifications of Distributed Transactions using Event-B”, Group Seminar, DSSE research group, School of Electronics and Computer Science, University of Southampton, UK , 15 March 2006. Divakar Yadav , DSSE Group, School of Electronics and Computer Science, University of Southampton 3

  7. “Formal Development of Distributed Transactions using Event-B”, Dagstuhl Seminar Series no 06121 on ‘Atomicity : Unifying concept in computer science’, 19.3.2006 - 24.3.2006, Schloss Dagstuhl, Germany. (http://www.dagstuhl.de/en/program/calendar/semhp/?semnr=06121)

  8. “Application of Event-B to Global Causal Ordering for Fault Tolerant Transactions”, Rigorous Engineering of Fault Tolerant System (REFT2005), July 19, 2005, Newcastle upon Tyne, UK

  9. “Application of Event-B to Global Causal Ordering for Fault Tolerant Transactions”, Group Seminar, DSSE research group, School of Electronics and Computer Science, University of Southampton, UK , 22 June 2005.

  10. “Information System Control “ , Key note address at Seminar on ‘Information System Control’ organized by LBS Institute of Management Studies, Lucknow, India, March 20, 2004.

  11. "Confirmation of Legal Requirement of Digital Signature " , Seminar and R & D Report of IET Lucknow , India, 2002.

  12. "Issues in Real Time Database System ", Seminar & R&D report of IET Lucknow , India 2002.

  13. "Technical & Legal aspects of Digital Signatures " , International Workshop and Training Program on " Cyber Laws , Crimes and Intellectual Property Right " for Judicial Officers of SAARC Countries. Dec 1, 2001 - Dec ,13,2001, Judicial Training & Research Institute, Lucknow, India

  14. "Issues in Real Time Database Design ", Two Week Summer Course on " Foundations of Information Technology ", July 2,2001 - July 14,2001, Academic Staff College , U P Technical University, Lucknow, India

  15. "Electronic Commerce " , Key Note Address, National Seminar on "Emerging Trends in Information Technology ", Regional Science Center , LBSIMS, Lucknow , Dec 15 , 2001

  16. "Legal Issues in Digital Signature", Training Program of Judicial Officers of Govt. of Utter Pradesh , May 25,2001 , Judicial Training and Research Institute , Lucknow

  17. "Word Processing & Management of Data ", International Workshop and Training Program on " Cyber Laws, Crimes and Intellectual Property Right" for Judicial Officer of South Asian Countries , Jan 6 - Jan 18 , 2001 , Judicial Training & Research Institute , Lucknow.

  18. "Concurrency Control Schemes for Real Time Active Database System ", April 11, 2000, Invited Talk at Advanced Computing Research Center ,University of South Australia , Adelaide , Australia.

  19. "Transaction Management in Real Time Active Database System ", Invited Talk at Multimedia University , Kuala Lumpur , Malaysia. Apr 14, 2000.

  20. “Capturing the business processes and their customization on AXAPTA 2.0 : an Integrated ERP Tool”. Sanomed Medizintechnik, Hamburg, Germany ,10 Dec , 1999.

  21. "Transaction Processing in Active Database Management System" , Invited Lecture organized by Sanomed Medizintechnik , Hamburg, Germany , Oct 3, 1998.

  22. " Internet Working", One week training program on " Basic Computer Awareness and Internet ", Senior Officers of Trade Tax Department , Govt of UP , Institute of Management Development , Govt. of UP , Jun 7 , 2000.

  23. "Interactive Session on E Commerce", One week training program on "Basic Computer Awareness and Internet ", Senior Officers of Trade Tax Department , Govt. of UP , Institute of Management Development , Govt. of UP , Jun 8 , 2000.

  Other Information on Professional Activities

  1. Visited Hamburg , Germany to deliver a talk in the symposium held in Hamburg , Germany in October 1998 on " Transaction Processing in Real Time Active Database Management System". Divakar Yadav , DSSE Group, School of Electronics and Computer Science, University of Southampton 4

  2. Visited Germany on invitation of a German Company Sanomed Medizintechnick , Hamburg , Germany during Nov 1999 - Jan 2000 for following jobs related with their ongoing project of automation of Business Processes.

  3. Visited Multimedia University , Kuala Lumpur in April 2000.

  4. Visited school of Computer & Information Science , University of South Australia , Adelaide in the month of April 2000 to discuss the research issues related with Transaction Processing in Real Time Active Database System and a talk on this subject

  5. Attended Microsoft .NET Curriculum workshop held at Putra World Trade Center 23-28 August , 2003 at Kuala Lumpur , Malaysia

  6. Organized Two Week Summer Course on "Foundations of Information Technology" July 2,2001 - July 14,2001 for academic staff of Engineering Colleges/Institutes affiliated to UP Technical University at KIET Ghaziabad under the aegis of Academic Staff College, U P Technical University, Lucknow

  7. Worked as Assistant Co-ordinator for Admission Committee , U P State Engineering Admission Test (Formerly Combined Entrance Examination) for four years in 1994,1995,1996 and 1999 conducted by Institute of Engineering & Technology, Lucknow.

  8. Invitation as Session Chair, Database and Software Engineering for 3rd International Conference on Information , Communication and Signal Processing (ICICS 2001) , 15-18 Oct 2001 , Singapore. ( But I could not attend)

  9. Serves as Convener, Core Group of Computer Science & Information Technology , works under the supervision of Vice Chancellor , UP Technical University, Lucknow.

  10. Reproiteur , VII Annual Conference of Vijnana Parishad of India, Lucknow ,15-17 Dec 1998.

  11. Recipient of ‘College Merit Certificate’ for achieving academic standard in B.Tech , as prescribed by Academic Council , G B Pant University of Ag. & Technology, Pantnagar..

  12. Certificate of Achievement awarded as Coach for ACM International Collegiate Programming Contest at IIT Kanpur for Asia Programming Contest 1999.

  13. Member , Board of Studies , Department of Computer Science , IET , Lucknow.

  14. Have served as Examiner with Allahabad University , Bundelkanhd University , R M L University , Faizabad , D D U University Gorakhpur, Kanpur University, Purvanchal University , Jaunpur , Kumaon University , Nainital , Meerut University , University of Lucknow ,Lucknow , BRA University , Agra and U P Technical University ,Lucknow

  15. Head Examiner, Computer Science and Information Technology at U P Technical University , Central evaluation at Ghaziabad UP held on Apr 8- Apr 26 , 2002.

  16. Head Examiner, Computer Science and Information Technology at U P Technical University , Central evaluation at Mathura held from Jan 24 – Feb 04 , 2003.

  17. Member of Course Curriculum & Syllabus writing committee for B.Tech ( Computer Sc. & Engg.) and B.Tech ( Information Technology ) of U P Technical University, Lucknow.

< Back

Dr. S.K. Bajpai

 

   S.K. Bajpai , S. Verma, R. Singh, "Hop constrained polynomial time  QoS routing”, IEEE Transaction on networking, USA.

 

   S.K. Bajpai, S.K. Garg, D.K. Badhyopadhayaya, "Evolving  Turing machine for Identifying the Broken/ Bad Links on a Web Site”,  Journal of Computer Society of India, India.

 

   D.S. Yadav, S.S. Soam, S.K. Bajpai, "Real Time Query Processing in Distributed System", Proc. National Symposium on Computer Applications in Engineering & Technology, Punjab, 1996, India.

 

   D.S. Yadav, S.K. Bajpai, "A Model for Transaction Scheduling & Concurrency Control in Real Time Database System", VII Annual Conference of Vijnana Parishad of India, Lucknow,15-17 Dec 1998, India.

 

   D.S. Yadav, S.S. Soam, S.K. Bajpai, "An Elegant way to Achieve Parallelism in Real Time Transaction Databases", Proc. National Conference on Data Communication ( NCDC-2000), 7-8 April 2000, Chandigarh, India.

 

   D.S. Yadav, S.K. Bajpai, "On Concurrency Control Mechanism to achieve paralellism in Real Time Transaction Databases", Proc. 1st  National Conference on advancement in Information Technology and Management", AIM 2002, Dehradun, Feb, 2002, India.

 

   S.K. Bajpai, R.A.Yadav,"Optical Fibre Communication(SDH) and Networks”, National seminar on Intelligent Decision Support Systems and Broadband Communication, Feb 21-22, 2003, India.

 

   S.K. Bajpai, "Cyber Crimes and Cyber laws”, National seminar on Intelligent Decision Support Systems and Broadband Communication, Feb 21-22, 2003, India.

< Back

Dr. Maheshwari Tripathi

 

   M. Tripathi, H.M. Srivastava, "Gradient ration technology of signature analysis using Microprocessor based system", Multinational Instrumentation Conference, Beijing, China, April 16th-19th, 1986.

 

   M. Tripathi, H.M. Srivastava, "Performance study of data interpolation in time assignment speech interpolation", Platinum Jubilee (International) Conference on System & Signal Processing in Indian Institute of Science, Bangalore, Dec. 11th-13th, 1986.

 

   M. Tripathi, H.M. Srivastava, "Pattern tracing from Mixed Code remote data", Platinum Jubilee (International) Conference on System & Signal Processing in Indian Institute of Science, Bangalore, Dec. 11th-13th, 1986.

 

   M. Tripathi, H.M. Srivastava, "Mixed Code operation of computer", TENCON-89 IEE, 1989.

 

   M. Tripathi, H.M. Srivastava, "Water logging estimation by multispectral remote sensing technique using signature analysis", Proceeding National Seminar on water resources management for rural development, I.E.(I) KNIT, Sultanpur, Oct. 1984.

 

   M. Tripathi, H.M. Srivastava, P.S. Tiwari, "Gradient ration technique for sand storm estimation using multispectral signature. A microprocessor based system", I.E.(I) Dec. 1985.

 

   M. Tripathi, H.M. Srivastava, V.N.P. Srivastava, "Data Routing in desert telenet", I.E.(I) Dec. 1985.

 

   M. Tripathi, H.M. Srivastava, "Radar target identification in National System", Conference at MNREC Allahabad (21st-23rd Dec. 1985).

 

   M. Tripathi, H.M. Srivastava, V.P. Chaurasia, "Signal resequencing in asynchronously mixed data by auto-corelator", 5th All India symposium on Instrumentation. (28th-29th Dec.) I.E.T. Lko.

 

   M. Tripathi, H.M. Srivastava, M. Prasad, "A study on 5-ESS switch", 5th All India symposium on Instrumentation. (28th-29th Dec.) I.E.T. Lko.

 

   M. Tripathi, H.M. Srivastava, A.A. Zilli, "Surge area identification by microprocessor", 5th All India symposium on Instrumentation. (28th-29th Dec.) I.E.T. Lko.

 

   M. Tripathi, H.M. Srivastava, P.R. Gupta, "Stable movement of robot in plane and associated processing", 5th All India symposium on Instrumentation. (28th-29th Dec.) I.E.T. Lko.

 

   M. Tripathi, H.M. Srivastava, "A study on single chip for computer teminal design", 5th All India symposium on Instrumentation. (28th-29th Dec.) I.E.T. Lko.

 

   M. Tripathi, H.M. Srivastava, J.P. Singh, "Microprocessor & VDU based E.C.G. Recorder", National Seminar on trends in Instrumentation in University of Roorkee, Jan. 1989.

 

   M. Tripathi, H.M. Srivastava, P.R. Gupta, "Free movement of robot", Computer Div, Journal of Institution of Engineers, March 1989.

 

   M. Tripathi, et al, "Estimation of program complexity using Entropy", Journal of Cybernetics & Informatics Management, N. Delhi, 1994.

 

   M. Tripathi, et al, "Complexity of program in terms of impuritites correlation coefficient", Journal of Cybernetics & Informatics Management, N. Delhi, 1994.

 

   M. Tripathi, et al, "Application of computers in SCADA", 8th Annual Conference of Vijnana Parishad of India & National Symposium on Theme of Computer Applications in Mathematics, Science & Engineering, Dec. 15th-17th, 1998 at I.E.T., Lko.

 

   M. Tripathi, "Simulation study of G/G/I Model of dam", National Conference on recent trends in area of computers. 12th-13th March, 1999, Avadh University, Faizabad.

< Back

Manish Gaur

 

   Manish Gaur, S.P. Tripathi, "An On the Fly Algorithm for deciding efficiency preorders", 5th International Workshop on Computer & Information Technologies, Vol 1 (Part A), CSIT 2003, 16-18 Sept, PP 10-14, 2003, Ufa, Russia.

 

   Manish Gaur, "A talk on deciding efficiency preorder (Survey Paper)", International Conference and Instructional Workshop on Industrial Mathematics (ICIWIM) 2002, 7-9 Dec 2002, IIT Bombay, Mumbai, ICIWIM, 36(PP-18), 2002.

 

   Manish Gaur, S. Arun Kumar, "Deciding efficiency Preorders”, Information Processing Letter, PP 123-130, 2002.

 

   Manish Gaur, S. Verma, "Switching Networks for Rural Networks”, Tele-communication for Rural India, IETE, PP 59-67, 1996, India.

 

   Manish Gaur, R.B. Patel, "National Conference on on Industry productivity and better research and development”, National Conference on Industry academia Interaction, PP 45-53, Aug 12-13, 1993, MMM Engg College, Gorakhpur, India.

< Back

S.S. Soam

 

   D.S. Yadav, S.S. Soam, S.K. Bajpai, "An Elegant way to Achieve Parallelism in Real Time Transaction Databases", Proc. National Conference on Data Communication ( NCDC-2000), 7-8 April 2000, Chandigarh, India.

 

   D.S. Yadav, S.S. Soam, S.K. Bajpai, "Real Time Query Processing in Distributed System", Proc. National Symposium on Computer Applications in Engineering & Technology, Punjab, 1996, India.

< Back

S.P. Tripathi

 

   Manish Gaur, S.P. Tripathi, "An On the Fly Algorithm for deciding efficiency preorders", 5th International Workshop on Computer & Information Technologies, CSIT 2003, 16-18 Sept, 2003, Ufa, Russia.

        

The Institute | Academics | Alumni | Placement Cell | Resources | FAQ | About Us | Disclaimer

Departments | Admissions | Co-curriculars | Syllabus | Academic Calendar

Computer Science | Electronics | Electrical | Mechanical | Civil | Chemical | Biotechnology | Environmental Engg | MBA