Venkatesh Choppella
From MaRDI portal
Person:2497740
Available identifiers
zbMath Open choppella.venkateshMaRDI QIDQ2497740
List of research outcomes
| 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
Doctoral students
No records found.
Known relations from the MaRDI Knowledge Graph
| Property | Value |
|---|---|
| MaRDI profile type | MaRDI person profile |
| instance of | human |
This page was built for person: Venkatesh Choppella
