研究業績

川野蓮弥, 結縁祥治
電子情報通信学会, 信学技報, vol. 125, no. 376, SS2025-43, pp. 79-84

Kenji Saotome, Koji Nakazawa, Daisuke Kimura, Ayumu Kawasaki
Arch. Math. Log., vol. 65, no. 3

Yuna Sadamoto, Shoji Yuen, Claudio Antares Mezzina
Reversible Computation RC2026, Lecture Notes in Computer Science, pp. 1-8, Springer

川野蓮弥, 結縁祥治
電子情報通信学会ソフトウェアサイエンス研究会

Shunya Oguchi, Shoji Yuen, Nobuko Yoshida
Reversible Computation - 17th International Conference, RC 2025, Odense, Denmark, July 3-4, 2025, Proceedings, Lecture Notes in Computer Science, pp. 119--127, Springer

佐藤拓海，中澤巧爾
第28回プログラミングおよびプログラミング言語ワークショップ（PPL 2026）, 2026/03/11, セッション16，#101

Shunya Oguchi, Shoji Yuen
J. Inf. Process., vol. 32

Laura Bocchi, Ivan Lanese, Claudio Antares Mezzina, Shoji Yuen
Log. Methods Comput. Sci., vol. 20, no. 1

Shunya Oguchi, Shoji Yuen
Reversible Computation - 16th International Conference, RC 2024, Toru\'n, Poland, July 4-5, 2024, Proceedings, Lecture Notes in Computer Science, pp. 181--200, Springer

Shunya Oguchi, Shoji Yuen
Proceedings Combined 30th International Workshop on Expressiveness in Concurrency and 20th Workshop on Structural Operational Semantics, EXPRESS/SOS 2023, and 20th Workshop on Structural Operational SemanticsAntwerp, Belgium, 18th September 2023, EPTCS, pp. 149--167

Laura Bocchi, Ivan Lanese, Claudio Antares Mezzina, Shoji Yuen
Formal Techniques for Distributed Objects, Components, and Systems - 42nd IFIP WG 6.1 International Conference, FORTE 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings, Lecture Notes in Computer Science, pp. 31--49, Springer

Takashi Ikeda, Shoji Yuen
Reversible Computation - 14th International Conference, RC 2022, Urbino, Italy, July 5-6, 2022, Proceedings, Lecture Notes in Computer Science, pp. 204--212, Springer

Laura Bocchi, Ivan Lanese, Claudio Antares Mezzina, Shoji Yuen
CoRR, vol. abs/2212.03687

Keigo Imai, Rumyana Neykova, Nobuko Yoshida, Shoji Yuen
Dagstuhl Artifacts Ser., vol. 6, no. 2

Shuichi Sato, Shogo Hattori, Hiroyuki Seki, Yutaka Inamori, Shoji Yuen
J. Inf. Process., vol. 28

Keigo Imai, Rumyana Neykova, Nobuko Yoshida, Shoji Yuen
34th European Conference on Object-Oriented Programming, ECOOP 2020, Berlin, Germany (Virtual Conference), November 15-17, 2020, LIPIcs, pp. 9:1--9:30, Schloss Dagstuhl - Leibniz-Zentrum f\"ur Informatik

Shuichi Sato, Yosuke Watanabe, Hiroyuki Seki, Yoshinao Ishii, Shoji Yuen
IEEE International Conference on Prognostics and Health Management, ICPHM 2020, Detroit, MI, USA, June 8-10, 2020, pp. 1--8, IEEE

Takashi Ikeda, Shoji Yuen
Reversible Computation - 12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings, Lecture Notes in Computer Science, pp. 272--279, Springer

Keigo Imai, Rumyana Neykova, Nobuko Yoshida, Shoji Yuen
CoRR, vol. abs/2005.06333

Keigo Imai, Nobuko Yoshida, Shoji Yuen
Sci. Comput. Program., vol. 172

Guoqiang Li, Yunqing Wen, Shoji Yuen
Sci. China Inf. Sci., vol. 61, no. 1

Irek Ulidowski, Iain Phillips, Shoji Yuen
New Gener. Comput., vol. 36, no. 3

James Hoey, Irek Ulidowski, Shoji Yuen
Proceedings Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics, EXPRESS/SOS 2018, Beijing, China, September 3, 2018, EPTCS, pp. 69--86

Keigo Imai, Nobuko Yoshida, Shoji Yuen
Coordination Models and Languages - 19th IFIP WG 6.1 International Conference, COORDINATION 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuch\^atel, Switzerland, June 19-22, 2017, Proceedings, Lecture Notes in Computer Science, pp. 99--118, Springer

Yuwei Wang, Yunqing Wen, Guoqiang Li, Shoji Yuen
Formal Methods and Software Engineering - 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings, Lecture Notes in Computer Science, pp. 396--412, Springer

Shuichi Sato, Yosuke Watanabe, Hiroyuki Seki, Shoji Yuen
2nd International Conference on System Reliability and Safety, ICSRS 2017, Milan, Italy, December 20-22, 2017, pp. 505--511, IEEE

Yuwei Wang, Guoqiang Li, Shoji Yuen
Dependable Software Engineering. Theories, Tools, and Applications - Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings, Lecture Notes in Computer Science, pp. 77--93, Springer

James Hoey, Irek Ulidowski, Shoji Yuen
Proceedings Combined 24th International Workshop on Expressiveness in Concurrency and 14th Workshop on Structural Operational Semantics, EXPRESS/SOS 2017, Berlin, Germany, 4th September 2017, EPTCS, pp. 51--66

Shuichi Sato, Shogo Hattori, Hiroyuki Seki, Yutaka Inamori, Shoji Yuen
Formal Techniques for Safety-Critical Systems - 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers, Communications in Computer and Information Science, pp. 39--54

Guoqiang Li, Mizuhito Ogawa, Shoji Yuen
Formal Modeling and Analysis of Timed Systems - 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings, Lecture Notes in Computer Science, pp. 189--205, Springer

Yunqing Wen, Guoqiang Li, Shoji Yuen
Structured Object-Oriented Formal Language and Method - 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers, Lecture Notes in Computer Science, pp. 147--161, Springer

Irek Ulidowski, Iain Phillips, Shoji Yuen
Reversible Computation - 6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedings, Lecture Notes in Computer Science, pp. 1--14, Springer

Yunqing Wen, Guoqiang Li, Shoji Yuen
Structured Object-Oriented Formal Language and Method - 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers, Lecture Notes in Computer Science, pp. 62--80, Springer

Guoqiang Li, Xiaojuan Cai, Mizuhito Ogawa, Shoji Yuen
Formal Modeling and Analysis of Timed Systems - 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings, Lecture Notes in Computer Science, pp. 168--182, Springer

Iain Phillips, Irek Ulidowski, Shoji Yuen
Reversible Computation - 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings, Lecture Notes in Computer Science, pp. 141--154, Springer

Shoji Yuen
IEICE Trans. Inf. Syst., vol. 95-D, no. 5

Keigo Imai, Shoji Yuen, Kiyoshi Agusa
IEICE Trans. Inf. Syst., vol. 95-D, no. 8

Guoqiang Li, Xiaojuan Cai, Shoji Yuen
Int. J. Found. Comput. Sci., vol. 23, no. 4

Iain Phillips, Irek Ulidowski, Shoji Yuen
Reversible Computation, 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers, Lecture Notes in Computer Science, pp. 218--232, Springer

Guoqiang Li, Xiaojuan Cai, Shoji Yuen
24th IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2010, Atlanta, Georgia, USA, 19-23 April 2010 - Workshop Proceedings, pp. 1--8, IEEE

Keigo Imai, Shoji Yuen, Kiyoshi Agusa
Proceedings Third Workshop on Programming Language Approaches to Concurrency and communication-cEntric Software, PLACES 2010, Paphos, Cyprus, 21st March 2010, EPTCS, pp. 74--91

Irek Ulidowski, Shoji Yuen
Inf. Comput., vol. 207, no. 2

Guoqiang Li, Shoji Yuen, Masakazu Adachi
TASE 2009, Third IEEE International Symposium on Theoretical Aspects of Software Engineering, 29-31 July 2009, Tianjin, China, pp. 21--28, IEEE Computer Society

Ryo Suetsugu, Shoji Yuen, Kiyoshi Agusa
14th Asia-Pacific Software Engineering Conference (APSEC 2007), 5-7 December 2007, Nagoya, Japan, pp. 366--373, IEEE Computer Society

Shoji Yuen, Keishi Kato, Daiju Kato, Kiyoshi Agusa
Inf. Media Technol., vol. 1, no. 1

Mohamed Sharaf Aun, Shoji Yuen, Kiyoshi Agusa
J. Web Eng., vol. 4, no. 2

Irek Ulidowski, Shoji Yuen
J. Log. Algebraic Methods Program., vol. 60-61

Mohamed Sharaf Aun, I. M. Atiqul, Shoji Yuen, Kiyoshi Agusa
Proceedings of the IADIS International Conference WWW/Internet 2004, Madrid, Spain, 2 Volumes, pp. 699--706, IADIS

Atsushi Mizuno, Ken Mano, Yoshinobu Kawabe, Hiroaki Kuwabara, Kiyoshi Agusa, Shoji Yuen
Proceedings of the 6th AMAST Workshop on Real-Time Systems, ARTS 2004, Stirling, UK, July 12, 2004, Electronic Notes in Theoretical Computer Science, pp. 145--168, Elsevier

Mohamed Sharaf Aun, Shoji Yuen, Kiyoshi Agusa
Proceedings of the IADIS International Conference WWW/Internet 2003, ICWI 2003, Algarve, Portugal, November 5-8, 2003, pp. 1253--1254, IADIS

Noritoshi Atsumi, Shoji Yuen, Kiyoshi Agusa, Shinichirou Yamamoto
Proceedings of the International Workshop on Principles of Software Evolution, IWPSE '02, Orlando, Florida, USA, May 19-20, 2002, pp. 66--70, ACM

Irek Ulidowski, Shoji Yuen
CONCUR 2000 - Concurrency Theory, 11th International Conference, University Park, PA, USA, August 22-25, 2000, Proceedings, Lecture Notes in Computer Science, pp. 275--289, Springer

Rance Cleaveland, Zeynep Dayar, Scott A. Smolka, Shoji Yuen
Inf. Comput., vol. 154, no. 2

Irek Ulidowski, Shoji Yuen
Algebraic Methodology and Software Technology, 6th International Conference, AMAST '97, Sydney, Australia, December 13-17, 1997, Proceedings, Lecture Notes in Computer Science, pp. 524--538, Springer

Shoji Yuen, Rance Cleaveland, Zeynep Dayar, Scott A. Smolka
CONCUR '94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings, Lecture Notes in Computer Science, pp. 497--512, Springer

Shoji Yuen, Toshiki Sakabe, Yasuyoshi Inagaki
Syst. Comput. Jpn., vol. 23, no. 1

Shoji Yuen, Toshiki Sakabe, Yasuyoshi Inagaki
NAPAW 92, Proceedings of the First North American Process Algebra Workshop, Stony Brook, New York, USA, 28 Agust 1992, Workshops in Computing, pp. 155--173, Springer