Author of the publication

Learning-Based Assume-Guarantee Regression Verification.

, , and . CAV (1), volume 9779 of Lecture Notes in Computer Science, page 310-328. Springer, (2016)

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

Learning stratified 3D reconstruction., , , , and . Sci. China Inf. Sci., 61 (2): 023101:1-023101:16 (2018)Prevention of Fault Propagation in Web Service: a Complex Network Approach., , , , , and . J. Web Eng., 14 (1&2): 136-150 (2015)Competitive molecular docking approach for predicting estrogen receptor subtype α agonists and antagonists., , , , , , , and . BMC Bioinform., 15 (S-11): S4 (2014)Learning-Based Assume-Guarantee Regression Verification., , and . CAV (1), volume 9779 of Lecture Notes in Computer Science, page 310-328. Springer, (2016)Whole genome sequencing of 35 individuals provides insights into the genetic architecture of Korean population., , , , , , , , , and . BMC Bioinform., 15 (S-11): S6 (2014)Rope3D: The Roadside Perception Dataset for Autonomous Driving and Monocular 3D Object Detection Task., , , , , , , and . CVPR, page 21309-21318. IEEE, (2022)DAIR-V2X: A Large-Scale Dataset for Vehicle-Infrastructure Cooperative 3D Object Detection., , , , , , , , , and 1 other author(s). CVPR, page 21329-21338. IEEE, (2022)Learning-Based Super-Resolution System Using Single Facial Image and Multi-resolution Wavelet Synthesis., , , and . ACCV (2), volume 4844 of Lecture Notes in Computer Science, page 96-105. Springer, (2007)Research on ill-conditioned problem and modeling precision in GM(1, 1) model., and . SMC, page 622-627. IEEE, (2005)Studies of detrusor-sphincter synergia and dyssynergia during micturition in rats via fractional Brownian motion., , , , and . IEEE Trans. Biomed. Eng., 47 (8): 1066-1073 (2000)