Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Patrick Watson
Claudia Calabrese
Maria Concetta Palumbo
Grégoire Jadi
Yingzhu Li
Jhonathan Pinzon
Giovanni Venturelli
Chen Ma
Radu Timofte
Kuanrui Yin
Home
/
Author
/
XIAOJUAN CAI
Author Info
Open Visualization
Name
Affiliation
Papers
XIAOJUAN CAI
School of Software, Shanghai Jiao Tong University, China
15
Collaborators
Citations
PageRank
15
36
5.95
Referers
Referees
References
68
285
232
Search Limit
100
285
Publications (15 rows)
Collaborators (15 rows)
Referers (68 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
Hardness Results for Coverability Problem of Well-Structured Pushdown Systems.
0
0.34
2017
Termination and Boundedness for Well-Structured Pushdown Systems
2
0.45
2016
Well-Structured Pushdown System: Case of Dense Timed Pushdown Automata.
5
0.52
2014
Well-Structured pushdown systems
4
0.43
2013
Nested timed automata
2
0.38
2013
The λ-calculus in the π-calculus.
5
0.46
2011
Modeling and analysis of real -time systems with mutex components
2
0.39
2010
A pure labeled transition semantics for the applied pi calculus
1
0.35
2010
Knowledge Aware Bisimulation and Anonymity
0
0.34
2009
Applying A Testing Approach To The Calculus Of Fair Ambients
0
0.34
2009
Measuring Anonymous Systems with the Probabilistic Applied Pi Calculus
0
0.34
2009
A Simpler Framework Based on the Applied Pi Calculus and Its Application to Electronic Cash Protocol
0
0.34
2008
Analyzing an Electronic Cash Protocol Using Applied Pi Calculus
8
0.50
2007
Towards Automatic Measurement of Probabilistic Processes
7
0.45
2007
On Vulnerability Testing of VoIP Software - The MEGACO/H.248 System as an Example
0
0.34
2004
1