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

Computing bisimulation functions using SOS optimization and δ-decidability over the reals., , , and . HSCC, page 78-87. ACM, (2015)Cutting a Convex Polyhedron Out of a Sphere., , and . WALCOM, volume 5942 of Lecture Notes in Computer Science, page 94-101. Springer, (2010)Synthesizing Stealthy Reprogramming Attacks on Cardiac Devices., , , , , , , and . CoRR, (2018)Cutting a Cornered Convex Polygon Out of a Circle., , and . J. Comput., 5 (1): 4-11 (2010)An automated monitoring and environmental control system for laboratory-scale cultivation of oyster mushrooms using the Internet of Agricultural Thing (IoAT)., , , and . ICCA, page 207-212. ACM, (2022)Lagrangian Reachtubes: The Next Generation., , , , , and . CDC, page 1556-1563. IEEE, (2020)Synthesizing stealthy reprogramming attacks on cardiac devices., , , , , , , and . ICCPS, page 13-22. ACM, (2019)Human Activity Recognition Using Smartphone Sensors., , , , and . ICCCNT, page 1-5. IEEE, (2023)Brain Tumor Classification from MRI Images Using Convolutional Neural Network., , , , , and . IICAIET, page 1-6. IEEE, (2021)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)