( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Higher Order Modal Fixed Point Logic.

, и . CONCUR, том 3170 из Lecture Notes in Computer Science, стр. 512-528. Springer, (2004)

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

 

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

Conformance testing in the presence of multiple faults., и . SODA, стр. 1136-1145. SIAM, (2005)Document recognition: an attribute grammar approach., , и . Document Recognition, том 2660 из SPIE Proceedings, стр. 101-113. SPIE, (1996)Testing and Spot-Checking of Data Streams., , , и . Algorithmica, 34 (1): 67-80 (2002)Exact quantitative probabilistic model checking through rational search., , , , и . Formal Methods Syst. Des., 56 (1): 90-126 (2020)Spot-Checkers., , , , и . J. Comput. Syst. Sci., 60 (3): 717-751 (2000)Deciding Differential Privacy of Online Algorithms with Multiple Variables., , , и . CCS, стр. 1761-1775. ACM, (2023)Query Automata for Nested Words., и . MFCS, том 5734 из Lecture Notes in Computer Science, стр. 561-573. Springer, (2009)Actively Learning to Verify Safety for FIFO Automata., , , и . FSTTCS, том 3328 из Lecture Notes in Computer Science, стр. 494-505. Springer, (2004)Deciding Concurrent Planar Monotonic Linear Hybrid Systems., , и . FORMATS, том 9268 из Lecture Notes in Computer Science, стр. 256-269. Springer, (2015)Modular Verification of Protocol Equivalence in the Presence of Randomness., , и . ESORICS (1), том 10492 из Lecture Notes in Computer Science, стр. 187-205. Springer, (2017)