Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design - FMCAD 2020

Published 2020

Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design - FMCAD 2021

Published 2021

Proceedings of the 2020 DigitalFUTURES : The 2nd International Conference on Computational Design and Robotic Fabrication (CDRF 2020)

Published 2021

Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II

Published 2021

Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I

Published 2021

Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II

Published 2019

Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II

Published 2020

Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I

Published 2020

Proceedings of the 2021 DigitalFUTURES : The 3rd International Conference on Computational Design and Robotic Fabrication (CDRF 2021)

Published 2022

Deep Learning Methods for Lung Cancer Segmentation in Whole-Slide Histopathology Images - The ACDC@LungHP Challenge 2019

by Chen, H., Chen, Y.-C, Hong, Y., Jiang, Y., Jung, H., Khanagha, V., Ko, J., Lee, B., Li, D., Li, N., Li, Y., Li, Z., Litjens, G., Liu, L., Liu, Y., Liu, Z., Maevskikh, P., Schuffler, P.J, Sun, S., Sun, X., Tan, T., Tang, Y., Teng, X., Wang, C.-W, Xiao, Y., Yan, J., Yu, L., Yu, Q., Yurovskiy, V., Zhang, J., Zhang, Q., Zhao, H., Zheng, Y.
Published 2021