In 1972 he received the Chauvenet Prize for "On local solvability of linear partial differential equations" in the Bulletin of the AMS (Volume 76, 1970, pp. 552–571). It was about the problem he worked in 1962 with Louis Nirenberg with whom he found necessary and sufficient conditions for the solvability of equations with analytic coefficients, 1969 (Comptes Rendus de l'Académie des Sciences Paris Bd.269). The question was first presented to him in 1955 by Schwartz as a thesis problem.
"On the theory of linear partial differential operators with analytic coefficients." Transactions of the American Mathematical Society 137 (1969): 1–20. doi:10.2307/1994784
"An abstract nonlinear Cauchy-Kovalevska theorem." Transactions of the American Mathematical Society 150, no. 1 (1970): 77–92. MR0274911
"Differential polynomials and decay at infinity." Bulletin of the American Mathematical Society 66, no. 3 (1960): 184–186. MR0117448
"Discrete phenomena in uniqueness in the Cauchy problem." Proceedings of the American Mathematical Society 46, no. 2 (1974): 229–233. MR0352679
with Howard Jacobowitz: "Nowhere solvable homogeneous partial differential equations." Bulletin of the American Mathematical Society 8, no. 3 (1983): 467–469. MR693964
with Nicholas Hanges: "On the analyticity of solutions of first-order nonlinear PDE." Transactions of the American Mathematical Society 331, no. 2 (1992): 627–638. MR1061776
Cordaro, Paulo D.; Treves, Francois (1994). Hyperfunctions on hypo-analytic manifolds. Annals of mathematics studies. Princeton, N.J: Princeton University Press. ISBN978-0-691-02993-1.[3]
Treves, François (2014). Hypo-Analytic Structures (PMS-40), Volume 40: Local Theory (PMS-40) (Course Book ed.). Princeton, NJ: Princeton University Press. ISBN978-0-691-63541-5.[4]
Treves, Francois (1990). Homotopy formulas in the tangential Cauchy-Riemann complex. Providence, R.I., USA: American Mathematical Society. ISBN978-1-4704-0857-2.