default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDYong Wang 0048
Person information
- affiliation: Beijing University of Technology, Faculty of Information Technology, College of Computer Science and Technology, China
- affiliation (PhD): Beihang Univiersity, Beijing, China
Other persons with the same name
- Yong Wang — disambiguation page
- Yong Wang 0001
![[0000-0003-0695-5273]](https://dblp.uni-trier.de/img/orcid-mark.12x12.png "0000-0003-0695-5273")
— Chinese Academy of Sciences, Academy of Mathematics and Systems Science, Institute of Applied Mathematics, Beijing, China - Yong Wang 0002 — Central South University, School of Automation, Changsha, China (and 3 more)
- Yong Wang 0003 — City University of Hong Kong, Department of Economics and Finance, Hong Kong
- Yong Wang 0004 — Chongqing University of Posts and Telecommunications, School of Communication and Information Engineering, China (and 2 more)
- Yong Wang 0005 — China University of Geosciences, School of Computer Science, Wuhan, China
- Yong Wang 0006 — Shandong University, School of Microelectronics, Jinan, China (and 3 more)
- Yong Wang 0007 — University of Science and Technology of China, Department of Automation, Hefei, China (and 1 more)
- Yong Wang 0008 — Anhui Polytechnic University, Wuhu, China (and 2 more)
- Yong Wang 0009 — Chongqing University of Posts and Telecommunications, Key Laboratory of Electronic Commerce and Logistics, China
- Yong Wang 0010 — Beijing Institute of Technology, School of Software, China
- Yong Wang 0011 — University of Electronic Science and Technology of China, School of Resources and Environment, Chengdu, China (and 2 more)
- Yong Wang 0012 — Tianjin University, Department of Chemistry, Tianjin Key Laboratory of Molecular Optoelectronic Science, China
- Yong Wang 0013 — Xidian University, School of Telecommunications Engineering, Xi'an, China (and 1 more)
- Yong Wang 0014 — Shanghai Jiao Tong University, Department of Electrical Engineering, MOE, Key Laboratory of Control of Power Transmission and Conversion, China (and 3 more)
- Yong Wang 0015 — Air Force Engineering University, Information and Navigation College, Xi'an, China
- Yong Wang 0016 — Nanjing University of Aeronautics and Astronautics, College of Energy and Power Engineering, Jiangsu Province Key Laboratory of Aerospace Power Systems, China
- Yong Wang 0017 — Harbin Institute of Technology, Research Institute of Electronic Engineering Technology, China
- Yong Wang 0018 — Northwestern Polytechnical University, School of Marine Science and Technology, Xi'an, China (and 2 more)
- Yong Wang 0019 — Xidian University, School of Cyber Engineering, Xi'an, China
- Yong Wang 0020 — Harbin Engineering University, College of Computer Science and Technology, China
- Yong Wang 0021 — Nanyang Technological University, Singapore (and 2 more)
- Yong Wang 0022 — Chongqing Jiaotong University, School of Economics and Management, China (and 1 more)
- Yong Wang 0023 — Texas A&M University, USA
- Yong Wang 0024 — Queen Mary University of London, UK
- Yong Wang 0025 — University of Texas, Southwestern Medical Center, Dallas, TX, USA
- Yong Wang 0026 — University of Rochester, Department of Electrical and Computer Engineering, NY, USA
- Yong Wang 0027 — North China Electric Power University, School of Renewable Energy, Huilongguan/Beijing, China
- Yong Wang 0028 — University of Electronic Science and Technology of China, School of Computer Science and Engineering, Center for CyberSecurity, Chengdu, China (and 1 more)
- Yong Wang 0029 — Army Engineering University of PLA, College of Communication Engineering, Nanjing, China
- Yong Wang 0030 — China University of Mining and Technology, College of Mechanical and Electrical Engineering, China (and 1 more)
- Yong Wang 0031 — Guilin University of Electronic Technology, China (and 1 more)
- Yong Wang 0032 — Sun Yat-Sen University, School of Aeronautics and Astronautics, Shenzhen, China (and 2 more)
- Yong Wang 0033 — Chinese Academy of Sciences, Institute of Geographic Sciences and Natural Resources Research, State key Laboratory of Resources and Environmental Information System, Beijing, China
- Yong Wang 0034 — South University of Science and Technology, Department of Mathematics, Shenzhen, China (and 1 more)
- Yong Wang 0035 — Westlake University, Hangzhou, China (and 1 more)
- Yong Wang 0036 — China University of Geosciences, School of Mechanical Engineering and Electronic Information, Wuhan, China (and 1 more)
- Yong Wang 0037 — Shenzhen University, College of Electronic Science and Technology, China (and 1 more)
- Yong Wang 0038 — Anhui University, School of Electronic and Information Engineering, Hefei, China
- Yong Wang 0039 — University of Arkansas, Department of Physics, Fayetteville, AR, USA
- Yong Wang 0040 — Binghamton University, Department of Systems Science and Industrial Engineering, NY, USA
- Yong Wang 0041 — Northwest A&F University, College of Mechanical and Electronic Engineering, Xianyang, China
- Yong Wang 0042 — Quzhou University, College of Mechanical Engineering, China
- Yong Wang 0043 — State Grid Shandong Electric Power Company, Jinan, China
- Yong Wang 0044 — Beijing Institute of Technology, School of Mechanical Engineering, Beijing, China
- Yong Wang 0045 — Dakota State University, Beacom College of Computer and Cyber Sciences, Madison, SD, USA
- Yong Wang 0046 — Hong Kong University of Science and Technology, iSING Lab, Hong Kong (and 1 more)
- Yong Wang 0047 — Chinese Academy of Surveying and Mapping, Research Center of Geospatial Big Data Application, Beijing, China (and 2 more)
- Yong Wang 0049 — University of Auckland, Department of Statistics, New Zealand
- Yong Wang 0050 — Wuhan University of Science and Technology, Wuhan, China
- Yong Wang 0051 — Aerospace Information Research Institute, Chinese Academy of Sciences, Beijing, China
- Yong Wang 0052 — Institute of Deep-Sea Science and Engineering, Chinese Academy of Sciences, Sanya, China
- Yong Wang 0053 — Chongqing University of Technology, Chongqing, China
- Yong Wang 0054 — Tongji University, Shanghai, China
- Yong Wang 0055 — Shanghai University of Electric Power, Shanghai, China
- Yong Wang 0056 — Zhejiang University, Hangzhou, China
- Yong Wang 0057 — Northwest University, Xian, China
- Yong Wang 0058 — Shandong University, Jinan, China
- Yong Wang 0059 — Jiangsu University, Zhenjiang, China
- Yong Wang 0060 — Tianjin University, Tianjin, China
- Yong Wang 0061 — Jilin University, Changchun, China
- Yong Wang 0062 — Southeast University, Nanjing, Jiangsu, China
- Yong Wang 0063 — Toronto Metropolitan University (formerly Ryerson University), Toronto, Ontario, Canada
- Yong Wang 0064 — Chongqing University, Chongqing, China
- Yong Wang 0065 — Tianjin University, Tianjin, China
- Yong Wang 0066 — Qingdao University of Technology, China
- Yong Wang 0067 — Tianjin University of Finance and Economics, Tianjin, China
- Yong Wang 0068 — Hefei Institutes of Physical Science, Chinese Academy of Sciences, Hefei, China
- Yong Wang 0069 — Anhui Normal University, Wuhu, Anhui, China
- Yong Wang 0070 — State Key Laboratory of Geodesy and Earth's Dynamics, Innovation Academy for Precision Measurement Science and Technology, Chinese Academy of Sciences, Wuhan, China
- Yong Wang 0071 — Wuhan University, Wuhan, China
- Yong Wang 0072 — State Grid Hebei Energy Technology Service Co., Ltd., Shijiazhuang, China
- Yong Wang 0073 — Southeast University, Nanjing, China
- Yong Wang 0074 — Wuhan University of Science and Technology, Wuhan, Hubei, China
- Yong Wang 0075 — Ancestry.com Inc, Provo, UT, USA
- Yong Wang 0076 — Ocean University of China, School of Computer Science and Technology, Qingdao, China (and 1 more)
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[i33]Yong Wang:
Computation and Concurrency. CoRR abs/2409.02595 (2024)- 2023
- [i32]Yong Wang:
The Nature of Concurrency. CoRR abs/2304.04406 (2023) - [i31]Yong Wang:
Process Algebra with Imperfect Actions. CoRR abs/2306.06356 (2023) - 2021
- [i30]Yong Wang:
Secure Process Algebra. CoRR abs/2101.05140 (2021) - [i29]Yong Wang:
Actors - A Process Algebra Based Approach. CoRR abs/2104.05438 (2021) - [i28]Yong Wang:
Probabilistic Process Algebra for True Concurrency. CoRR abs/2107.08453 (2021) - [i27]Yong Wang:
Truly Concurrent Calculi with Reversibility, Probabilism and Guards. CoRR abs/2108.10156 (2021) - [i26]Yong Wang:
Truly Concurrent Pi-Calculi with Reversibility, Probabilism and Guards. CoRR abs/2109.03278 (2021) - [i25]Yong Wang:
Truly Concurrent Process Algebra with Localities. CoRR abs/2109.05936 (2021) - [i24]Yong Wang:
Verification of Distributed Quantum Protocols. CoRR abs/2110.11416 (2021) - 2020
- [i23]Yong Wang:
On the Parallel Composition for True Concurrency. CoRR abs/2010.09645 (2020) - [i22]Yong Wang:
Verification of Patterns. CoRR abs/2010.15596 (2020)
2010 – 2019
- 2019
- [i21]Yong Wang:
Algebra of Concurrent Games. CoRR abs/1906.03452 (2019) - [i20]Yong Wang:
Operational Semantics of Games. CoRR abs/1907.02668 (2019) - [i19]Yong Wang:
Truly Concurrent Bisimilarities are Game Equivalent. CoRR abs/1907.02860 (2019) - 2018
- [i18]Yong Wang:
Communicating Concurrent Processes. CoRR abs/1803.02659 (2018) - [i17]Yong Wang:
Reversible Truly Concurrent Process Algebra. CoRR abs/1805.03575 (2018) - [i16]Yong Wang:
Truly Concurrent Process Algebra Is Reversible. CoRR abs/1810.00868 (2018) - [i15]Yong Wang:
Structured Parallel Programming Language Based on True Concurrency. CoRR abs/1810.13446 (2018) - [i14]Yong Wang:
Truly Concurrent Process Algebra to Unifying Quantum and Classical Computing. CoRR abs/1811.01070 (2018) - [i13]Yong Wang:
Relation of Web Service Orchestration, Abstract Process, Web Service and Choreography. CoRR abs/1811.05305 (2018) - 2017
- [i12]Yong Wang:
A Calculus of Truly Concurrent Mobile Processes. CoRR abs/1704.07774 (2017) - [i11]Yong Wang:
An Algebra of Actors Based on True Concurrency. CoRR abs/1705.02427 (2017) - [i10]Yong Wang:
Truly Concurrent Process Algebra with Timing. CoRR abs/1709.01217 (2017) - 2016
- [j1]Yong Wang:
A Formal Model of QoS-Aware Web Service Orchestration Engine. IEEE Trans. Netw. Serv. Manag. 13(1): 113-125 (2016) - [i9]Yong Wang:
Weakly True Concurrency and Its Logic. CoRR abs/1606.06422 (2016) - [i8]Yong Wang:
Probabilistic Process Algebra to Unifying Quantum and Classical Computing in Closed Systems. CoRR abs/1610.02500 (2016) - [i7]Yong Wang:
Algebraic Laws for True Concurrency. CoRR abs/1611.09035 (2016) - 2015
- [i6]Yong Wang:
An Algebraic Approach for Approximity. CoRR abs/1511.09186 (2015) - 2014
- [i5]Yong Wang:
Security Analyses of Quantum Communication Protocols. CoRR abs/1404.0665 (2014) - [i4]Yong Wang:
An Algebra of Reversible Computation. CoRR abs/1410.5131 (2014) - 2013
- [i3]Yong Wang:
A Formal Model of QoS-Aware Web Service Orchestration Engine. CoRR abs/1306.5530 (2013) - [i2]Yong Wang:
An Axiomatization for Quantum Processes to Unifying Quantum and Classical Computing. CoRR abs/1311.2960 (2013) - [i1]Yong Wang:
Formal Model of Web Service Composition: An Actor-Based Approach to Unifying Orchestration and Choreography. CoRR abs/1312.0677 (2013)
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.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2026-03-26 00:48 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
