Name
Year | Venue | Field |
|---|---|---|
2009 | NASA Formal Methods | Virtualization,Model checking,Virtual machine,Computer science,Cache,Real time Java,Communication channel,Theoretical computer science,Software,Java |
DocType | Citations | PageRank |
Conference | 0 | 0.34 |
References | Authors | |
6 | 5 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Watcharin Leungwattanakit | 1 | 39 | 5.02 |
| Cyrille Artho | 2 | 588 | 44.46 |
| Masami Hagiya | 3 | 649 | 102.85 |
| Yoshinori Tanabe | 4 | 124 | 13.96 |
| Mitsuharu Yamamoto | 5 | 91 | 11.09 |