( en | de | ru )

 

Disambiguierung von "Wetzlinger, Mark"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.

, , , , , , , und . ARCH@ADHS, Volume 80 von EPiC Series in Computing, Seite 1-31. EasyChair, (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.

Mark Yampolsky

Maßnahmen zur Sicherung von E2E-QoS bei verketteten Diensten. Uni München, (2009)

Mark Schütte

Crf2 - ein neues Antigen von Aspergillus fumigatus. TU Braunschweig, (2009)

Mark Yampolskiy

Maßnahmen zur Sicherung von E2E-QoS bei verketteten Diensten. Uni München, (2009)

Ana Markovi

Experimental and theoretical analysis of the mass transport through porous glass membranes with different pore diameters. Uni Magdeburg, (2009)

Mark Meisel

 

Weitere Publikationen von Autoren mit dem selben Namen

Adaptive Parameter Tuning for Reachability Analysis of Linear Systems., , und . CDC, Seite 5145-5152. IEEE, (2020)ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics., , , , , , , , , und 3 andere Autor(en). ARCH@ADHS, Volume 80 von EPiC Series in Computing, Seite 32-54. EasyChair, (2021)Fully-Automated Verification of Linear Systems Using Inner- and Outer-Approximations of Reachable Sets., , , und . CoRR, (2022)Backward Reachability Analysis of Perturbed Continuous-Time Linear Systems Using Set Propagation., und . CoRR, (2023)ARCH-COMP22 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics., , , und . ARCH@SAFECOMP, Volume 90 von EPiC Series in Computing, Seite 58-85. EasyChair, (2022)ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics., , , , , , und . ARCH, Volume 96 von EPiC Series in Computing, Seite 34-60. EasyChair, (2023)ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics., , , , , , , und . ARCH@ADHS, Volume 80 von EPiC Series in Computing, Seite 1-31. EasyChair, (2021)ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics., , , , , , , , , und 3 andere Autor(en). ARCH, Volume 74 von EPiC Series in Computing, Seite 16-48. EasyChair, (2020)Fully-Automated Verification of Linear Systems Using Reachability Analysis with Support Functions., , , und . HSCC, Seite 5:1-5:12. ACM, (2023)ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics., , , , , , , , , und 3 andere Autor(en). ARCH, Volume 96 von EPiC Series in Computing, Seite 61-88. EasyChair, (2023)