Prabhaker Mateti

27 papers A 2B 1C 1Misc 1Journal 8Unranked 13
YearRankTypeTitle / Venue / Authors
2018 — conf
Android Dashboard for Past and Present Processes.
ICACCI
R. Anusuya, Prabhaker Mateti
2017 — conf
ASLR and ROP Attack Mitigations for ARM-Based Android Devices.
SSCC
Vivek Parikh, Prabhaker Mateti
2017 — conf
Adding Continuous Proactive Forensics to Android.
SSCC
Karthik M. Rao, P. S. Aiyyappan, Prabhaker Mateti
2017 — conf
Challenges in Android Forensics.
SSCC
Sudip Hazra, Prabhaker Mateti
2017 — conf
Keeping the android user aware of past and present network traffic.
ICACCI
Nikhil George, Prabhaker Mateti
2015 B conf
Distributed and Scalable OWL EL Reasoning.
ESWC
Raghava Mutharaju, Pascal Hitzler, Prabhaker Mateti, Freddy Lécué
2015 — conf
Towards a Rule Based Distributed OWL Reasoning Framework.
OWLED
Raghava Mutharaju, Prabhaker Mateti, Pascal Hitzler
2014 — conf
Developing a distributed reasoner for the Semantic Web.
ISWC (Developers Workshop)
Raghava Mutharaju, Prabhaker Mateti, Pascal Hitzler
2014 — conf
Distributed OWL EL Reasoning: The Story So Far.
SSWS@ISWC
Raghava Mutharaju, Pascal Hitzler, Prabhaker Mateti
2013 — conf
DistEL: A Distributed EL+ Ontology Classifier.
SSWS@ISWC
Raghava Mutharaju, Pascal Hitzler, Prabhaker Mateti
2006 A conf
A case for exploit-robust and attack-aware protocol RFCs.
IPDPS
Venkat Pothamsetty, Prabhaker Mateti
2003 A conf
A laboratory-based course on internet security.
SIGCSE
Prabhaker Mateti
2003 — conf
Prevention of Buffer Overflow Exploits in IA-32 Based Linux.
Security and Management
Prabhaker Mateti, Sowgandh Sunil Gadi
1993 Misc conf
Automating the Re-Declaration of Unneeded Globals as Private.
SAC
Amitava Datta, Prabhaker Mateti
1990 J jnl
A Framework for the Automated Drawing of Data Structure Diagrams.
IEEE Trans. Software Eng.
Chen Ding, Prabhaker Mateti
1990 C conf
Aesthetics Rules in The Diagrams of Linked Data Structures.
SEKE
Prabhaker Mateti, Chen Ding
1990 — conf
The Architecture of a Prototype System for Drawing Data Structures.
Eurographics
Chen Ding, Prabhaker Mateti
1988 J jnl
Morris' tree traversal algorithm reconsidered.
Sci. Comput. Program.
Prabhaker Mateti, Ravi Manghirmalani
1986 J jnl
CaseDE Design Environment Centers on Specifications.
IEEE Softw.
Prabhaker Mateti, Frances Hunt, George W. Ernst, Gerald M. Radack
1986 — conf
Integrating data structure diagrams into source level debuggers (abstract).
ACM Conference on Computer Science
Prabhaker Mateti, Gerald M. Radack
1983 J jnl
A Correctness Proof of an Indenting Program.
Softw. Pract. Exp.
Prabhaker Mateti, Joxan Jaffar
1983 J jnl
A Specification Schema for Indenting Programs.
Softw. Pract. Exp.
Prabhaker Mateti
1982 J jnl
Parallel algorithms for the single source shortest path problem.
Computing
Prabhaker Mateti, Narsingh Deo
1981 J jnl
A Decision Procedure for the Correctness of a Class of Programs.
J. ACM
Prabhaker Mateti
1979 — conf
Pascal Verus C: A Subjective Comparison.
Language Design and Programming Methodology
Prabhaker Mateti
1976 — —
An Automatic Verifier for a Class of Sorting Programs
Prabhaker Mateti
1976 J jnl
On Algorithms for Enumerating All Circuits of a Graph.
SIAM J. Comput.
Prabhaker Mateti, Narsingh Deo