Guangyuan Li
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
22
Venues
16
Active years
2002–2025
Best venue rank
A*
Where they publish
Papers
22 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | AAAI | Cascaded Diffusion Models for Virtual Try-On: Improving Control and Resolution. | Guangyuan Li, Yongkang Wang, Junsheng Luan, Lei Zhao, Wei Xing, Huaizhong Lin, Binkai Ou |
| 2025 | AAAI | Incomplete Multi-view Clustering via Diffusion Contrastive Generation. | Yuanyang Zhang, Yijie Lin, Weiqing Yan, Li Yao, Xinhang Wan, Guangyuan Li, Chao Zhang, Guanzhou Ke, Jie Xu |
| 2024 | AAAI | ArtBank: Artistic Style Transfer with Pre-trained Diffusion Model and Implicit Style Prompt Bank. | Zhanjie Zhang, Quanwei Zhang, Wei Xing, Guangyuan Li, Lei Zhao, Jiakai Sun, Zehua Lan, Junsheng Luan, Yiling Huang, Huaizhong Lin |
| 2024 | CVPR | Rethinking Diffusion Model for Multi-Contrast MRI Super-Resolution. | Guangyuan Li, Chen Rao, Juncheng Mo, Zhanjie Zhang, Wei Xing, Lei Zhao |
| 2024 | CVPR | 3DGStream: On-the-Fly Training of 3D Gaussians for Efficient Streaming of Photo-Realistic Free-Viewpoint Videos. | Jiakai Sun, Han Jiao, Guangyuan Li, Zhanjie Zhang, Lei Zhao, Wei Xing |
| 2024 | ECCV | Rethinking Video Deblurring with Wavelet-Aware Dynamic Transformer and Diffusion Model. | Chen Rao, Guangyuan Li, Zehua Lan, Jiakai Sun, Junsheng Luan, Wei Xing, Lei Zhao, Huaizhong Lin, Jianfeng Dong, Dalong Zhang |
| 2024 | IJCAI | Towards Highly Realistic Artistic Style Transfer via Stable Diffusion with Step-aware and Layer-aware Prompt. | Zhanjie Zhang, Quanwei Zhang, Huaizhong Lin, Wei Xing, Juncheng Mo, Shuaicheng Huang, Jinheng Xie, Guangyuan Li, Junsheng Luan, Lei Zhao, Dalong Zhang, Lixia Chen |
| 2023 | ICCV | Rethinking Multi-Contrast MRI Super-Resolution: Rectangle-Window Cross-Attention Transformer and Arbitrary-Scale Upsampling. | Guangyuan Li, Lei Zhao, Jiakai Sun, Zehua Lan, Zhanjie Zhang, Jiafu Chen, Zhijie Lin, Huaizhong Lin, Wei Xing |
| 2023 | IJCAI | VGOS: Voxel Grid Optimization for View Synthesis from Sparse Inputs. | Jiakai Sun, Zhanjie Zhang, Jiafu Chen, Guangyuan Li, Boyan Ji, Lei Zhao, Wei Xing |
| 2022 | CVPR | Transformer-empowered Multi-scale Contextual Matching and Aggregation for Multi-contrast MRI Super-resolution. | Guangyuan Li, Jun Lv, Yapeng Tian, Qi Dou, Chengyan Wang, Chenliang Xu, Jing Qin |
| 2022 | MICCAI | WavTrans: Synergizing Wavelet and Cross-Attention Transformer for Multi-contrast MRI Super-Resolution. | Guangyuan Li, Jun Lyu, Chengyan Wang, Qi Dou, Jing Qin |
| 2018 | SETTA | Automatic Support of the Generation and Maintenance of Assurance Cases. | Chung-Ling Lin, Wuwei Shen, Tao Yue, Guangyuan Li |
| 2016 | SNPD | Verifying RTuinOS using VCC: From approach to practice. | Hongliang Liang, Daijie Zhang, Xiaodong Jia, Xiaoxiao Pei, Guangyuan Li |
| 2015 | CONCUR | Lazy Probabilistic Model Checking without Determinisation. | Ernst Moritz Hahn, Guangyuan Li, Sven Schewe, Andrea Turrini, Lijun Zhang |
| 2014 | ICFEM | Formal Throughput and Response Time Analysis of MARTE Models. | Gaogao Yan, Xueyang Zhu, Rongjie Yan, Guangyuan Li |
| 2012 | LPAR | Monitor-Based Statistical Model Checking for Weighted Metric Temporal Logic. | Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Axel Legay, Guangyuan Li, Danny Bgsted Poulsen, Amlie Stainer |
| 2012 | RV | Rewrite-Based Statistical Model Checking of WMTL. | Peter E. Bulychev, Alexandre David, Kim G. Larsen, Axel Legay, Guangyuan Li, Danny Bgsted Poulsen |
| 2009 | GRC | An efficient algorithm for mining frequent sequences in dynamic environment. | Guangyuan Li, Xiao Qin, Qinbin Hu, Changan Yuan |
| 2007 | FORTE | Improvements for the Symbolic Verification of Timed Automata. | Rongjie Yan, Guangyuan Li, Wenliang Zhang, Yunquan Peng |
| 2005 | ICTAC | Symbolic Model Checking of Finite Precision Timed Automata. | Rongjie Yan, Guangyuan Li, Zhisong Tang |
| 2003 | APLAS | Translating a Continuous-Time Temporal Logic into Timed Automata. | Guangyuan Li, Zhisong Tang |
| 2002 | ICFEM | Modelling Real-Time Systems with Continuous-Time Temporal Logic. | Guangyuan Li, Zhisong Tang |