Hao Lan

According to our database, Hao Lan authored at least 29 papers between 2015 and 2023.

Collaborative distances:

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

2023

Transfer Function Interpolation and Extrapolation: A fast AC analysis method for evolutionary circuit design.

Hao Lan, Jingsong He

Inf. Sci., December, 2023

WavCapsNet: An Interpretable Intelligent Compound Fault Diagnosis Method by Backward Tracking.

Weihua Li, Hao Lan, Junbin Chen, Ke Feng, Ruyi Huang

IEEE Trans. Instrum. Meas., 2023

Spatial-temporal gated graph convolutional network: a new deep learning framework for long-term traffic speed forecasting.

Dongping Zhang, Hao Lan, Zhennan Ma, Zhixiong Yang, Xin Wu, Xiaoling Huang

J. Intell. Fuzzy Syst., 2023

A Fault Injection and Formal Verification Framework Based on UML Sequence Diagrams.

Hezhen Liu, Jiacheng Yin, Chengqiang Huang, Hao Lan, Zhi Jin, Zheng Zheng, Xun Zhang

Proceedings of the 34th IEEE International Symposium on Software Reliability Engineering, ISSRE 2023, 2023

2022

Crucial States Estimation in Radio Block Center Handover Using Petri Nets With Unobservable Transitions.

Hao Lan, Yin Tong, Carla Seatzu

IEEE Trans Autom. Sci. Eng., 2022

OrphicX: A Causality-Inspired Latent Variable Model for Interpreting Graph Neural Networks.

Wanyu Lin, Hao Lan, Hao Wang, Baochun Li

CoRR, 2022

Verification of K-step and infinite-step opacity of bounded labeled Petri nets.

Yin Tong, Hao Lan, Carla Seatzu

Autom., 2022

Increasing-Dimension Evolution: Make the evolutionary design of passive filters more efficient.

Hao Lan, Jingsong He

Appl. Soft Comput., 2022

MHDML: Construction of a Medical Lakehouse for Multi-source Heterogeneous Data.

Qi Xiao, Wenkui Zheng, Chenyu Mao, Wei Hou, Hao Lan, Daojun Han, Yang Duan, Peng Ren, Ming Sheng

Proceedings of the Health Information Science - 11th International Conference, 2022

OrphicX: A Causality-Inspired Latent Variable Model for Interpreting Graph Neural Networks.

Wanyu Lin, Hao Lan, Hao Wang, Baochun Li

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

2021

EAGLE: Expedited Device Placement with Automatic Grouping for Large Models.

Hao Lan, Li Chen, Baochun Li

Proceedings of the 35th IEEE International Parallel and Distributed Processing Symposium, 2021

Accelerated Device Placement Optimization with Contrastive Learning.

Hao Lan, Li Chen, Baochun Li

Proceedings of the ICPP 2021: 50th International Conference on Parallel Processing, Lemont, IL, USA, August 9, 2021

Generative Causal Explanations for Graph Neural Networks.

Wanyu Lin, Hao Lan, Baochun Li

Proceedings of the 38th International Conference on Machine Learning, 2021

Intelligent Visualization System for Big Multi-source Medical Data Based on Data Lake.

Peng Ren, Ziyun Mao, Shuaibo Li, Yang Xiao, Yating Ke, Lanyu Yao, Hao Lan, Xin Li, Ming Sheng, Yong Zhang

Proceedings of the Web Information Systems and Applications, 2021

2020

RSS: a relay-based schedule scheme for optical data center network.

Shangqi Ma, Huaxi Gu, Hao Lan, Xiaoshan Yu, Kun Wang

Photonic Netw. Commun., 2020

Verification of C-detectability using Petri nets.

Hao Lan, Yin Tong, Jin Guo, Carla Seatzu

Inf. Sci., 2020

Initial-State Estimation of Multi-Channel Networked Discrete Event Systems.

Yue Yao, Yin Tong, Hao Lan

IEEE Control. Syst. Lett., 2020

Comments on "A new approach for the verification of infinite-step and K-step opacity using two-way observers" [Automatica 80 (2017) 162-171].

Hao Lan, Yin Tong, Jin Guo, Alessandro Giua

Autom., 2020

2019

Verification of infinite-step and K-step opacity Using Petri Nets.

Hao Lan, Yin Tong, Jin Guo, Carla Seatzu

CoRR, 2019

Verification of Detectability Using Petri Nets and Detector.

Hao Lan, Yin Tong, Jin Guo, Carla Seatzu

CoRR, 2019

Verification of Detectability in Petri Nets Using Verifier Nets.

Hao Lan, Yin Tong, Carla Seatzu, Jin Guo

CoRR, 2019

Current-State Opacity Verification in Modular Discrete Event Systems.

Yin Tong, Hao Lan

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Verification of Detectability in Labeled Petri Nets.

Yin Tong, Hao Lan, Jin Guo

Proceedings of the 2019 American Control Conference, 2019

Automated Clash Free Rebar Design in Precast Concrete Exterior Wall via Generative Adversarial Network and Multi-agent Reinforcement Learning.

Pengkun Liu, Jiepeng Liu, Liang Feng, Wenbo Wu, Hao Lan

Proceedings of the Advances in Artificial Intelligence, Software and Systems Engineering, 2019

2018

Thor: A Scalable Hybrid Switching Architecture for Data Centers.

Xiaoshan Yu, Hong Xu, Huaxi Gu, Hao Lan

IEEE Trans. Commun., 2018

A Test Path Generation Method Based on SSM Models.

Hao Lan, Yin Tong, Jin Guo, Yadong Zhang, Yao Li, Chang Rao

Proceedings of the 2018 IEEE International Conference on Software Quality, 2018

2017

A Mobile-Based High Sensitivity On-Field Organophosphorus Compounds Detecting System for IoT-Based Food Safety Tracking.

Han Jin, Yajie Qin, Hao Liang, Lei Wan, Hao Lan, Guoping Chen, Ran Liu, Li-Rong Zheng, Patrick Chiang, Zhiliang Hong

J. Sensors, 2017

Depth super-resolution via fully edge-augmented guidance.

Jingyu Yang, Hao Lan, Xiaolin Song, Kun Li

Proceedings of the 2017 IEEE Visual Communications and Image Processing, 2017

2015

High performance SOI CMOS pixel sensor with surrounding N+ trench electrode.

Hai-fan Hu, Ying Wang, Hao Lan, Xin Luo, Yun-Tao Liu

Microelectron. Reliab., 2015