According to our database1, Prateek Mishra authored at least 26 papers between 1981 and 2020.
Legend:Book In proceedings Article PhD thesis Other
Accurate Leakage/Delay Estimation for FinFET Standard Cells under PVT Variations using the Response Surface Methodology.
ACM J. Emerg. Technol. Comput. Syst., 2014
Accurate Leakage Estimation for FinFET Standard Cells Using the Response Surface Methodology.
Proceedings of the 25th International Conference on VLSI Design, 2012
Proceedings of the 11th International Symposium on Quality of Electronic Design (ISQED 2010), 2010
Proceedings of the Design, Automation and Test in Europe, 2010
ACM J. Emerg. Technol. Comput. Syst., 2009
Threshold Voltage Control through Multiple Supply Voltages for Power-Efficient FinFET Interconnects.
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.
Proceedings of the 2008 IEEE International Symposium on Nanoscale Architectures, 2008
Proceedings of the CSCW '96, 1996
A Precise Relationship Between the Deductive Power of Forward and Backward Strictness Analysis.
Proceedings of the Conference on Lisp and Functional Programming, 1992
Proceedings of the Conference Record of the Eighteenth Annual ACM Symposium on Principles of Programming Languages, 1991
Proceedings of the Functional Programming Languages and Computer Architecture, 1991
Operational and Algebraic Semantics for Facile: A Symmetric Integration of Concurrent and Functional Programming.
Proceedings of the Automata, Languages and Programming, 17th International Colloquium, 1990
Int. J. Parallel Program., 1989
Proceedings of the TAPSOFT'89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1989
Proceedings of the fourth international conference on Functional programming languages and computer architecture, 1989
Proceedings of the Conference Record of the Fourteenth Annual ACM Symposium on Principles of Programming Languages, 1987
Proceedings of the Conference Record of the Twelfth Annual ACM Symposium on Principles of Programming Languages, 1985
Towards a Theory of Types in Prolog.
Proceedings of the 1984 International Symposium on Logic Programming, 1984
Proceedings of the Conference Record of the Eleventh Annual ACM Symposium on Principles of Programming Languages, 1984