Author of the publication

Probabilistic reachability analysis of the tap withdrawal circuit in caenorhabditis elegans.

, , , , , , and . HLDVT, page 170-177. IEEE, (2016)

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

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)Probabilistic reachability analysis of the tap withdrawal circuit in caenorhabditis elegans., , , , , , and . HLDVT, page 170-177. IEEE, (2016)Cutting a Convex Polyhedron Out of a Sphere., , and . Graphs and Combinatorics, 27 (3): 307-319 (2011)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)Tight Continuous-Time Reachtubes for Lagrangian Reachability., , , , and . CDC, page 6854-6861. IEEE, (2018)Model Checking Tap Withdrawal in C. Elegans., , , , , and . HSB, volume 9271 of Lecture Notes in Computer Science, page 195-210. Springer, (2015)Under the Hood of a Stand-Alone Lagrangian Reachability Tool., , , , , and . ARCH@CPSIoTWeek, volume 61 of EPiC Series in Computing, page 211-219. EasyChair, (2019)Cutting a Convex Polyhedron Out of a Sphere, , and . CoRR, (2009)Neural Programming: Towards adaptive control in Cyber-Physical Systems., , , , , and . CDC, page 6978-6985. IEEE, (2015)Model-order reduction of ion channel dynamics using approximate bisimulation., , , , , , , and . Theor. Comput. Sci., (2015)