Wang Lin

According to our database, Wang Lin authored at least 48 papers between 2004 and 2023.

Collaborative distances:

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

2023

Normally-off n-ZnO/p-diamond heterojunction field effect transistor with recessed gate and current distribution layer.

Wang Lin, Pengfei Zhao, Liang He, Zhiyuan He, Qiliang Wang, Xianyi Lv, Liuan Li

Microelectron. J., December, 2023

Formal synthesis of neural Craig interpolant via counterexample guided deep learning.

Wang Lin, Mi Ding, Kaipeng Lin, Zuohua Ding

Inf. Softw. Technol., November, 2023

Trenched diamond PN junction diode with enhanced conductance modulation effect designed by simulation.

Dongshuai Li, Wang Lin, Qiliang Wang, Xianyi Lv, Tong Zhang, Liuan Li

Microelectron. J., September, 2023

MixSpeech: Cross-Modality Self-Learning with Audio-Visual Stream Mixup for Visual Speech Translation and Recognition.

Xize Cheng, Linjun Li, Tao Jin, Rongjie Huang, Wang Lin, Zehan Wang, Huangdai Liu, Ye Wang, Aoxiong Yin, Zhou Zhao

CoRR, 2023

Rethinking Missing Modality Learning from a Decoding Perspective.

Tao Jin, Xize Cheng, Linjun Li, Wang Lin, Ye Wang, Zhou Zhao

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

Exploring Group Video Captioning with Efficient Relational Approximation.

Wang Lin, Tao Jin, Ye Wang, Wenwen Pan, Linjun Li, Xize Cheng, Zhou Zhao

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

MixSpeech: Cross-Modality Self-Learning with Audio-Visual Stream Mixup for Visual Speech Translation and Recognition.

Xize Cheng, Tao Jin, Rongjie Huang, Linjun Li, Wang Lin, Zehan Wang, Ye Wang, Huadai Liu, Aoxiong Yin, Zhou Zhao

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

Weakly-Supervised Spoken Video Grounding via Semantic Interaction Learning.

Ye Wang, Wang Lin, Shengyu Zhang, Tao Jin, Linjun Li, Xize Cheng, Zhou Zhao

Proceedings of the 61st Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 2023

Semantic-conditioned Dual Adaptation for Cross-domain Query-based Visual Segmentation.

Ye Wang, Tao Jin, Wang Lin, Xize Cheng, Linjun Li, Zhou Zhao

Proceedings of the Findings of the Association for Computational Linguistics: ACL 2023, 2023

TAVT: Towards Transferable Audio-Visual Text Generation.

Wang Lin, Tao Jin, Wenwen Pan, Linjun Li, Xize Cheng, Ye Wang, Zhou Zhao

Proceedings of the 61st Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 2023

Contrastive Token-Wise Meta-Learning for Unseen Performer Visual Temporal-Aligned Translation.

Linjun Li, Tao Jin, Xize Cheng, Ye Wang, Wang Lin, Rongjie Huang, Zhou Zhao

Proceedings of the Findings of the Association for Computational Linguistics: ACL 2023, 2023

OpenSR: Open-Modality Speech Recognition via Maintaining Multi-Modality Alignment.

Xize Cheng, Tao Jin, Linjun Li, Wang Lin, Xinyu Duan, Zhou Zhao

Proceedings of the 61st Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 2023

2022

Reachable Set Estimation and Safety Verification of Nonlinear Systems via Iterative Sums of Squares Programming.

Wang Lin, Zhengfeng Yang, Zuohua Ding

J. Syst. Sci. Complex., 2022

A Novel Counterexample-Guided Inductive Synthesis Framework for Barrier Certificate Generation.

Mi Ding, Kaipeng Lin, Wang Lin, Zuohua Ding

Proceedings of the IEEE 33rd International Symposium on Software Reliability Engineering, 2022

A Categorical Modelling Framework for Multi-robot Systems in Manufacturing.

Huihui Zhou, Wang Lin, Zuohua Ding

Proceedings of the 9th International Conference on Dependable Systems and Their Applications, 2022

Formal Synthesis of Neural Craig Interpolant via Counterexample Guided Deep Learning.

Wang Lin, Mi Ding, Kaipeng Lin, Guoquan Mei, Zuohua Ding

Proceedings of the 9th International Conference on Dependable Systems and Their Applications, 2022

An RNN-Based Framework for the MILP Problem in Robustness Verification of Neural Networks.

Hao Xue, Xia Zeng, Wang Lin, Zhengfeng Yang, Chao Peng, Zhenbing Zeng

Proceedings of the Computer Vision - ACCV 2022, 2022

2021

Automatic Chinese Meme Generation Using Deep Neural Networks.

Wang Lin, Qimeng Zhang, Youngbin Kim, Ruizheng Wu, Hongyu Jin, Haoke Deng, Pengchu Luo, Chang-Hun Kim

IEEE Access, 2021

Synthesizing ReLU neural networks with two hidden layers as barrier certificates for hybrid systems.

Qingye Zhao, Xin Chen, Yifan Zhang, Meng Sha, Zhengfeng Yang, Wang Lin, Enyi Tang, Qiguang Chen, Xuandong Li

Proceedings of the HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, 2021

Synthesizing Barrier Certificates of Neural Network Controlled Continuous Systems via Approximations.

Meng Sha, Xin Chen, Yuzhe Ji, Qingye Zhao, Zhengfeng Yang, Wang Lin, Enyi Tang, Qiguang Chen, Xuandong Li

Proceedings of the 58th ACM/IEEE Design Automation Conference, 2021

An Iterative Scheme of Safe Reinforcement Learning for Nonlinear Systems via Barrier Certificate Generation.

Zhengfeng Yang, Yidan Zhang, Wang Lin, Xia Zeng, Xiaochao Tang, Zhenbing Zeng, Zhiming Liu

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

Generating Adversarial Texts for Recurrent Neural Networks.

Chang Liu, Wang Lin, Zhengfeng Yang

Proceedings of the Artificial Neural Networks and Machine Learning - ICANN 2020, 2020

Knowledge Base and Research Hotspot of Psychological Capital Research in China: VOSviewer Bibliometric Analysis based on CSSCI Journals.

Ma Yu, Wang Lin

Proceedings of the EBIMCS 2020: 3rd International Conference on E-Business, 2020

Literature Review On "Spatial Distribution of Smart Specialisation".

Wang Lin

Proceedings of the EBIMCS 2020: 3rd International Conference on E-Business, 2020

A Novel Approach for Solving the BMI Problem in Barrier Certificates Generation.

Xin Chen, Chao Peng, Wang Lin, Zhengfeng Yang, Yifang Zhang, Xuandong Li

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2019

Robustness Verification of Classification Deep Neural Networks via Linear Programming.

Wang Lin, Zhengfeng Yang, Xin Chen, Qingye Zhao, Xiangkun Li, Zhiming Liu, Jifeng He

Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition, 2019

2018

Safety Verification of Nonlinear Hybrid Systems Based on Bilinear Programming.

Yifan Zhang, Zhengfeng Yang, Wang Lin, Huibiao Zhu, Xin Chen, Xuandong Li

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018

2017

Probabilistic Safety Verification of Stochastic Hybrid Systems Using Barrier Certificates.

Chao Huang, Xin Chen, Wang Lin, Zhengfeng Yang, Xuandong Li

ACM Trans. Embed. Comput. Syst., 2017

Exploring the Convergence of the Mobile Learning Mode in Network Environment and the Traditional Classroom Teaching Mode.

Wang Lin

Int. J. Emerg. Technol. Learn., 2017

Verification for Non-polynomial Hybrid Systems Using Rational Invariants.

Wang Lin, Min Wu, Zhengfeng Yang, Zhenbing Zeng

Comput. J., 2017

Linear invariant generation for verification of nonlinear hybrid systems via conservative approximation.

Xia Zeng, Wang Lin, Zhengfeng Yang, Zhenbing Zeng

Sci. China Inf. Sci., 2017

2016

基于SIP协议的嵌入式VoIP语音终端实现和协议分析 (Implementation and Protocol Analysis of Embedded VoIP Voice Terminal Based on SIP).

Wang Lin, Hongxian Tian

计算机科学, 2016

A Linear Programming Relaxation Based Approach for Generating Barrier Certificates of Hybrid Systems.

Zhengfeng Yang, Chao Huang, Xin Chen, Wang Lin, Zhiming Liu

Proceedings of the FM 2016: Formal Methods, 2016

Darboux-type barrier certificates for safety verification of nonlinear hybrid systems.

Xia Zeng, Wang Lin, Zhengfeng Yang, Xin Chen, Lilei Wang

Proceedings of the 2016 International Conference on Embedded Software, 2016

2015

Exact Safety Verification of Hybrid Systems Based on Bilinear SOS Representation.

Zhengfeng Yang, Wang Lin, Min Wu

ACM Trans. Embed. Comput. Syst., 2015

2014

Proving total correctness and generating preconditions for loop programs via symbolic-numeric computation methods.

Wang Lin, Min Wu, Zhengfeng Yang, Zhenbing Zeng

Frontiers Comput. Sci., 2014

Domain-of-attraction estimation for uncertain non-polynomial systems.

Min Wu, Zhengfeng Yang, Wang Lin

Commun. Nonlinear Sci. Numer. Simul., 2014

Automatic Lung Tumor Segmentation on PET/CT Images Using Fuzzy Markov Random Field Model.

Yu Guo, Yuanming Feng, Jian Sun, Ning Zhang, Wang Lin, Yu Sa, Ping Wang

Comput. Math. Methods Medicine, 2014

Exact safety verification of hybrid systems using sums-of-squares representation.

Wang Lin, Min Wu, Zhengfeng Yang, Zhenbing Zeng

Sci. China Inf. Sci., 2014

Research on Hotel Service Design from perspective of customer.

Wang Lin, Yuanyuan Nie, Huiqin Li

Proceedings of the Thirteenth Wuhan International Conference on E-Business, 2014

Safety verification of nonlinear systems based on rational invariants.

Wang Lin, Min Wu, Zhengfeng Yang, Zhenbing Zeng

Proceedings of the Symbolic-Numeric Computation 2014, 2014

2013

Exact Safety Verification of Interval Hybrid Systems Based on Symbolic-Numeric Computation

Zhengfeng Yang, Min Wu, Wang Lin

CoRR, 2013

2012

Exact Verification of Hybrid Systems Based on Bilinear SOS Representation

Zhengfeng Yang, Min Wu, Wang Lin

CoRR, 2012

Extraction of microsphere size from diffraction images with an STFT method.

Jun Zhang, Wang Lin, Kenneth M. Jacobs, Xin-Hua Hu

Proceedings of the 2012 IEEE International Conference on Virtual Environments Human-Computer Interfaces and Measurement Systems, 2012

Simultaneous quantitative detection of tetracyclines derivatives by raman spectroscopy.

Xiaoyun Chen, Weizi Liang, Chunmei Yang, Wang Lin, Minghai Bi

Proceedings of the 2012 IEEE International Conference on Virtual Environments Human-Computer Interfaces and Measurement Systems, 2012

2009

Computer Simulation of the Pattern Formation of a Spatial Ecosystem.

Wang Lin, Yezhi Lin, Longchang Li

Proceedings of the Fifth International Conference on Natural Computation, 2009

2008

Computer Aided Analysis of Bifurcation of a Spatial Dynamical System.

Wang Lin, Zhongyue Li

Proceedings of the 2008 International Symposium on Computer Science and Computational Technology, 2008

2004

Research on the Connectivity Coefficients of Internet Topology.

Wang Lin, Guanzhong Dai

Proceedings of the IADIS International Conference WWW/Internet 2004, 2004