( en | de | ru )

 

Disambiguation of "Kannan, Sampath"

Author of the publication

copydeleteadd this publication to your clipboard
Computational Analysis of Run-time Monitoring - Fundamentals of Java-MaC.

, , , , and . RV@FLoC, volume 70 of Electronic Notes in Theoretical Computer Science, page 80-94. Elsevier, (2002)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Prahladavaradan Sampath

Karuppaiah Kannan

Srinivasaraghavan Kannan

Somasundar Kannan

Madhuvanthi Kannan

 

Other publications of authors with the same name

An Approximate L1-Difference Algorithm for Massive Data Streams., , , and . SIAM J. Comput., 32 (1): 131-151 (2002)A Fast Algorithm for the Computation and Enumeration of Perfect Phylogenies when the Number of Character States is Fixed., and . SODA, page 595-603. ACM/SIAM, (1995)Optimal Provision-After-Wait in Healthcare., , and . CoRR, (2013)Hedging Bets in Markov Decision Processes., , , and . CSL, volume 62 of LIPIcs, page 29:1-29:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)Polyhedral Flows in Hybrid Automata., , and . Formal Methods Syst. Des., 24 (3): 261-280 (2004)Short Communication: Correction to 'Producing Good Code for the case Statement'., and . Softw. Pract. Exp., 24 (2): 233 (1994)see: SPE 15: 1021-1024 (October 1985).Triangulating 3-Colored Graphs., and . SIAM J. Discret. Math., 5 (2): 249-258 (1992)Spot-Checkers, , , , and . J. Comput. Syst. Sci., 60 (3): 717-751 (2000)A Formal Framework for Evaluating Heuristic Programs., , and . Ann. Math. Artif. Intell., 22 (3-4): 193-206 (1998)The Generation of Random Permutations on the Fly., and . Inf. Process. Lett., 28 (4): 207-212 (1988)