Kyoto University The Hakubi Project
Outline
Introduction
Message
Organization
History
Members
Recruitment
Activity
Achievements
Seminar
Events
Hakubi Annual Event Schedule
Publications
At a Glance
Newsletter
Annual Report
Brochure
Series Hakubi
Contact・Access
English
日本語
Latest News
Home
最新ニュース
Achievements
Publications
2013.02.04
Publications
Kohei SUENAGA
Kohei Suenaga published a paper about a type-based formal method for safe resource deallocation as an OOPSLA Research Paper in SPLASH 2012.
関連する研究者
Kohei SUENAGA
Kohei Suenaga published a paper about "hyperstream processing", which is for verification of hybrid systems, in POPL 2013.
"The elusive crystal structure of the neuraminidase inhibitor Tamiflu (oseltamivir phosphate): molecular details of action", published in Chemical Communications
Scroll