( en | de | ru )

 

Disambiguierung von "Nigam, Vivek"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
On the Complexity of Verification of Time-Sensitive Distributed Systems: Technical Report.

, , , , und . CoRR, (2021)

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.

Santosh Nigam

Nagarajavel Vivekananthan

Vivek Venkataramani

Vivek Ramamurthy

Santosh Nigam

 

Weitere Publikationen von Autoren mit dem selben Namen

Bounded Memory Protocols and Progressing Collaborative Systems., , , und . ESORICS, Volume 8134 von Lecture Notes in Computer Science, Seite 309-326. Springer, (2013)Compound noise separation in digital circuits using blind source separation., , , und . Microelectron. J., 39 (8): 1083-1092 (2008)A Multi-UAV Co-Simulation Environment for Safety and Performance Analysis., , , , und . SBESC, Seite 1-8. IEEE, (2019)Bounded Memory Dolev-Yao Adversaries in Collaborative Systems., , , und . Formal Aspects in Security and Trust, Volume 6561 von Lecture Notes in Computer Science, Seite 18-33. Springer, (2010)Detection and diagnosis of deviations in distributed systems of autonomous agents., , , und . Math. Struct. Comput. Sci., 32 (9): 1254-1282 (Oktober 2022)Effect-dependent transformations for concurrent programs., , und . Sci. Comput. Program., (2018)A Model-based System Engineering Plugin for Safety Architecture Pattern Synthesis., , , , , , , , und . MODELSWARD, Seite 36-47. SCITEPRESS, (2022)Abstract effects and proof-relevant logical relations., , und . POPL, Seite 619-632. ACM, (2014)Algorithmic specifications in linear logic with subexponentials., und . PPDP, Seite 129-140. ACM, (2009)Automating Safety Proofs About Cyber-Physical Systems Using Rewriting Modulo SMT., und . WRLA@ETAPS, Volume 13252 von Lecture Notes in Computer Science, Seite 212-229. Springer, (2022)