default search action

combined dblp search
author search
venue search
publication search

ask others

Lingtai Wang

> Home > Persons

Person information

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?

2024
[c1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fm/AnGWZH24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/AnGWZH24
Jie An, Qiang Gao, Lingtai Wang, Naijun Zhan, Ichiro Hasuo:
The Opacity of Timed Automata. FM (1) 2024: 620-637
2021
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/chinaf/AnWZZZ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/chinaf/AnWZZZ21
Jie An, Lingtai Wang, Bohua Zhan, Naijun Zhan, Miaomiao Zhang:
Learning real-time automata. Sci. China Inf. Sci. 64(9) (2021)
2020
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/YanJWWZ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/YanJWWZ20
Gaogao Yan, Li Jiao, Shuling Wang, Lingtai Wang, Naijun Zhan:
Automatically Generating SystemC Code from HCSP Formal Models. ACM Trans. Softw. Eng. Methodol. 29(1): 4:1-4:39 (2020)

2010 – 2019

see FAQ

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

2018
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/tcad/WangZA18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcad/WangZA18
Lingtai Wang, Naijun Zhan, Jie An:
The Opacity of Real-Time Automata. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37(11): 2845-2856 (2018)
[p1]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/WangZ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/WangZ17
Lingtai Wang, Naijun Zhan:
Decidability of the Initial-State Opacity of Real-Time Automata. Symposium on Real-Time and Hybrid Systems 2018: 44-60

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.