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

Comparison of sigma-point filters for state estimation of diabetes models., , , , , , and . SMC, page 2476-2481. IEEE, (2014)Simulation Methods., and . Guide to Advanced Empirical Software Engineering, Springer, (2008)Multi-Scale Investigation of Human Renal Tissue in Three Dimensions., , , , , , , , , and 3 other author(s). IEEE Trans. Medical Imaging, 41 (12): 3489-3497 (2022)Expressivity of ReLU-Networks under Convex Relaxations., , , and . CoRR, (2023)First Three Years of the International Verification of Neural Networks Competition (VNN-COMP)., , , , and . CoRR, (2023)Planning for an undergraduate level computer-based science education system that will be responsive to society's needs in the 1970's., , and . AFIPS Fall Joint Computing Conference, volume 37 of AFIPS Conference Proceedings, page 257-267. AFIPS / ACM, (1970)Complete Verification via Multi-Neuron Relaxation Guided Branch-and-Bound., , , and . ICLR, OpenReview.net, (2022)Certify or Predict: Boosting Certified Robustness with Compositional Architectures., , and . ICLR, OpenReview.net, (2021)Quadrocopter ball juggling., , and . IROS, page 5113-5120. IEEE, (2011)A controllable flying vehicle with a single moving part., , and . ICRA, page 3275-3281. IEEE, (2016)