( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
How Can Automatic Feedback Help Students Construct Automata?

, , , , , и . ACM Trans. Comput. Hum. Interact., 22 (2): 9:1-9:24 (2015)

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

 

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

Java-MaC: A Run-Time Assurance Approach for Java Programs., , , , и . Formal Methods Syst. Des., 24 (2): 129-155 (2004)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 Concurrent Planar Monotonic Linear Hybrid Systems., , и . FORMATS, том 9268 из Lecture Notes in Computer Science, стр. 256-269. Springer, (2015)Relating Syntactic and Semantic Perturbations of Hybrid Automata., , и . CONCUR, том 118 из LIPIcs, стр. 26:1-26:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)Stability Preserving Simulations and Bisimulations for Hybrid Systems., , и . IEEE Trans. Automat. Contr., 60 (12): 3210-3225 (2015)Verification of Bounded Discrete Horizon Hybrid Automata., , , и . IEEE Trans. Automat. Contr., 57 (6): 1445-1455 (2012)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)