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 “hyperstream processing”, which is for verification of hybrid systems, in POPL 2013.
関連する研究者
Kohei SUENAGA
"Shinichi Enami's paper was covered by “News and Views” in "Nature Chemistry" journal.
Kohei Suenaga published a paper about a type-based formal method for safe resource deallocation as an OOPSLA Research Paper in SPLASH 2012.
Scroll