Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Richard O. Lamaire
Claudia Calabrese
Hao Mao
Peter Malec
Mark R. Petersen
Giovanni Venturelli
Chen Ma
Radu Timofte
Kuanrui Yin
Zhiyuan Guo
Home
/
Author
/
SHA MENG
Author Info
Open Visualization
Name
Affiliation
Papers
SHA MENG
Xidian Univ, Sch Software, Inst Software Engn, Xian 710071, Peoples R China
8
Collaborators
Citations
PageRank
26
12
2.91
Referers
Referees
References
38
162
56
Search Limit
100
162
Publications (8 rows)
Collaborators (26 rows)
Referers (38 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
Synthesizing Barrier Certificates of Neural Network Controlled Continuous Systems via Approximations
0
0.34
2021
Synthesizing ReLU neural networks with two hidden layers as barrier certificates for hybrid systems
0
0.34
2021
Improved Ctt-Sp Algorithm With Critical Path Method For Massive Data Storage In Scientific Workflow Systems
0
0.34
2016
Modeling User Interests for Zero-Query Ranking.
7
0.45
2016
Efficient Computation of Emergent Equilibrium in Agent-Based Simulation.
0
0.34
2016
An Agent-based Simulation System for Dynamic Project Scheduling and Online Disruption Resolving
4
0.43
2015
Pso Based Multiobjective Reliable Optimization Model For Cloud Storage
1
0.34
2015
Experimental Analysis on CTT-SP Algorithm for Intermediate Data Storage in Scientific Workflow Systems.
0
0.34
2015
1