dblp.uni-trier.dewww.uni-trier.de

Sampath Kannan Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
96EEMatt Blaze, Sampath Kannan, Insup Lee, Oleg Sokolsky, Jonathan M. Smith, Angelos D. Keromytis, Wenke Lee: Dynamic Trust Management. IEEE Computer 42(2): 44-52 (2009)
2008
95EESampath Kannan, Sanjeev Khanna, Sudeepa Roy: STCON in Directed Unique-Path Graphs. FSTTCS 2008
94EEJoan Feigenbaum, Sampath Kannan, Andrew McGregor, Siddharth Suri, Jian Zhang: Graph Distances in the Data-Stream Model. SIAM J. Comput. 38(5): 1709-1727 (2008)
2007
93EEMatthew Chu, Sampath Kannan, Andrew McGregor: Checking and Spot-Checking the Correctness of Priority Queues. ICALP 2007: 728-739
92EEStanislav Angelov, Boulos Harb, Sampath Kannan, Sanjeev Khanna, Junhyong Kim: Efficient Enumeration of Phylogenetically Informative Substrings. Journal of Computational Biology 14(6): 701-723 (2007)
2006
91EEStanislav Angelov, Boulos Harb, Sampath Kannan, Sanjeev Khanna, Junhyong Kim: Efficient Enumeration of Phylogenetically Informative Substrings. RECOMB 2006: 248-264
90EEStanislav Angelov, Boulos Harb, Sampath Kannan, Li-San Wang: Weighted isotonic regression under the L1 norm. SODA 2006: 783-791
89EEOleg Sokolsky, Sampath Kannan, Insup Lee: Simulation-Based Graph Similarity. TACAS 2006: 426-440
88EEArvind Easwaran, Sampath Kannan, Oleg Sokolsky: Steering of Discrete Event Systems: Control Theory Approach. Electr. Notes Theor. Comput. Sci. 144(4): 21-39 (2006)
87EEVolkan Isler, Sampath Kannan, Sanjeev Khanna: Randomized Pursuit-Evasion with Local Visibility. SIAM J. Discrete Math. 20(1): 26-41 (2006)
2005
86EEBoulos Harb, Sampath Kannan, Andrew McGregor: Approximating the Best-Fit Tree Under Lp Norms. APPROX-RANDOM 2005: 123-133
85EEJoan Feigenbaum, Sampath Kannan, Andrew McGregor, Siddharth Suri, Jian Zhang: Graph distances in the streaming model: the value of space. SODA 2005: 745-754
84EEJessica H. Fong, Anna C. Gilbert, Sampath Kannan, Martin J. Strauss: Better Alternatives to OSPF Routing. Algorithmica 43(1-2): 113-131 (2005)
83EEJoan Feigenbaum, Sampath Kannan, Andrew McGregor, Siddharth Suri, Jian Zhang: On graph problems in a semi-streaming model. Theor. Comput. Sci. 348(2-3): 207-216 (2005)
2004
82EETugkan Batu, Sudipto Guha, Sampath Kannan: Inferring Mixtures of Markov Chains. COLT 2004: 186-199
81EEJoan Feigenbaum, Sampath Kannan, Andrew McGregor, Siddharth Suri, Jian Zhang: On Graph Problems in a Semi-streaming Model. ICALP 2004: 531-543
80EEVolkan Isler, Sampath Kannan, Sanjeev Khanna: Randomized pursuit-evasion with limited visibility. SODA 2004: 1060-1069
79EETugkan Batu, Sampath Kannan, Sanjeev Khanna, Andrew McGregor: Reconstructing strings from random traces. SODA 2004: 910-918
78EEStanislav Angelov, Boulos Harb, Sampath Kannan, Sanjeev Khanna, Junhyong Kim, Li-San Wang: Genome Identification and Classification by Short Oligo Arrays. WABI 2004: 400-411
77EEJoan Feigenbaum, Sampath Kannan, Jian Zhang: Computing Diameter in the Streaming and Sliding-Window Models. Algorithmica 41(1): 25-41 (2004)
76EEMoonzoo Kim, Mahesh Viswanathan, Sampath Kannan, Insup Lee, Oleg Sokolsky: Java-MaC: A Run-Time Assurance Approach for Java Programs. Formal Methods in System Design 24(2): 129-155 (2004)
75EERajeev Alur, Sampath Kannan, Salvatore La Torre: Polyhedral Flows in Hybrid Automata. Formal Methods in System Design 24(3): 261-280 (2004)
74EEVolkan Isler, Sampath Kannan, Kostas Daniilidis, Pavel Valtr: VC-Dimension of Exterior Visibility. IEEE Trans. Pattern Anal. Mach. Intell. 26(5): 667-671 (2004)
73EESampath Kannan, Mihalis Yannakakis: Guest Editors' foreword. J. Comput. Syst. Sci. 68(2): 237 (2004)
72EELeslie Ann Goldberg, Mark Jerrum, Sampath Kannan, Mike Paterson: A bound on the capacity of backoff and acknowledgment-based protocols. SIAM J. Comput. 33(2): 313-331 (2004)
2003
71 Volkan Isler, Sampath Kannan, Kostas Daniilidis: Local exploration: online algorithms and a probabilistic framework. ICRA 2003: 1913-1920
70EESampath Kannan, Sanjeev Khanna: Selection with monotone comparison cost. SODA 2003: 10-17
2002
69EEJoan Feigenbaum, Sampath Kannan, Martin Strauss, Mahesh Viswanathan: Testing and Spot-Checking of Data Streams. Algorithmica 34(1): 67-80 (2002)
68EEMoonjoo Kim, Sampath Kannan, Insup Lee, Oleg Sokolsky, Mahesh Viswanathan: Computational Analysis of Run-time Monitoring - Fundamentals of Java-MaC. Electr. Notes Theor. Comput. Sci. 70(4): (2002)
67EERichard J. Anderson, Sampath Kannan, Howard J. Karloff, Richard E. Ladner: Thresholds and optimal binary comparison search trees. J. Algorithms 44(2): 338-358 (2002)
66EEJoan Feigenbaum, Sampath Kannan, Martin Strauss, Mahesh Viswanathan: An Approximate L1-Difference Algorithm for Massive Data Streams. SIAM J. Comput. 32(1): 131-151 (2002)
2001
65EERichard J. Anderson, Sampath Kannan, Howard J. Karloff, Richard E. Ladner: Thresholds and Optimal Binary Comparison Search Trees. FSTTCS 2001: 83-95
64EEMoonjoo Kim, Sampath Kannan, Insup Lee, Oleg Sokolsky, Mahesh Viswanathan: Java-MaC: a Run-time Assurance Tool for Java Programs. Electr. Notes Theor. Comput. Sci. 55(2): (2001)
2000
63 Yael Gertner, Sampath Kannan, Tal Malkin, Omer Reingold, Mahesh Viswanathan: The Relationship between Public Key Encryption and Oblivious Transfer. FOCS 2000: 325-335
62EELeslie Ann Goldberg, Mark Jerrum, Sampath Kannan, Mike Paterson: A Bound on the Capacity of Backoff and Acknowledgement-Based Protocols. ICALP 2000: 705-716
61EEJoan Feigenbaum, Sampath Kannan, Martin Strauss, Mahesh Viswanathan: Testing and spot-checking of data streams (extended abstract). SODA 2000: 165-174
60 Funda Ergün, Sampath Kannan, Ravi Kumar, Ronitt Rubinfeld, Mahesh Viswanathan: Spot-Checkers. J. Comput. Syst. Sci. 60(3): 717-751 (2000)
1999
59EEMoonjoo Kim, Mahesh Viswanathan, Hanêne Ben-Abdallah, Sampath Kannan, Insup Lee, Oleg Sokolsky: Formally specified monitoring of temporal properties. ECRTS 1999: 114-122
58EEJoan Feigenbaum, Sampath Kannan, Martin Strauss, Mahesh Viswanathan: An Approximate L1-Difference Algorithm for Massive Data Streams. FOCS 1999: 501-511
57EERajeev Alur, Sampath Kannan, Salvatore La Torre: Polyhedral Flows in Hybrid Automata. HSCC 1999: 5-18
56EERajeev Alur, Sampath Kannan, Mihalis Yannakakis: Communicating Hierarchical State Machines. ICALP 1999: 169-178
55 Insup Lee, Sampath Kannan, Moonjoo Kim, Oleg Sokolsky, Mahesh Viswanathan: Runtime Assurance Based On Formal Specifications. PDPTA 1999: 279-287
54EEJoan Feigenbaum, Sampath Kannan, Moshe Y. Vardi, Mahesh Viswanathan: The Complexity of Problems on Graphs Represented as OBDDs. Chicago J. Theor. Comput. Sci. 1999: (1999)
53EEMartin Farach, Sampath Kannan: Efficient Algorithms for Inverting Evolution. J. ACM 46(4): 437-449 (1999)
1998
52EEJoan Feigenbaum, Sampath Kannan, Moshe Y. Vardi, Mahesh Viswanathan: Complexity of Problems on Graphs Represented as OBDDs (Extended Abstract). STACS 1998: 216-226
51EEFunda Ergün, Sampath Kannan, Ravi Kumar, Ronitt Rubinfeld, Mahesh Viswanathan: Spot-Checkers. STOC 1998: 259-268
50 Lenore Cowen, Joan Feigenbaum, Sampath Kannan: A Formal Framework for Evaluating Heuristic Programs. Ann. Math. Artif. Intell. 22(3-4): 193-206 (1998)
49EEBhaskar DasGupta, Tao Jiang, Sampath Kannan, Ming Li, Elizabeth Sweedyk: On the Complexity and Approximation of Syntenic Distance. Discrete Applied Mathematics 88(1-3): 59-82 (1998)
48 Sampath Kannan, Todd A. Proebsting: Register Allocation in Structured Programs. J. Algorithms 29(2): 223-237 (1998)
47EESampath Kannan, Tandy Warnow: Computing the Local Consensus of Trees. SIAM J. Comput. 27(6): 1695-1724 (1998)
1997
46EEAndris Ambainis, Richard Desper, Martin Farach, Sampath Kannan: Nearly Tight Bounds on the Learnability of Evolution. FOCS 1997: 524-533
45EEBhaskar DasGupta, Tao Jiang, Sampath Kannan, Ming Li, Z. Sweedyk: On the complexity and approximation of syntenic distance. RECOMB 1997: 99-108
44 Vivek Gore, Mark Jerrum, Sampath Kannan, Z. Sweedyk, Stephen R. Mahaney: A Quasi-Polynomial-Time Algorithm for Sampling Words from a Context-Free Language. Inf. Comput. 134(1): 59-74 (1997)
43 Sampath Kannan, Tandy Warnow: A Fast Algorithm for the Computation and Enumeration of Perfect Phylogenies. SIAM J. Comput. 26(6): 1749-1763 (1997)
1996
42EELenore Cowen, Joan Feigenbaum, Sampath Kannan: A Formal Framework for Evaluating Heuristic Programs. ICALP 1996: 634-645
41EEMartin Farach, Sampath Kannan: Efficient Algorithms for Inverting Evolution. STOC 1996: 230-236
40 Sampath Kannan, Eugene L. Lawler, Tandy Warnow: Determining the Evolutionary Tree Using Experiments. J. Algorithms 21(1): 26-50 (1996)
39 Nader H. Bshouty, Richard Cleve, Ricard Gavaldà, Sampath Kannan, Christino Tamon: Oracles and Queries That Are Sufficient for Exact Learning. J. Comput. Syst. Sci. 52(3): 421-433 (1996)
38 Sampath Kannan, Eugene W. Myers: An Algorithm for Locating Nonoverlapping Regions of Maximum Alignment Score. SIAM J. Comput. 25(3): 648-662 (1996)
1995
37 Craig J. Benham, Sampath Kannan, Tandy Warnow: Of Chicken Teeth and Mouse Eyes, or Generalized Character Compatibility. CPM 1995: 17-26
36EESandip K. Biswas, Sampath Kannan: Minimizing Space Usage in Evaluation of Expression Trees. FSTTCS 1995: 377-390
35 Sampath Kannan, Todd A. Proebsting: Register Allocation in Structured Programs. SODA 1995: 360-368
34 Sampath Kannan, Z. Sweedyk, Stephen R. Mahaney: Counting and Random Generation of Strings in Regular Languages. SODA 1995: 551-557
33 Sampath Kannan, Tandy Warnow: A Fast Algorithm for the Computation and Enumeration of Perfect Phylogenies when the Number of Character States is Fixed. SODA 1995: 595-603
32 Sampath Kannan, Tandy Warnow, Shibu Yooseph: Computing the Local Consensus of Trees. SODA 1995: 68-77
31 Martin Farach, Sampath Kannan, Tandy Warnow: A Robust Model for Finding Optimal Evolutionary Trees. Algorithmica 13(1/2): 155-179 (1995)
30EENader H. Bshouty, Richard Cleve, Ricard Gavaldà, Sampath Kannan, Christino Tamon: Oracles and Queries That Are Sufficient for Exact Learning Electronic Colloquium on Computational Complexity (ECCC) 2(15): (1995)
29EEManuel Blum, Sampath Kannan: Designing Programs that Check Their Work. J. ACM 42(1): 269-291 (1995)
28 Craig J. Benham, Sampath Kannan, Michael Paterson, Tandy Warnow: Hen's Teeth and Whale's Feet: Generalized Characters and Their Compatibility. Journal of Computational Biology 2(4): 515-525 (1995)
27 Sampath Kannan, Tandy Warnow: Tree Reconstruction from Partial Orders. SIAM J. Comput. 24(3): 511-519 (1995)
1994
26EENader H. Bshouty, Richard Cleve, Sampath Kannan, Christino Tamon: Oracles and Queries that are Sufficient for Exact Learning (Extended Abstract). COLT 1994: 130-139
25 Koenraad De Bosschere, Saumya K. Debray, David Gudeman, Sampath Kannan: Call Forwarding: A Simple Interprocedural Optimization Technique for Dynamically Typed Languages. POPL 1994: 409-420
24 Noga Alon, Manuel Blum, Amos Fiat, Sampath Kannan, Moni Naor, Rafail Ostrovsky: Matching Nuts and Bolts. SODA 1994: 690-696
23 Manuel Blum, William S. Evans, Peter Gemmell, Sampath Kannan, Moni Naor: Checking the Correctness of Memories. Algorithmica 12(2/3): 225-244 (1994)
22 Sampath Kannan, Tandy Warnow: Inferring Evolutionary History from DNA Sequences. SIAM J. Comput. 23(4): 713-737 (1994)
21 Sampath Kannan, Todd A. Proebsting: Short Communication: Correction to 'Producing Good Code for the case Statement'. Softw., Pract. Exper. 24(2): 233, (1994)
1993
20EESampath Kannan: On the Query Complexity of Learning. COLT 1993: 58-66
19 Sampath Kannan, Eugene W. Myers: An Algorithm for Locating Non-Overlapping Regions of Maximum Alignment Score. CPM 1993: 74-86
18EEMartin Farach, Sampath Kannan, Tandy Warnow: A robust model for finding optimal evolutionary trees. STOC 1993: 137-145
17 Sampath Kannan, Tandy Warnow: Tree Reconstruction from Partial Orders. WADS 1993: 397-408
16 Wenceslas Fernandez de la Vega, Sampath Kannan, Miklos Santha: Two Probabilistic Results on Merging. SIAM J. Comput. 22(2): 261-271 (1993)
1992
15 Saumya K. Debray, Sampath Kannan, Mukul Paithane: Weighted Decision Trees. JICSLP 1992: 654-668
14 Sampath Kannan, Danny Soroker: Tiling Polygons with Parallelograms. Discrete & Computational Geometry 7: 175-188 (1992)
13 Sampath Kannan, Tandy Warnow: Triangulating 3-Colored Graphs. SIAM J. Discrete Math. 5(2): 249-258 (1992)
12 Sampath Kannan, Moni Naor, Steven Rudich: Implicit Representation of Graphs. SIAM J. Discrete Math. 5(4): 596-603 (1992)
1991
11 Manuel Blum, William S. Evans, Peter Gemmell, Sampath Kannan, Moni Naor: Checking the Correctness of Memories FOCS 1991: 90-99
10EESampath Kannan, Andrew Chi-Chih Yao: Program Checkers for Probability Generation. ICALP 1991: 163-173
9 Sampath Kannan, Tandy Warnow: Triangulating Three-Colored Graphs. SODA 1991: 337-343
1990
8 Sampath Kannan, Tandy Warnow: Inferring Evolutionary History from DNA Sequences (Extended Abstract) FOCS 1990: 362-371
7EEWenceslas Fernandez de la Vega, Sampath Kannan, Miklos Santha: Two Probabilistic Results on Merging. SIGAL International Symposium on Algorithms 1990: 118-127
6 Sampath Kannan, Eugene L. Lawler, Tandy Warnow: Determining the Evolutionary Tree. SODA 1990: 475-484
5 Joan Feigenbaum, Sampath Kannan, Noam Nisan: Lower Bounds on Random-Self-Reducibility. Structure in Complexity Theory Conference 1990: 100-109
1989
4 Manuel Blum, Sampath Kannan: Designing Programs That Check Their Work STOC 1989: 86-97
1988
3 Sampath Kannan, Moni Naor, Steven Rudich: Implicit Representation of Graphs STOC 1988: 334-343
2 Gilles Brassard, Sampath Kannan: The Generation of Random Permutations on the Fly. Inf. Process. Lett. 28(4): 207-212 (1988)
1985
1EERichard Berger, Sampath Kannan, René Peralta: A Framework for the Study of Cryptographic Protocols. CRYPTO 1985: 87-103

Coauthor Index

1Noga Alon [24]
2Rajeev Alur [56] [57] [75]
3Andris Ambainis [46]
4Richard J. Anderson [65] [67]
5Stanislav Angelov [78] [90] [91] [92]
6Tugkan Batu [79] [82]
7Hanêne Ben-Abdallah [59]
8Craig J. Benham [28] [37]
9Richard Berger [1]
10Sandip K. Biswas [36]
11Matt Blaze [96]
12Manuel Blum [4] [11] [23] [24] [29]
13Koen De Bosschere (Koenraad De Bosschere) [25]
14Gilles Brassard [2]
15Nader H. Bshouty [26] [30] [39]
16Matthew Chu [93]
17Richard Cleve [26] [30] [39]
18Lenore Cowen [42] [50]
19Kostas Daniilidis (Konstantinos Daniilidis) [71] [74]
20Bhaskar DasGupta [45] [49]
21Saumya K. Debray [15] [25]
22Richard Desper [46]
23Arvind Easwaran [88]
24Funda Ergün [51] [60]
25William S. Evans [11] [23]
26Martin Farach-Colton (Martin Farach) [18] [31] [41] [46] [53]
27Joan Feigenbaum [5] [42] [50] [52] [54] [58] [61] [66] [69] [77] [81] [83] [85] [94]
28Amos Fiat [24]
29Jessica H. Fong [84]
30Ricard Gavaldà [30] [39]
31Peter Gemmell [11] [23]
32Yael Gertner [63]
33Anna C. Gilbert [84]
34Leslie Ann Goldberg [62] [72]
35Vivek Gore [44]
36David Gudeman [25]
37Sudipto Guha [82]
38Boulos Harb [78] [86] [90] [91] [92]
39Volkan Isler [71] [74] [80] [87]
40Mark Jerrum [44] [62] [72]
41Tao Jiang [45] [49]
42Howard J. Karloff [65] [67]
43Angelos D. Keromytis [96]
44Sanjeev Khanna [70] [78] [79] [80] [87] [91] [92] [95]
45Junhyong Kim [78] [91] [92]
46Moonjoo Kim [55] [59] [64] [68]
47Moonzoo Kim [76]
48Ravi Kumar (S. Ravi Kumar) [51] [60]
49Richard E. Ladner [65] [67]
50Eugene L. Lawler [6] [40]
51Insup Lee [55] [59] [64] [68] [76] [89] [96]
52Wenke Lee [96]
53Ming Li [45] [49]
54Stephen R. Mahaney [34] [44]
55Tal Malkin [63]
56Andrew McGregor [79] [81] [83] [85] [86] [93] [94]
57Eugene W. Myers (Gene Myers) [19] [38]
58Moni Naor [3] [11] [12] [23] [24]
59Noam Nisan [5]
60Rafail Ostrovsky [24]
61Mukul Paithane [15]
62Michael Paterson [28]
63Mike Paterson [62] [72]
64René Peralta [1]
65Todd A. Proebsting [21] [35] [48]
66Omer Reingold [63]
67Sudeepa Roy [95]
68Ronitt Rubinfeld [51] [60]
69Steven Rudich [3] [12]
70Miklos Santha [7] [16]
71Jonathan M. Smith [96]
72Oleg Sokolsky [55] [59] [64] [68] [76] [88] [89] [96]
73Danny Soroker [14]
74Martin Strauss (Martin J. Strauss) [58] [61] [66] [69] [84]
75Siddharth Suri [81] [83] [85] [94]
76Elizabeth Sweedyk [49]
77Z. Sweedyk [34] [44] [45]
78Christino Tamon [26] [30] [39]
79Salvatore La Torre [57] [75]
80Pavel Valtr [74]
81Moshe Y. Vardi [52] [54]
82Wenceslas Fernandez de la Vega [7] [16]
83Mahesh Viswanathan [51] [52] [54] [55] [58] [59] [60] [61] [63] [64] [66] [68] [69] [76]
84Li-San Wang [78] [90]
85Tandy Warnow [6] [8] [9] [13] [17] [18] [22] [27] [28] [31] [32] [33] [37] [40] [43] [47]
86Mihalis Yannakakis [56] [73]
87Andrew Chi-Chih Yao [10]
88Shibu Yooseph [32]
89Jian Zhang [77] [81] [83] [85] [94]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)