( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Out-of-Distribution Detection with Distance Guarantee in Deep Generative Models.

, , , , , , , и . CoRR, (2020)

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.

Chen Chen

Chen Chen

Shih Chen Chen

Yi-Chen Chen

Chen-Loung Chen

 

Другие публикации лиц с тем же именем

MPISE: Symbolic Execution of MPI Programs., , , , и . CoRR, (2014)A spectral clustering-based optimal deployment method for scientific application in cloud computing., , , , и . IJWGS, 8 (1): 31-55 (2012)A Predictive Runtime Verification Framework for Cyber-Physical Systems., , и . SERE (Companion), стр. 223-227. IEEE, (2014)The Java Pathfinder Workshop 2019., , , , , , , , , и 28 other автор(ы). ACM SIGSOFT Softw. Eng. Notes, 45 (2): 20-22 (2020)Symbolic Execution of Floating-point Programs: How far are we?, , и . APSEC, стр. 179-188. IEEE, (2022)Combining Symbolic Execution and Model Checking to Verify MPI Programs., , , , , , и . CoRR, (2018)Type and interval aware array constraint solving for symbolic execution., , , , и . ISSTA, стр. 361-373. ACM, (2021)An Operational Semantics for Model Checking Long Running Transactions., , и . WS-FM, том 8379 из Lecture Notes in Computer Science, стр. 168-187. Springer, (2013)Collaborative Verification of Uninterpreted Programs., , , и . TASE, том 13299 из Lecture Notes in Computer Science, стр. 148-154. Springer, (2022)Symbolic verification of regular properties., , , , и . ICSE, стр. 871-881. ACM, (2018)