Seguir
Tomohiro Oda
Tomohiro Oda
Otros nombres小田朋宏
Software Research Associates, Inc.
Dirección de correo verificada de sra.co.jp - Página principal
Título
Citado por
Citado por
Año
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
642013
Specification slicing in formal methods of software development
T Oda, K Araki
Proceedings of 1993 IEEE 17th International Computer Software and …, 1993
54*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
232016
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
182015
VDM animation for a wider range of stakeholders
T Oda, Y Yamamoto, K Nakakoji, K Araki, PG Larsen
13th Overture workshop, 18-32, 2015
142015
Overview of VDMPad: an interactive tool for formal specification with vdm
T Oda, K Araki
International Conference on Advanced Software Engineering and Information …, 2013
102013
" 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
92015
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
82017
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
82016
説得性に基づく情報推薦手法の提案: 送り手の属性に着目したモデルと検証
小柴, 相原健郎, 小田朋宏, 星孝哲, 松原伸人, 森純一郎, 武田英明
情報処理学会論文誌 51 (8), 1452-1468, 2010
72010
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
62013
記憶の想起と記録のためのライフログ・ブログ連携型支援手法の提案
小柴, 相原健郎, 森純一郎, 小田朋宏, 星孝哲, 松原伸人, 武田英明
情報処理学会論文誌 51 (1), 63-81, 2010
52010
Studies on development of new method for the prediction of clinical trial results using compressive sensing of artificial intelligence
Y Miyagi, K Fujiwara, T Oda, T Miyake, RL Coleman
BP International, 2020
42020
Observation of population inversion in He I due to a double electron capture process
S Namba, S Kusakabe, K Takahara, K Sato, T Katsuta, T Oda
Fusion engineering and design 34, 777-779, 1997
41997
re: Mobidyc-reconstructing modeling based on individual for the dynamics of community
T Oda, G Dur, S Ducasse, S Souissi
Advances in Practical Applications of Agents, Multi-Agent Systems, and …, 2021
32021
Specifying abstract user interface in VDM-SL
T Oda, K Akari, Y Yamamoto, K Nakakoji, HM Chang, P Larsen
Proceedings International Overture Workshop, 5-20, 2021
32021
Automated VDM-SL to Smalltalk Code Generators for Exploratory Modeling
PGL Tomohiro Oda, Keijiro Araki
the 14th Overture Workshop: Towards analytical tool chains, 2016
3*2016
「埋蔵分子」 発掘プロジェクト—化学反応経路マップのインタラクティブ可視化に向けて
佐藤寛子, 小田朋宏, 中小路久美代, 宇野毅明, 田中宏明, 岩田覚, ...
32014
Persuasive Navigation Mechanisms for Consumer Generated Media
T Oda, K Aihara, H Koshiba
Proceedings of the 2009 Symposium on Interactive Visual Information …, 2009
32009
Use-centric information re-presentation for creative knowledge work
T Oda, Y Yamamoto, K Nakakoji
Symposium on Interactive Visual Information Collections and Activity …, 2006
32006
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20