Concepedia

Sampath Kannan

SK

Statistics

Publications

49

Citations

3.3K

H-Index

29

Active since

1988

Affiliations

University of Pennsylvania(Current)

California University of Pennsylvania

University of Arizona

University of California, Berkeley

Yale University

Sampath Kannan is an author at University of Pennsylvania specializing in computer science, computing, and algorithms.

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 · 422 citations

Computing, Computer Science, Mathematics +9

Designing programs that check their work

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

Computing, Computer Science, Algorithms +10

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

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

Computing, Computer Engineering, Computer Science +14

Implicat Representation of Graphs

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

Computing, Computer Science, Mathematics +13

Runtime Assurance Based On Formal Specifications

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

Computing, Computer Engineering, Computer Science +16

1–5 of 49