Anvesh Komuravelli
From MaRDI portal
Person:518395
Available identifiers
zbMath Open komuravelli.anveshMaRDI QIDQ518395
List of research outcomes
| Publication | Date of Publication | Type |
|---|---|---|
| Learning Probabilistic Systems from Tree Samples | 2017-05-16 | Paper |
| SMT-based model checking for recursive programs | 2017-03-28 | Paper |
| Computational Modeling and Verification of Signaling Pathways in Cancer | 2012-06-08 | Paper |
| Connectivity preserving transformations for higher dimensional binary images | 2010-04-28 | 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: Anvesh Komuravelli
