Prateek Mishra

发表

DCWPL: a programming language for describing collaborative work

Mauricio Cortes, Prateek Mishra, Prateek Mishra, 1996, CSCW '96.

Towards a Theory of Types in Prolog

Prateek Mishra, Prateek Mishra, 1984, SLP.

Denotational and Operational Semantics for Prolog

Saumya K. Debray, Prateek Mishra, S. Debray, 1988, J. Log. Program..

Declaration-free type checking

Prateek Mishra, Uday S. Reddy, Prateek Mishra, 1985, POPL.

OAuth 2.0 Proof-of-Possession (PoP) Security Architecture

Prateek Mishra, Hannes Tschofenig, Phil Hunt, 2016 .

Facile: A symmetric integration of concurrent and functional programming

Prateek Mishra, Sanjiva Prasad, Alessandro Giacalone, 1989, International Journal of Parallel Programming.

Adaptive Compressed Data Hiding Approach for True Color Image Using Randomization Techniques

Prateek Mishra, Prateek Mishra, 2011 .

Multimedia teleradiology: using multimedia for remote radiologic consultation

Arie E. Kaufman, Prateek Mishra, Philip M. Lewis, 1994, Medical Imaging.

Type Inference with Subtypes

Prateek Mishra, You-Chin Fuh, Prateek Mishra, 1990, Theoretical Computer Science.

Dynamic system identification and sensor linearization using neural network techniques

Prateek Mishra, 2014 .

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

Niraj K. Jha, Prateek Mishra, Sourindra Chaudhuri, 2012, 2012 25th International Conference on VLSI Design.

Polymorphic Subtype Inference: Closing the Theory-Practice Gap

Prateek Mishra, You-Chin Fuh, 1989, TAPSOFT, Vol.2.

On the power and limitation of strictness analysis based on abstract interpretation

I. V. Ramakrishnan, Prateek Mishra, R. C. Sekar, 1991, POPL '91.

Accurate Leakage/Delay Estimation for FinFET Standard Cells under PVT Variations using the Response Surface Methodology

Niraj K. Jha, Prateek Mishra, Sourindra Chaudhuri, 2014, JETC.

Low-power FinFET circuit synthesis using surface orientation optimization

Niraj K. Jha, Prateek Mishra, N. Jha, 2010, 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010).

FinFET Circuit Design

Anish Muttreja, Prateek Mishra, Niraj K. Jha, 2011 .

Assertions and Protocol for the OASIS Security Assertion Markup Language (SAML) V2. 0

Jeff Hodges, Prateek Mishra, Nigel Edwards, 2001 .

Type Inference with Subtypes

Prateek Mishra, You-Chin Fuh, Prateek Mishra, 1990, Theor. Comput. Sci..

Review study on “Design and Analysis of FIR Filters”

Prateek Mishra, Ankita Kurariya, 2020 .

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

Prateek Mishra, Prateek Mishra, 2020, ArXiv.

Design and Analysis of Fir Filters Based on MATLAB

Prateek Mishra, Ankita Kurariya, Prateek Mishra, 2020 .

Compiling short‐circuit boolean expressions in one pass

Prateek Mishra, George Logothetis, 1981, Softw. Pract. Exp..

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

Anish Muttreja, Niraj K. Jha, Prateek Mishra, 2008, 21st International Conference on VLSI Design (VLSID 2008).

Security Services Markup Language

Prateek Mishra, Jeremy Epstein, Phillip M. Hallam-baker, 2001 .

Strictness Analysis of the Untyped lambda-Calculus

Prateek Mishra, 1988, Inf. Process. Lett..

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

Anish Muttreja, Niraj K. Jha, Prateek Mishra, 2008, 2008 IEEE International Symposium on Nanoscale Architectures.

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

Prateek Mishra, Sanjiva Prasad, Alessandro Giacalone, 1990, ICALP.

On strictness and its analysis

Tsung-Min Kuo, Prateek Mishra, Prateek Mishra, 1987, POPL '87.

A precise relationship between the deductive power of forward and backward strictness analysis

Prateek Mishra, Marc Neuberger, Prateek Mishra, 1992, LFP '92.

An Implementation Model for Collaborative Applications

Mauricio Cortes, Prateek Mishra, Prateek Mishra, 2018, CLEI Electron. J..

Static inference of properties of applicative programs

Robert M. Keller, Prateek Mishra, R. Keller, 1984, POPL.

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

Prateek Mishra, Allen Leung, Prateek Mishra, 1991, FPCA.

Design and implementation of a functional language with subtypes

Prateek Mishra, You-Chin Fuh, 1989 .

Low-power finfet circuit design and synthesis under spatial and temporal variations

Prateek Mishra, Niraj K. Jha, N. Jha, 2012 .

VERITAS: Visualization Environment Research In The Applied Sciences

I. V. Ramakrishnan, Michael Kifer, Scott A. Smolka, 1989, Photonics West - Lasers and Applications in Science and Engineering.

FACILE: A Symmetric Integration of Concurrent and Functional Programming

Prateek Mishra, Sanjiva Prasad, Alessandro Giacalone, 1989, TAPSOFT, Vol.2.

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

Niraj K. Jha, Prateek Mishra, Ajay N. Bhoj, 2010, 2010 11th International Symposium on Quality Electronic Design (ISQED).

Resin Bonded Bridge: A Subtle Alternative for Restoring Single Missing Tooth

Sneha S Mantri, Prateek Mishra, Pushkar Gupta, 2015 .

Strictness analysis: a new perspective based on type inference

Tsung-Min Kuo, Prateek Mishra, Prateek Mishra, 1989, FPCA.

On the power and limitations of strictness analysis

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

Low-power FinFET circuit synthesis using multiple supply and threshold voltages

Anish Muttreja, Niraj K. Jha, Prateek Mishra, 2009, JETC.

CollabCAD : A Toolkit for Integrated Synchronous and Asynchronous Sharing of CAD Applications

Prateek Mishra, Amitabh Varshney, Arie Kaufman, 1997 .

Static inference in applicative languages (semantics, type-checking, optimization)

Prateek Mishra, 1985 .