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

Behavioral validation in Cyber-physical systems: Safety violations and beyond.. University of North Carolina, Chapel Hill, USA, (2022)base-search.net (ftcarolinadr:cdr.lib.unc.edu:gt54kz03r).Direct Construction of Program Alignment Automata for Equivalence Checking., , , and . CoRR, (2021)NExG: Provable and Guided State Space Exploration of Neural Network Control Systems using Sensitivity Approximation., , and . CoRR, (2022)The effect of large training set sizes on online Japanese Kanji and English cursive recognizers., , and . IWFHR, page 36-40. IEEE Computer Society, (2002)A Visual Method for Input of Uncertain Time-Oriented Data., and . AMIA, AMIA, (1997)Nonparametric multiple sample scale testing using U-statistics., and . Commun. Stat. Simul. Comput., 49 (11): 3019-3027 (2020)Towards locally and globally shape-aware reverse 3D modeling., , , , , , and . Comput. Aided Des., 44 (6): 537-553 (2012)Classification of Spirometry Using Stacked Autoencoder based Neural Network., , , , and . I2MTC, page 1-5. IEEE, (2019)Microphone based Smartphone enabled Spirometry Data Augmentation using Information Maximizing Generative Adversarial Network., , and . I2MTC, page 1-6. IEEE, (2020)On Generating A Variety of Unsafe Counterexamples for Linear Dynamical Systems., and . ADHS, volume 51 of IFAC-PapersOnLine, page 139-144. Elsevier, (2018)