Guangyuan Li

Orcid: 0000-0002-2938-527X

According to our database¹, Guangyuan Li authored at least 56 papers between 2002 and 2025.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2025

DyArtbank: Diverse artistic style transfer via pre-trained stable diffusion and dynamic style prompt Artbank.

[BibT_eX]

[DOI]

Knowl. Based Syst., 2025

2024

Multicontrast MRI Super-Resolution via Transformer-Empowered Multiscale Contextual Matching and Aggregation.

[BibT_eX]

[DOI]

IEEE Trans. Neural Networks Learn. Syst., September, 2024

Single-Shot Direct Transmission Terahertz Imaging Based on Intense Broadband Terahertz Radiation.

[BibT_eX]

[DOI]

Sensors, July, 2024

Single-Pixel Imaging Based on Deep Learning Enhanced Singular Value Decomposition.

[BibT_eX]

[DOI]

Sensors, May, 2024

Rethink arbitrary style transfer with transformer and contrastive learning.

[BibT_eX]

[DOI]

Comput. Vis. Image Underst., 2024

Rethink Arbitrary Style Transfer with Transformer and Contrastive Learning.

[BibT_eX]

[DOI]

CoRR, 2024

Synergizing frequency domain and texture-aware implicit module for MRI arbitrary-scale super-resolution.

[BibT_eX]

[DOI]

Xinyue Tu

Guangyuan Li

Yuanxing Liu

Biomed. Signal Process. Control., 2024

A parallel chimp optimization algorithm based on tracking-learning and fuzzy opposition-learning behaviors for data classification.

[BibT_eX]

[DOI]

Appl. Soft Comput., 2024

Towards Highly Realistic Artistic Style Transfer via Stable Diffusion with Step-aware and Layer-aware Prompt.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024

Rethinking Video Deblurring with Wavelet-Aware Dynamic Transformer and Diffusion Model.

[BibT_eX]

[DOI]

Proceedings of the Computer Vision - ECCV 2024, 2024

3DGStream: On-the-Fly Training of 3D Gaussians for Efficient Streaming of Photo-Realistic Free-Viewpoint Videos.

[BibT_eX]

[DOI]

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

Rethinking Diffusion Model for Multi-Contrast MRI Super-Resolution.

[BibT_eX]

[DOI]

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

ArtBank: Artistic Style Transfer with Pre-trained Diffusion Model and Implicit Style Prompt Bank.

[BibT_eX]

[DOI]

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

2023

Caster: Cartoon style transfer via dynamic cartoon style casting.

[BibT_eX]

[DOI]

Neurocomputing, November, 2023

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

[BibT_eX]

[DOI]

Medical Image Anal., April, 2023

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

[BibT_eX]

[DOI]

CoRR, 2023

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

[BibT_eX]

[DOI]

CoRR, 2023

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Comput. Electron. Agric., July, 2022

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

[BibT_eX]

[DOI]

Briefings Bioinform., 2022

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

2021

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

[BibT_eX]

[DOI]

Comput. Electron. Agric., 2021

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

[BibT_eX]

[DOI]

Comput. Biol. Medicine, 2021

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

[BibT_eX]

[DOI]

Briefings Bioinform., 2021

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

[BibT_eX]

[DOI]

Guangyuan Li

Jun Lv

Chengyan Wang

IEEE Access, 2021

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

[BibT_eX]

[DOI]

IEEE Access, 2021

Multi-modal Sarcasm Detection Based on Contrastive Attention Mechanism.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

IEEE Access, 2020

2019

Hierarchical Intermittent Motor Control With Deterministic Policy Gradient.

[BibT_eX]

[DOI]

IEEE Access, 2019

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

[BibT_eX]

[DOI]

IEEE Access, 2019

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

[BibT_eX]

[DOI]

IEEE Access, 2019

2018

Automatic Support of the Generation and Maintenance of Assurance Cases.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

IEEE CAA J. Autom. Sinica, 2017

Practical controller synthesis for MTL<sub>0, ∞</sub>.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2016

Verifying RTuinOS using VCC: From approach to practice.

[BibT_eX]

[DOI]

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

A Correctness Verification Method for C Programs Based on VCC.

[BibT_eX]

[DOI]

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

2015

Lazy Probabilistic Model Checking without Determinisation.

[BibT_eX]

[DOI]

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

2014

Efficient controller synthesis for a fragment of MTL<sub>0,∞</sub>.

[BibT_eX]

[DOI]

Acta Informatica, 2014

Formal Throughput and Response Time Analysis of MARTE Models.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2014

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

CoRR, 2013

2012

Rewrite-Based Statistical Model Checking of WMTL.

[BibT_eX]

[DOI]

Danny Bøgsted Poulsen

Proceedings of the Runtime Verification, Third International Conference, 2012

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

Guangyuan Li

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

2007

Improvements for the Symbolic Verification of Timed Automata.

[BibT_eX]

[DOI]

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

2005

Symbolic Model Checking of Finite Precision Timed Automata.

[BibT_eX]

[DOI]

Rongjie Yan

Guangyuan Li

Zhisong Tang

Proceedings of the Theoretical Aspects of Computing, 2005

2003

Translating a Continuous-Time Temporal Logic into Timed Automata.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Guangyuan Li

Zhisong Tang

Proceedings of the Formal Methods and Software Engineering, 2002

Guangyuan Li

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...