| VDM-10 language manual PG Larsen, K Lausdahl, N Battle, J Fitzgerald, S Wolff, S Sahara, ... Internet: overturetool. org/documentation/manuals. html [Oct. 5, 2020], 2013 | 58 | 2013 |
| Specification slicing in formal methods of software development T Oda, K Araki Proceedings of 1993 IEEE 17th International Computer Software and …, 1993 | 44 | 1993 |
| Potential Energy Surface-Based Automatic Deduction of Conformational Transition Networks and Its Application on Quantum Mechanical Landscapes of d-Glucose … H Satoh, T Oda, K Nakakoji, T Uno, H Tanaka, S Iwata, K Ohno Journal of chemical theory and computation 12 (11), 5293-5308, 2016 | 16 | 2016 |
| VDMPad: a lightweight IDE for exploratory VDM-SL specification T Oda, K Araki, PG Larsen 2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering, 33-39, 2015 | 16 | 2015 |
| Overview of VDMPad: an interactive tool for formal specification with vdm T Oda, K Araki International Conference on Advanced Software Engineering and Information …, 2013 | 11 | 2013 |
| VDM animation for a wider range of stakeholders T Oda, Y Yamomoto, K Nakakoji, K Araki, PG Larsen Proceedings of the 13th Overture Workshop, 18-32, 2015 | 9 | 2015 |
| Specification slicing in formal methods of software engineering T Oda, K Araki Proceedings of the Seventeenth International Computer Software and …, 1993 | 9 | 1993 |
| Viennatalk and assertch: building lightweight formal methods environments on pharo 4 T Oda, K Araki, PG Larsen Proceedings of the 11th edition of the International Workshop on Smalltalk …, 2016 | 6 | 2016 |
| " Maizo"-chemistry Project: toward Molecular-and Reaction Discovery from Quantum Mechanical Global Reaction Route Mappings H SATOH, T ODA, K NAKAKOJI, T UNO, S IWATA, K OHNO Journal of Computer Chemistry, Japan 14 (3), 77-79, 2015 | 6 | 2015 |
| A formal modeling tool for exploratory modeling in software development T Oda, K Araki, PG Larsen IEICE Transactions on Information and Systems 100 (6), 1210-1217, 2017 | 5 | 2017 |
| Somethingit: A prototyping library for live and sound improvisation T Oda, K Nakakoji, Y Yamamoto 2013 1st International Workshop on Live Programming (LIVE), 11-14, 2013 | 5 | 2013 |
| 説得性に基づく情報推薦手法の提案: 送り手の属性に着目したモデルと検証 小柴， 相原健郎， 小田朋宏， 星孝哲， 松原伸人， 森純一郎， 武田英明 情報処理学会論文誌 51 (8), 1452-1468, 2010 | 4 | 2010 |
| 記憶の想起と記録のためのライフログ・ブログ連携型支援手法の提案 小柴， 相原健郎， 森純一郎， 小田朋宏， 星孝哲， 松原伸人， 武田英明 情報処理学会論文誌 51 (1), 63-81, 2010 | 3 | 2010 |
| Automated VDM-SL to Smalltalk Code Generators for Exploratory Modeling PGL Tomohiro Oda, Keijiro Araki the 14th Overture Workshop: Towards analytical tool chains, 2016 | 2 | 2016 |
| 発掘プロジェクト: 化学反応経路マップのインタラクティブ可視化に向けて 佐藤寛子， 小田朋宏， 中小路久美代， 宇野毅明， 田中宏明， 岩田覚， ... 情報処理学会, インタラクション, 2014 | 2 | 2014 |
| Persuasive Navigation Mechanisms for Consumer Generated Media T Oda, K Aihara, H Koshiba Proceedings of the 2009 Symposium on Interactive Visual Information …, 2009 | 2 | 2009 |
| Use-centric information re-presentation for creative knowledge work T Oda, Y Yamamoto, K Nakakoji Symposium on Interactive Visual Information Collections and Activity …, 2006 | 2 | 2006 |
| ViennaTalk: An integrated specification environment focused on the early stage of the formal specification phase T Oda, K Araki Computer Software 34 (4), 129-143, 2017 | 1 | 2017 |
| 化学反応経路ネットワーク探索のためのビジュアルインタラクティビティのデザイン 中小路久美代， 小田朋宏， 佐藤寛子 SIG-AM 8 (01), 1-5, 2014 | 1 | 2014 |
| 文章執筆時の語彙や言葉遣いの複数案をプレビューするためのインタラクティビティのデザイン 中小路久美代， 小田朋宏， 山本恭裕 人工知能学会全国大会論文集 第 27 回全国大会 (2013), 4D15-4D15, 2013 | 1 | 2013 |
Peter Gorm LarsenAarhus UniversityVerified email at eng.au.dk
