


default search action
Sampath Kannan
Person information
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
- [c97]Yiqiao Bao, Sampath Kannan, Erik Waingarten:
Nearly Tight Bounds on Testing of Metric Properties. SODA 2025: 403-445 - 2024
- [c96]Krishna Acharya, Eshwar Ram Arunachaleswaran, Sampath Kannan, Aaron Roth, Juba Ziani:
Oracle Efficient Algorithms for Groupwise Regret. ICLR 2024 - [i28]Eshwar Ram Arunachaleswaran, Natalie Collina, Sampath Kannan, Aaron Roth, Juba Ziani:
Algorithmic Collusion Without Threats. CoRR abs/2409.03956 (2024) - [i27]Yiqiao Bao, Sampath Kannan, Erik Waingarten:
Nearly Tight Bounds on Testing of Metric Properties. CoRR abs/2411.08989 (2024) - 2023
- [c95]Eshwar Ram Arunachaleswaran, Anindya De, Sampath Kannan:
Reconstructing Ultrametric Trees from Noisy Experiments. ALT 2023: 82-114 - [c94]Krishna Acharya, Eshwar Ram Arunachaleswaran, Sampath Kannan, Aaron Roth
, Juba Ziani:
Wealth Dynamics Over Generations: Analysis and Interventions. SaTML 2023: 42-57 - [i26]Krishna Acharya, Eshwar Ram Arunachaleswaran, Sampath Kannan, Aaron Roth, Juba Ziani:
Oracle Efficient Algorithms for Groupwise Regret. CoRR abs/2310.04652 (2023) - 2022
- [j49]Eshwar Ram Arunachaleswaran, Sampath Kannan, Aaron Roth
, Juba Ziani
:
Pipeline Interventions. Math. Oper. Res. 47(4): 3207-3238 (2022) - [c93]Mingzi Niu
, Sampath Kannan, Aaron Roth
, Rakesh Vohra:
Best vs. All: Equity and Accuracy of Standardized Test Score Reporting. FAccT 2022: 574-586 - [i25]Eshwar Ram Arunachaleswaran, Anindya De, Sampath Kannan:
Reconstructing Ultrametric Trees from Noisy Experiments. CoRR abs/2206.07672 (2022) - [i24]Krishna Acharya, Eshwar Ram Arunachaleswaran, Sampath Kannan, Aaron Roth
, Juba Ziani:
Wealth Dynamics Over Generations: Analysis and Interventions. CoRR abs/2209.07375 (2022) - 2021
- [c92]Andrew Beams, Sampath Kannan, Sebastian Angel:
Packet Scheduling with Optional Client Privacy. CCS 2021: 3415-3430 - [c91]Eshwar Ram Arunachaleswaran, Sampath Kannan, Aaron Roth
, Juba Ziani:
Pipeline Interventions. ITCS 2021: 8:1-8:20 - [i23]Sampath Kannan, Mingzi Niu, Aaron Roth, Rakesh Vohra:
Best vs. All: Equity and Accuracy of Standardized Test Score Reporting. CoRR abs/2102.07809 (2021) - 2020
- [c90]Christopher Jung, Sampath Kannan, Neil Lutz:
Service in Your Neighborhood: Fairness in Center Location. FORC 2020: 5:1-5:15 - [c89]Yu Chen, Sampath Kannan, Sanjeev Khanna:
Sublinear Algorithms and Lower Bounds for Metric TSP Cost Estimation. ICALP 2020: 30:1-30:19 - [c88]Christopher Jung, Sampath Kannan, Changhwa Lee, Mallesh M. Pai, Aaron Roth
, Rakesh Vohra:
Fair Prediction with Endogenous Behavior. EC 2020: 677-678 - [c87]Christopher Jung, Sampath Kannan, Neil Lutz:
Quantifying the Burden of Exploration and the Unfairness of Free Riding. SODA 2020: 1892-1904 - [c86]Sebastian Angel, Sampath Kannan, Zachary B. Ratliff:
Private resource allocators and their applications. SP 2020: 372-391 - [c85]Yu Chen, Sampath Kannan, Sanjeev Khanna:
Near-Perfect Recovery in the One-Dimensional Latent Space Model. WWW 2020: 1932-1942 - [i22]Eshwar Ram Arunachaleswaran, Sampath Kannan, Aaron Roth, Juba Ziani:
Pipeline Interventions. CoRR abs/2002.06592 (2020) - [i21]Christopher Jung, Sampath Kannan, Changhwa Lee, Mallesh M. Pai, Aaron Roth, Rakesh Vohra:
Fair Prediction with Endogenous Behavior. CoRR abs/2002.07147 (2020) - [i20]Yu Chen, Sampath Kannan, Sanjeev Khanna:
Near-Perfect Recovery in the One-Dimensional Latent Space Model. CoRR abs/2006.04351 (2020) - [i19]Yu Chen, Sampath Kannan, Sanjeev Khanna:
Sublinear Algorithms and Lower Bounds for Metric TSP Cost Estimation. CoRR abs/2006.05490 (2020) - [i18]Sebastian Angel, Sampath Kannan, Zachary B. Ratliff:
Private resource allocators and their applications. IACR Cryptol. ePrint Arch. 2020: 287 (2020)
2010 – 2019
- 2019
- [j48]Sampath Kannan, Kevin Tian
:
Locating Errors in Faulty Formulas. ACM Trans. Algorithms 15(3): 34:1-34:13 (2019) - [c84]Sampath Kannan, Aaron Roth
, Juba Ziani:
Downstream Effects of Affirmative Action. FAT 2019: 240-248 - [c83]Sampath Kannan, Moonzoo Kim, Insup Lee, Oleg Sokolsky, Mahesh Viswanathan:
A Retrospective Look at the Monitoring and Checking (MaC) Framework. RV 2019: 1-14 - [i17]Christopher Jung, Sampath Kannan, Neil Lutz:
A Center in Your Neighborhood: Fairness in Facility Location. CoRR abs/1908.09041 (2019) - 2018
- [j47]Sampath Kannan, Claire Mathieu, Hang Zhou:
Graph Reconstruction and Verification. ACM Trans. Algorithms 14(4): 40:1-40:30 (2018) - [j46]Sampath Kannan, Jamie Morgenstern, Ryan Rogers, Aaron Roth
:
Private Pareto Optimal Exchange. ACM Trans. Economics and Comput. 6(3-4): 12:1-12:25 (2018) - [c82]Sampath Kannan, Elchanan Mossel, Swagato Sanyal, Grigory Yaroslavtsev:
Linear Sketching over F_2. CCC 2018: 8:1-8:37 - [c81]Sampath Kannan, Jamie Morgenstern, Aaron Roth, Bo Waggoner, Zhiwei Steven Wu
:
A Smoothed Analysis of the Greedy Algorithm for the Linear Contextual Bandit Problem. NeurIPS 2018: 2231-2241 - [i16]Sampath Kannan, Jamie Morgenstern, Aaron Roth, Bo Waggoner, Zhiwei Steven Wu:
A Smoothed Analysis of the Greedy Algorithm for the Linear Contextual Bandit Problem. CoRR abs/1801.03423 (2018) - [i15]Sampath Kannan, Aaron Roth, Juba Ziani:
Downstream Effects of Affirmative Action. CoRR abs/1808.09004 (2018) - [i14]Christopher Jung, Sampath Kannan, Neil Lutz:
Quantifying the Burden of Exploration and the Unfairness of Free Riding. CoRR abs/1810.08743 (2018) - 2017
- [c80]Sampath Kannan, Michael J. Kearns, Jamie Morgenstern, Mallesh M. Pai, Aaron Roth
, Rakesh V. Vohra, Zhiwei Steven Wu:
Fairness Incentives for Myopic Agents. EC 2017: 369-386 - [i13]John M. Abowd, Lorenzo Alvisi, Cynthia Dwork, Sampath Kannan, Ashwin Machanavajjhala, Jerome P. Reiter:
Privacy-Preserving Data Analysis for the Federal Statistical Agencies. CoRR abs/1701.00752 (2017) - [i12]Sampath Kannan, Michael J. Kearns, Jamie Morgenstern, Mallesh M. Pai, Aaron Roth, Rakesh V. Vohra, Zhiwei Steven Wu:
Fairness Incentives for Myopic Agents. CoRR abs/1705.02321 (2017) - [i11]Swarat Chaudhuri, Sampath Kannan, Rupak Majumdar, Michael J. Wooldridge:
Game Theory in AI, Logic, and Algorithms (Dagstuhl Seminar 17111). Dagstuhl Reports 7(3): 27-32 (2017) - 2016
- [j45]Deeparnab Chakrabarty, Sampath Kannan, Kevin Tian:
Detecting Character Dependencies in Stochastic Models of Evolution. J. Comput. Biol. 23(3): 180-191 (2016) - [j44]Mark Braverman, Jing Chen, Sampath Kannan:
Optimal Provision-After-Wait in Healthcare. Math. Oper. Res. 41(1): 352-376 (2016) - [j43]Yuk Yee Leung
, Pavel P. Kuksa
, Alexandre Amlie-Wolf
, Otto Valladares, Lyle H. Ungar, Sampath Kannan, Brian D. Gregory, Li-San Wang:
DASHR: database of small human noncoding RNAs. Nucleic Acids Res. 44(Database-Issue): 216-222 (2016) - [c79]Rajeev Alur, Marco Faella, Sampath Kannan, Nimit Singhania:
Hedging Bets in Markov Decision Processes. CSL 2016: 29:1-29:20 - [i10]Sampath Kannan, Elchanan Mossel, Grigory Yaroslavtsev:
Linear Sketching over $\mathbb F_2$. CoRR abs/1611.01879 (2016) - [i9]Elchanan Mossel, Sampath Kannan, Grigory Yaroslavtsev:
Linear Sketching over 𝔽2. Electron. Colloquium Comput. Complex. TR16 (2016) - 2015
- [c78]Sampath Kannan, Claire Mathieu, Hang Zhou:
Near-Linear Query Complexity for Graph Inference. ICALP (1) 2015: 773-784 - [c77]Sampath Kannan, Jamie Morgenstern, Ryan M. Rogers, Aaron Roth
:
Private Pareto Optimal Exchange. EC 2015: 261-278 - [c76]Sampath Kannan, Jamie Morgenstern, Aaron Roth
, Zhiwei Steven Wu
:
Approximately Stable, School Optimal, and Student-Truthful Many-to-One Matchings (via Differential Privacy). SODA 2015: 1890-1903 - 2014
- [c75]Mark Braverman, Jing Chen, Sampath Kannan:
Optimal provision-after-wait in healthcare. ITCS 2014: 541-542 - [i8]Sampath Kannan, Claire Mathieu, Hang Zhou:
Graph Verification and Reconstruction via Distance Oracles. CoRR abs/1402.4037 (2014) - [i7]Sampath Kannan, Jamie Morgenstern, Aaron Roth, Zhiwei Steven Wu:
Approximately Stable, School Optimal, and Student-Truthful Many-to-One Matchings (via Differential Privacy). CoRR abs/1407.2640 (2014) - [i6]Sampath Kannan, Jamie Morgenstern, Ryan M. Rogers, Aaron Roth:
Private Pareto Optimal Exchange. CoRR abs/1407.2641 (2014) - 2013
- [j42]Jian Chang, Krishna K. Venkatasubramanian, Andrew G. West
, Sampath Kannan, Insup Lee, Boon Thau Loo
, Oleg Sokolsky:
AS-CRED: Reputation and Alert Service for Interdomain Routing. IEEE Syst. J. 7(3): 396-409 (2013) - [j41]Emily Pitler, Sampath Kannan, Mitchell Marcus:
Finding Optimal 1-Endpoint-Crossing Trees. Trans. Assoc. Comput. Linguistics 1: 13-24 (2013) - [c74]Rajeev Alur, Sampath Kannan, Kevin Tian, Yifei Yuan:
On the Complexity of Shortest Path Problems on Discounted Cost Graphs. LATA 2013: 44-55 - [i5]Mark Braverman, Jing Chen, Sampath Kannan:
Optimal Provision-After-Wait in Healthcare. CoRR abs/1312.1955 (2013) - 2012
- [c73]Parinya Chalermsook, Julia Chuzhoy, Sampath Kannan, Sanjeev Khanna:
Improved Hardness Results for Profit Maximization Pricing Problems with Unlimited Supply. APPROX-RANDOM 2012: 73-84 - [c72]Emily Pitler, Sampath Kannan, Mitchell Marcus:
Dynamic Programming for Higher Order Parsing of Gap-Minding Trees. EMNLP-CoNLL 2012: 478-488 - [c71]Zhiyi Huang
, Sampath Kannan:
The Exponential Mechanism for Social Welfare: Private, Truthful, and Nearly Optimal. FOCS 2012: 140-149 - [i4]Zhiyi Huang, Sampath Kannan:
The Exponential Mechanism for Social Welfare: Private, Truthful, and Nearly Optimal. CoRR abs/1204.1255 (2012) - 2011
- [c70]Zhiyi Huang
, Sampath Kannan:
On Sampling from Multivariate Distributions. APPROX-RANDOM 2011: 616-627 - [c69]Jian Chang, Krishna K. Venkatasubramanian, Andrew G. West, Sampath Kannan, Oleg Sokolsky, Myuhng Joo Kim, Insup Lee:
ToMaTo: a trustworthy code mashup development tool. Mashups/Dataview@ECOWS 2011: 5:1-5:8 - [c68]Zhiyi Huang
, Sampath Kannan, Sanjeev Khanna:
Algorithms for the Generalized Sorting Problem. FOCS 2011: 738-747 - [c67]Jian Chang, Krishna K. Venkatasubramanian, Andrew G. West, Sampath Kannan, Boon Thau Loo, Oleg Sokolsky, Insup Lee:
AS-TRUST: A Trust Quantification Scheme for Autonomous Systems in BGP. TRUST 2011: 262-276 - [i3]Deeparnab Chakrabarty, Sampath Kannan:
Variance on the Leaves of a Tree Markov Random Field: Detecting Character Dependencies in Phylogenies. CoRR abs/1112.5508 (2011) - 2010
- [c66]Andrew G. West, Sampath Kannan, Insup Lee:
Detecting Wikipedia vandalism via spatio-temporal analysis of revision metadata? EUROSEC 2010: 22-28 - [c65]Andrew G. West, Sampath Kannan, Insup Lee:
Spatio-temporal analysis of Wikipedia metadata and the STiki anti-vandalism tool. Int. Sym. Wikis 2010 - [c64]Andrew G. West, Sampath Kannan, Insup Lee:
STiki: an anti-vandalism tool for Wikipedia using spatio-temporal analysis of revision metadata. Int. Sym. Wikis 2010
2000 – 2009
- 2009
- [j40]Matt Blaze, Sampath Kannan, Insup Lee, Oleg Sokolsky
, Jonathan M. Smith, Angelos D. Keromytis, Wenke Lee:
Dynamic Trust Management. Computer 42(2): 44-52 (2009) - [c63]Andrew G. West, Adam J. Aviv
, Jian Chang, Vinayak S. Prabhu
, Matt Blaze, Sampath Kannan, Insup Lee, Jonathan M. Smith, Oleg Sokolsky:
QuanTM: a quantitative trust management system. EUROSEC 2009: 28-35 - [c62]Shiteng Chen
, Zhiyi Huang
, Sampath Kannan:
Reconstructing Numbers from Pairwise Function Values. ISAAC 2009: 142-152 - 2008
- [j39]Joan Feigenbaum, Sampath Kannan, Andrew McGregor, Siddharth Suri, Jian Zhang:
Graph Distances in the Data-Stream Model. SIAM J. Comput. 38(5): 1709-1727 (2008) - [c61]Sampath Kannan, Sanjeev Khanna, Sudeepa Roy:
STCON in Directed Unique-Path Graphs. FSTTCS 2008: 256-267 - 2007
- [j38]Stanislav Angelov, Boulos Harb, Sampath Kannan, Sanjeev Khanna, Junhyong Kim:
Efficient Enumeration of Phylogenetically Informative Substrings. J. Comput. Biol. 14(6): 701-723 (2007) - [c60]Matthew Chu, Sampath Kannan, Andrew McGregor:
Checking and Spot-Checking the Correctness of Priority Queues. ICALP 2007: 728-739 - 2006
- [j37]Volkan Isler, Sampath Kannan, Sanjeev Khanna:
Randomized Pursuit-Evasion with Local Visibility. SIAM J. Discret. Math. 20(1): 26-41 (2006) - [c59]Stanislav Angelov, Boulos Harb, Sampath Kannan, Sanjeev Khanna, Junhyong Kim:
Efficient Enumeration of Phylogenetically Informative Substrings. RECOMB 2006: 248-264 - [c58]Stanislav Angelov, Boulos Harb, Sampath Kannan, Li-San Wang:
Weighted isotonic regression under the L1 norm. SODA 2006: 783-791 - [c57]Oleg Sokolsky
, Sampath Kannan, Insup Lee:
Simulation-Based Graph Similarity. TACAS 2006: 426-440 - [i2]Madhukar Anand, Eric Cronin, Micah Sherr, Matt Blaze, Sampath Kannan:
Security Protocols with Isotropic Channels. IACR Cryptol. ePrint Arch. 2006: 396 (2006) - 2005
- [j36]Joan Feigenbaum, Sampath Kannan, Jian Zhang:
Computing Diameter in the Streaming and Sliding-Window Models. Algorithmica 41(1): 25-41 (2005) - [j35]Jessica H. Fong, Anna C. Gilbert, Sampath Kannan, Martin J. Strauss:
Better Alternatives to OSPF Routing. Algorithmica 43(1-2): 113-131 (2005) - [j34]Joan 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) - [j33]Volkan Isler, Sampath Kannan, Sanjeev Khanna:
Randomized pursuit-evasion in a polygonal environment. IEEE Trans. Robotics 21(5): 875-884 (2005) - [c56]Boulos Harb, Sampath Kannan, Andrew McGregor:
Approximating the Best-Fit Tree Under Lp Norms. APPROX-RANDOM 2005: 123-133 - [c55]Sampath Kannan, Andrew McGregor:
More on reconstructing strings from random traces: insertions and deletions. ISIT 2005: 297-301 - [c54]Joan Feigenbaum, Sampath Kannan, Andrew McGregor, Siddharth Suri, Jian Zhang:
Graph distances in the streaming model: the value of space. SODA 2005: 745-754 - [c53]Arvind Easwaran
, Sampath Kannan, Oleg Sokolsky:
Steering of Discrete Event Systems: Control Theory Approach. RV@CAV 2005: 21-39 - 2004
- [j32]Moonzoo Kim, Mahesh Viswanathan, Sampath Kannan, Insup Lee, Oleg Sokolsky:
Java-MaC: A Run-Time Assurance Approach for Java Programs. Formal Methods Syst. Des. 24(2): 129-155 (2004) - [j31]Rajeev Alur, Sampath Kannan, Salvatore La Torre:
Polyhedral Flows in Hybrid Automata. Formal Methods Syst. Des. 24(3): 261-280 (2004) - [j30]Sampath Kannan, Mihalis Yannakakis:
Guest Editors' foreword. J. Comput. Syst. Sci. 68(2): 237 (2004) - [j29]Volkan Isler, Sampath Kannan, Kostas Daniilidis, Pavel Valtr:
VC-Dimension of Exterior Visibility. IEEE Trans. Pattern Anal. Mach. Intell. 26(5): 667-671 (2004) - [j28]Leslie 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) - [c52]Tugkan Batu, Sudipto Guha, Sampath Kannan:
Inferring Mixtures of Markov Chains. COLT 2004: 186-199 - [c51]Joan Feigenbaum, Sampath Kannan, Andrew McGregor, Siddharth Suri, Jian Zhang:
On Graph Problems in a Semi-streaming Model. ICALP 2004: 531-543 - [c50]Volkan Isler, Sampath Kannan, Kostas Daniilidis:
Sampling based sensor-network deployment. IROS 2004: 1780-1785 - [c49]Tugkan Batu, Sampath Kannan, Sanjeev Khanna, Andrew McGregor:
Reconstructing strings from random traces. SODA 2004: 910-918 - [c48]Volkan Isler, Sampath Kannan, Sanjeev Khanna:
Randomized pursuit-evasion with limited visibility. SODA 2004: 1060-1069 - [c47]Stanislav Angelov, Boulos Harb, Sampath Kannan, Sanjeev Khanna, Junhyong Kim, Li-San Wang:
Genome Identification and Classification by Short Oligo Arrays. WABI 2004: 400-411 - [c46]Volkan Isler, Sampath Kannan, Sanjeev Khanna:
Locating and Capturing an Evader in a Polygonal Environment. WAFR 2004: 251-266 - 2003
- [c45]Volkan Isler, Sampath Kannan, Kostas Daniilidis:
Local exploration: online algorithms and a probabilistic framework. ICRA 2003: 1913-1920 - [c44]Sampath Kannan, Sanjeev Khanna:
Selection with monotone comparison cost. SODA 2003: 10-17 - 2002
- [j27]Joan Feigenbaum, Sampath Kannan, Martin Strauss, Mahesh Viswanathan:
Testing and Spot-Checking of Data Streams. Algorithmica 34(1): 67-80 (2002) - [j26]Richard J. Anderson, Sampath Kannan, Howard J. Karloff, Richard E. Ladner:
Thresholds and optimal binary comparison search trees. J. Algorithms 44(2): 338-358 (2002) - [j25]Joan Feigenbaum, Sampath Kannan, Martin Strauss, Mahesh Viswanathan:
An Approximate L1-Difference Algorithm for Massive Data Streams. SIAM J. Comput. 32(1): 131-151 (2002) - [c43]Moonjoo Kim, Sampath Kannan, Insup Lee, Oleg Sokolsky
, Mahesh Viswanathan:
Computational Analysis of Run-time Monitoring - Fundamentals of Java-MaC. RV@FLoC 2002: 80-94 - 2001
- [c42]Richard J. Anderson, Sampath Kannan, Howard J. Karloff, Richard E. Ladner:
Thresholds and Optimal Binary Comparison Search Trees. FSTTCS 2001: 83-95 - [c41]Moonjoo Kim, Sampath Kannan, Insup Lee, Oleg Sokolsky, Mahesh Viswanathan:
Java-MaC: a Run-time Assurance Tool for Java Programs. RV@CAV 2001: 218-235 - 2000
- [j24]Funda Ergün, Sampath Kannan, Ravi Kumar, Ronitt Rubinfeld, Mahesh Viswanathan:
Spot-Checkers. J. Comput. Syst. Sci. 60(3): 717-751 (2000) - [c40]Yael Gertner, Sampath Kannan, Tal Malkin, Omer Reingold, Mahesh Viswanathan:
The Relationship between Public Key Encryption and Oblivious Transfer. FOCS 2000: 325-335 - [c39]Leslie Ann Goldberg, Mark Jerrum, Sampath Kannan, Mike Paterson:
A Bound on the Capacity of Backoff and Acknowledgement-Based Protocols. ICALP 2000: 705-716 - [c38]Joan Feigenbaum, Sampath Kannan, Martin Strauss, Mahesh Viswanathan:
Testing and spot-checking of data streams (extended abstract). SODA 2000: 165-174
1990 – 1999
- 1999
- [j23]Joan Feigenbaum, Sampath Kannan, Moshe Y. Vardi, Mahesh Viswanathan:
The Complexity of Problems on Graphs Represented as OBDDs. Chic. J. Theor. Comput. Sci. 1999 (1999) - [j22]Martin Farach
, Sampath Kannan:
Efficient Algorithms for Inverting Evolution. J. ACM 46(4): 437-449 (1999) - [c37]Moonjoo Kim, Mahesh Viswanathan, Hanêne Ben-Abdallah
, Sampath Kannan, Insup Lee, Oleg Sokolsky:
Formally specified monitoring of temporal properties. ECRTS 1999: 114-122 - [c36]Joan Feigenbaum, Sampath Kannan, Martin Strauss, Mahesh Viswanathan:
An Approximate L1-Difference Algorithm for Massive Data Streams. FOCS 1999: 501-511 - [c35]Rajeev Alur, Sampath Kannan, Salvatore La Torre:
Polyhedral Flows in Hybrid Automata. HSCC 1999: 5-18 - [c34]Rajeev Alur, Sampath Kannan, Mihalis Yannakakis:
Communicating Hierarchical State Machines. ICALP 1999: 169-178 - [c33]Insup Lee, Sampath Kannan, Moonjoo Kim, Oleg Sokolsky, Mahesh Viswanathan:
Runtime Assurance Based On Formal Specifications. PDPTA 1999: 279-287 - [c32]Oleg Sokolsky, Sampath Kannan, Moonjoo Kim, Insup Lee, Mahesh Viswanathan:
Steering of real-time systems based on monitoring and checking. WORDS (Fall) 1999: 11-18 - [r1]Charles H. Goldberg, Jianer Chen, Viera Krnanová Proulx, Joan Feigenbaum, Sampath Kannan:
Information Structures. Handbook of Discrete and Combinatorial Mathematics 1999 - 1998
- [j21]Lenore Cowen
, Joan Feigenbaum, Sampath Kannan:
A Formal Framework for Evaluating Heuristic Programs. Ann. Math. Artif. Intell. 22(3-4): 193-206 (1998) - [j20]Bhaskar DasGupta, Tao Jiang
, Sampath Kannan, Ming Li, Elizabeth Sweedyk:
On the Complexity and Approximation of Syntenic Distance. Discret. Appl. Math. 88(1-3): 59-82 (1998) - [j19]Sampath Kannan, Todd A. Proebsting:
Register Allocation in Structured Programs. J. Algorithms 29(2): 223-237 (1998) - [j18]