 | 2006 |
|---|
| 13 |       | Venkat Pothamsetty,
Prabhaker Mateti:
A case for exploit-robust and attack-aware protocol RFCs.
IPDPS 2006 |
| 2003 |
|---|
| 12 | | Prabhaker Mateti:
A laboratory-based course on internet security.
SIGCSE 2003: 252-256 |
| 11 |  | Prabhaker Mateti,
Sowgandh Sunil Gadi:
Prevention of Buffer Overflow Exploits in IA-32 Based Linux.
Security and Management 2003: 378-384 |
| 1993 |
|---|
| 10 | | Amitava Datta,
Prabhaker Mateti:
Automating the Re-Declaration of Unneeded Globals as Private.
SAC 1993: 87-94 |
| 1990 |
|---|
| 9 | | Prabhaker Mateti,
Chen Ding:
Aesthetics Rules in The Diagrams of Linked Data Structures.
SEKE 1990: 239-244 |
| 8 | | Chen Ding,
Prabhaker Mateti:
A Framework for the Automated Drawing of Data Structure Diagrams.
IEEE Trans. Software Eng. 16(5): 543-557 (1990) |
| 1986 |
|---|
| 7 | | Prabhaker Mateti,
Gerald M. Radack:
Integrating data structure diagrams into source level debuggers (abstract).
ACM Conference on Computer Science 1986: 407 |
| 6 | | Prabhaker Mateti,
Frances Hunt,
George W. Ernst,
Gerald M. Radack:
CaseDE Design Environment Centers on Specifications.
IEEE Software 3(1): 72 (1986) |
| 1983 |
|---|
| 5 | | Prabhaker Mateti:
A Specification Schema for Indenting Programs.
Softw., Pract. Exper. 13(2): 163-179 (1983) |
| 4 | | Prabhaker Mateti,
Joxan Jaffar:
A Correctness Proof of an Indenting Program.
Softw., Pract. Exper. 13(3): 199-226 (1983) |
| 1981 |
|---|
| 3 | | Prabhaker Mateti:
A Decision Procedure for the Correctness of a Class of Programs.
J. ACM 28(2): 215-232 (1981) |
| 1979 |
|---|
| 2 | | Prabhaker Mateti:
Pascal Verus C: A Subjective Comparison.
Language Design and Programming Methodology 1979: 37-70 |
| 1976 |
|---|
| 1 | | Prabhaker Mateti,
Narsingh Deo:
On Algorithms for Enumerating All Circuits of a Graph.
SIAM J. Comput. 5(1): 90-99 (1976) |
