Shuling Wang

43 papers A 1B 3C 3Misc 6Journal 14Unranked 16
YearRankTypeTitle / Venue / Authors
2026 J jnl
HMT-SUV: Hierarchical multi-sensor tracking with single-source uncertainty verification for resolving target existence ambiguity.
Expert Syst. Appl.
Kong Li, Zhe Dai, Xiaojun Huang, Shi Dong, Shuling Wang
2024 — conf
ContraMAE: Contrastive alignment masked autoencoder framework for cancer survival prediction.
BIBM
Suixue Wang, Huiyuan Lai, Shuling Wang, Qingchen Zhang
2024 J jnl
Traffic Parameters Estimation With Partial Vehicle Trajectories by the Iterative Partial Backpropagation Maximum Likelihood Estimation (IPB-MLE) Framework.
IEEE Trans. Intell. Transp. Syst.
Kejun Du, Shuling Wang, Hong K. Lo
2024 — conf
Trinity Equilibrium Algorithm for Computing Network Digital Twin.
DTPI
Shoufeng Wang, Hua-Min Chen, Jianchao Guo, Ye Ouyang, Fan Li, Xuan Chen, Shuling Wang, Sen Bian, Limeng Ma, Zhanwu Li
2023 J jnl
6G Network Business Support System.
CoRR
Ye Ouyang, Yaqin Zhang, Peng Wang, Yunxin Liu, Wen Qiao, Jun Zhu, Yang Liu, Feng Zhang, Shuling Wang, Xidong Wang
2023 — conf
Biomarker discovery using multimodal data with the potential application in lung tumor diagnosis.
BIBM
Ruhao Liu, Qingchen Zhang, Kai Wang, Shuling Wang
2023 — conf
Digital Twin Network Application Requirement on Green Coordination of Computing and Networking.
DTPI
Shoufeng Wang, Hua-Min Chen, Ye Ouyang, Fan Li, Xuan Chen, Jianchao Guo, Yun Li, Lianhua Zhang, Shuling Wang, Jie Sun
2023 J jnl
Iterative Backpropagation Method for Efficient Gradient Estimation in Bilevel Network Equilibrium Optimization Problems.
Transp. Sci.
Ashraf Uz Zaman Patwary, Shuling Wang, Hong K. Lo
2023 J jnl
Session Types With Multiple Senders Single Receiver (report version).
CoRR
Zekun Ji, Shuling Wang, Xiong Xu
2023 Misc conf
Session Types with Multiple Senders Single Receiver.
SETTA
Zekun Ji, Shuling Wang, Xiong Xu
2022 B conf
Compositional Verification of Interacting Systems Using Event Monads.
ITP
Bohua Zhan, Yi Lv, Shuling Wang, Gehang Zhao, Jifeng Hao, Hong Ye, Bican Xia
2022 J jnl
Optimal frequency assignment and planar list L(2, 1)-labeling.
J. Comb. Optim.
Haiyang Zhu, Junlei Zhu, Ying Liu, Shuling Wang, Danjun Huang, Lianying Miao
2021 Misc conf
Translating a Large Subset of Stateflow to Hybrid CSP with Code Optimization.
SETTA
Panhua Guo, Bohua Zhan, Xiong Xu, Shuling Wang, Wenhui Sun
2021 J jnl
Vegetation Productivity Dynamics in Response to Climate Change and Human Activities under Different Topography and Land Cover in Northeast China.
Remote. Sens.
Hui Li, Hongyan Zhang, Qixin Li, Jianjun Zhao, Xiaoyi Guo, Hong Ying, Guorong Deng, Wu Rihan, Shuling Wang
2020 J jnl
Modelling and Verification of Real-Time Publish and Subscribe Protocol Using Uppaal and Simulink/Stateflow.
J. Comput. Sci. Technol.
Qianqian Lin, Shuling Wang, Bohua Zhan, Bin Gu
2020 C conf
The List L(2, 1)-Labeling of Planar Graphs with Large Girth.
AAIM
Haiyang Zhu, Junlei Zhu, Ying Liu, Shuling Wang, Danjun Huang, Lianying Miao
2015 Misc conf
Verifying Interaction between Methods in Classes.
TASE
Tingting Hu, Shuling Wang, Zongyan Qiu
2013 J jnl
A framework for automated and certified refinement steps.
Innov. Syst. Softw. Eng.
Andreas Griesmayer, Zhiming Liu, Charles Morisset, Shuling Wang
2013 J jnl
A graph-based generic type system for object-oriented programs.
Frontiers Comput. Sci.
Wei Ke, Zhiming Liu, Shuling Wang, Liang Zhao
2013 J jnl
Confinement framework for encapsulating objects.
Frontiers Comput. Sci.
Qin Shu, Zongyan Qiu, Shuling Wang
2013 — conf
Graph-Based Object-Oriented Hoare Logic.
Theories of Programming and Formal Methods
Liang Zhao, Shuling Wang, Zhiming Liu
2013 J jnl
Robust H
Circuits Syst. Signal Process.
Jiangtao Dai, Zhaozhuang Guo, Shuling Wang
2012 Misc conf
Verifying OO Programs by Linking Algebraic and Abstract Specifications.
TASE
Qin Shu, Shuling Wang, Yijing Liu
2011 J jnl
A Framework for Automated and Certified Refinement Steps
CoRR
Andreas Griesmayer, Zhiming Liu, Charles Morisset, Shuling Wang
2011 — conf
LiChord: A Linear Code Based Structured P2P for Approximate Match.
CMC
Shuling Wang, Shoubao Yang, Liangmin Guo
2010 — conf
A Graph-Based Implementation for Mechanized Refinement Calculus of OO Programs.
SBMF
Zhiming Liu, Charles Morisset, Shuling Wang
2010 — conf
A Trust Evaluation Model Based on Resistive Network.
ChinaGrid
Xiaoqian Liu, Shoubao Yang, Dong Wei, Shuling Wang
2010 J jnl
A semantic model of confinement and Locality theorem.
Frontiers Comput. Sci. China
Shuling Wang, Qin Shu, Yijing Liu, Zongyan Qiu
2010 — conf
An Application-Based Adaptive Replica Consistency for Cloud Storage.
GCC
Ximei Wang, Shoubao Yang, Shuling Wang, Xianlong Niu, Jing Xu
2010 — conf
Proving Simpson's Four-Slot Algorithm Using Ownership Transfer.
VERIFY@IJCAR
Shuling Wang, Xu Wang
2009 C conf
A Graph-Based Operational Semantics of OO Programs.
ICFEM
Wei Ke, Zhiming Liu, Shuling Wang, Liang Zhao
2008 Misc conf
A Generic Model for Confinement and its Application.
TASE
Shuling Wang, Zongyan Qiu
2008 Misc conf
A Relational Model for Confined Separation Logic.
TASE
Shuling Wang, Luís Soares Barbosa, José Nuno Oliveira
2008 — conf
A Super Node Selecting Mechanism Based on AHP.
GCC
Shuling Wang, Shoubao Yang, Kai Shen, Lihua Xie
2008 — conf
Grid Resource Discovery Strategy Based on Historical Information.
GCC
Wei Chen, Shoubao Yang, Yan Jiang, Shuling Wang
2008 — conf
R-DLS: An Improved DLS Algorithm.
GCC
Xiaoqian Liu, Shoubao Yang, Shuling Wang, Jing Xu
2007 — conf
An Exercise on Transition Systems.
TTSS
Paula R. Ribeiro, Luís Soares Barbosa, Shuling Wang
2006 A conf
A Formal Model forWeb Service Choreography Description Language (WS-CDL).
ICWS
Hongli Yang, Xiangpeng Zhao, Zongyan Qiu, Geguang Pu, Shuling Wang
2006 — conf
Theoretical Foundations of Scope-Based Compensable Flow Language for Web Service.
FMOODS
Geguang Pu, Huibiao Zhu, Zongyan Qiu, Shuling Wang, Xiangpeng Zhao, Jifeng He
2006 C conf
Type Safety for FJ and FGJ.
ICTAC
Shuling Wang, Quan Long, Zongyan Qiu
2005 B conf
Semantics of BPEL4WS-Like Fault and Compensation Handling.
FM
Zongyan Qiu, Shuling Wang, Geguang Pu, Xiangpeng Zhao
2005 — conf
Towards the Semantics and Verification of BPEL4WS.
WLFM@FM
Geguang Pu, Xiangpeng Zhao, Shuling Wang, Zongyan Qiu
2004 B conf
An Approach to Hardware/Software Partitioning for Multiple Hardware Devices Model.
SEFM
Geguang Pu, Xiangpeng Zhao, Shuling Wang, Zongyan Qiu, Jifeng He, Wang Yi