( en | de | ru )

 

Disambiguation of "Wetzlinger, Mark"

Author of the publication

copydeleteadd this publication to your clipboard
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.

, , , , , , , , , , , , and . ARCH, volume 74 of EPiC Series in Computing, page 16-48. EasyChair, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

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 Lipschitz

 

Other publications of authors with the same name

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