Statistics
Publications
2
Citations
37
H-Index
2
Active since
2016
Affiliations
Takashi Tomita is an author at Japan Advanced Institute of Science and Technology specializing in formal methods, computer science, and computing.
Publications per year
2016–2019
2
2
Safraless LTL synthesis considering maximal realizability
Takashi Tomita, Atsushi Ueno, Masaya Shimakawa et al. · Acta Informatica · 2016 · 22 citations · Full text
Reducing False Positives of Static Analysis for SEI CERT C Coding Standard
Pattaravut Maleehuan, Toshiaki Aoki, Takashi Tomita et al. · 2019 · 15 citations
1–2 of 2