NEWS
New Feature!!!! University Subject Rankings in 12 branches
FOR SCIENTIST REGISTRATION FOR INSTITUTIONAL BULK REGISTRATION
FOR EDIT YOUR UNIVERSITY / INSTITUTION PAGE
Some differences of the AD Scientific Index
New Feature!!!! University Subject Rankings in 12 branches
List without CERN, Statistical Data etc. Only in AD Scientific Index
New Feature!!!! University Subject Rankings in 12 branches
AD
Scientific Index 2024
About Us
Methodology
Compare & Choose
Contact - FAQ
login
Login
person_add
Register
school
University Rankings
subject
University Subject Rankings
place
Country Rankings
insights
i10 Productivity Rankings
insights
Subject Rankings
format_list_numbered
Top 100 Scientists
format_list_numbered
Citation Rankings
format_quote
Top 100 Institutions
local_fire_department
Country Top Lists
Takamasa Okudono
AD Scientific Index 2024
Others
National Institute of Informatics, Japan - Chiyoda City / Japan
国立情報学研究所
Edit Form
Registration, Add Profile,
Premium Membership
Ranking &
Analysis
Job
Experiences (0)
Education
Information (0)
Published Books (0)
Book Chapters (0)
Articles (0)
Presentations (0)
Lessons (0)
Projects (0)
Congresses (0)
Editorship, Referee &
Scientific Board (0 )
Patents /
Designs (0)
Academic Grants
& Awards (0)
Artistic
Activities (0)
Certificate / Course
/ Trainings (0)
Association &
Society Memberships (0)
Contact, Office
& Social Media
person_outline
Takamasa Okudono's MOST POPULAR ARTICLES
1-)
Weighted automata extraction from recurrent neural networks via regression on state spaces T Okudono, M Waga, T Sekiyama, I Hasuo Proceedings of the AAAI Conference on Artificial Intelligence 34 (04), 5306-5314, 2020 402020
2-)
Sharper and simpler nonlinear interpolants for program verification T Okudono, Y Nishida, K Kojima, K Suenaga, K Kido, I Hasuo Programming Languages and Systems: 15th Asian Symposium, APLAS 2017, Suzhou …, 2017 72017
3-)
Mind the gap: Bit-vector interpolation recast over linear integer arithmetic T Okudono, A King International Conference on Tools and Algorithms for the Construction and …, 2020 62020
4-)
Genetic algorithm for the weight maximization problem on weighted automataE Gutiérrez, T Okudono, M Waga, I HasuoProceedings of the 2020 Genetic and Evolutionary Computation Conference, 699-707, 202032020
5-)
Algebraic Abstraction in Formal Methods (形式手法における代数的抽象化)T OkudonoThe Graduate University for Advanced Studies, 20212021
ARTICLES
Add your articles
We use cookies to personalize our website and offer you a better experience. If you accept cookies, we can offer you special services.
Cookie Policy
Accept