Concepedia

Prateek Mishra

PM

16

Publications

834

Citations

12

H-Index

1984

Active since

Affiliations

Stony Brook University(Current)

State University of New York

University of Utah

University of Arizona

Prateek Mishra is an author at Stony Brook University specializing in engineering, formal methods, and automated reasoning.

Top concepts

EngineeringFormal MethodsAutomated ReasoningComputer ScienceProgram AnalysisFormal VerificationMedicineSemanticsSymbiosisMicrobiology

Publications per year

1984–2017

16

Publications

16

Type inference with subtypes

You-Chin Fuh, Prateek Mishra · Theoretical Computer Science · 1990 · 141 citations

Engineering, Automated Reasoning, Type Theory +4

Facile: A symmetric integration of concurrent and functional programming

Alessandro Giacalone, Prateek Mishra, Sanjiva Prasad · International Journal of Parallel Programming · 1989 · 126 citations

Engineering, Program Analysis, Concurrent Programming +6

Towards a Theory of Types in Prolog.

Prateek Mishra · SLP · 1984 · 117 citations

Engineering, Automated Reasoning, Type Theory +4

Strictness analysis

Tsung-Min Kuo, Prateek Mishra · 1989 · 95 citations

Declaration-free type checking

Prateek Mishra, Uday S. Reddy · 1985 · 77 citations

Engineering, Data Type, Automated Reasoning +13

Rows per page

1–5 of 16