The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Prateek Mishra: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. You-Chin Fuh, Prateek Mishra
    Type Inference with Subtypes. [Citation Graph (2, 0)][DBLP]
    ESOP, 1988, pp:94-114 [Conf]
  2. Prateek Mishra, Uday S. Reddy
    Declaration-Free Type Checking. [Citation Graph (1, 0)][DBLP]
    POPL, 1985, pp:7-21 [Conf]
  3. Prateek Mishra
    Towards a Theory of Types in Prolog. [Citation Graph (1, 0)][DBLP]
    SLP, 1984, pp:289-298 [Conf]
  4. Mauricio Cortes, Prateek Mishra
    DCWPL: A Programming Language for Describing Collaborative Work. [Citation Graph (0, 0)][DBLP]
    CSCW, 1996, pp:21-29 [Conf]
  5. Tsung-Min Kuo, Prateek Mishra
    Strictness Analysis: A New Perspective Based on Type Inference. [Citation Graph (0, 0)][DBLP]
    FPCA, 1989, pp:260-272 [Conf]
  6. Allen Leung, Prateek Mishra
    Reasoning about Simple and Exhaustive Demand in Highter-Order Lazy Languages. [Citation Graph (0, 0)][DBLP]
    FPCA, 1991, pp:328-351 [Conf]
  7. Sanjiva Prasad, Alessandro Giacalone, Prateek Mishra
    Operational and Algebraic Semantics for Facile: A Symmetric Integration of Concurrent and Functional Programming. [Citation Graph (0, 0)][DBLP]
    ICALP, 1990, pp:765-778 [Conf]
  8. Marc Neuberger, Prateek Mishra
    A Precise Relationship Between the Deductive Power of Forward and Backward Strictness Analysis. [Citation Graph (0, 0)][DBLP]
    LISP and Functional Programming, 1992, pp:127-138 [Conf]
  9. Tsung-Min Kuo, Prateek Mishra
    On Strictness and its Analysis. [Citation Graph (0, 0)][DBLP]
    POPL, 1987, pp:144-155 [Conf]
  10. Prateek Mishra, Robert M. Keller
    Static Inference of Properties of Applicative Programs. [Citation Graph (0, 0)][DBLP]
    POPL, 1984, pp:235-244 [Conf]
  11. R. C. Sekar, Prateek Mishra, I. V. Ramakrishnan
    On the Power and Limitation of Strictness Analysis Based on Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
    POPL, 1991, pp:37-48 [Conf]
  12. You-Chin Fuh, Prateek Mishra
    Polymorphic Subtype Inference: Closing the Theory-Practice Gap. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.2, 1989, pp:167-183 [Conf]
  13. Alessandro Giacalone, Prateek Mishra, Sanjiva Prasad
    FACILE: A Symmetric Integration of Concurrent and Functional Programming. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.2, 1989, pp:184-209 [Conf]
  14. Mauricio Cortes, Prateek Mishra
    An Implementation Model for Collaborative Applications. [Citation Graph (0, 0)][DBLP]
    CLEI Electron. J., 1998, v:1, n:1, pp:- [Journal]
  15. Prateek Mishra
    Strictness Analysis of the Untyped lambda-Calculus. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1988, v:28, n:3, pp:121-125 [Journal]
  16. R. C. Sekar, I. V. Ramakrishnan, Prateek Mishra
    On the power and limitations of strictness analysis. [Citation Graph (0, 0)][DBLP]
    J. ACM, 1997, v:44, n:3, pp:505-525 [Journal]
  17. Saumya K. Debray, Prateek Mishra
    Denotational and Operational Semantics for Prolog. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1988, v:5, n:1, pp:81-91 [Journal]
  18. George Logothetis, Prateek Mishra
    Compiling Short-circuit Boolean Expressions in One Pass. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 1981, v:11, n:11, pp:1197-1214 [Journal]
  19. You-Chin Fuh, Prateek Mishra
    Type Inference with Subtypes. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1990, v:73, n:2, pp:155-175 [Journal]

  20. Low-power FinFET circuit synthesis using surface orientation optimization. [Citation Graph (, )][DBLP]


  21. Die-level leakage power analysis of FinFET circuits considering process variations. [Citation Graph (, )][DBLP]


  22. Threshold Voltage Control through Multiple Supply Voltages for Power-Efficient FinFET Interconnects. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002