Prabhaker Mateti
From MaRDI portal
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 Science of Computer Programming | 1988-01-01 | Paper |
| A correctness proof of an indenting program Software: Practice and Experience | 1983-01-01 | Paper |
| Parallel algorithms for the single source shortest path problem Computing | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3746449 (Why is no real title available?) | 1982-01-01 | Paper |
| A Decision Procedure for the Correctness of a Class of Programs Journal of the ACM | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3667931 (Why is no real title available?) | 1980-01-01 | Paper |
| On Algorithms for Enumerating All Circuits of a Graph SIAM Journal on Computing | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3465357 (Why is no real title available?) | 1973-01-01 | Paper |
Research outcomes over time
This page was built for person: Prabhaker Mateti
