PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Ray, Rajarshi"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Design Principles for an Extendable Verification Tool for Hybrid Systems.

, und . ADHS, Volume 42 von IFAC Proceedings Volumes, Seite 244-249. Elsevier, (2009)

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.

Rajarshi Roy University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

Calcul d'Atteignabilité des systèmes hybrides avec des fonctions de support. (Reachability Analysis of Hybrid Systems using Support Functions).. Grenoble Alpes University, France, (2012)An Efficient Algorithm for Vertex Enumeration of Two-Dimensional Projection of Polytopes., und . CoRR, (2016)Parallel reachability analysis of hybrid systems in XSpeed., , , , und . STTT, 21 (4): 401-423 (2019)Simultaneous Solving of Batched Linear Programs on a GPU., und . CoRR, (2018)Design Principles for an Extendable Verification Tool for Hybrid Systems., und . ADHS, Volume 42 von IFAC Proceedings Volumes, Seite 244-249. Elsevier, (2009)Comparison of Neural Network Algorithms for Face Recognition., , , , , und . Simulation, 65 (1): 37-51 (1995)ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics., , , , , , , und . ARCH@CPSIoTWeek, Volume 61 von EPiC Series in Computing, Seite 14-40. EasyChair, (2019)Simultaneous Solving of Batched Linear Programs on a GPU., und . ICPE, Seite 59-66. ACM, (2019)ARCH-COMP19 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics., , und . ARCH@CPSIoTWeek, Volume 61 von EPiC Series in Computing, Seite 120-128. EasyChair, (2019)ASAC: automatic sensitivity analysis for approximate computing., , , und . LCTES, Seite 95-104. ACM, (2014)