GAINA, Daniel Mircea （ガイナ　ダニエル　ミルチェア）　助教
ソフトウェア検証研究センター

■学位

B.S. and M.S. from University of Bucharest(2003)(2005), M.S. from Normal Superior School of Bucharest(2006), PhD from Japan Advanced Institute of Science and Technology(2009)

■職歴

Research Assistant at University of Bucharest(2004), Postdoctoral Researcher at Japan Advanced Institute of Science and Technology(2009)

■研究業績

◇発表論文

Interpolation in logics with constructors，Daniel Gaina，Theoretical Computer Science，474，46, 13，2013/02/25
Constructor-based Logics，Daniel Gaina, Kokichi Futatsugi and Kazuhiro Ogata，Journal of Universal Computer Science，18，16，2204, 29，2012/10/18
Principles of proof scores in CafeOBJ，Kokichi Futatsugi, Daniel Gaina and Kazuhiro Ogata，Theoretical Computer Science，464，90, 22，2012/12/14

全件表示

◇講演発表

On the Automation of OTS/CafeOBJ Method,，Daniel Gaina，CafeOBJ Workshop，Kanazawa, Japan，2013/03/12
Forcing and Omitting Types Theorem, Institutionally，Daniel Gaina，UNILOG'2013，Rio de Janeiro, Brazil，2013/04/6
Interpolation in first-order logics with constructors，Daniel Gaina，UNILOG'2013，Rio de Janeiro, Brazil，2013/04/4

全件表示

GAINA, Daniel Mircea （ガイナ ダニエル ミルチェア） 助教 ソフトウェア検証研究センター

■学位

■職歴

■研究業績

◇発表論文

◇講演発表

GAINA, Daniel Mircea （ガイナ　ダニエル　ミルチェア）　助教
ソフトウェア検証研究センター