Shoji Yuen
发表
Irek Ulidowski,
Shoji Yuen,
I. Ulidowski,
2004,
J. Log. Algebraic Methods Program..
Irek Ulidowski,
Shoji Yuen,
I. Ulidowski,
1997,
AMAST.
Nobuko Yoshida,
Shoji Yuen,
Keigo Imai,
2019,
Sci. Comput. Program..
Hiroyuki Seki,
Shoji Yuen,
Yutaka Inamori,
2016,
FTSCS.
Guoqiang Li,
Shoji Yuen,
Xiaojuan Cai,
2010,
2010 IEEE International Symposium on Parallel & Distributed Processing, Workshops and Phd Forum (IPDPSW).
Irek Ulidowski,
Shoji Yuen,
Iain Phillips,
2013,
RC.
Kiyoshi Agusa,
Shoji Yuen,
Hiroaki Kuwabara,
2006
.
Automating Time-series Safety Analysis for Automotive Control Systems Using Weighted Partial Max-SMT
Hiroyuki Seki,
Shoji Yuen,
Yutaka Inamori,
2020,
J. Inf. Process..
Kiyoshi Agusa,
Shoji Yuen,
Daiju Kato,
2006
.
Guoqiang Li,
Shoji Yuen,
Yunqing Wen,
2015,
SOFL+MSVL.
Irek Ulidowski,
Shoji Yuen,
Iain Phillips,
2012,
RC.
Shoji Yuen,
Yasuyoshi Inagaki,
Toshiki Sakabe,
1992,
Systems and Computers in Japan.
Shoji Yuen,
Yasuyoshi Inagaki,
Toshiki Sakabe,
1992,
NAPAW.
Guoqiang Li,
Mizuhito Ogawa,
Shoji Yuen,
2015,
FORMATS.
Rance Cleaveland,
Shoji Yuen,
Scott A. Smolka,
1994,
CONCUR.
Guoqiang Li,
Shoji Yuen,
Yunqing Wen,
2016,
Science China Information Sciences.
Kiyoshi Agusa,
Shoji Yuen,
Keigo Imai,
2006
.
Shoji Yuen,
2008
.
Shoji Yuen,
Takuya Iwatsuka,
2011
.
Kiyoshi Agusa,
Shoji Yuen,
Mohamed Sharaf Aun,
2004,
ICWI.
Guoqiang Li,
Shoji Yuen,
Masakazu Adachi,
2009,
2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering.
Shoji Yuen,
Rumyana Neykova,
Keigo Imai,
2020,
ArXiv.
Rance Cleaveland,
Shoji Yuen,
Scott A. Smolka,
1992,
Inf. Comput..
Kiyoshi Agusa,
Shoji Yuen,
Keigo Imai,
2012,
IEICE Trans. Inf. Syst..
Irek Ulidowski,
Shoji Yuen,
Iain Phillips,
2018,
New Generation Computing.
Shoji Yuen,
2012,
IEICE Trans. Inf. Syst..
Guoqiang Li,
Shoji Yuen,
Yunqing Wen,
2014,
SOFL+MSVL.
Kiyoshi Agusa,
Shoji Yuen,
Keigo Imai,
2011,
PLACES.
Irek Ulidowski,
Shoji Yuen,
James Hoey,
2017,
EXPRESS/SOS.
Ken Mano,
Kiyoshi Agusa,
Shoji Yuen,
2005,
Electron. Notes Theor. Comput. Sci..
Guoqiang Li,
Mizuhito Ogawa,
Shoji Yuen,
2013,
FORMATS.
Kiyoshi Agusa,
Shoji Yuen,
Mohamed Sharaf Aun,
2005,
J. Web Eng..
Kiyoshi Agusa,
Shoji Yuen,
Noritoshi Atsumi,
2002,
IWPSE '02.
Shoji Yuen,
Rumyana Neykova,
Keigo Imai,
2020,
ECOOP.
Shoji Yuen,
Yosuke Watanabe,
Shuichi Sato,
2017,
2017 2nd International Conference on System Reliability and Safety (ICSRS).
Kiyoshi Agusa,
Shoji Yuen,
Mohamed Sharaf Aun,
2003,
ICWI.
Irek Ulidowski,
Shoji Yuen,
Iain Phillips,
2014,
Lecture Notes in Computer Science.
Irek Ulidowski,
Shoji Yuen,
Iain Phillips,
2014,
RC.
Guoqiang Li,
Shoji Yuen,
Yuwei Wang,
2017,
SETTA.
Guoqiang Li,
Shoji Yuen,
Yuwei Wang,
2017,
ICFEM.
Kiyoshi Agusa,
Shoji Yuen,
Aun Mohamed Sharaf,
2004
.
Irek Ulidowski,
Shoji Yuen,
James Hoey,
2018,
EXPRESS/SOS.
Irek Ulidowski,
Shoji Yuen,
I. Ulidowski,
2000,
CONCUR.
Shoji Yuen,
Xiaojuan Cai,
Guoqiang Li,
2012,
Int. J. Found. Comput. Sci..
Shoji Yuen,
結縁 祥治,
1997
.
Hiroyuki Seki,
Shoji Yuen,
Yosuke Watanabe,
2020,
2020 IEEE International Conference on Prognostics and Health Management (ICPHM).
Shoji Yuen,
Rumyana Neykova,
Keigo Imai,
2020,
Dagstuhl Artifacts Ser..
Irek Ulidowski,
Shoji Yuen,
Iain Phillips,
2014
.
Shoji Yuen,
Takashi Ikeda,
2020,
RC.
Kiyoshi Agusa,
Shoji Yuen,
Ryo Suetsugu,
2007,
14th Asia-Pacific Software Engineering Conference (APSEC'07).
Shoji Yuen,
2005
.
Irek Ulidowski,
Shoji Yuen,
I. Ulidowski,
2009,
Inf. Comput..
Shoji Yuen,
Kawakita Yuto,
2015
.
Nobuko Yoshida,
Shoji Yuen,
Keigo Imai,
2017,
COORDINATION.