default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDShuling Wang
This is just a disambiguation page, and is not intended to be the bibliography of an actual person. The links to all actual bibliographies of persons of the same or a similar name can be found below. Any publication listed on this page has not been assigned to an actual author yet. If you know the true author of one of the publications listed below, you are welcome to contact us.
Person information
Other persons with the same name
- Shuling Wang 0001
![[0000-0002-3517-2588]](https://dblp.org/img/orcid-mark.12x12.png "0000-0002-3517-2588")
— Shandong Normal University, Jinan, China - Shuling Wang 0002 — Zhejiang University, Hangzhou, China
- Shuling Wang 0003 — Institute of Software, Chinese Academy of Sciences, Beijing, China
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j11]Kejun Du, Shuling Wang, Hong K. Lo:
Traffic Parameters Estimation With Partial Vehicle Trajectories by the Iterative Partial Backpropagation Maximum Likelihood Estimation (IPB-MLE) Framework. IEEE Trans. Intell. Transp. Syst. 25(10): 14855-14865 (2024)- [c29]Suixue Wang, Huiyuan Lai, Shuling Wang, Qingchen Zhang:
ContraMAE: Contrastive alignment masked autoencoder framework for cancer survival prediction. BIBM 2024: 2621-2626 - [c28]Shoufeng Wang, Hua-Min Chen, Jianchao Guo, Ye Ouyang, Fan Li, Xuan Chen, Shuling Wang, Sen Bian, Limeng Ma, Zhanwu Li:
Trinity Equilibrium Algorithm for Computing Network Digital Twin. DTPI 2024: 405-410 - 2023
- [j10]Ashraf Uz Zaman Patwary, Shuling Wang, Hong K. Lo:
Iterative Backpropagation Method for Efficient Gradient Estimation in Bilevel Network Equilibrium Optimization Problems. Transp. Sci. 57(5): 1134-1159 (2023) - [c27]Ruhao Liu, Qingchen Zhang, Kai Wang, Shuling Wang:
Biomarker discovery using multimodal data with the potential application in lung tumor diagnosis. BIBM 2023: 3926-3932 - [c26]Shoufeng Wang, Hua-Min Chen, Ye Ouyang, Fan Li, Xuan Chen, Jianchao Guo, Yun Li, Lianhua Zhang, Shuling Wang, Jie Sun:
Digital Twin Network Application Requirement on Green Coordination of Computing and Networking. DTPI 2023: 1-6 - [c25]Zekun Ji, Shuling Wang, Xiong Xu:
Session Types with Multiple Senders Single Receiver. SETTA 2023: 112-131 - [i3]Ye Ouyang, Yaqin Zhang, Peng Wang, Yunxin Liu, Wen Qiao, Jun Zhu, Yang Liu, Feng Zhang, Shuling Wang, Xidong Wang:
6G Network Business Support System. CoRR abs/2307.10004 (2023) - [i2]Zekun Ji, Shuling Wang, Xiong Xu:
Session Types With Multiple Senders Single Receiver (report version). CoRR abs/2310.12187 (2023) - 2022
- [j9]Haiyang Zhu, Junlei Zhu, Ying Liu, Shuling Wang, Danjun Huang, Lianying Miao:
Optimal frequency assignment and planar list L(2, 1)-labeling. J. Comb. Optim. 44(4): 2748-2761 (2022) - [j8]Panhua Guo, Bohua Zhan, Xiong Xu, Shuling Wang, Wenhui Sun:
Translating a large subset of stateflow to hybrid CSP with code optimization. J. Syst. Archit. 130: 102665 (2022) - [c24]Bohua Zhan, Yi Lv, Shuling Wang, Gehang Zhao, Jifeng Hao, Hong Ye, Bican Xia:
Compositional Verification of Interacting Systems Using Event Monads. ITP 2022: 33:1-33:21 - 2021
- [j7]Hui Li, Hongyan Zhang, Qixin Li, Jianjun Zhao, Xiaoyi Guo, Hong Ying, Guorong Deng, Wu Rihan, Shuling Wang:
Vegetation Productivity Dynamics in Response to Climate Change and Human Activities under Different Topography and Land Cover in Northeast China. Remote. Sens. 13(5): 975 (2021) - [c23]Panhua Guo, Bohua Zhan, Xiong Xu, Shuling Wang, Wenhui Sun:
Translating a Large Subset of Stateflow to Hybrid CSP with Code Optimization. SETTA 2021: 3-21 - 2020
- [j6]Qianqian Lin, Shuling Wang, Bohua Zhan, Bin Gu:
Modelling and Verification of Real-Time Publish and Subscribe Protocol Using Uppaal and Simulink/Stateflow. J. Comput. Sci. Technol. 35(6): 1324-1342 (2020) - [c22]Haiyang Zhu, Junlei Zhu, Ying Liu, Shuling Wang, Danjun Huang, Lianying Miao:
The List L(2, 1)-Labeling of Planar Graphs with Large Girth. AAIM 2020: 501-512
2010 – 2019
- 2015
- [c21]Tingting Hu, Shuling Wang, Zongyan Qiu:
Verifying Interaction between Methods in Classes. TASE 2015: 119-126 - 2013
- [j5]Jiangtao Dai, Zhaozhuang Guo, Shuling Wang:
Robust H∞ Control for a Class of 2-D Nonlinear Discrete Stochastic Systems. Circuits Syst. Signal Process. 32(5): 2297-2316 (2013) - [j4]Wei Ke, Zhiming Liu, Shuling Wang, Liang Zhao:
A graph-based generic type system for object-oriented programs. Frontiers Comput. Sci. 7(1): 109-134 (2013) - [j3]Qin Shu, Zongyan Qiu, Shuling Wang:
Confinement framework for encapsulating objects. Frontiers Comput. Sci. 7(2): 236-256 (2013) - [j2]Andreas Griesmayer, Zhiming Liu, Charles Morisset, Shuling Wang:
A framework for automated and certified refinement steps. Innov. Syst. Softw. Eng. 9(1): 3-16 (2013) - [c20]Liang Zhao, Shuling Wang, Zhiming Liu:
Graph-Based Object-Oriented Hoare Logic. Theories of Programming and Formal Methods 2013: 374-393 - 2012
- [c19]Qin Shu, Shuling Wang, Yijing Liu:
Verifying OO Programs by Linking Algebraic and Abstract Specifications. TASE 2012: 219-222 - 2011
- [c18]Shuling Wang, Shoubao Yang, Liangmin Guo:
LiChord: A Linear Code Based Structured P2P for Approximate Match. CMC 2011: 118-121 - [i1]Andreas Griesmayer, Zhiming Liu, Charles Morisset, Shuling Wang:
A Framework for Automated and Certified Refinement Steps. CoRR abs/1112.0215 (2011) - 2010
- [j1]Shuling Wang, Qin Shu, Yijing Liu, Zongyan Qiu:
A semantic model of confinement and Locality theorem. Frontiers Comput. Sci. China 4(1): 28-46 (2010) - [c17]Shuling Wang, Xu Wang:
Proving Simpson's Four-Slot Algorithm Using Ownership Transfer. VERIFY@IJCAR 2010: 126-140 - [c16]Xiaoqian Liu, Shoubao Yang, Dong Wei, Shuling Wang:
A Trust Evaluation Model Based on Resistive Network. ChinaGrid 2010: 234-239 - [c15]Ximei Wang, Shoubao Yang, Shuling Wang, Xianlong Niu, Jing Xu:
An Application-Based Adaptive Replica Consistency for Cloud Storage. GCC 2010: 13-17 - [c14]Zhiming Liu, Charles Morisset, Shuling Wang:
A Graph-Based Implementation for Mechanized Refinement Calculus of OO Programs. SBMF 2010: 258-273
2000 – 2009
- 2009
- [c13]Wei Ke, Zhiming Liu, Shuling Wang, Liang Zhao:
A Graph-Based Operational Semantics of OO Programs. ICFEM 2009: 347-366 - 2008
- [c12]Xiaoqian Liu, Shoubao Yang, Shuling Wang, Jing Xu:
R-DLS: An Improved DLS Algorithm. GCC 2008: 97-101 - [c11]Wei Chen, Shoubao Yang, Yan Jiang, Shuling Wang:
Grid Resource Discovery Strategy Based on Historical Information. GCC 2008: 206-209 - [c10]Shuling Wang, Shoubao Yang, Kai Shen, Lihua Xie:
A Super Node Selecting Mechanism Based on AHP. GCC 2008: 403-406 - [c9]Shuling Wang, Zongyan Qiu:
A Generic Model for Confinement and its Application. TASE 2008: 57-64 - [c8]Shuling Wang, Luís Soares Barbosa, José Nuno Oliveira:
A Relational Model for Confined Separation Logic. TASE 2008: 263-270 - 2007
- [c7]Paula R. Ribeiro, Luís Soares Barbosa, Shuling Wang:
An Exercise on Transition Systems. TTSS 2007: 89-106 - 2006
- [c6]Geguang Pu, Huibiao Zhu, Zongyan Qiu, Shuling Wang, Xiangpeng Zhao, Jifeng He:
Theoretical Foundations of Scope-Based Compensable Flow Language for Web Service. FMOODS 2006: 251-266 - [c5]Shuling Wang, Quan Long, Zongyan Qiu:
Type Safety for FJ and FGJ. ICTAC 2006: 257-271 - [c4]Hongli Yang, Xiangpeng Zhao, Zongyan Qiu, Geguang Pu, Shuling Wang:
A Formal Model forWeb Service Choreography Description Language (WS-CDL). ICWS 2006: 893-894 - 2005
- [c3]Zongyan Qiu, Shuling Wang, Geguang Pu, Xiangpeng Zhao:
Semantics of BPEL4WS-Like Fault and Compensation Handling. FM 2005: 350-365 - [c2]Geguang Pu, Xiangpeng Zhao, Shuling Wang, Zongyan Qiu:
Towards the Semantics and Verification of BPEL4WS. WLFM@FM 2005: 33-52 - 2004
- [c1]Geguang Pu, Xiangpeng Zhao, Shuling Wang, Zongyan Qiu, Jifeng He, Wang Yi:
An Approach to Hardware/Software Partitioning for Multiple Hardware Devices Model. SEFM 2004: 376-385
Coauthor Index
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 2025-11-17 00:04 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:
