Author of the publication

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

Translating a Continuous-Time Temporal Logic into Timed Automata., and . APLAS, volume 2895 of Lecture Notes in Computer Science, page 322-338. Springer, (2003)DeepImmuno: deep learning-empowered prediction and generation of immunogenic peptides for T-cell immunity., , , , and . Briefings Bioinform., (2021)Defect Depth Determination in Laser Infrared Thermography Based on LSTM-RNN., , , , , , and . IEEE Access, (2020)Transformer-empowered Multi-scale Contextual Matching and Aggregation for Multi-contrast MRI Super-resolution., , , , , , and . CVPR, page 20604-20613. IEEE, (2022)Modelling Real-Time Systems with Continuous-Time Temporal Logic., and . ICFEM, volume 2495 of Lecture Notes in Computer Science, page 231-236. Springer, (2002)Improvements for the Symbolic Verification of Timed Automata., , , and . FORTE, volume 4574 of Lecture Notes in Computer Science, page 196-210. Springer, (2007)SOC Oriented Electrochemical-Thermal Coupled Modeling for Lithium-Ion Battery., , , , and . IEEE Access, (2019)Self-Reference Image Super-Resolution via Pre-trained Diffusion Large Model and Window Adjustable Transformer., , , , , , , , and . ACM Multimedia, page 7981-7992. ACM, (2023)A nonlinear observer approach of SOC estimation based on hysteresis model for lithium-ion battery., , , , and . IEEE CAA J. Autom. Sinica, 4 (2): 195-204 (2017)Foundation of a Framework to Support Compliance Checking in Construction Industry., , , and . SOFL+MSVL, volume 10795 of Lecture Notes in Computer Science, page 111-122. Springer, (2017)