Fuzzy Logic of Speed and Steering Control System for Three Dimensional Line Following of an Autonomous Vehicle - Shailja Shukla; Mukesh Tiwari (CoRR, 2010)

Reduction in iron losses in Indirect Vector-Controlled IM Drive using FLC - C. Srisailam; Mukesh Tiwari; Anurag Trivedi (CoRR, 2010)

Comparison of multi-objective evolutionary neural network, adaptive neuro-fuzzy inference system and bootstrap-based neural network for flood forecasting. - Amal Kant; Pranmohan K. Suman; Brijesh Kumar Giri; Mukesh Tiwari; Chandranath Chatterjee; Purna C. Nayak; Sawan Kumar (Neural Comput. Appl., 2013)

Feature Extraction of ECG Signal Using HHT Algorithm. - Neha Soorma Jaikaran Singh; Mukesh Tiwari (CoRR, 2014)

Schulze Voting as Evidence Carrying Computation. - Dirk Pattinson; Mukesh Tiwari (ITP, 2017)

No More Excuses: Automated Synthesis of Practical and Verifiable Vote-Counting Programs for Complex Voting Schemes. - Lyria Bennett Moses; Rajeev Goré; Ron Levy; Dirk Pattinson; Mukesh Tiwari (E-VOTE-ID, 2017)

Modular Formalisation and Verification of STV Algorithms. - Milad K. Ghale; Rajeev Goré; Dirk Pattinson; Mukesh Tiwari (E-Vote-ID, 2018)

Verified Verifiers for Verifying Elections. - Thomas Haines; Rajeev Goré; Mukesh Tiwari (CCS, 2019)

Verifiable Homomorphic Tallying for the Schulze Vote Counting Scheme. - Thomas Haines; Dirk Pattinson; Mukesh Tiwari (VSTTE, 2019)

Verifpal: Cryptographic Protocol Analysis for the Real World. - Nadim Kobeissi; Georgio Nicolas; Mukesh Tiwari (CCSW, 2020)

Assume but Verify: Deductive Verification of Leaked Information in Concurrent Applications. - Toby Murray; Mukesh Tiwari; Gidon Ernst; David A. Naumann (CCS, 2023)

Farthest-First Traversal for Identifying Multiple Influential Spreaders. - Madhvi Ramrakhiyani; Mukesh Tiwari; V. Sunitha (COMPLEX NETWORKS (2), 2023)

Assume but Verify: Deductive Verification of Leaked Information in Concurrent Applications (Extended Version). - Toby Murray; Mukesh Tiwari; Gidon Ernst; David A. Naumann (CoRR, 2023)

Influence of multiple spreaders through farthest first traversal. - Madhvi Ramrakhiyani; Mukesh Tiwari; V. Sunitha (Appl. Netw. Sci., 2024)

Formally Verified Verifiable Group Generators. - Mina A. Cyrus; Mukesh Tiwari (FSEN, 2025)

Machine-checking Multi-Round Proofs of Shuffle: Terelius-Wikstrom and Bayer-Groth. - Thomas Haines; Rajeev Goré; Mukesh Tiwari (IACR Cryptol. ePrint Arch., 2025)