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

Treating Cold Start in Product Search by Priors., , , , and . WWW (Companion Volume), page 77-78. ACM / IW3C2, (2020)IB-GAN: A Unified Approach for Multivariate Time Series Classification under Class Imbalance., , , , and . SDM, page 217-225. SIAM, (2022)Semantic Adversarial Deep Learning., , and . CAV (1), volume 10981 of Lecture Notes in Computer Science, page 3-26. Springer, (2018)Scenic: A Language for Scenario Specification and Data Generation., , , , , , and . CoRR, (2020)Sapo: Reachability Computation and Parameter Synthesis of Polynomial Dynamical Systems.. HSCC, page 29-34. ACM, (2017)pyHybrid Analysis: A Package for Semantics Analysis of Hybrid Systems., and . DSD, page 815-818. IEEE Computer Society, (2013)ϵ-Semantics computations on biological systems., , , and . Inf. Comput., (2014)Reachability Computation and Parameter Synthesis for Polynomial Dynamical Systems.. University of Udine, Italy, (2016)Counterexample-Guided Data Augmentation., , , , , and . IJCAI, page 2071-2078. ijcai.org, (2018)VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems., , , , , , and . CAV (1), volume 11561 of Lecture Notes in Computer Science, page 432-442. Springer, (2019)