Prateek Mishra

According to our database, Prateek Mishra authored at least 29 papers between 1981 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

AI as a Medical Ally: Evaluating ChatGPT's Usage and Impact in Indian Healthcare.

Aryaman Raina, Prateek Mishra, Harshit Goyal, Dhruv Kumar

CoRR, 2024

2022

Personalized Healthcare Chatbot: Dataset and Prototype System.

Prateek Mishra, Pankaj Dadure, K. V. N. Pranav, Medisetti SriHarsha, Devi Prasad Upadhyay, Nirmita Biswas, Partha Pakray

Proceedings of the Computational Intelligence in Communications and Business Analytics, 2022

2021

FCMI: Feature Correlation based Missing Data Imputation.

Prateek Mishra, Kumar Divya Mani, Prashant Johri, Dikhsa Arya

CoRR, 2021

2020

Few Shot Text-Independent speaker verification using 3D-CNN.

Prateek Mishra

CoRR, 2020

2014

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

2012

Accurate Leakage Estimation for FinFET Standard Cells Using the Response Surface Methodology.

Sourindra Chaudhuri, Prateek Mishra, Niraj K. Jha

Proceedings of the 25th International Conference on VLSI Design, 2012

2010

Die-level leakage power analysis of FinFET circuits considering process variations.

Prateek Mishra, Ajay N. Bhoj, Niraj K. Jha

Proceedings of the 11th International Symposium on Quality of Electronic Design (ISQED 2010), 2010

Low-power FinFET circuit synthesis using surface orientation optimization.

Prateek Mishra, Niraj K. Jha

Proceedings of the Design, Automation and Test in Europe, 2010

2009

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

2008

Threshold Voltage Control through Multiple Supply Voltages for Power-Efficient FinFET Interconnects.

Anish Muttreja, Prateek Mishra, Niraj K. Jha

Proceedings of the 21st International Conference on VLSI Design (VLSI Design 2008), 2008

Evaluation of multiple supply and threshold voltages for low-power FinFET circuit synthesis.

Prateek Mishra, Anish Muttreja, Niraj K. Jha

Proceedings of the 2008 IEEE International Symposium on Nanoscale Architectures, 2008

1998

An Implementation Model for Collaborative Applications.

Mauricio Cortes, Prateek Mishra

CLEI Electron. J., 1998

1997

On the power and limitations of strictness analysis.

R. Sekar, I. V. Ramakrishnan, Prateek Mishra

J. ACM, 1997

1996

DCWPL: A Programming Language for Describing Collaborative Work.

Mauricio Cortes, Prateek Mishra

Proceedings of the CSCW '96, 1996

1992

A Precise Relationship Between the Deductive Power of Forward and Backward Strictness Analysis.

Marc Neuberger, Prateek Mishra

Proceedings of the Conference on Lisp and Functional Programming, 1992

1991

On the Power and Limitation of Strictness Analysis Based on Abstract Interpretation.

R. C. Sekar, Prateek Mishra, I. V. Ramakrishnan

Proceedings of the Conference Record of the Eighteenth Annual ACM Symposium on Principles of Programming Languages, 1991

Reasoning about Simple and Exhaustive Demand in Highter-Order Lazy Languages.

Allen Leung, Prateek Mishra

Proceedings of the Functional Programming Languages and Computer Architecture, 1991

1990

Type Inference with Subtypes.

You-Chin Fuh, Prateek Mishra

Theor. Comput. Sci., 1990

Operational and Algebraic Semantics for Facile: A Symmetric Integration of Concurrent and Functional Programming.

Sanjiva Prasad, Alessandro Giacalone, Prateek Mishra

Proceedings of the Automata, Languages and Programming, 17th International Colloquium, 1990

1989

Facile: A symmetric integration of concurrent and functional programming.

Alessandro Giacalone, Prateek Mishra, Sanjiva Prasad

Int. J. Parallel Program., 1989

Polymorphic Subtype Inference: Closing the Theory-Practice Gap.

You-Chin Fuh, Prateek Mishra

Proceedings of the TAPSOFT'89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1989

Strictness Analysis: A New Perspective Based on Type Inference.

Tsung-Min Kuo, Prateek Mishra

Proceedings of the fourth international conference on Functional programming languages and computer architecture, 1989

1988

Denotational and Operational Semantics for Prolog.

Saumya K. Debray, Prateek Mishra

J. Log. Program., 1988

Strictness Analysis of the Untyped lambda-Calculus.

Prateek Mishra

Inf. Process. Lett., 1988

1987

On Strictness and its Analysis.

Tsung-Min Kuo, Prateek Mishra

Proceedings of the Conference Record of the Fourteenth Annual ACM Symposium on Principles of Programming Languages, 1987

1985

Declaration-Free Type Checking.

Prateek Mishra, Uday S. Reddy

Proceedings of the Conference Record of the Twelfth Annual ACM Symposium on Principles of Programming Languages, 1985

1984

Towards a Theory of Types in Prolog.

Prateek Mishra

Proceedings of the 1984 International Symposium on Logic Programming, 1984

Static Inference of Properties of Applicative Programs.

Prateek Mishra, Robert M. Keller

Proceedings of the Conference Record of the Eleventh Annual ACM Symposium on Principles of Programming Languages, 1984

1981

Compiling Short-circuit Boolean Expressions in One Pass.

George Logothetis, Prateek Mishra

Softw. Pract. Exp., 1981