Professor
Computer Science and Engineering Department
[email protected]
Dean Research & Development
Bio Data
Displaying 1 - 1 of 1
Book Chapter

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,
more
Displaying 1 - 24 of 24 publications

2023

  1. Parul Yadav, Manish Gaur, Nishat Fatima, Saqib Sarvar , Qualitative and Quantitative Evaluation of Multivariate Time-Series Synthetic Data Generated Using MTS-TGAN: A Novel Approach, Applied Sciences , MDPI, vol. 13(7), 4136, , 2023. DOI : https://doi.org/10.3390/app13074136 Impact Factor : 2.921

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 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
  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, 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, , pp. vol 921 (39-57), 2020. DOI : https://doi.org/10.1007/978-981-15-8469-5_4

2018

  1. 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 , , pp. 13(635-647), 2018. DOI : 10.12720/jcm.13.11.635-647
  2. 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, , pp. Vol 9(10) 554-564, 2018. DOI : 10.14569/IJACSA.2018.091067
  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, , pp. 51–60, 2018. DOI : 10.1145/3195612.3195617

2015

  1. Manish Gaur, Simon Gay and Ian Mackie, A routing calculus with flooding updates, Lecture Notes in Computer Science , Springer International Publishing , , pp. (896)181-186, 2015. DOI : https://doi.org/10.1007/978-3-319-14977-6_12
  2. 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., , pp. ICDCIT 2015(1):13-17, 2015.
  3. 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 , , pp. 253-257, 2015. DOI : 10.1109/CSNT.2015.231
  4. 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, , pp. ICDCIT 2015 (1):18-23, 2015.
  5. 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, , pp. 206-211, 2015. DOI : 10.1109/Eco-friendly.2014.49

2013

  1. Manish Gaur and S. Arun Kumar, On efficiency preorders (Revised and Edited), Lecture Notes in Computer Science , Springer , , pp. vol 8161, 83-94, 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, , pp. 84-95, 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., , pp. 40(7):1-7, 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, , pp. 229(3)117-129, 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 , , pp. 95, 2008.
  2. Manish Gaur, A routing calculus for distributed computing, Formal Methods 2008, TUCS General Publication, , pp. Vol 28, 23-32, 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, , pp. Vol 1, 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 Published
more
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
more
Displaying 1 - 4 of 4

Consultancy

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

Research

  • Department of Science and Technology , Government of India through IHUB NTIHAC FOUNDATION, C3iHub, IIT Kanpur,, Rs. 2196980.00, 2021, Ongoing
more

Doctor of Philosophy

  1. A Trust-based Modeling of
    Recommender System Using
    Dimensionality Reduction
    Approach, Govind Jha, 2023, Dr APJ Abdul Kalam Technical University Uttar Pradesh, Lucknow
  2. Development of Machine Learning Framework for Video Forgery Detection, Vinay Kumar, 2022, Dr APJ Abdul Kalam Technical University Uttar Pradesh, Lucknow
  3. A Formal Modelling of Intrusion Detection System in Mobile Ad-hoc Networks, Parul Yadav, 2020, Dr APJ Abdul Kalam Technical University Uttar Pradesh, Lucknow
  4. A Stochastic Routing calculi, Rama Kant, 2018, Dr APJ Abdul Kalam Technical University Uttar Pradesh, Lucknow

Doctor of Science

  1. A Routing Calculi with Dynamic Routing Table Updates , Priyanka Gupta, 2023, Dr APJ Abdul Kalam Technical University Uttar Pradesh, Lucknow
  2. 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