論文 - 結縁　祥治

並行可逆プログラミング言語Concurrent Janusおよびその処理系 査読有り

黒田将弘,結縁祥治

第27回プログラミングおよびプログラミング言語ワークショップ発表予稿集     頁： C1-2:1 - C1-2:19   2025年3月

　詳細を見る

担当区分：責任著者   記述言語：日本語   掲載種別：研究論文（研究会，シンポジウム資料等）  

Constant Propagation in CRIL by Bidirectional Data Flow Analysis 査読有り

Snunya Oguchi, Shoji Yuen

Journal of Information Processing   32 巻   頁： 552 - 564   2024年7月

　詳細を見る

担当区分：責任著者   記述言語：英語   掲載種別：研究論文（学術雑誌）  

DOI： https://doi.org/10.2197/ipsjjip.32.552

Concurrent RSSA for CRIL: Flow Analysis for a Concurrent Reversible Programming Language 査読有り

Shunya Oguchi, Shoji Yuen

Lecture Notes in Computer Science   14680 巻   頁： 181 - 200   2024年5月

　詳細を見る

担当区分：責任著者   記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）  

DOI： https://doi.org/10.1007/978-3-031-62076-8_12

revTPL: The Reversible Temporal Process Language 査読有り 国際共著

Laura Bocchi ; Ivan Lanese ; Claudio Antares Mezzina ; Shoji Yuen.

Logical Method in Computer Science   20 巻 ( 1 ) 頁： 11:1 - 11:35   2024年1月

　詳細を見る

記述言語：英語   掲載種別：研究論文（学術雑誌）  

DOI： https://doi.org/10.46298/lmcs-20(1:11)2024

CRIL: A Concurrent Reversible Intermediate Language 査読有り

Shunya Oguchi, Shoji Yuen

Electronic Proceedings in Theoretical Computer Science   387 巻   頁： 149 - 167   2023年9月

　詳細を見る

担当区分：最終著者,　責任著者   記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）  

DOI： https://dx.doi.org/10.4204/EPTCS.387.11

可逆並行オブジェクト指向プログラミング言語：CROOPLPP

赤池佑介,結縁祥治

信学技報   123 巻   頁： 13 - 18   2023年7月

　詳細を見る

担当区分：責任著者   記述言語：日本語   掲載種別：研究論文（研究会，シンポジウム資料等）  

CRSSA: 並行可逆言語に対する静的単一代入 査読有り

小口隼也, 結縁祥治

第25回プログラミングおよびプログラミング言語ワークショップ PPL 2023     頁： 1 - 20   2023年3月

　詳細を見る

担当区分：責任著者   記述言語：日本語   掲載種別：研究論文（研究会，シンポジウム資料等）  

A reversible debugger for imparative parallel programs with contracts 査読有り

Takashi Ikeda, Shoji Yuen

Reversible Computation 2022, Lecture Notes in Computer Science   13354 巻   頁： 204 - 212   2022年7月

　詳細を見る

担当区分：責任著者   記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）  

DOI： https://doi.org/10.1007/978-3-031-09005-9_14

The reversible temporal process language 査読有り 国際共著

Laura Bocchi, Ivan Lanese, Claudio Antrares Mezzina, Shoji Yuen

Proceedings of FORTE 2022, Lecture Notes in Computer Science   13273 巻   頁： 31 - 49   2022年6月

　詳細を見る

担当区分：責任著者   記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）  

DOI： https://doi.org/10.1007/978-3-031-08679-3_3

再帰的ブロック構造を持つ並列プログラムに対する可逆実行環境 査読有り

池田崇志，結縁祥治

情報処理学会論文誌トランザクション     2021年11月

　詳細を見る

担当区分：責任著者   記述言語：日本語   掲載種別：研究論文（学術雑誌）  

Multiparty Session Programming with Global Protocol Combinators(Artifact) 招待有り 査読有り 国際共著

Keigo Imai, Rumiyana Neykova, Nobuko Yoshida, Shoji Yuen

Dagstuhl Artifacts Series   6 巻 ( 2 ) 頁： 1 - 2   2020年11月

　詳細を見る

記述言語：英語   掲載種別：研究論文（その他学術会議資料等）  

DOI： 10.4230/DARTS.6.2.18

Multiparty Session Programming with Global Combinators 招待有り 査読有り 国際共著

Keigo Imai, Rumiyana Neykova, Nobuko Yoshida, Shoji Yuen

LIPlcs   166 巻   頁： 9:1 - 9:30   2020年11月

　詳細を見る

担当区分：責任著者   記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）  

DOI： 10.4230/LIPIcs.ECOOP.2020.9

A Reversible Runtime Environment for Parallel Programs 査読有り

Takashi Ikeda, Shoji Yuen

Reversible Computation 2020, Lecture Notes in Computer Science   12247 巻   頁： 272-279   2020年7月

　詳細を見る

担当区分：筆頭著者   記述言語：英語   掲載種別：研究論文（学術雑誌）  

DOI： 10.1007/978-3-030-52482-1_18

Fault Diagnosis for Distributed Cooperative System Using Inducting Logic Programming 招待有り 査読有り

Shuichi Sato, Yosuke Watanabe, Hiroyuki Seki, Yoshinao Ishii, Shoji Yuen

IEEE International Conference on Prognostics and Health Management, ICPHM 2020     頁： 1 - 8   2020年6月

　詳細を見る

担当区分：責任著者  

DOI： 10.1109/ICPHM49022.2020.9187032

Automating Time-series Safety Analysis for Automotive Control Systems Using Weighted Partial Max-SMT 査読有り

Shuichi Sato, Shogo Hattori, Hiroyuki Seki, Yutaka Inamori, Shoji Yuen

Journal of Information Processing   28 巻   頁： 124-135   2020年1月

　詳細を見る

記述言語：英語   掲載種別：研究論文（学術雑誌）  

DOI： 10.2197/ipsjjip.28.124

Session-ocaml: A session-based library with polarities and lenses 査読有り

Keigo Imai, Nobuko Yoshida, Shoji Yuen

Science of Computer Program   172 巻   頁： 135-159   2019年3月

　詳細を見る

記述言語：英語   掲載種別：研究論文（学術雑誌）  

DOI： 10.1016/j.scico.2018.08.005

Reversing Event Structure 査読有り

Irek Ulidowski, Iain Phillips, Shoji Yuen

New Generation Computing   36 巻   頁： 281-306   2018年9月

　詳細を見る

記述言語：英語   掲載種別：研究論文（学術雑誌）  

DOI： 10.1007/s00354-018-0040-8

Reversing Parallel Programs with Blocks and Procedures 査読有り

James Hoey, Irek Ulidowski, Shoji Yuen

EPTCS (EXPRESS/SOS 2018)   276 巻   頁： 69-86   2018年9月

　詳細を見る

記述言語：英語  

DOI： 10.4204/EPTCS.276.7

Nested Timed Automata with Invariants 査読有り

Yuwei Wang, Guoqiang Li, Shoji Yuen

Lecture Notes in Computer Science   10606 巻   頁： 77-93   2017年10月

　詳細を見る

記述言語：英語  

DOI： 10.1007/978-3-319-69483-2

Nested Timed Automata with Diagonal Constraints 査読有り

Yuwei Wang, Yunqing Wen, Guoqiang Li, Shoji Yuen

Lecture notes in computer science   10610 巻   頁： 396-412   2017年11月

　詳細を見る

記述言語：英語  

DOI： 10.1007/978-3-319-68690-5_24