Deep feedforward networks: application to pattern recognition. - Haroon Atique Babri; Yin Tong (ICNN, 1996)

miRNASNP: a database of miRNA related SNPs and their effects on miRNA function. - Jing Gong; Yin Tong; Hong-Mei Zhang 008; An-Yuan Guo (BMC Bioinform., 2012)

General observation structures for Petri nets. - Yin Tong; Zhiwu Li 001; Alessandro Giua (ETFA, 2013)

Observation Equivalence of Petri Net Generators. - Yin Tong; Zhiwu Li 001; Alessandro Giua (WODES, 2014)

Verification of current-state opacity using Petri nets. - Yin Tong; Zhiwu Li 001; Carla Seatzu; Alessandro Giua (ACC, 2015)

Verification of initial-state opacity in Petri nets. - Yin Tong; Zhiwu Li 001; Carla Seatzu; Alessandro Giua (CDC, 2015)

Verification of language-based opacity in Petri nets using verifier. - Yin Tong; Ziyue Ma; ZhiWu Li 001; Carla Seatzu; Alessandro Giua (ACC, 2016)

Supervisory enforcement of current-state opacity with uncomparable observations. - Yin Tong; Ziyue Ma; Zhiwu Li 001; Carla Seatzu; Alessandro Giua (WODES, 2016)

T Cell Repertoire Diversity Is Decreased in Type 1 Diabetes Patients. - Yin Tong; Zhoufang Li; Hua Zhang; Ligang Xia; Meng Zhang; Ying Xu; Zhanhui Wang; Michael W. Deem; Xiaojuan Sun; Jiankui He (Genom. Proteom. Bioinform., 2016)

On the Equivalence of Observation Structures for Petri Net Generators. - Yin Tong; ZhiWu Li 001; Alessandro Giua (IEEE Trans. Autom. Control., 2016)

Decidability of opacity verification problems in labeled Petri net systems. - Yin Tong; Zhiwu Li 001; Carla Seatzu; Alessandro Giua (Autom., 2017)

Basis Marking Representation of Petri Net Reachability Spaces and Its Application to the Reachability Problem. - Ziyue Ma; Yin Tong; Zhiwu Li 001; Alessandro Giua (IEEE Trans. Autom. Control., 2017)

Verification of State-Based Opacity Using Petri Nets. - Yin Tong; Zhiwu Li 001; Carla Seatzu; Alessandro Giua (IEEE Trans. Autom. Control., 2017)

A Test Path Generation Method Based on SSM Models. - Hao Lan; Yin Tong; Jin Guo; Yadong Zhang; Yao Li; Chang Rao (QRS Companion, 2018)

miRNACancerMAP: an integrative web server inferring miRNA regulation network for cancer. - Yin Tong; Beibei Ru; Jiangwen Zhang (Bioinform., 2018)

Orthogonal Policy Gradient and Autonomous Driving Application. - Mincong Luo; Yin Tong; Jiachi Liu (CoRR, 2018)

Current-state opacity enforcement in discrete event systems under incomparable observations. - Yin Tong; Zhiwu Li 001; Carla Seatzu; Alessandro Giua (Discret. Event Dyn. Syst., 2018)

CR2Cancer: a database for chromatin regulators in human cancer. - Beibei Ru; Jianlong Sun; Yin Tong; Ching Ngar Wong; Aditi Chandra; Acacia Tsz So Tang; Larry Ka Yue Chow; Wai Lam Wun; Zarina Levitskaya; Jiangwen Zhang (Nucleic Acids Res., 2018)

Verification of Detectability in Labeled Petri Nets. - Yin Tong; Hao Lan; Jin Guo (ACC, 2019)

HAZOP Quantitative Analysis of the Balise Based on the Improved CUOWGA - Sharpley Value. - Xintong Chu; Jin Guo; Yin Tong (CAA SAFEPROCESS, 2019)

Design of the Safety Control Logic for Railway Stations Based on Petri Nets. - Yike Li; Yin Tong; Jin Guo (CAA SAFEPROCESS, 2019)

Current-State Opacity Verification in Modular Discrete Event Systems. - Yin Tong; Hao Lan (CDC, 2019)

A framework for identifying dysregulated chromatin regulators as master regulators in human cancer. - Beibei Ru; Jianlong Sun; Qingzheng Kang; Yin Tong; Jiangwen Zhang (Bioinform., 2019)

MR4Cancer: a web server prioritizing master regulators for cancer. - Beibei Ru; Yin Tong; Jiangwen Zhang (Bioinform., 2019)

TISIDB: an integrated repository portal for tumor-immune system interactions. - Beibei Ru; Ching Ngar Wong; Yin Tong; Jia Yi Zhong; Sophia Shek Wa Zhong; Wai Chung Wu; Ka Chi Chu; Choi Yiu Wong; Chit Ying Lau; Ian Chen; Nam Wai Chan; Jiangwen Zhang (Bioinform., 2019)

Verification of Detectability in Petri Nets Using Verifier Nets. - Hao Lan; Yin Tong; Carla Seatzu; Jin Guo (CoRR, 2019)

Verification of Detectability Using Petri Nets and Detector. - Hao Lan; Yin Tong; Jin Guo; Carla Seatzu (CoRR, 2019)

Verification of infinite-step and K-step opacity Using Petri Nets. - Hao Lan; Yin Tong; Jin Guo; Carla Seatzu (CoRR, 2019)

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)

Initial-State Estimation of Multi-Channel Networked Discrete Event Systems. - Yue Yao; Yin Tong; Hao Lan (IEEE Control. Syst. Lett., 2020)

Verification of C-detectability using Petri nets. - Hao Lan; Yin Tong; Jin Guo; Carla Seatzu (Inf. Sci., 2020)

State Estimation of Discrete-Event Systems Subject to Intermittent and Permanent Loss of Observations. - Yin Tong; Jiate Luo; Carla Seatzu (CDC, 2021)

A Service-Oriented Metro Traffic Regulation Method for Improving Operation Performance. - Jiate Luo; Yin Tong; Graziana Cavone; Mariagrazia Dotoli (ITSC, 2021)

Q-learning algorithm in solving consensusability problem of discrete-time multi-agent systems. - Tao Feng 006; Jilie Zhang; Yin Tong; Huaguang Zhang (Autom., 2021)

Benchmarks of Extended Basis Reachability Graphs. - Yin Tong (CoRR, 2021)

An Integrated Model Predictive Control Method for the Rescheduling of Metro Traffic with Backup Trains*. - Yin Tong; Wei Xu; Mariagrazia Dotoli; Graziana Cavone (ACC, 2022)

Verification of K-step and infinite-step opacity of bounded labeled Petri nets. - Yin Tong; Hao Lan; Carla Seatzu (Autom., 2022)

A Polynomial Approach to Verifying the Existence of a Threatening Sensor Attacker. - Yin Tong; Yucheng Wang; Alessandro Giua (IEEE Control. Syst. Lett., 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)

Consensusability and Global Optimality of Discrete-Time Linear Multiagent Systems. - Tao Feng 006; Jilie Zhang; Yin Tong; Huaguang Zhang (IEEE Trans. Cybern., 2022)

Safety-oriented Testing for High-speed Rail Onboard Equipment Using Petri Nets. - Yike Li; Yin Tong; Marco Demuro; Alessandro Giua (ATAED/PN4TT@Petri Nets, 2023)

Automatic Metro Train Regulation Using Adaptive Headway for Large Passenger Flows. - Zhengyu Zhang; Yin Tong; Graziana Cavone (CASE, 2023)

Verification of $k$-Step and Definite Critical Observability in Discrete-Event Systems. - Yin Tong; Ziyue Ma (IEEE Trans. Autom. Control., 2023)

Safe Optimal Train Formation Control in Virtual Coupling Using Control Barrier Functions. - Yike Li; Yin Tong; Alessandro Giua (CASE, 2024)

Verification of Pattern-Pattern Diagnosability in Partially Observed Discrete Event Systems. - Ziyue Ma; Yin Tong; Carla Seatzu (IEEE Trans. Autom. Control., 2024)

Resilient Supervisor Synthesis for Labeled Petri Nets Against Sensor Attacks. - Gang Xie; Yin Tong; Xiaomin Wang; Carla Seatzu (IEEE Trans. Autom. Control., 2025)