( en | de | ru )

 

Disambiguierung von "Samanta, Roopsha"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Parameterized Verification of Systems with Global Synchronization and Guards.

, , , , und . CAV (1), Volume 12224 von Lecture Notes in Computer Science, Seite 299-323. Springer, (2020)

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.

Ayan Samanta

Devranjan Samanta

Ramesh Samanta

Susruta Samanta

Avik Samanta

 

Weitere Publikationen von Autoren mit dem selben Namen

HACCLE: An Ecosystem for Building Secure Multi-Party Computations., , , , , , , , , und 9 andere Autor(en). CoRR, (2020)Lipschitz Robustness of Timed I/O Systems., , und . VMCAI, Volume 9583 von Lecture Notes in Computer Science, Seite 250-267. Springer, (2016)From Non-preemptive to Preemptive Scheduling Using Synchronization Synthesis., , , , , , und . CAV (2), Volume 9207 von Lecture Notes in Computer Science, Seite 180-197. Springer, (2015)Towards Algorithmic Synthesis of Synchronization for Shared-Memory Concurrent Programs. SYNT, Volume 84 von EPTCS, Seite 17-32. (2012)Optimizing Solution Quality in Synchronization Synthesis., , , , , , und . CoRR, (2015)Explainable Program Synthesis by Localizing Specifications., , , , und . Proc. ACM Program. Lang., 7 (OOPSLA2): 2171-2195 (Oktober 2023)QuickSilver: modeling and parameterized verification for distributed agreement-based systems., , , , und . Proc. ACM Program. Lang., 5 (OOPSLA): 1-31 (2021)ImageEye: Batch Image Processing Using Program Synthesis., , , und . CoRR, (2023)Joint Interference Cancellation and Channel Shortening in Multiuser-MIMO Systems., , und . IEEE Trans. Vehicular Technology, 56 (2): 652-660 (2007)Cost-Aware Automatic Program Repair., , und . CoRR, (2013)