Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
soichi watanabe
Nadir Ait Saidi
Claudia Calabrese
Hao Mao
Peter Malec
Giovanni Venturelli
Chen Ma
Radu Timofte
Kuanrui Yin
Pengfei Zhao
Home
/
Author
/
MENGDA HE
Author Info
Open Visualization
Name
Affiliation
Papers
MENGDA HE
Shenzhen University, China
10
Collaborators
Citations
PageRank
22
10
3.59
Referers
Referees
References
18
327
154
Search Limit
100
327
Publications (10 rows)
Collaborators (22 rows)
Referers (18 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
Navigating Discrete Difference Equation Governed WMR by Virtual Linear Leader Guided HMPC
0
0.34
2020
ABAC Requirements Engineering for Database Applications
0
0.34
2019
A Decision Procedure for String Logic with Quadratic Equations, Regular Expressions and Length Constraints.
0
0.34
2018
Towards a Program Logic for C11 Release-Sequences
0
0.34
2018
GPS $$+$$ + : Reasoning About Fences and Relaxed Atomics.
3
0.38
2018
Firefly-based Facial Expression Recognition: Extended Abstract.
0
0.34
2017
Automated specification inference in a combined domain via user-defined predicates.
1
0.36
2017
Using function approximation for personalized point-of-interest recommendation.
1
0.41
2017
Group sparse optimization for learning predictive state representations.
0
0.34
2017
Reasoning about Fences and Relaxed Atomics
5
0.41
2016
1