( en | de | ru )

 

Disambiguierung von "Viswanathan, Mahesh"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Statistical verification of dynamical systems using set oriented methods.

, , , , und . HSCC, Seite 169-178. ACM, (2015)

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

Quantitative Information Flow in Boolean Programs., , und . POST, Volume 8414 von Lecture Notes in Computer Science, Seite 103-119. Springer, (2014)Deciding Concurrent Planar Monotonic Linear Hybrid Systems., , und . FORMATS, Volume 9268 von Lecture Notes in Computer Science, Seite 256-269. Springer, (2015)Modular Verification of Protocol Equivalence in the Presence of Randomness., , und . ESORICS (1), Volume 10492 von Lecture Notes in Computer Science, Seite 187-205. Springer, (2017)STORMED Hybrid Systems., , , und . ICALP (2), Volume 5126 von Lecture Notes in Computer Science, Seite 136-147. Springer, (2008)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)Spot-Checkers., , , , und . J. Comput. Syst. Sci., 60 (3): 717-751 (2000)Exact quantitative probabilistic model checking through rational search., , , , und . Formal Methods Syst. Des., 56 (1): 90-126 (2020)Deciding Differential Privacy of Online Algorithms with Multiple Variables., , , und . CCS, Seite 1761-1775. ACM, (2023)Document recognition: an attribute grammar approach., , und . Document Recognition, Volume 2660 von SPIE Proceedings, Seite 101-113. SPIE, (1996)Conformance testing in the presence of multiple faults., und . SODA, Seite 1136-1145. SIAM, (2005)