Prabhaker Mateti

According to our database, Prabhaker Mateti authored at least 27 papers between 1976 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2018

Android Dashboard for Past and Present Processes.

R. Anusuya, Prabhaker Mateti

Proceedings of the 2018 International Conference on Advances in Computing, 2018

2017

Adding Continuous Proactive Forensics to Android.

Karthik M. Rao, P. S. Aiyyappan, Prabhaker Mateti

Proceedings of the Security in Computing and Communications - 5th International Symposium, 2017

ASLR and ROP Attack Mitigations for ARM-Based Android Devices.

Vivek Parikh, Prabhaker Mateti

Proceedings of the Security in Computing and Communications - 5th International Symposium, 2017

Challenges in Android Forensics.

Sudip Hazra, Prabhaker Mateti

Proceedings of the Security in Computing and Communications - 5th International Symposium, 2017

Keeping the android user aware of past and present network traffic.

Nikhil George, Prabhaker Mateti

Proceedings of the 2017 International Conference on Advances in Computing, 2017

2015

Towards a Rule Based Distributed OWL Reasoning Framework.

Raghava Mutharaju, Prabhaker Mateti, Pascal Hitzler

Proceedings of the Ontology Engineering, 2015

Distributed and Scalable OWL EL Reasoning.

Raghava Mutharaju, Pascal Hitzler, Prabhaker Mateti, Freddy Lécué

Proceedings of the Semantic Web. Latest Advances and New Domains, 2015

2014

Developing a distributed reasoner for the Semantic Web.

Raghava Mutharaju, Prabhaker Mateti, Pascal Hitzler

Proceedings of the ISWC Developers Workshop 2014, 2014

Distributed OWL EL Reasoning: The Story So Far.

Raghava Mutharaju, Pascal Hitzler, Prabhaker Mateti

Proceedings of the 10th International Workshop on Scalable Semantic Web Knowledge Base Systems co-located with 13th International Semantic Web Conference (ISWC 2014), 2014

2013

DistEL: A Distributed EL+ Ontology Classifier.

Raghava Mutharaju, Pascal Hitzler, Prabhaker Mateti

Proceedings of the 9th International Workshop on Scalable Semantic Web Knowledge Base Systems, 2013

2006

A case for exploit-robust and attack-aware protocol RFCs.

Venkat Pothamsetty, Prabhaker Mateti

Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006

2003

A laboratory-based course on internet security.

Prabhaker Mateti

Proceedings of the 34th SIGCSE Technical Symposium on Computer Science Education, 2003

Prevention of Buffer Overflow Exploits in IA-32 Based Linux.

Prabhaker Mateti, Sowgandh Sunil Gadi

Proceedings of the International Conference on Security and Management, 2003

1993

Automating the Re-Declaration of Unneeded Globals as Private.

Amitava Datta, Prabhaker Mateti

Proceedings of the 1993 ACM/SIGAPP Symposium on Applied Computing: States of the Art and Practice, 1993

1990

A Framework for the Automated Drawing of Data Structure Diagrams.

Chen Ding, Prabhaker Mateti

IEEE Trans. Software Eng., 1990

Aesthetics Rules in The Diagrams of Linked Data Structures.

Prabhaker Mateti, Chen Ding

Proceedings of the SEKE'90, 1990

The Architecture of a Prototype System for Drawing Data Structures.

Chen Ding, Prabhaker Mateti

Proceedings of the 11th European Computer Graphics Conference and Exhibition, 1990

1988

Morris' tree traversal algorithm reconsidered.

Prabhaker Mateti, Ravi Manghirmalani

Sci. Comput. Program., 1988

1986

CaseDE Design Environment Centers on Specifications.

Prabhaker Mateti, Frances Hunt, George W. Ernst, Gerald M. Radack

IEEE Softw., 1986

Integrating data structure diagrams into source level debuggers (abstract).

Prabhaker Mateti, Gerald M. Radack

Proceedings of the 14th ACM Annual Conference on Computer Science, 1986

1983

A Correctness Proof of an Indenting Program.

Prabhaker Mateti, Joxan Jaffar

Softw. Pract. Exp., 1983

A Specification Schema for Indenting Programs.

Prabhaker Mateti

Softw. Pract. Exp., 1983

1982

Parallel algorithms for the single source shortest path problem.

Prabhaker Mateti, Narsingh Deo

Computing, 1982

1981

A Decision Procedure for the Correctness of a Class of Programs.

Prabhaker Mateti

J. ACM, 1981

1979

Pascal Verus C: A Subjective Comparison.

Prabhaker Mateti

Proceedings of the Language Design and Programming Methodology, 1979

1976

An Automatic Verifier for a Class of Sorting Programs

Prabhaker Mateti

PhD thesis, 1976

On Algorithms for Enumerating All Circuits of a Graph.

Prabhaker Mateti, Narsingh Deo

SIAM J. Comput., 1976