Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Parallelization Techniques for Verifying Neural Networks.

H. Wu, A. Ozdemir, A. Zeljic, A. Irfan, K. Julian, D. Gopinath, S. Fouladighaleh, G. Katz, C. Pasareanu, and C. Barrett. 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. You can also use the button next to the name to display some publications already assigned to the person.

Jinglan Wu

Recovery of citric acid from fermentation broth using simulated moving bed technology: = Reinigung von Zitronensäure aus Fermentationslösung durch kontinuierliche ChromatographieJ. Wu. Uni Erlangen-Nürnberg, (2009)

Jinjin Wu

Haiyan Wu

Changzhu Wu

Yinghua Wu

Other publications of authors with the same name

Improving SAT-solving with Machine Learning.H. Wu. SIGCSE, page 787-788. ACM, (2017)Multi-Scale Spatial-Temporal Integration Convolutional Tube for Human Action Recognition.H. Wu, J. Liu, X. Zhu, M. Wang, and Z. Zha. IJCAI, page 753-759. ijcai.org, (2020)Scheduled for July 2020, Yokohama, Japan, postponed due to the Corona pandemic..Lemur: Integrating Large Language Models in Automated Program Verification.H. Wu, C. Barrett, and N. Narodytska. CoRR, (2023)Cross-Fiber Spatial-Temporal Co-enhanced Networks for Video Action Recognition.H. Wu, Z. Zha, X. Wen, Z. Chen, D. Liu, and X. Chen. ACM Multimedia, page 620-628. ACM, (2019)DeepCert: Verification of Contextually Relevant Robustness for Neural Network Image Classifiers.C. Paterson, H. Wu, J. Grese, R. Calinescu, C. Pasareanu, and C. Barrett. SAFECOMP, volume 12852 of Lecture Notes in Computer Science, page 3-17. Springer, (2021)SAT Solving in the Serverless Cloud.A. Ozdemir, H. Wu, and C. Barrett. FMCAD, page 241-245. IEEE, (2021)Efficient Neural Network Analysis with Sum-of-Infeasibilities.H. Wu, A. Zeljic, G. Katz, and C. Barrett. TACAS (1), volume 13243 of Lecture Notes in Computer Science, page 143-163. Springer, (2022)Mutually Reinforced Spatio-Temporal Convolutional Tube for Human Action Recognition.H. Wu, J. Liu, Z. Zha, Z. Chen, and X. Sun. IJCAI, page 968-974. ijcai.org, (2019)GW-MoE: Resolving Uncertainty in MoE Router with Global Workspace Theory.H. Wu, Z. Qiu, Z. Wang, H. Zhao, and J. Fu. CoRR, (2024)Parallelization Techniques for Verifying Neural Networks.H. Wu, A. Ozdemir, A. Zeljic, A. Irfan, K. Julian, D. Gopinath, S. Fouladighaleh, G. Katz, C. Pasareanu, and C. Barrett. CoRR, (2020)

BibSonomy

Disambiguation of "Wu, Haoze"

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Parallelization Techniques for Verifying Neural Networks.

Please choose a person to relate this publication to

Jinglan Wu

Jinjin Wu

Haiyan Wu

Changzhu Wu

Yinghua Wu

Other publications of authors with the same name

Disambiguation

BibSonomy

Disambiguation of "Wu, Haoze"

copydeleteadd this publication to your clipboardcommunity posthistory of this postURLDOIBibTeXEndNoteAPAChicagoDIN 1505HarvardMSOffice XML Parallelization Techniques for Verifying Neural Networks.

Please choose a person to relate this publication to

Jinglan Wu

Jinjin Wu

Haiyan Wu

Changzhu Wu

Yinghua Wu

Other publications of authors with the same name

Disambiguation

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Parallelization Techniques for Verifying Neural Networks.