Prateek Mishra

Publication Activity (10 Years)

Years Active: 1981-2024
Publications (10 Years): 4

Top Topics

Medical Practitioners

Synthetic Datasets

Response Surface Methodology

Healthcare Systems

Top Venues

ACM J. Emerg. Technol. Comput. Syst.

Publications

Aryaman Raina, Prateek Mishra, Harshit Goyal, Dhruv Kumar
AI as a Medical Ally: Evaluating ChatGPT's Usage and Impact in Indian Healthcare. CoRR (2024)
Prateek Mishra, Pankaj Dadure, K. V. N. Pranav, Medisetti SriHarsha, Devi Prasad Upadhyay, Nirmita Biswas, Partha Pakray
Personalized Healthcare Chatbot: Dataset and Prototype System. CICBA (2022)
Prateek Mishra, Kumar Divya Mani, Prashant Johri, Dikhsa Arya
FCMI: Feature Correlation based Missing Data Imputation. CoRR (2021)
Prateek Mishra
Few Shot Text-Independent speaker verification using 3D-CNN. CoRR (2020)
Sourindra M. Chaudhuri, Prateek Mishra, Niraj K. Jha
Accurate Leakage/Delay Estimation for FinFET Standard Cells under PVT Variations using the Response Surface Methodology. ACM J. Emerg. Technol. Comput. Syst. 11 (2) (2014)
Sourindra Chaudhuri, Prateek Mishra, Niraj K. Jha
Accurate Leakage Estimation for FinFET Standard Cells Using the Response Surface Methodology. VLSI Design (2012)
Prateek Mishra, Niraj K. Jha
Low-power FinFET circuit synthesis using surface orientation optimization. DATE (2010)
Prateek Mishra, Ajay N. Bhoj, Niraj K. Jha
Die-level leakage power analysis of FinFET circuits considering process variations. ISQED (2010)
Prateek Mishra, Anish Muttreja, Niraj K. Jha
Low-power FinFET circuit synthesis using multiple supply and threshold voltages. ACM J. Emerg. Technol. Comput. Syst. 5 (2) (2009)
Prateek Mishra, Anish Muttreja, Niraj K. Jha
Evaluation of multiple supply and threshold voltages for low-power FinFET circuit synthesis. NANOARCH (2008)
Anish Muttreja, Prateek Mishra, Niraj K. Jha
Threshold Voltage Control through Multiple Supply Voltages for Power-Efficient FinFET Interconnects. VLSI Design (2008)
Mauricio Cortes, Prateek Mishra
An Implementation Model for Collaborative Applications. CLEI Electron. J. 1 (1) (1998)
R. C. Sekar, I. V. Ramakrishnan, Prateek Mishra
On the power and limitations of strictness analysis. J. ACM 44 (3) (1997)
Mauricio Cortes, Prateek Mishra
DCWPL: A Programming Language for Describing Collaborative Work. CSCW (1996)
Marc Neuberger, Prateek Mishra
A Precise Relationship Between the Deductive Power of Forward and Backward Strictness Analysis. LISP and Functional Programming (1992)
R. C. Sekar, Prateek Mishra, I. V. Ramakrishnan
On the Power and Limitation of Strictness Analysis Based on Abstract Interpretation. POPL (1991)
Allen Leung, Prateek Mishra
Reasoning about Simple and Exhaustive Demand in Highter-Order Lazy Languages. FPCA (1991)
Sanjiva Prasad, Alessandro Giacalone, Prateek Mishra
Operational and Algebraic Semantics for Facile: A Symmetric Integration of Concurrent and Functional Programming. ICALP (1990)
You-Chin Fuh, Prateek Mishra
Type Inference with Subtypes. Theor. Comput. Sci. 73 (2) (1990)
Alessandro Giacalone, Prateek Mishra, Sanjiva Prasad
FACILE: A Symmetric Integration of Concurrent and Functional Programming. TAPSOFT, Vol.2 (1989)
You-Chin Fuh, Prateek Mishra
Polymorphic Subtype Inference: Closing the Theory-Practice Gap. TAPSOFT, Vol.2 (1989)
Alessandro Giacalone, Prateek Mishra, Sanjiva Prasad
Facile: A symmetric integration of concurrent and functional programming. Int. J. Parallel Program. 18 (2) (1989)
Tsung-Min Kuo, Prateek Mishra
Strictness Analysis: A New Perspective Based on Type Inference. FPCA (1989)
Saumya K. Debray, Prateek Mishra
Denotational and Operational Semantics for Prolog. J. Log. Program. 5 (1) (1988)
Prateek Mishra
Strictness Analysis of the Untyped lambda-Calculus. Inf. Process. Lett. 28 (3) (1988)
You-Chin Fuh, Prateek Mishra
Type Inference with Subtypes. ESOP (1988)
Tsung-Min Kuo, Prateek Mishra
On Strictness and its Analysis. POPL (1987)
Saumya K. Debray, Prateek Mishra
Denotational and operational semantics for PROLOG. Formal Description of Programming Concepts (1987)
Prateek Mishra, Uday S. Reddy
Declaration-Free Type Checking. POPL (1985)
Prateek Mishra
Towards a Theory of Types in Prolog. SLP (1984)
Prateek Mishra, Robert M. Keller
Static Inference of Properties of Applicative Programs. POPL (1984)
George Logothetis, Prateek Mishra
Compiling Short-circuit Boolean Expressions in One Pass. Softw. Pract. Exp. 11 (11) (1981)