Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Tidjani Négadi
Claudia Calabrese
Gabriel Marzinotto
Pamela Tröndle
Jhonathan Pinzon
Giovanni Venturelli
Tolga Tezcan
Chen Ma
Radu Timofte
Kuanrui Yin
Home
/
Author
/
TADAAKI TANIMOTO
Author Info
Open Visualization
Name
Affiliation
Papers
TADAAKI TANIMOTO
Osaka Univ, Grad Sch Informat Sci & Technol, 2-2 Yamadaoka, Suita, Osaka 5650871, Japan
5
Collaborators
Citations
PageRank
5
2
1.75
Referers
Referees
References
3
113
76
Search Limit
100
113
Publications (5 rows)
Collaborators (5 rows)
Referers (3 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
A Timed Failure Equivalence Preserving Abstraction For Parametric Time-Interval Automata
0
0.34
2006
A real time budgeting method for module-level-pipelined bus based system using bus scenarios
0
0.34
2006
Double Depth First Search Based Parametric Analysis for Parametric Time-Interval Automata*This work is partially supported by Grant-in-Aid for Young Scientists (B) (16700062, 2004--2005) from the Ministry of Education, Science, Sports and Culture(MEXT), Japan.
1
0.37
2005
Double Depth First Search Based Parametric Analysis For Parametric Time-Interval Automata
1
0.37
2005
A Global Timed Bisimulation Preserving Abstraction for Parametric Time-Interval Automata
0
0.34
2004
1