Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Tidjani Négadi
Daniel P. Kennedy
Barbara Aquilani
Christian Boehme
Muhammad Kamran Khattak
Maximilian Dürr
Jhonathan Pinzon
Yunida
Liangliang Shang
Chen Ma
Home
/
Author
/
NAIYONG JIN
Author Info
Open Visualization
Name
Affiliation
Papers
NAIYONG JIN
East China Normal University, China
16
Collaborators
Citations
PageRank
18
95
8.40
Referers
Referees
References
191
151
113
Search Limit
100
191
Publications (16 rows)
Collaborators (18 rows)
Referers (100 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
SVA and PSL local variables - a practical approach
1
0.35
2013
Exploiting structure in LTL synthesis.
2
0.39
2013
Acacia+, a tool for LTL synthesis
55
1.90
2012
Antichains and compositional algorithms for LTL synthesis
14
0.78
2011
iPSL: An Environment for IP-Based PSL Specification
0
0.34
2008
Denotational approach to an event-driven system-level language
6
0.60
2008
Witness and Counter-Example on 3-Valued Model Checking
0
0.34
2008
ASERE: Assuring the Satisfiability of Sequential Extended Regular Expressions
0
0.34
2008
Engineering of An Assertion-based PSLSimple-Verilog Dynamic Verifier by Alternating Automata
2
0.38
2008
Interface Specification Assurance Methods
0
0.34
2007
Dynamic Verifying The Properties of The Simple Subset of PSL
3
0.43
2007
An Operational Semantics of an Event-Driven System-Level Simulator
6
0.69
2006
Towards A Truly Concurrent Model for Processes Sharing Resources
1
0.35
2005
Integrating variants of DC
2
0.38
2004
Resource Models and Pre-Compiler Specification for Hardware/Software Co-Design Language
1
0.38
2004
A Novel Probabilistic Model for Link Unification Grammar
2
0.42
2001
1