Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Chen-Wei Wang
Institutions:
State Key Laboratory of Applied Organic Chemistry,
Lanzhou University
Observed institutions:
National Yang Ming Chiao Tung University,
York University,
National Central University,
State Key Laboratory of Applied Organic Chemistry,
Feng Chia University,
Lanzhou University,
McMaster University
show all 7
OpenAlex ID:
A5113876004
Oxidative carbonylation of methane to acetic acid on an Fe-modified ZSM-5 zeolite
2023
·
Chen-Wei Wang
, Yuan Sun
, et al.
·
Applied Catalysis B: Environmental
·
63
Seismotectonics of Mindoro, Philippines
2014
·
Po-Fei Chen
, Erlinton Antonio Olavere
, et al.
·
Tectonophysics
·
13
Formalizing and Verifying Function Blocks Using Tabular Expressions and PVS
2014
·
Linna Pang
, Chen-Wei Wang
, et al.
·
Communications in computer and information science
·
7
Formal Verification of Real-Time Function Blocks Using PVS
2015
·
Linna Pang
, Chen-Wei Wang
, et al.
·
Electronic Proceedings in Theoretical Computer Science
·
6
PDF
A dynamic load-balancing scheme for heterogeneous wireless networks
2014
·
Shiao-Li Tsao
, Chen-Wei Wang
, et al.
·
IEEE Wireless Communications and Networking Conference
·
5
Automated Model−based Verification of Object−Oriented Code
2006
·
Eric Kerfoot
, Chen-Wei Wang
·
5
Formal Model-Driven Engineering: Generating Data and Behavioural Components
2012
·
Chen-Wei Wang
, Jim Davies
·
Electronic Proceedings in Theoretical Computer Science
·
4
PDF
The Rational Design of Catalyst Surfaces via Crystal Phase-Confined Enrichment
2026
·
Jian-Feng Wu
, Yu-Ting Miao
, et al.
·
ACS Catalysis
·
2
Creating Tutorial Materials as Lecture Supplements by Integrating Drawing Tablet and Video Capturing/Sharing
2019
·
Chen-Wei Wang
·
2
Modelling and Testing Requirements via Executable Abstract State Machines
2018
·
Jonathan S. Ostroff
, Chen-Wei Wang
·
2
Using Indexed and Synchronous Events to Model and Validate Cyber-Physical Systems
2015
·
Chen-Wei Wang
, Jonathan S. Ostroff
, et al.
·
Electronic Proceedings in Theoretical Computer Science
·
2
PDF
Precise Documentation and Validation of Requirements
2014
·
Chen-Wei Wang
, Jonathan S. Ostroff
, et al.
·
Communications in computer and information science
·
2
Automatic Clipping and Text Logging for Baseball Game Videos Using Deep Learning
2024
·
Chen-Wei Wang
, Hwai-Jung Hsu
·
IEEE International Conference on Multimedia Information Processing and Retrieval (MIPR)
·
1
Formal Model-Driven Engineering: Generating Data and Behavioral Components
2014
·
Chen-Wei Wang
, Jim Davies
·
Apple Academic Press eBooks
·
1
TTM/PAT: Specifying and Verifying Timed Transition Models
2014
·
Jonathan S. Ostroff
, Chen-Wei Wang
, et al.
·
Communications in computer and information science
·
1
香港居民對政黨的信任變遷研究~2001-2016年四波調查分析
2021
·
Chen-Wei Wang
, 王誠緯
Calculating Preconditions for Parallel Workflows
2012
·
Chen-Wei Wang
·
Proceedings - Asia Pacific Software Engineering Conference/Proceedings
A Formal Approach for the Iterative Design of Behavioural Models
2012
·
Chen-Wei Wang
·
Proceedings - Asia Pacific Software Engineering Conference/Proceedings
Show more works
View as search
Works count:
18
Citation count:
116
H-index:
5
I10-index:
2
Year
Topic
Type
