Items where Author is "Sun, Y."
Up a level
Group by: Type | No Grouping
Number of items: 2.
Article
Sun, Y., Li, J., Chen, S. , Andrienko, G. ORCID: 0000-0002-8574-6295, Andrienko, N. ORCID: 0000-0002-8574-6295 & Zhang, K. (2022). A learning-based approach for efficient visualization construction. Visual Informatics, 6(1), pp. 14-25. doi: 10.1016/j.visinf.2022.01.001
Brain, M. ORCID: 0000-0003-4216-7151, Schanda, F. & Sun, Y. (2019). Building Better Bit-Blasting for Floating-Point Problems. Tools and Algorithms for the Construction and Analysis of Systems, 11427, pp. 79-98. doi: 10.1007/978-3-030-17462-0_5