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
16242009
Secure data interchange
FSM Herz, WP Labys, DC Parkes, S Kannan, JM Eisner
US Patent 7,630,986, 2009
12682009
Designing programs that check their work
M Blum, S Kannan
Journal of the ACM (JACM) 42 (1), 269-291, 1995
8881995
Checking the correctness of memories
M Blum, W Evans, P Gemmell, S Kannan, M Naor
Algorithmica 12, 225-244, 1994
4201994
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
4042005
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
3372002
Implicit representation of graphs
S Kannan, M Naor, S Rudich
Proceedings of the twentieth annual ACM symposium on Theory of computing†…, 1988
3231988
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
3082004
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
2951998
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
2562001
Randomized pursuit-evasion in a polygonal environment
V Isler, S Kannan, S Khanna
IEEE Transactions on Robotics 21 (5), 875-884, 2005
2532005
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
2381994
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
2222000
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
2161993
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
ICALP 99, 169-178, 1999
1561999
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
1382005
Reconstructing strings from random traces
T Batu, S Kannan, S Khanna, A McGregor
Departmental Papers (CIS), 173, 2004
1322004
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
1321997
The system can't perform the operation now. Try again later.
Articles 1–20