Follow
Sampath Kannan
Sampath Kannan
Professor of Computer and Information Science, University of Pennsylvania
Verified email at cis.upenn.edu
Title
Cited by
Cited by
Year
Secure data interchange
FSM Herz, WP Labys, DC Parkes, S Kannan, JM Eisner
US Patent App. 12/417,747, 2009
16872009
Secure data interchange
FSM Herz, WP Labys, DC Parkes, S Kannan, JM Eisner
US Patent 7,630,986, 2009
13092009
Designing programs that check their work
M Blum, S Kannan
Journal of the ACM (JACM) 42 (1), 269-291, 1995
9011995
Checking the correctness of memories
M Blum, W Evans, P Gemmell, S Kannan, M Naor
Algorithmica 12, 225-244, 1994
4371994
On graph problems in a semi-streaming model
J Feigenbaum, S Kannan, A McGregor, S Suri, J Zhang
Theoretical Computer Science 348 (2-3), 207-216, 2005
4202005
An Approximate L1 -Difference Algorithm for Massive Data Streams
J Feigenbaum, S Kannan, MJ Strauss, M Viswanathan
SIAM Journal on Computing 32 (1), 131-151, 2002
3442002
Implicit representation of graphs
S Kannan, M Naor, S Rudich
Proceedings of the twentieth annual ACM symposium on Theory of computing†…, 1988
3311988
Java-MaC: A run-time assurance approach for Java programs
M Kim, M Viswanathan, S Kannan, I Lee, O Sokolsky
Formal methods in system design 24, 129-155, 2004
3112004
Spot-checkers
F ErgŁn, S Kannan, SR Kumar, R Rubinfeld, M Viswanathan
Proceedings of the thirtieth annual ACM symposium on Theory of computing†…, 1998
2991998
Java-MaC: a run-time assurance tool for Java programs
M Kim, S Kannan, I Lee, O Sokolsky, M Viswanathan
Electronic Notes in Theoretical Computer Science 55 (2), 218-235, 2001
2582001
Randomized pursuit-evasion in a polygonal environment
V Isler, S Kannan, S Khanna
IEEE Transactions on Robotics 21 (5), 875-884, 2005
2572005
Runtime assurance based on formal specifications
I Lee, S Kannan, M Kim, O Sokolsky, M Viswanathan
Departmental Papers (CIS), 294, 1999
2451999
Oracles and queries that are sufficient for exact learning
NH Bshouty, R Cleve, S Kannan, C Tamon
Proceedings of the seventh annual conference on Computational learning†…, 1994
2361994
The relationship between public key encryption and oblivious transfer
Y Gertner, S Kannan, T Malkin, O Reingold, M Viswanathan
Proceedings 41st Annual Symposium on Foundations of Computer Science, 325-335, 2000
2282000
A robust model for finding optimal evolutionary trees
M Farach, S Kannan, T Warnow
Proceedings of the Twenty-Fifth Annual ACM Symposium on Theory of Computing†…, 1993
2221993
Formally specified monitoring of temporal properties
M Kim, M Viswanathan, H Ben-Abdallah, S Kannan, I Lee, O Sokolsky
Proceedings of 11th Euromicro Conference on Real-Time Systems. Euromicro RTS†…, 1999
1921999
Communicating hierarchical state machines
R Alur, S Kannan, M Yannakakis
Automata, Languages and Programming: 26th International Colloquium, ICALP’99†…, 1999
1601999
Graph distances in the streaming model: the value of space.
J Feigenbaum, S Kannan, A McGregor, S Suri, J Zhang
SODA 5, 745-754, 2005
1422005
Reconstructing strings from random traces
T Batu, S Kannan, S Khanna, A McGregor
Departmental Papers (CIS), 173, 2004
1402004
Group testing problems with sequences in experimental molecular biology
M Farach, S Kannan, E Knill, S Muthukrishnan
Proceedings. Compression and Complexity of SEQUENCES 1997 (Cat. No†…, 1997
1351997
The system can't perform the operation now. Try again later.
Articles 1–20