All 2022 2021 2019 2018 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 Other
All Journal Article Presentation
Lecture Notes in Computer Science
Volume: LNCS 13215 Pages: 57-74
10.1007/978-3-030-99461-7_4
コンピュータソフトウェア
Volume: -
Language and Automata Theory and Applications
Volume: LNCS 12638 Pages: 213-225
10.1007/978-3-030-68195-1_16
Computer Software
Volume: 38 Issue: 2 Pages: 2_53-2_70
10.11309/jssst.38.2_53
130008055711
Journal of Information Processing
Volume: 27 Issue: 0 Pages: 810-821
10.2197/ipsjjip.27.810
130007762322
Volume: 未定 Pages: 9-9
130007663795
Volume: 27 Pages: 422-430
10.2197/ipsjjip.27.422
Volume: 35 Issue: 1 Pages: 140-168
10.11309/jssst.35.1_140
130006356068
Logical Methods in Computer Science
Volume: 12 Pages: 1-27
10.2168/lmcs-12(2:9)2016
120006582518
Volume: LNCS 9840 Pages: 393-405
10.1007/978-3-662-53132-7_32
International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Volume: LNCS 9452 Pages: 249-265
IPSJ Transactions on Programming
Volume: 7 Pages: 1-11
情報処理学会論文誌 プログラミング
Volume: 7 Pages: 8-20
110009818006
International Symposium on Automated Technology for Verification and Analysis
Volume: LNCS 8712 Pages: 412-426
10.1007/978-3-319-02444-8_29
情報処理学会論文誌:プログラミング
Volume: 6 Pages: 17-26
110009517217
Proc. the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Volume: LNCS 7795 Pages: 230-244
10.1007/978-3-642-36742-7_17
Proc. the 18th International Symposium on Formal Methods
Volume: LNCS 7436 Pages: 293-307
10.1007/978-3-642-32759-9_26
Journal of Applied Logic
Volume: 10 Pages: 32-51
10.1016/j.jal.2011.11.003
Proc.International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2010)
Pages: 107-115
110007970972
情報処理学会論文誌 プログラミング 3
Pages: 9-25
Rubyプログラムの制御フロー解析とその健全性の証明 3巻
Volume: 3 Pages: 9-25
http://id.nii.ac.jp/1001/00068444/
InProc. POPL : The Symposium on Principles of Programming Languages
Pages: 200-212
Proc. POPL : The Symposium on Principle s of Programming Languages
Proc. of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Proc. POPL: The Symposium on Principles of Programming Languages
情報処理学会論文誌:プログラミング 49
Pages: 39-54
110006684629
Proc. of 13th International Conference on Implementation and Application of Automata
Pages: 122-131
In Proc. of the 13th International Conference on Implementation and Application of Automata LNCS 5148
Proc. of the 13th International Conference on-Implementation and Application of Automata LNCS 5184
情報処理学会論文誌 : プログラミング Vol.49, No.SIG 3, PRO 36
Proc. of the 13th International Confer ence on Implementation and Application of Automata LNCS5148
Proc. of the 13th International Conference on Implementation and Application of Automata LNCS 5148
IPSJ Transactions on Programming 49
Proc. of Symbolic Computation in Software Science Austrian-Japanese Workshop, RISC Technical Report 08-08
Pages: 137-147
Proceedigs of the 20th International Conference on Theorem Proving in Higher Order Logics, Lecture Notes in Computer Science, Springer 4732
Pages: 173-188
コンピュータコンピュータソフトウェア 24
Pages: 15-19
130004549074
コンピュータソフトウェア Vol.24, No.3
Proceedigs of the 20th International Confere nee on Theorem Proving in Higher Order Logics, Lecture Notes in Computer Science Springer 4732
Proc. of the Tenth International Conference on Foundations of Software Science and Computation Structures LNCS 4423
Pages: 346-360
Proc. of the Tenth International Conference on Foundations of Software Science and Computation Structures LNCS4423
Tenth International Conference on Foundations of Software Science and Computation Structures LNCS 4423
コンピュータソフトウェア 24
In Proc. of the Tenth International Conference on Foundations of Software Science and Computation Structures LNCS 4423
Pages: 346-3601
Computer Software 24
Proc. Of the Tenth International Conference on Foundations of Software Science and Computation Structures LNCS4423
In Proc. of the 20th International Conference on Theorem Proving in Higher Order Logics LNCS 4732
International Conference on Theorem Proving in Higher Order Logics LNCS 4732
Proc. of The Fourth ASIAN Symposium on Programming Languages and Systems LNCS4279
Pages: 357-373
Proc. of The Fourth ASIAN Symposium on Programming Languages and Systems LNCS 4279
Fourth ASIAN Symposium on Programming Languages and Systems LNCS 4279
In Proceedings of the Fourth Asian Symposium on Programming Languages and Systems (APLAS) LNCS 4279
情報処理学会論文誌:プログラミング No.SIG6(PRO25)
Pages: 18-34
10015447055
情報処理学会論文誌:プログラミング No.SIG6(PRO 25)
IPSJ Transactions on Programming No.SIG6(PR025)
The 14th International World Wide Web Conference
Pages: 432-441
