Guangyuan Li

According to our database, Guangyuan Li authored at least 46 papers between 2002 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

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

CoRR, 2024

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

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Caster: Cartoon style transfer via dynamic cartoon style casting.

Zhanjie Zhang, Jiakai Sun, Jiafu Chen, Lei Zhao, Boyan Ji, Zehua Lan, Guangyuan Li, Wei Xing, Duanqing Xu

Neurocomputing, November, 2023

Region-focused multi-view transformer-based generative adversarial network for cardiac cine MRI reconstruction.

Jun Lyu, Guangyuan Li, Chengyan Wang, Chen Qin, Shuo Wang, Qi Dou, Jing Qin

Medical Image Anal., April, 2023

Joint Optimization of Triangle Mesh, Material, and Light from Neural Fields with Neural Radiance Cache.

Jiakai Sun, Zhanjie Zhang, Tianyi Chu, Guangyuan Li, Lei Zhao, Wei Xing

CoRR, 2023

Integrated motion control and energy management of series hybrid electric vehicles: A multi-objective MPC approach.

Henglai Wei, Guangyuan Li, Yang Lu, Hui Zhang

CoRR, 2023

DuDoINet: Dual-Domain Implicit Network for Multi-Modality MR Image Arbitrary-scale Super-Resolution.

Guangyuan Li, Wei Xing, Lei Zhao, Zehua Lan, Zhanjie Zhang, Jiakai Sun, Haolin Yin, Huaizhong Lin, Zhijie Lin

Proceedings of the 31st ACM International Conference on Multimedia, 2023

Self-Reference Image Super-Resolution via Pre-trained Diffusion Large Model and Window Adjustable Transformer.

Guangyuan Li, Wei Xing, Lei Zhao, Zehua Lan, Jiakai Sun, Zhanjie Zhang, Quanwei Zhang, Huaizhong Lin, Zhijie Lin

Proceedings of the 31st ACM International Conference on Multimedia, 2023

VGOS: Voxel Grid Optimization for View Synthesis from Sparse Inputs.

Jiakai Sun, Zhanjie Zhang, Jiafu Chen, Guangyuan Li, Boyan Ji, Lei Zhao, Wei Xing

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

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

Proceedings of the IEEE/CVF International Conference on Computer Vision, 2023

A golden-sine strategy based honey badger algorithm for flexible job shop scheduling problem.

Zhaolin Lai, Guangyuan Li, Baofen Zhang, Chende Su, Zhangyuan Lin, Yanfeng Lan

Proceedings of the 9th International Conference on Computing and Artificial Intelligence, 2023

2022

Identifying field and road modes of agricultural Machinery based on GNSS Recordings: A graph convolutional neural network approach.

Ying Chen, Guangyuan Li, Xiaoqiang Zhang, Jiepeng Jia, Kun Zhou, Caicong Wu

Comput. Electron. Agric., July, 2022

CellDrift: inferring perturbation responses in temporally sampled single-cell data.

Kang Jin, Daniel J. Schnell, Guangyuan Li, Nathan Salomonis, V. B. Surya Prasath, Rhonda Szczesniak, Bruce J. Aronow

Briefings Bioinform., 2022

WavTrans: Synergizing Wavelet and Cross-Attention Transformer for Multi-contrast MRI Super-Resolution.

Guangyuan Li, Jun Lyu, Chengyan Wang, Qi Dou, Jing Qin

Proceedings of the Medical Image Computing and Computer Assisted Intervention - MICCAI 2022, 2022

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

Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2022

2021

Multi-Modal Sarcasm Detection Based on Contrastive Attention Mechanism.

Xiaoqiang Zhang, Ying Chen, Guangyuan Li

CoRR, 2021

Field-road trajectory segmentation for agricultural machinery based on direction distribution.

Ying Chen, Xiaoqiang Zhang, Caicong Wu, Guangyuan Li

Comput. Electron. Agric., 2021

Transfer learning enhanced generative adversarial networks for multi-channel MRI reconstruction.

Jun Lv, Guangyuan Li, Xiangrong Tong, Weibo Chen, Jiahao Huang, Chengyan Wang, Guang Yang

Comput. Biol. Medicine, 2021

DeepImmuno: deep learning-empowered prediction and generation of immunogenic peptides for T-cell immunity.

Guangyuan Li, Balaji Iyer, V. B. Surya Prasath, Yizhao Ni, Nathan Salomonis

Briefings Bioinform., 2021

A Modified Generative Adversarial Network Using Spatial and Channel-Wise Attention for CS-MRI Reconstruction.

Guangyuan Li, Jun Lv, Chengyan Wang

IEEE Access, 2021

High-Resolution Pelvic MRI Reconstruction Using a Generative Adversarial Network With Attention and Cyclic Loss.

Guangyuan Li, Jun Lv, Xiangrong Tong, Chengyan Wang, Guang Yang

IEEE Access, 2021

Multi-modal Sarcasm Detection Based on Contrastive Attention Mechanism.

Xiaoqiang Zhang, Ying Chen, Guangyuan Li

Proceedings of the Natural Language Processing and Chinese Computing, 2021

2020

Defect Depth Determination in Laser Infrared Thermography Based on LSTM-RNN.

Qiang Wang, Qiuhan Liu, Ruicong Xia, Guangyuan Li, Jianguo Gao, Hongbin Zhou, Boyan Zhao

IEEE Access, 2020

2019

Hierarchical Intermittent Motor Control With Deterministic Policy Gradient.

Haibo Shi, Yaoru Sun, Guangyuan Li, Fang Wang, Daming Wang, Jie Li

IEEE Access, 2019

SOC Oriented Electrochemical-Thermal Coupled Modeling for Lithium-Ion Battery.

Yan Ma, Xin Li, Guangyuan Li, Yunfeng Hu, Qingwen Bai

IEEE Access, 2019

Development of Active Soft Robotic Manipulators for Stable Grasping Under Slippery Conditions.

Cai Luo, Ke Wang, Guangyuan Li, Shucong Yin, Leijian Yu, Erfu Yang

IEEE Access, 2019

2018

Automatic Support of the Generation and Maintenance of Assurance Cases.

Chung-Ling Lin, Wuwei Shen, Tao Yue, Guangyuan Li

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2018

2017

A nonlinear observer approach of SOC estimation based on hysteresis model for lithium-ion battery.

Yan Ma, Bingsi Li, Guangyuan Li, Jixing Zhang, Hong Chen

IEEE CAA J. Autom. Sinica, 2017

Practical controller synthesis for MTL_{0, ∞}.

Guangyuan Li, Peter Gjøl Jensen, Kim Guldstrand Larsen, Axel Legay, Danny Bøgsted Poulsen

Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 2017

Foundation of a Framework to Support Compliance Checking in Construction Industry.

Wuwei Shen, Guangyuan Li, Chung-Ling Lin, Hongliang Liang

Proceedings of the Structured Object-Oriented Formal Language and Method, 2017

2016

An Approach to Checking Consistency between UML Class Model and Its Java Implementation.

Hector Miguel Chavez, Wuwei Shen, Robert B. France, Benjamin A. Mechling, Guangyuan Li

IEEE Trans. Software Eng., 2016

Verifying RTuinOS using VCC: From approach to practice.

Hongliang Liang, Daijie Zhang, Xiaodong Jia, Xiaoxiao Pei, Guangyuan Li

Proceedings of the 17th IEEE/ACIS International Conference on Software Engineering, 2016

A Correctness Verification Method for C Programs Based on VCC.

Hongliang Liang, Daijie Zhang, Xiaoxiao Pei, Xiaodong Jia, Guangyuan Li, Jiuyun Xu

Proceedings of the 3rd IEEE International Conference on Cyber Security and Cloud Computing, 2016

2015

Lazy Probabilistic Model Checking without Determinisation.

Ernst Moritz Hahn, Guangyuan Li, Sven Schewe, Andrea Turrini, Lijun Zhang

Proceedings of the 26th International Conference on Concurrency Theory, 2015

2014

Efficient controller synthesis for a fragment of MTL_0,∞.

Peter E. Bulychev, Alexandre David, Kim G. Larsen, Guangyuan Li

Acta Informatica, 2014

Formal Throughput and Response Time Analysis of MARTE Models.

Gaogao Yan, Xueyang Zhu, Rongjie Yan, Guangyuan Li

Proceedings of the Formal Methods and Software Engineering, 2014

Quantified Dynamic Metric Temporal Logic for Dynamic Networks of Stochastic Hybrid Automata.

Alexandre David, Kim G. Larsen, Axel Legay, Guangyuan Li, Danny Bøgsted Poulsen

Proceedings of the 14th International Conference on Application of Concurrency to System Design, 2014

2013

Lazy Determinisation for Quantitative Model Checking.

Ernst Moritz Hahn, Guangyuan Li, Sven Schewe, Lijun Zhang

CoRR, 2013

2012

Rewrite-Based Statistical Model Checking of WMTL.

Peter E. Bulychev, Alexandre David, Kim G. Larsen, Axel Legay, Guangyuan Li, Danny Bøgsted Poulsen

Proceedings of the Runtime Verification, Third International Conference, 2012

Monitor-Based Statistical Model Checking for Weighted Metric Temporal Logic.

Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Axel Legay, Guangyuan Li, Danny Bøgsted Poulsen, Amélie Stainer

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2012

2009

An efficient algorithm for mining frequent sequences in dynamic environment.

Guangyuan Li, Qin Xiao, Qinbin Hu, Changan Yuan

Proceedings of the 2009 IEEE International Conference on Granular Computing, 2009

Checking Timed Büchi Automata Emptiness Using LU-Abstractions.

Guangyuan Li

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2009

2007

Improvements for the Symbolic Verification of Timed Automata.

Rongjie Yan, Guangyuan Li, Wenliang Zhang, Yunquan Peng

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2007

2005

Symbolic Model Checking of Finite Precision Timed Automata.

Rongjie Yan, Guangyuan Li, Zhisong Tang

Proceedings of the Theoretical Aspects of Computing, 2005

2003

Translating a Continuous-Time Temporal Logic into Timed Automata.

Guangyuan Li, Zhisong Tang

Proceedings of the Programming Languages and Systems, First Asian Symposium, 2003

2002

Modelling Real-Time Systems with Continuous-Time Temporal Logic.

Guangyuan Li, Zhisong Tang

Proceedings of the Formal Methods and Software Engineering, 2002