( en | de | ru )

 

Disambiguierung von "Viswanathan, Mahesh"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Spot-Checkers

, , , , und . J. Comput. Syst. Sci., 60 (3): 717-751 (2000)
DOI: 10.1006/jcss.1999.1692

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Viswanathan Ramaswami

Viswanathan Subramanian

Kartik Viswanathan

Mahesh Darna

Mahesh Kandasamy

 

Weitere Publikationen von Autoren mit dem selben Namen

Deciding Accuracy of Differential Privacy Schemes., , , , und . CoRR, (2020)Exact quantitative probabilistic model checking through rational search., , , , und . Formal Methods Syst. Des., 56 (1): 90-126 (2020)Spot-Checkers., , , , und . J. Comput. Syst. Sci., 60 (3): 717-751 (2000)STORMED Hybrid Systems., , , und . ICALP (2), Volume 5126 von Lecture Notes in Computer Science, Seite 136-147. Springer, (2008)Deciding Concurrent Planar Monotonic Linear Hybrid Systems., , und . FORMATS, Volume 9268 von Lecture Notes in Computer Science, Seite 256-269. Springer, (2015)Relating Syntactic and Semantic Perturbations of Hybrid Automata., , und . CONCUR, Volume 118 von LIPIcs, Seite 26:1-26:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)Query Automata for Nested Words., und . MFCS, Volume 5734 von Lecture Notes in Computer Science, Seite 561-573. Springer, (2009)Actively Learning to Verify Safety for FIFO Automata., , , und . FSTTCS, Volume 3328 von Lecture Notes in Computer Science, Seite 494-505. Springer, (2004)Statistical model checking for unbounded until formulas., und . Int. J. Softw. Tools Technol. Transf., 17 (4): 417-427 (2015)How Can Automatic Feedback Help Students Construct Automata?, , , , , und . ACM Trans. Comput. Hum. Interact., 22 (2): 9:1-9:24 (2015)