Author of the publication

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.

 

Other publications of authors with the same name

Cutting a Convex Polyhedron Out of a Sphere., , and . Graphs and Combinatorics, 27 (3): 307-319 (2011)Probabilistic reachability analysis of the tap withdrawal circuit in caenorhabditis elegans., , , , , , and . HLDVT, page 170-177. IEEE, (2016)Robustness of Neural Networks to Parameter Quantization., , and . From Reactive Systems to Cyber-Physical Systems, volume 11500 of Lecture Notes in Computer Science, page 146-161. Springer, (2019)Modeling and Performance Evaluation of ANFIS Controller-Based Bidirectional Power Management Scheme in Plug-In Electric Vehicles Integrated With Electric Grid., , , , , , and . IEEE Access, (2021)Model-order reduction of ion channel dynamics using approximate bisimulation., , , , , , , and . Theor. Comput. Sci., (2015)A Simplex Architecture for Hybrid Systems Using Barrier Certificates., , , , and . SAFECOMP, volume 10488 of Lecture Notes in Computer Science, page 117-131. Springer, (2017)Probabilistic reachability for multi-parameter bifurcation analysis of cardiac alternans., , , , , and . Theor. Comput. Sci., (2019)Neural Programming: Towards adaptive control in Cyber-Physical Systems., , , , , and . CDC, page 6978-6985. IEEE, (2015)Cutting a Convex Polyhedron Out of a Sphere, , and . CoRR, (2009)Tight Continuous-Time Reachtubes for Lagrangian Reachability., , , , and . CDC, page 6854-6861. IEEE, (2018)