( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Extending Parikh's Theorem to Weighted and Probabilistic Context-Free Grammars.

, , и . QEST, том 10503 из Lecture Notes in Computer Science, стр. 3-19. Springer, (2017)

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.

Viswanathan Ramaswami

Viswanathan Subramanian

Kartik Viswanathan

Mahesh Darna

Mahesh Kandasamy

 

Другие публикации лиц с тем же именем

Deciding Accuracy of Differential Privacy Schemes., , , , и . CoRR, (2020)Statistical model checking for unbounded until formulas., и . Int. J. Softw. Tools Technol. Transf., 17 (4): 417-427 (2015)Optimal prediction of synchronization-preserving races., , и . Proc. ACM Program. Lang., 5 (POPL): 1-29 (2021)Testing and Spot-Checking of Data Streams., , , и . Algorithmica, 34 (1): 67-80 (2002)On the expressiveness and complexity of randomization in finite state monitors., , и . J. ACM, 56 (5): 26:1-26:44 (2009)Comment: Projection Methods Require Black Border Removal., , и . IEEE Trans. Pattern Anal. Mach. Intell., 31 (4): 762 (2009)Quantitative Information Flow in Boolean Programs., , и . POST, том 8414 из Lecture Notes in Computer Science, стр. 103-119. Springer, (2014)Modular Verification of Protocol Equivalence in the Presence of Randomness., , и . ESORICS (1), том 10492 из Lecture Notes in Computer Science, стр. 187-205. Springer, (2017)Probabilistic Büchi Automata with Non-extremal Acceptance Thresholds., , и . VMCAI, том 6538 из Lecture Notes in Computer Science, стр. 103-117. Springer, (2011)LEVER: A Tool for Learning Based Verification., и . CAV, том 4144 из Lecture Notes in Computer Science, стр. 471-474. Springer, (2006)