Dr. Manish Gaur

Dean Research & Development

Supervisions (Awarded)

Doctor of Philosophy

  • A Formal Modelling of Intrusion Detection System in Mobile Ad-hoc Networks, Parul Yadav, 2020, Dr APJ Abdul Kalam Technical University Uttar Pradesh, Lucknow
  • A Stochastic Routing calculi, Rama Kant, 2018, Dr APJ Abdul Kalam Technical University Uttar Pradesh, Lucknow

Doctor of Science

  • Government Process Engineering Initiatives in India for the Affirmative Transformation of the Society and Model to Enhance its Capabilities, Saurabh Gupta, 2021, Dr APJ Abdul Kalam Technical University Uttar Pradesh, Lucknow
Displaying 1 - 1 of 1

2020

  1. Recommender System with Machine Learning and Artificial Intelligence, Govind Kumar Jha , Preetish Ranjan , Manish Gaur, 11 pages, John Wiley & Sons, Ltd , 2020, ISBN : 9781119711582,
Displaying 1 - 23 of 23 publications

2021

  1. Manish Gaur and Govind Kumar Jha and Preetish Ranjan and Hardeo K Thakur A survey on trustworthy model of recommender system, International Journal of System Assurance Engineering and Management, Springer, Springer Journals Publication , 2021, DOI : https://doi.org/10.1007/s13198-021-01085-z

2020

  1. Manish Gaur, Vinay Kumar, Abhishek Singh, Vineet Kansal A Comprehensive Survey on Passive Video Forgery Detection Techniques, Recent Studies on Computational Intelligence part of Studies in Computational Intelligence, Springer, 2020, DOI : https://doi.org/10.1007/978-981-15-8469-5_4
  2. Manish Gaur and Nitesh Kumar and Vinay Kumar Banking trojans APK detection using formal methods, 2019 4th International Conference on Information Systems and Computer Networks ISCON, IEEE , 2020, DOI : 10.1109/ISCON47742.2019.9036319
  3. Manish Gaur and Annie Irfan and S P Tripathi A Study of Process Calculus for Formal Verification and Analysis of Security Protocol, 2018 4th International Conference on Applied and Theoretical Computing and Communication Technology iCATccT, IEEE, 2020, DOI : 10.1109/iCATccT44854.2018.9001950

2018

  1. Manish Gaur and Priyanka Gupta A Routing Calculus with Distance Vector Routing Updates, International Journal of Advanced Computer Science and Applications, The Science and Information Organization, 2018, DOI : 10.14569/IJACSA.2018.091067
  2. Manish Gaur and Parul Yadav Process calculi for intrusion detection system in mobile ad-hoc networks, JCM Journal of Communications, ETP Engineering and Technology Publications California , 2018, DOI : 10.12720/jcm.13.11.635-647
  3. Manish Gaur and Parul Yadav A Behavioural Theory for Intrusion Detection System in Mobile Ad-Hoc Networks, Proceedings of 2nd the International Conference on High Performance Compilation, Computing and Communications, ACM Digital Library Association for Computing Machinery, 2018, DOI : 10.1145/3195612.3195617

2015

  1. Manish Gaur and Rama Kant A Survey on Process Algebraic Stochastic Modelling of Large Distributed Systems for Its Performance Analysis, 2014 3rd International Conference on Eco-friendly Computing and Communication Systems, IEEE, 2015, DOI : 10.1109/Eco-friendly.2014.49
  2. Manish Gaur and Parul Yadav Article: A Survey on Formal Modelling for Secure Routing in Mobile Ad hoc Networks, IJCA Proceedings on International Conference on Distributed Computing and Internet Technology, Foundation of Computer Science, New York, USA, 2015,
  3. Manish Gaur and Rama Kant Article: A Stochastic Extension of the Routing Calculi, {IJCA Proceedings on International Conference on Distributed Computing and Internet Technology, Foundation of Computer Science, New York, USA., 2015,
  4. Manish Gaur and Parul Yadav and Nehan Mumtaz Distance Based Angular Multicast Routing Protocol for Mobile Ad Hoc Networks (DA-MRP), 2015 Fifth International Conference on Communication Systems and Network Technologies, IEEE , 2015, DOI : 10.1109/CSNT.2015.231
  5. Manish Gaur, Simon Gay and Ian Mackie A routing calculus with flooding updates, Lecture Notes in Computer Science , Springer International Publishing , 2015, DOI : https://doi.org/10.1007/978-3-319-14977-6_12

2013

  1. Manish Gaur and S. Arun Kumar On efficiency preorders (Revised and Edited), Lecture Notes in Computer Science , Springer , 2013, DOI : https://doi.org/10.1007/978-3-642-40213-5
  2. Manish Gaur and S. Arun Kumar On efficiency preorders (Pre-proceedings), 5th IPM International Conference on Fundamentals of Software Engineering FSEN 2013, Institute of Fundamental Research(IPM) School of Computer Science Tehran Iran, 2013,

2012

  1. Manish Gaur and Rama Kant Article: DRwp F : A Fault Tolerant Distributed Routing Calculi, International Journal of Computer Applications , Foundation of Computer Science, New York, USA., 2012, DOI : 10.5120/4973-7239

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, Gautam Buddh Technical University, Noida Campus, NOIDA, 2011,

2009

  1. Matthew Hennessy & Manish Gaur Counting the cost in the picalculus (extended abstract), Electronic Notes of Theoretical Computer Science, Elsevier Publications, 2009, DOI : https://doi.org/10.1016/j.entcs.2009.06.042

2008

  1. Manish Gaur A routing calculus for distributed computing (extended abstract), Bulletin of the European Association for Theoretical Computer Science , European Association for Theoretical Computer Science , 2008,
  2. Manish Gaur A routing calculus for distributed computing, Formal Methods 2008, TUCS General Publication, 2008,

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, CSIT proceedings Ufa Russia, 2003,

2002

  1. Manish Gaur A talk on deciding efficiency preorders, In Proceedings of International Conference and Instructional Workshop on Industrial Mathematics ICIWIM, IIT Bombay, 2002,
  2. Manish Gaur and Shirshu Verma Switching networks for rural networks, In Proceedings of the National Conference on Telecommunications for Rural India, IETE, 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, MMM Engg College Gorakhpur, 1993,
Displaying 1 - 2 of 2 publications
  1. Govind Kumar Jha , Manish Gaur A Trustworthy model of Recommender System using hyper-tuned Restricted Boltzmann Machine, Multimedia Tools and Applications , 2021,
  2. Govind Kumar Jha , Manish Gaur , Hardeo Kumar Thakur {A Trust-worthy Approach to Recommend Movies for Communities}, Multimedia Tools and Applications, 2021, Impact Factor : 2.757
Displaying 1 - 1 of 1
  1. Stock Market Trading Advanced Algorithm improvement using Machine Learning App No 202111041567 Filed
Displaying 1 - 10 of 10

International

  1. Exploring the possibilities of setting up Skill Development Institute in Uttar Pradesh, India - Institute of Technical Education (ITE), Singapore Advisor
  2. An introduction to DR-PI-OMEGA - Institute of Mathematical Modelling at Denmark Technical University, Copenhagen Invited Talk
  3. Foundations of Computer Science - Midlands Graduate School at University of Nottingham, UK Attendee
  4. GLOBAN 2006-The Global Computing Approach to Analysis of Systems - Technical University of Denmark, Copenhagen, Denmark Attendee
  5. An introduction to Intellectual Property Rights - WIPO World Wide Academy,Geneva Attendee

National

  1. Short Term Course on Advances in Computing Technology - Department of Computer Science, MMM University of Technology, Gorakhpur Invited Talk
  2. One week workshop on Emerging Trends in Computer Science - Department of Computer Science, School of Information Science and Technology, Babasaheb Bhimrao Ambedkar University, Lucknow Invited Talk
  3. A Routing Calculi - Centre for Formal Design and Verification of Software at IIT Bombay, Mumbai and Bhabha Atomic Research Centre, Mumbai Invited Talk
  4. Logic Programming and Introduction to PROLOG - Indian Institute of Technology Delhi, New Delhi, India Attendee
  5. Wireless Mobile Radio Communication Networks - Indian Institute of Technology Kanpur, Kanpur, India Attendee
Displaying 1 - 3 of 3

Consultancy

  • Uttar Pradesh Subordinate Service Commission, Rs. 380000.00, 2015, Completed
  • Department of Information Technology, Govt of India, Rs. 30000000.00, 2009, Completed
  • Google Inc., Rs. 7000000.00, 2017, Completed