Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Ignacio J. Pérez-Arriaga
Daniel P. Kennedy
Roland Zumkeller
Maximilian Dürr
Dan Graur
Liangliang Shang
Chen Ma
Steven Miller
Barbara Aquilani
Li Nie
Home
/
Author
/
TINGTING HAN
Author Info
Open Visualization
Name
Affiliation
Papers
TINGTING HAN
State Key Laboratory of Novel Software Technology, Nanjing University, Nanjing, Jiangsu, P.R. China
15
Collaborators
Citations
PageRank
17
98
7.34
Referers
Referees
References
196
284
167
Search Limit
100
284
Publications (15 rows)
Collaborators (17 rows)
Referers (100 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
Deep finger texture learning for verifying people.
0
0.34
2019
Polynomial-time Algorithms for Computing Distances of Fuzzy Transition Systems.
1
0.35
2018
Personal verification based on multi-spectral finger texture lighting images.
1
0.34
2018
Bisimulations for fuzzy transition systems revisited.
1
0.36
2018
Continuous-time orbit problems are decidable in polynomial-time.
3
0.54
2015
On the Complexity of Computing Maximum Entropy for Markovian Models.
2
0.37
2014
LTL Model Checking of Time-Inhomogeneous Markov Chains
7
0.45
2009
Counterexample Generation in Probabilistic Model Checking
55
1.58
2009
Compositional Modeling and Minimization of Time-Inhomogeneous Markov Chains
9
0.50
2008
Providing evidence of likely being on time: counterexample generation for CTMC model checking
13
0.67
2007
On the markovian randomized strategy of controller for markov decision processes
3
0.40
2006
On the Bisimulation Congruence in chi-Calculus
0
0.34
2005
Analysis of A Leader Election Algorithm in uCRL
1
0.36
2005
Structure Analysis for Dynamic Software Architecture
2
0.41
2005
A Modal Logic for pi-Calculus and Model Checking Algorithm
0
0.34
2005
1