Prabhaker Mateti
From MaRDI portal
Person:1122983
Available identifiers
zbMath Open mateti.prabhakerMaRDI QIDQ1122983
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 |
|---|---|---|
| Morris' tree traversal algorithm reconsidered | 1988-01-01 | Paper |
| A correctness proof of an indenting program | 1983-01-01 | Paper |
| Parallel algorithms for the single source shortest path problem | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3930653 | 1982-01-01 | Paper |
| A Decision Procedure for the Correctness of a Class of Programs | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3865427 | 1980-01-01 | Paper |
| On Algorithms for Enumerating All Circuits of a Graph | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4050643 | 1973-01-01 | Paper |
Research outcomes over time
This page was built for person: Prabhaker Mateti
