Compiling Short-circuit Boolean Expressions in One Pass. - George Logothetis; Prateek Mishra (Softw. Pract. Exp., 1981)

Static Inference of Properties of Applicative Programs. - Prateek Mishra; Robert M. Keller (POPL, 1984)

Towards a Theory of Types in Prolog. - Prateek Mishra (SLP, 1984)

Declaration-Free Type Checking. - Prateek Mishra; Uday S. Reddy (POPL, 1985)

On Strictness and its Analysis. - Tsung-Min Kuo; Prateek Mishra (POPL, 1987)

Strictness Analysis of the Untyped lambda-Calculus. - Prateek Mishra (Inf. Process. Lett., 1988)

Denotational and Operational Semantics for Prolog. - Saumya K. Debray; Prateek Mishra (J. Log. Program., 1988)

Strictness Analysis: A New Perspective Based on Type Inference. - Tsung-Min Kuo; Prateek Mishra (FPCA, 1989)

Polymorphic Subtype Inference: Closing the Theory-Practice Gap. - You-Chin Fuh; Prateek Mishra (TAPSOFT, Vol.2, 1989)

Facile: A symmetric integration of concurrent and functional programming. - Alessandro Giacalone; Prateek Mishra; Sanjiva Prasad (Int. J. Parallel Program., 1989)

Operational and Algebraic Semantics for Facile: A Symmetric Integration of Concurrent and Functional Programming. - Sanjiva Prasad; Alessandro Giacalone; Prateek Mishra (ICALP, 1990)

Type Inference with Subtypes. - You-Chin Fuh; Prateek Mishra (Theor. Comput. Sci., 1990)

Reasoning about Simple and Exhaustive Demand in Highter-Order Lazy Languages. - Allen Leung; Prateek Mishra (FPCA, 1991)

On the Power and Limitation of Strictness Analysis Based on Abstract Interpretation. - R. C. Sekar 001; Prateek Mishra; I. V. Ramakrishnan (POPL, 1991)

A Precise Relationship Between the Deductive Power of Forward and Backward Strictness Analysis. - Marc Neuberger; Prateek Mishra (LISP and Functional Programming, 1992)

DCWPL: A Programming Language for Describing Collaborative Work. - Mauricio Cortes; Prateek Mishra (CSCW, 1996)

On the power and limitations of strictness analysis. - R. Sekar 001; I. V. Ramakrishnan; Prateek Mishra (J. ACM, 1997)

An Implementation Model for Collaborative Applications. - Mauricio Cortes; Prateek Mishra (CLEI Electron. J., 1998)

Evaluation of multiple supply and threshold voltages for low-power FinFET circuit synthesis. - Prateek Mishra; Anish Muttreja; Niraj K. Jha (NANOARCH, 2008)

Threshold Voltage Control through Multiple Supply Voltages for Power-Efficient FinFET Interconnects. - Anish Muttreja; Prateek Mishra; Niraj K. Jha (VLSI Design, 2008)

Low-power FinFET circuit synthesis using multiple supply and threshold voltages. - Prateek Mishra; Anish Muttreja; Niraj K. Jha (ACM J. Emerg. Technol. Comput. Syst., 2009)

Low-power FinFET circuit synthesis using surface orientation optimization. - Prateek Mishra; Niraj K. Jha (DATE, 2010)

Die-level leakage power analysis of FinFET circuits considering process variations. - Prateek Mishra; Ajay N. Bhoj; Niraj K. Jha (ISQED, 2010)

Accurate Leakage Estimation for FinFET Standard Cells Using the Response Surface Methodology. - Sourindra Chaudhuri; Prateek Mishra; Niraj K. Jha (VLSI Design, 2012)

Accurate Leakage/Delay Estimation for FinFET Standard Cells under PVT Variations using the Response Surface Methodology. - Sourindra M. Chaudhuri; Prateek Mishra; Niraj K. Jha (ACM J. Emerg. Technol. Comput. Syst., 2014)

Few Shot Text-Independent speaker verification using 3D-CNN. - Prateek Mishra (CoRR, 2020)

FCMI: Feature Correlation based Missing Data Imputation. - Prateek Mishra; Kumar Divya Mani; Prashant Johri; Dikhsa Arya (CoRR, 2021)

Personalized Healthcare Chatbot: Dataset and Prototype System. - Prateek Mishra; Pankaj Dadure; K. V. N. Pranav; Medisetti SriHarsha; Devi Prasad Upadhyay; Nirmita Biswas; Partha Pakray (CICBA, 2022)

AI as a Medical Ally: Evaluating ChatGPT's Usage and Impact in Indian Healthcare. - Aryaman Raina; Prateek Mishra; Harshit Goyal; Dhruv Kumar 001 (CoRR, 2024)

Domain Tailored Large Language Models for Log Mask Prediction in Cellular Network Diagnostics. - Sayed M. Taheri; Achintha Ihalage; Prateek Mishra; Sean Coaker; Faris Muhammad; Hamed S. Al-Raweshidy (IEEE Trans. Netw. Serv. Manag., 2025)