M. Marin

发表

Temur Kutsia, B. Dundua, M. Marin, 2020 .

Fadoua Ghourabi, T. Ida, M. Marin, 2006 .

筑波大学電子・情報工学系, M. Marin, 井田 哲雄, 2001 .

Temur Kutsia, M. Ayala-Rincón, B. Dundua, 2017 .

Francisco Curbera, Neelakantan Kartha, Mircea Marin, 2007 .

Temur Kutsia, Mircea Marin, Temur Kutsia, 2015, J. Symb. Comput..

Temur Kutsia, Mircea Marin, Besik Dundua, 2019, SACMAT.

Temur Kutsia, Mircea Marin, Temur Kutsia, 2006, J. Appl. Non Class. Logics.

Temur Kutsia, Mircea Marin, Temur Kutsia, 2012, 2012 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing.

Temur Kutsia, Mircea Marin, Besik Dundua, 2021, J. Symb. Comput..

Aart Middeldorp, Mircea Marin, A. Middeldorp, 2004, PPDP '04.

Temur Kutsia, Besik Dundua, Mircea Marin, 2020, FSCD.

Mário Florido, Temur Kutsia, Mircea Marin, 2014, FLOPS.

Tetsuo Ida, Mircea Marin, T. Ida, 2005, Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'05).

Temur Kutsia, B. Dundua, M. Marin, 2020 .

Tetsuo Ida, Mircea Marin, T. Ida, 2005 .

Tetsuo Ida, Mircea Marin, Hidekazu Takahashi, 2003, APLAS.

Temur Kutsia, Mircea Marin, Temur Kutsia, 2010, RTA.

Temur Kutsia, M. Marin, Cleo Pau, 2023, FROM.