Venkatesh Choppella
From MaRDI portal
Person:2497740
Available identifiers
zbMath Open choppella.venkateshMaRDI QIDQ2497740
List of research outcomes
 | This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon! |
| Publication | Date of Publication | Type |
|---|---|---|
| Lower bounds for the matrix chain ordering problem | 2022-08-16 | Paper |
| Automated Deduction – CADE-19 | 2010-04-20 | Paper |
| Efficient synthesis of out-of-core algorithms using a nonlinear optimization solver | 2006-08-04 | Paper |
| Languages and Compilers for Parallel Computing | 2005-12-27 | Paper |
| Source-tracking unification | 2005-10-10 | Paper |
| Implementation of Functional Languages | 2005-08-24 | Paper |
Research outcomes over time
This page was built for person: Venkatesh Choppella
