Prateek Mishra - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 29 from 29

2022

Personalized Healthcare Chatbot: Dataset and Prototype SystemPrateek Mishra, Pankaj Dadure, K. V. N. Pranav, Medisetti SriHarsha, Devi Prasad Upadhyay, Nirmita Biswas, Partha Pakray. cicba 2022: 378-388 [doi]

2014

Accurate Leakage/Delay Estimation for FinFET Standard Cells under PVT Variations using the Response Surface MethodologySourindra M. Chaudhuri, Prateek Mishra, Niraj K. Jha. jetc, 11(2):19, 2014. [doi]

2012

Accurate Leakage Estimation for FinFET Standard Cells Using the Response Surface MethodologySourindra Chaudhuri, Prateek Mishra, Niraj K. Jha. vlsid 2012: 238-244 [doi]

2010

Die-level leakage power analysis of FinFET circuits considering process variationsPrateek Mishra, Ajay N. Bhoj, Niraj K. Jha. isqed 2010: 347-355 [doi]

Low-power FinFET circuit synthesis using surface orientation optimizationPrateek Mishra, Niraj K. Jha. date 2010: 311-314 [doi]

2009

Low-power FinFET circuit synthesis using multiple supply and threshold voltagesPrateek Mishra, Anish Muttreja, Niraj K. Jha. jetc, 5(2), 2009. [doi]

2008

Evaluation of multiple supply and threshold voltages for low-power FinFET circuit synthesisPrateek Mishra, Anish Muttreja, Niraj K. Jha. NANOARCH 2008: 77-84 [doi]

Threshold Voltage Control through Multiple Supply Voltages for Power-Efficient FinFET InterconnectsAnish Muttreja, Prateek Mishra, Niraj K. Jha. vlsid 2008: 220-227 [doi]

1998

An Implementation Model for Collaborative ApplicationsMauricio Cortes, Prateek Mishra. cleiej, 1(1), 1998. [doi]

1997

On the power and limitations of strictness analysisR. C. Sekar, I. V. Ramakrishnan, Prateek Mishra. JACM, 44(3):505-525, 1997. [doi]

1996

DCWPL: A Programming Language for Describing Collaborative WorkMauricio Cortes, Prateek Mishra. cscw 1996: 21-29 [doi]

1992

A Precise Relationship Between the Deductive Power of Forward and Backward Strictness AnalysisMarc Neuberger, Prateek Mishra. lfp 1992: 127-138 [doi]

1991

Reasoning about Simple and Exhaustive Demand in Highter-Order Lazy LanguagesAllen Leung, Prateek Mishra. fpca 1991: 328-351

On the Power and Limitation of Strictness Analysis Based on Abstract InterpretationR. C. Sekar, Prateek Mishra, I. V. Ramakrishnan. POPL 1991: 37-48

1990

Type Inference with SubtypesYou-Chin Fuh, Prateek Mishra. TCS, 73(2):155-175, 1990.

Operational and Algebraic Semantics for Facile: A Symmetric Integration of Concurrent and Functional ProgrammingSanjiva Prasad, Alessandro Giacalone, Prateek Mishra. icalp 1990: 765-778

1989

1988

Denotational and Operational Semantics for PrologSaumya K. Debray, Prateek Mishra. jlp, 5(1):81-91, 1988.

Type Inference with SubtypesYou-Chin Fuh, Prateek Mishra. ESOP 1988: 94-114

Strictness Analysis of the Untyped lambda-CalculusPrateek Mishra. ipl, 28(3):121-125, 1988.

1987

Denotational and operational semantics for PROLOGSaumya K. Debray, Prateek Mishra. ifip2 1987: 245-274

On Strictness and its AnalysisTsung-Min Kuo, Prateek Mishra. POPL 1987: 144-155

1985

Declaration-Free Type CheckingPrateek Mishra, Uday S. Reddy. POPL 1985: 7-21

1984

Static Inference of Properties of Applicative ProgramsPrateek Mishra, Robert M. Keller. POPL 1984: 235-244

Towards a Theory of Types in PrologPrateek Mishra. SLP 1984: 289-298

1981

Compiling Short-circuit Boolean Expressions in One PassGeorge Logothetis, Prateek Mishra. SPE, 11(11):1197-1214, 1981.

Sign in or sign up to see more results.

runs on WebDSL