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

Using Z3 for Formal Modeling and Verification of FNN Global Robustness (S).

Y. Zhang, Z. Wei, X. Zhang, and M. Sun. SEKE, page 110-113. KSI Research Inc., (2023)

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.

Zhang Zhang

Meng Zhang

Methods and implementations of road-network matchingM. Zhang. TU München, (2009)

Yan Zhang

Ning Zhang

Gang Zhang

Other publications of authors with the same name

Energy-Efficient Resource Allocation and Power Control for Downlink Multi-Cell OFDMA Networks.X. Gao, K. Yang, J. Wu, Y. Zhang, and J. An. GLOBECOM, page 1-6. IEEE, (2017)Flying Watchdog-Based Guard Patrol with Check Point Data Verification.E. Kuantama, A. Seth, A. James, and Y. Zhang. Future Internet, 15 (10): 340 (2023)Symplectic simulation of dark solitons motion for nonlinear Schrödinger equation.B. Zhu, Y. Tang, R. Zhang, and Y. Zhang. Numer. Algorithms, 81 (4): 1485-1503 (2019)融合矩阵分解与距离度量学习的社会化推荐算法 (Social Recommendation Method Integrating Matrix Factorization and Distance Metric Learning).J. Wen, D. Dai, J. Yu, M. Gao, and Y. Zhang. 计算机科学, 45 (10): 196-201 (2018)Bootstrapped Self-Supervised Training with Monocular Video for Semantic Segmentation and Depth Estimation.Y. Zhang, and J. Leonard. IROS, page 2420-2427. IEEE, (2021)Efficient distance-generalized (α, β)-core decomposition on bipartite graphs.Z. Hua, Y. Zhang, and L. Yuan. ACM TUR-C, page 162-163. ACM, (2023)Spatio-Temporal Position-Extended and Gated-Deep Network for Next POI Recommendation.P. Lan, Y. Zhang, H. Xiang, Y. Wang, and W. Zhou. DASFAA (2), volume 13944 of Lecture Notes in Computer Science, page 505-520. Springer, (2023)A Stratified Model for Short-Term Prediction of Time Series.Y. Zhang, M. Orgun, R. Baxter, and W. Lin. PRICAI, volume 6230 of Lecture Notes in Computer Science, page 372-383. Springer, (2010)A hierarchical-learning-based crowdedness estimation mechanism for crowdsensing buses.X. Niu, Z. Wang, Q. Ye, Y. Zhang, and J. Wang. IPCCC, page 1-8. IEEE Computer Society, (2017)Social Network Rumor Detection Method Combining Dual-Attention Mechanism With Graph Convolutional Network.X. Liu, Z. Zhao, Y. Zhang, C. Liu, and F. Yang. IEEE Trans. Comput. Soc. Syst., 10 (5): 2350-2361 (October 2023)

BibSonomy

Disambiguation of "Zhang, Yihao"

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

Using Z3 for Formal Modeling and Verification of FNN Global Robustness (S).

Please choose a person to relate this publication to

Zhang Zhang

Meng Zhang

Yan Zhang

Ning Zhang

Gang Zhang

Other publications of authors with the same name

Disambiguation

BibSonomy

Disambiguation of "Zhang, Yihao"

copydeleteadd this publication to your clipboardcommunity posthistory of this postURLDOIBibTeXEndNoteAPAChicagoDIN 1505HarvardMSOffice XML Using Z3 for Formal Modeling and Verification of FNN Global Robustness (S).

Please choose a person to relate this publication to

Zhang Zhang

Meng Zhang

Yan Zhang

Ning Zhang

Gang Zhang

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

Using Z3 for Formal Modeling and Verification of FNN Global Robustness (S).