According to our database1, Mukesh Tiwari authored at least 10 papers between 2010 and 2020.
Legend:Book In proceedings Article PhD thesis Other
Proceedings of the Progress in Cryptology - INDOCRYPT 2020, 2020
Proceedings of the Verified Software. Theories, Tools, and Experiments, 2019
Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019
Proceedings of the Electronic Voting - Third International Joint Conference, 2018
No More Excuses: Automated Synthesis of Practical and Verifiable Vote-Counting Programs for Complex Voting Schemes.
Proceedings of the Electronic Voting - Second International Joint Conference, 2017
Proceedings of the Interactive Theorem Proving - 8th International Conference, 2017
Comparison of multi-objective evolutionary neural network, adaptive neuro-fuzzy inference system and bootstrap-based neural network for flood forecasting.
Neural Comput. Appl., 2013
Fuzzy Logic of Speed and Steering Control System for Three Dimensional Line Following of an Autonomous Vehicle