On the public citation graph

Applying Probabilistic Model Checking to Financial Production Risk Evaluation and Control: A Case Study of Alibaba’s Yu’e Bao

https://doi.org/10.1109/tcss.2018.2865217
0 signed · 87 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.
Claim with ORCID
Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/978-3-642-22110-1_47openalex-snapshot
PRISM 4.0: Verification of Probabilistic Real-Time Systems
inferredcites →https://doi.org/10.1007/978-3-642-22833-9_2openalex-snapshot
Strong Laws of Large Numbers for Bernoulli Experiments under Ambiguity
inferredcites →https://doi.org/10.1007/978-3-662-49674-9_20openalex-snapshot
Advances in Symbolic Probabilistic Model Checking with PRISM
inferredcites →https://doi.org/10.1007/s11432-017-9133-4openalex-snapshot
Anti-chain based algorithms for timed/probabilistic refinement checking
inferredcites →https://doi.org/10.1016/j.chb.2017.07.018openalex-snapshot
The impact of informational incentives and social influence on consumer behavior during Alibaba's online shopping carnival
inferredcites →https://doi.org/10.1080/10919392.2016.1194050openalex-snapshot
Alibaba’s IT platform and electronic commerce synergy in driving “Singles’ Day”
inferredcites →https://doi.org/10.1109/apsec.2016.021openalex-snapshot
A Model Checking Based Approach for Containment Checking of UML Sequence Diagrams
inferredcites →https://doi.org/10.1109/cyber.2015.7288227openalex-snapshot
Research on the technical risk of mobile finance innovation
inferredcites →https://doi.org/10.1109/gol.2016.7731665openalex-snapshot
Model for the management of pension fund with deterministic and stochastic parameters
inferredcites →https://doi.org/10.1109/icasi.2016.7539843openalex-snapshot
An intelligent computational finance model for microstructure-based trading system
inferredcites →https://doi.org/10.1109/icbmei.2011.5916931openalex-snapshot
Liquidity risk disclosure evaluation of commercial bank based on two-tuple linguistic representation model
inferredcites →https://doi.org/10.1109/iceiec.2016.7589701openalex-snapshot
An adaptive UKF for nonlinear state estimation via maximum likelihood principle
inferredcites →https://doi.org/10.1109/icscse.2016.0139openalex-snapshot
Retracted: Consumption Structure Optimization Research Based on Intelligent Computing
inferredcites →https://doi.org/10.1109/icws.2014.112openalex-snapshot
Service Reconfiguration Architecture Based on Probabilistic Modeling Checking
inferredcites →https://doi.org/10.1109/ieis.2016.7551873openalex-snapshot
Financial repression and bank risk-taking behavior: Evidence from listed commercial banks in China
inferredcites →https://doi.org/10.1109/iscid.2015.289openalex-snapshot
The Research of Forecasting Cash Inflow and Outflow Based on Time Series Analysis
inferredcites →https://doi.org/10.1109/liss.2015.7369640openalex-snapshot
Risk evaluation of value assessment in IPR pledge financing based on interval value TOPSIS method
inferredcites →https://doi.org/10.1109/liss.2015.7369748openalex-snapshot
Analysis on information value of big data in Internet finance
inferredcites →https://doi.org/10.1109/picmet.2016.7806535openalex-snapshot
Fund management for carve-out start-ups: A scheme to lead innovations outside the business scope of large corporations
inferredcites →https://doi.org/10.1109/tase.2015.15openalex-snapshot
Probabilistic Model Checking of Pipe protocol
inferredcites →https://doi.org/10.1109/tnsm.2009.031105openalex-snapshot
Change Priority Determination in IT Service Management Based on Risk Exposure
inferredcites →https://doi.org/10.1109/tse.2015.2468717openalex-snapshot
Probabilistic Model Checking of Regenerative Concurrent Systems
inferredcites →https://doi.org/10.1201/9780429292859openalex-snapshot
Data Mining with R
inferredcites →https://doi.org/10.1590/1808-057x201804590openalex-snapshot
Aspects of manager, portfolio allocation, and fund performance in Brazil
inferredcites →https://doi.org/10.5709/ce.1897-9254.253openalex-snapshot
The Promise of Fintech in Emerging Markets : Not as Disruptive

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.2139/ssrn.4524943openalex-extracted
Formal Verification for Multi-Agent Path Execution Under Stochastic Environments
inferred← citeshttps://doi.org/10.1002/ett.3825openalex-snapshot
Research on wireless robot path planning under edge computing considering multistep searching and inflection points
inferred← citeshttps://doi.org/10.1002/ett.3888openalex-snapshot
An edge computing‐based predictive evaluation scheme toward geological drilling data using long short‐term memory network
inferred← citeshttps://doi.org/10.1002/itl2.254openalex-snapshot
Efficient task optimization algorithm for green computing in cloud
inferred← citeshttps://doi.org/10.1007/978-3-030-30146-0_25openalex-snapshot
Positive-Unlabeled Learning for Sentiment Analysis with Adversarial Training
inferred← citeshttps://doi.org/10.1007/978-981-15-5921-1_6openalex-snapshot
Mobile Service Deployment
inferred← citeshttps://doi.org/10.1007/978-981-99-7886-1_24openalex-snapshot
Assessing Network Accounting Management Approaches in the Infrastructure and Information Technology Sector: A Case Study in Indonesia
inferred← citeshttps://doi.org/10.1007/s00500-023-09113-9openalex-snapshot
Reliability analysis of mobile agent control system with multiple alternative plans
inferred← citeshttps://doi.org/10.1007/s00779-019-01249-6openalex-snapshot
Dynamic social privacy protection based on graph mode partition in complex social network
inferred← citeshttps://doi.org/10.1007/s00779-019-01255-8openalex-snapshot
A human pose estimation algorithm based on the integration of improved convolutional neural networks and multi-level graph structure constrained model
inferred← citeshttps://doi.org/10.1007/s10257-021-00516-5openalex-snapshot
Effect of consumers’ online shopping on their investment in money market funds on ecommerce platforms
inferred← citeshttps://doi.org/10.1007/s11036-019-01241-7openalex-snapshot
QoS Prediction for Service Recommendation with Deep Feature Learning in Edge Computing Environment
inferred← citeshttps://doi.org/10.1007/s11036-019-01445-xopenalex-snapshot
Deep Learning Models for Real-time Human Activity Recognition with Smartphones
inferred← citeshttps://doi.org/10.1007/s11036-019-01446-wopenalex-snapshot
Active Defense by Mimic Association Transmission in Edge Computing
inferred← citeshttps://doi.org/10.1007/s11036-019-01449-7openalex-snapshot
Dynamical Service Deployment and Replacement in Resource-Constrained Edges
inferred← citeshttps://doi.org/10.1007/s11036-019-01457-7openalex-snapshot
Cloud Marginal Resource Allocation: A Decision Support Model
inferred← citeshttps://doi.org/10.1007/s11036-020-01535-1openalex-snapshot
Mining consuming Behaviors with Temporal Evolution for Personalized Recommendation in Mobile Marketing Apps
inferred← citeshttps://doi.org/10.1007/s11227-019-03027-wopenalex-snapshot
Vulnerability assessment method for cyber-physical system considering node heterogeneity
inferred← citeshttps://doi.org/10.1007/s11276-019-02042-2openalex-snapshot
Distributed machine learning load balancing strategy in cloud computing services
inferred← citeshttps://doi.org/10.1007/s11276-019-02053-zopenalex-snapshot
Computation offloading for multimedia workflows with deadline constraints in cloudlet-based mobile cloud
inferred← citeshttps://doi.org/10.1007/s11276-019-02058-8openalex-snapshot
Privacy preserving semantic trajectory data publishing for mobile location-based services
inferred← citeshttps://doi.org/10.1007/s11276-019-02195-0openalex-snapshot
Recent advances in consensus protocols for blockchain: a survey
inferred← citeshttps://doi.org/10.1007/s13198-021-01181-0openalex-snapshot
The analysis of influence mechanism for internet financial fraud identification and user behavior based on machine learning approaches
inferred← citeshttps://doi.org/10.1016/j.comcom.2019.10.012openalex-snapshot
Cognitive computing and wireless communications on the edge for healthcare service robots
inferred← citeshttps://doi.org/10.1016/j.eij.2025.100710openalex-snapshot
Innovative quantum techniques for improving system performance in cloud computing
inferred← citeshttps://doi.org/10.1016/j.engappai.2025.111266openalex-snapshot
Formal verification for multi-agent path execution in stochastic environments
inferred← citeshttps://doi.org/10.1016/j.future.2019.06.021openalex-snapshot
Cross-platform rating prediction method based on review topic
inferred← citeshttps://doi.org/10.1016/j.inffus.2023.02.025openalex-snapshot
A behavioural hierarchical analysis framework in a smart home: Integrating HMM and probabilistic model checking
inferred← citeshttps://doi.org/10.1016/j.knosys.2023.110355openalex-snapshot
Mobile agent path planning under uncertain environment using reinforcement learning and probabilistic model checking
inferred← citeshttps://doi.org/10.1016/j.micpro.2020.103550openalex-snapshot
RETRACTED: Financial investor information impact based on FPGA and machine learning
inferred← citeshttps://doi.org/10.1016/j.procs.2023.12.044openalex-snapshot
Investigation of Task Scheduling in Cloud Computing by using Imperialist Competitive and Crow Search Algorithms
inferred← citeshttps://doi.org/10.1080/00051144.2020.1715590openalex-snapshot
Group recommendation based on hybrid trust metric
inferred← citeshttps://doi.org/10.1080/00051144.2020.1837499openalex-snapshot
A novel edge server selection method based on combined genetic algorithm and simulated annealing algorithm
inferred← citeshttps://doi.org/10.1080/15427560.2026.2667516openalex-snapshot
Should I Select Him? The Impact of Fund Manager’s Profile Information Online on the Investors’ Purchase Intention
inferred← citeshttps://doi.org/10.1109/access.2019.2894593openalex-snapshot
Detecting Interprocedural Infeasible Paths Based on Unsatisfiable Path Constraint Patterns
inferred← citeshttps://doi.org/10.1109/access.2019.2900486openalex-snapshot
An Enhanced Brain Storm Sine Cosine Algorithm for Global Optimization Problems
inferred← citeshttps://doi.org/10.1109/access.2019.2919189openalex-snapshot
Novel Financial Capital Flow Forecast Framework Using Time Series Theory and Deep Learning: A Case Study Analysis of Yu’e Bao Transaction Data
inferred← citeshttps://doi.org/10.1109/access.2019.2931756openalex-snapshot
Recommendations for Mobile Apps Based on the HITS Algorithm Combined With Association Rules
inferred← citeshttps://doi.org/10.1109/access.2019.2933364openalex-snapshot
An Improved Convolutional Network Architecture Based on Residual Modeling for Person Re-Identification in Edge Computing
inferred← citeshttps://doi.org/10.1109/access.2019.2937107openalex-snapshot
Testing and Quality Validation for AI Software–Perspectives, Issues, and Practices
inferred← citeshttps://doi.org/10.1109/access.2019.2943493openalex-snapshot
An Intrusion Tracking Watermarking Scheme
inferred← citeshttps://doi.org/10.1109/access.2019.2944881openalex-snapshot
Task Assignment Algorithm for Road Patrol by Multiple UAVs With Multiple Bases and Rechargeable Endurance
inferred← citeshttps://doi.org/10.1109/access.2019.2946216openalex-snapshot
An EDA-GA Hybrid Algorithm for Multi-Objective Task Scheduling in Cloud Computing
inferred← citeshttps://doi.org/10.1109/access.2019.2946936openalex-snapshot
Clustering of Remote Sensing Data Based on K-Nearest Neighbors Sampling With Non-Evenly Division
inferred← citeshttps://doi.org/10.1109/access.2019.2950900openalex-snapshot
Orientation Analysis for Chinese News Based on Word Embedding and Syntax Rules
inferred← citeshttps://doi.org/10.1109/access.2019.2958651openalex-snapshot
Dispatch for Urban Integrated Heat and Power System Considering Secondary PM2.5 Under Smart Environmental Sensing
inferred← citeshttps://doi.org/10.1109/access.2020.2973758openalex-snapshot
Task Scheduling Algorithm Based on Improved Firework Algorithm in Fog Computing
inferred← citeshttps://doi.org/10.1109/access.2020.2988685openalex-snapshot
Semantic Integration of Heterogeneous Databases of Same Domain Using Ontology
inferred← citeshttps://doi.org/10.1109/csce60160.2023.00163openalex-snapshot
Integrating Process Mining with Probabilistic Model Checking via Continuous Time Markov Chains
inferred← citeshttps://doi.org/10.1109/globconet56651.2023.10149898openalex-snapshot
PM2PMC: A Probabilistic Model Checking Approach in Process Mining
inferred← citeshttps://doi.org/10.1109/icipcn63822.2024.00140openalex-snapshot
Personalized Wealth Management Website
inferred← citeshttps://doi.org/10.1109/tifs.2023.3324769openalex-snapshot
PRIMϵ: Novel Privacy-Preservation Model With Pattern Mining and Genetic Algorithm
inferred← citeshttps://doi.org/10.1109/tsc.2021.3050178openalex-snapshot
Joint Deep Networks Based Multi-Source Feature Learning for QoS Prediction
inferred← citeshttps://doi.org/10.1155/2020/3967847openalex-snapshot
A Task Scheduling Strategy in Edge-Cloud Collaborative Scenario Based on Deadline
inferred← citeshttps://doi.org/10.1155/2021/6378139openalex-snapshot
A Combining Method for Wireless Protocol Conformance Testing: A Empirical Case
inferred← citeshttps://doi.org/10.1186/s13638-019-1521-2openalex-snapshot
A data-driven method to detect and localize the single-phase grounding fault in distribution network based on synchronized phasor measurement
inferred← citeshttps://doi.org/10.32604/cmc.2021.018658openalex-snapshot
Task Scheduling Optimization in Cloud Computing Based on Genetic Algorithms
inferred← citeshttps://doi.org/10.3390/fi15120378openalex-snapshot
Statistical Model Checking in Process Mining: A Comprehensive Approach to Analyse Stochastic Processes
inferred← citeshttps://doi.org/10.3390/rs11111265openalex-snapshot
Predicting Taxi Demand Based on 3D Convolutional Neural Network and Multi-task Learning
inferred← citeshttps://doi.org/10.38190/ope.12.1.8openalex-snapshot
Ekosustav Alibaba kao model poduzetničkog projekta
inferred← citeshttps://doi.org/10.53106/160792642022072304003openalex-snapshot
Risk of Internet Money Market Funds and Its Spillover Effect: Based on La-VaR, DCC-GARCH and Minimum Spanning Tree
inferred← citeshttps://doi.org/10.54820/entrenova-2022-0019openalex-snapshot
The Impact of Covid-19 on the Alibaba Platform
Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.