Concepedia

Sampath Kannan

SK

49

Publications

3.3K

Citations

29

H-Index

1988

Active since

Affiliations

University of Pennsylvania(Current)

University of Arizona

California University of Pennsylvania

University of California, Berkeley

Yale University

Sampath Kannan is an author at University of Pennsylvania specializing in computer science, engineering, and computational complexity.

Top concepts

EngineeringComputer ScienceCombinatorial OptimizationComputational ComplexityData ScienceGraph TheoryNetwork AnalysisMathematical ProgrammingNetwork ScienceDiscrete Mathematics

Publications per year

1988–2019

49

Publications

49

On graph problems in a semi-streaming model

Joan Feigenbaum, Sampath Kannan, Andrew McGregor et al. · Theoretical Computer Science · 2005 · 417 citations

Graph Theory, Random Graph, Probabilistic Graph Theory +6

Designing programs that check their work

Manuel Blum, Sampath Kannan · Journal of the ACM · 1995 · 396 citations · Full text

Software Maintenance, Program Checking, Engineering +21

Java-MaC: A Run-Time Assurance Approach for Java Programs

Moonzoo Kim, Mahesh Viswanathan, Sampath Kannan et al. · Formal Methods in System Design · 2004 · 218 citations

Software Maintenance, Java Programs, Engineering +10

Implicat Representation of Graphs

Sampath Kannan, Moni Naor, Steven Rudich · SIAM Journal on Discrete Mathematics · 1992 · 208 citations

Engineering, Planar Graph, Network Analysis +17

Runtime Assurance Based On Formal Specifications

Insup Lee, Sampath Kannan, Moonjoo Kim et al. · ScholarlyCommons (University of Pennsylvania) · 1999 · 163 citations · Full text

Rows per page

1–5 of 49