default search action

combined dblp search
author search
venue search
publication search

ask others

Yin Tong

> Home > Persons

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2020
[j15]
- view
- export record
  dblp key:
  - journals/automatica/LanTGG20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/automatica/LanTGG20
Hao Lan, Yin Tong, Jin Guo, Alessandro Giua:
Comments on "A new approach for the verification of infinite-step and K-step opacity using two-way observers" [Automatica 80 (2017) 162-171]. Autom. 122: 109290 (2020)
[j14]
- view
- export record
  dblp key:
  - journals/csysl/YaoTL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/csysl/YaoTL20
Yue Yao, Yin Tong, Hao Lan:
Initial-State Estimation of Multi-Channel Networked Discrete Event Systems. IEEE Control. Syst. Lett. 4(4): 1024-1029 (2020)
[j13]
- view
- export record
  dblp key:
  - journals/isci/LanTGS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isci/LanTGS20
Hao Lan, Yin Tong, Jin Guo, Carla Seatzu:
Verification of C-detectability using Petri nets. Inf. Sci. 528: 294-310 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/bioinformatics/RuTZ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bioinformatics/RuTZ19
Beibei Ru, Yin Tong, Jiangwen Zhang:
MR4Cancer: a web server prioritizing master regulators for cancer. Bioinform. 35(4): 636-642 (2019)
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/bioinformatics/RuSKTZ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bioinformatics/RuSKTZ19
Beibei Ru, Jianlong Sun, Qingzheng Kang, Yin Tong, Jiangwen Zhang:
A framework for identifying dysregulated chromatin regulators as master regulators in human cancer. Bioinform. 35(11): 1805-1812 (2019)
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/bioinformatics/RuWTZZWCWLCCZ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bioinformatics/RuWTZZWCWLCCZ19
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:
TISIDB: an integrated repository portal for tumor-immune system interactions. Bioinform. 35(20): 4200-4202 (2019)
[c10]
- view
  - electronic edition @ ieee.org
  - no references & citations available
- export record
  dblp key:
  - conf/amcc/TongLG19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/TongLG19
Yin Tong, Hao Lan, Jin Guo:
Verification of Detectability in Labeled Petri Nets. ACC 2019: 5627-5632
[c9]
- view
- export record
  dblp key:
  - conf/cdc/TongL19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/TongL19
Yin Tong, Hao Lan:
Current-State Opacity Verification in Modular Discrete Event Systems. CDC 2019: 7665-7670
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1903-07827
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1903-07827
Hao Lan, Yin Tong, Jin Guo, Carla Seatzu:
Verification of C-detectability Using Petri Nets. CoRR abs/1903.07827 (2019)
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1903-09298
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1903-09298
Hao Lan, Yin Tong, Carla Seatzu, Jin Guo:
Verification of Detectability in Petri Nets Using Verifier Nets. CoRR abs/1903.09298 (2019)
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1908-09604
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1908-09604
Hao Lan, Yin Tong, Jin Guo, Carla Seatzu:
Verification of Detectability Using Petri Nets and Detector. CoRR abs/1908.09604 (2019)
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1909-05138
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1909-05138
Hao Lan, Yin Tong, Jin Guo, Carla Seatzu:
Verification of infinite-step and K-step opacity Using Petri Nets. CoRR abs/1909.05138 (2019)
2018
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/bioinformatics/TongRZ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bioinformatics/TongRZ18
Yin Tong, Beibei Ru, Jiangwen Zhang:
miRNACancerMAP: an integrative web server inferring miRNA regulation network for cancer. Bioinform. 34(18): 3211-3213 (2018)
[j8]
- view
- export record
  dblp key:
  - journals/deds/TongLSG18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/deds/TongLSG18
Yin Tong, Zhiwu Li, Carla Seatzu, Alessandro Giua:
Current-state opacity enforcement in discrete event systems under incomparable observations. Discret. Event Dyn. Syst. 28(2): 161-182 (2018)
[j7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/nar/RuSTWCTCWLZ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/nar/RuSTWCTCWLZ18
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:
CR2Cancer: a database for chromatin regulators in human cancer. Nucleic Acids Res. 46(Database-Issue): D918-D924 (2018)
[c8]
- view
- export record
  dblp key:
  - conf/qrs/LanTGZLR18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qrs/LanTGZLR18
Hao Lan, Yin Tong, Jin Guo, Yadong Zhang, Yao Li, Chang Rao:
A Test Path Generation Method Based on SSM Models. QRS Companion 2018: 215-220
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1811-06151
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1811-06151
Mincong Luo, Yin Tong, Jiachi Liu:
Orthogonal Policy Gradient and Autonomous Driving Application. CoRR abs/1811.06151 (2018)
2017
[j6]
- view
- export record
  dblp key:
  - journals/automatica/TongLSG17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/automatica/TongLSG17
Yin Tong, Zhiwu Li, Carla Seatzu, Alessandro Giua:
Decidability of opacity verification problems in labeled Petri net systems. Autom. 80: 48-53 (2017)
[j5]
- view
- export record
  dblp key:
  - journals/tac/MaTLG17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tac/MaTLG17
Ziyue Ma, Yin Tong, Zhiwu Li, Alessandro Giua:
Basis Marking Representation of Petri Net Reachability Spaces and Its Application to the Reachability Problem. IEEE Trans. Autom. Control. 62(3): 1078-1093 (2017)
[j4]
- view
- export record
  dblp key:
  - journals/tac/TongLSG17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tac/TongLSG17
Yin Tong, Zhiwu Li, Carla Seatzu, Alessandro Giua:
Verification of State-Based Opacity Using Petri Nets. IEEE Trans. Autom. Control. 62(6): 2823-2837 (2017)
2016
[j3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/gpb/TongLZXZXWDSH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/gpb/TongLZXZXWDSH16
Yin Tong, Zhoufang Li, Hua Zhang, Ligang Xia, Meng Zhang, Ying Xu, Zhanhui Wang, Michael W. Deem, Xiaojuan Sun, Jiankui He:
T Cell Repertoire Diversity Is Decreased in Type 1 Diabetes Patients. Genom. Proteom. Bioinform. 14(6): 338-348 (2016)
[j2]
- view
- export record
  dblp key:
  - journals/tac/TongLG16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tac/TongLG16
Yin Tong, ZhiWu Li, Alessandro Giua:
On the Equivalence of Observation Structures for Petri Net Generators. IEEE Trans. Autom. Control. 61(9): 2448-2462 (2016)
[c7]
- view
- export record
  dblp key:
  - conf/amcc/TongMLSG16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/TongMLSG16
Yin Tong, Ziyue Ma, ZhiWu Li, Carla Seatzu, Alessandro Giua:
Verification of language-based opacity in Petri nets using verifier. ACC 2016: 757-763
[c6]
- view
- export record
  dblp key:
  - conf/wodes/TongMLSG16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wodes/TongMLSG16
Yin Tong, Ziyue Ma, Zhiwu Li, Carla Seatzu, Alessandro Giua:
Supervisory enforcement of current-state opacity with uncomparable observations. WODES 2016: 313-318
2015
[c5]
- view
- export record
  dblp key:
  - conf/amcc/TongLSG15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/TongLSG15
Yin Tong, Zhiwu Li, Carla Seatzu, Alessandro Giua:
Verification of current-state opacity using Petri nets. ACC 2015: 1935-1940
[c4]
- view
- export record
  dblp key:
  - conf/cdc/TongLSG15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/TongLSG15
Yin Tong, Zhiwu Li, Carla Seatzu, Alessandro Giua:
Verification of initial-state opacity in Petri nets. CDC 2015: 344-349
2014
[c3]
- view
- export record
  dblp key:
  - conf/wodes/TongLG14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wodes/TongLG14
Yin Tong, Zhiwu Li, Alessandro Giua:
Observation Equivalence of Petri Net Generators. WODES 2014: 338-343
2013
[c2]
- view
- export record
  dblp key:
  - conf/etfa/TongLG13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/TongLG13
Yin Tong, Zhiwu Li, Alessandro Giua:
General observation structures for Petri nets. ETFA 2013: 1-4
2012
[j1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/bmcbi/GongTZG12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bmcbi/GongTZG12
Jing Gong, Yin Tong, Hong-Mei Zhang, An-Yuan Guo:
miRNASNP: a database of miRNA related SNPs and their effects on miRNA function. BMC Bioinform. 13(S-18): A2 (2012)

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1996
[c1]
- view
- export record
  dblp key:
  - conf/icnn/BabriT96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icnn/BabriT96
Haroon Atique Babri, Yin Tong:
Deep feedforward networks: application to pattern recognition. ICNN 1996: 1422-1426

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.