@book{CTT100440468, author = {鈴木 徹也 and Kornkamol Jamroendararasame and 松崎 智広 and 徳田 雄洋}, title = {Web遷移図を用いたWebアプリケーション生成系}, publisher = {レクチャーノート/ソフトウェア学24 インタラクティブシステムとソフトウェアVIII (歴本純一編 近代科学社), 日本ソフトウェア科学会WISS2000}, year = 2000, } @article{CTT100503357, author = {Tetsuya Suzuki and Takehiro Tokuda}, title = {PSO: A Language for Web Information Extraction and Web Page Clipping}, journal = {Proc. the third International Conference on Adaptive Hypermedia and Adaptive Web-Based Systems (AH 2004), Springer Verlag, Lecture Notes in Computer Science}, year = 2004, } @article{CTT100492178, author = {Tetsuya Suzuki and Takehiro Tokuda}, title = {Path Set Operations for Clipping of Parts of Web Pages and Information Extraction from Web pages}, journal = {Proceedings of the 15th International Conference on Software Engineering and Knowledge Engineering}, year = 2003, } @article{CTT100454541, author = {Tetsuya Suzuki and Takehiro Tokuda}, title = {The DeltaUp constraint solver: minimizing the number of method selections in DeltaBlue}, journal = {Software: Practice and Experience}, year = 2001, } @article{CTT100503362, author = {Kenji Wakabayashi and Tetsuya Suzuki and Takehiro Tokuda}, title = {Web Applications' Reliability Problem Revisited}, journal = {Proc. 14th European-Japanese Conference on Information Modelling and Knowledge Bases, }, year = 2004, } @article{CTT100466609, author = {Tetsuya Suzuki and Takehiro Tokuda.}, title = {Automatic Generation of Intelligent JavaScript Programs for Handling Input Forms in HTML Documents}, journal = {Proc. of the IASTED International Symposia Applied Informatics}, year = 2002, } @article{CTT100476574, author = {Misuhisa Taguchi and Tetsuya Susuki and Takehiro Tokuda}, title = {Generation of Server Page Type Web Applications from Diagrams.}, journal = {Proc. of the 12th European-Japanese Conference on Information Modelling and Knowledge Bases}, year = 2002, } @article{CTT100476575, author = {Takehiro Tokuda and Tetsuya Suzuki and Kornkamol Jamroendararasame and Sadanobu Hayakawa}, title = {A Family of Web Diagrams Approach to the Design, Construction and Evaluation of Web Applications}, journal = {Proc. of the 12th European-Japanese Conference on Information Modelling and Knowledge Bases}, year = 2002, } @article{CTT100476576, author = {Takehiro Tokuda and Kornkamol Jamroendararasame and Mitsuhisa Taguchi and Tetsuya Suzuki}, title = {Unified Web Diagrams for Various Web Applications Based on Different Superficial Architectures}, journal = {Proc. of the 19th JSSST National Conference}, year = 2002, } @article{CTT100476578, author = {Kornkamol Jamroendararasame and Tetsuya Suzuki and Takehiro Tokuda}, title = {A Diagram Approach to Automatic Generation of JSP/Servlet Web Applications}, journal = {Proc. of The 6th IASTED International Conference Software Engineering and Applications}, year = 2002, } @article{CTT100453976, author = {池田 秀弥 and 鈴木 徹也 and 徳田 雄洋}, title = {単独システム記述に基づくWebアプリケーション生成系}, journal = {日本ソフトウェア科学会第18回大会予稿集}, year = 2001, } @article{CTT100453978, author = {Kornkamol Jamroendararasame and Tomohiro Matsuzaki and Tetsuya Suzuki and Takehiro Tokuda}, title = {Two Generators of Secure Web-Based Transaction Systems}, journal = {Proc. of the 11th European-Japanese Conference on Information Modelling and Knowledge Bases}, year = 2001, } @article{CTT100453979, author = {Kornkamol Jamroendararasame and Tomohiro Matsuzaki and Tetsuya Suzuki and Takehiro Tokuda}, title = {Generation of Secure Web Applications from Web Transition Diagrams}, journal = {Proc. of the IASTED International Symposia Applied Informatics}, year = 2001, } @article{CTT100454122, author = {Tetsuya Suzuki and Takehiro Tokuda}, title = {The DeltaUp Constraint Solver: Correctness Proof}, journal = {Tokyo Institute of Technology Department of Computer Science Technical Report 01-0005}, year = 2001, } @article{CTT100454128, author = {Kornkamol Jamroendararasame and Tetsuya Suzuki and Takehiro Tokuda}, title = {JSP/Servlet-Based Web Application Generator}, journal = {Proc. of the 18th JSSST National Conference}, year = 2001, } @article{CTT100437207, author = {Tetsuya Suzuki and Takehiro Tokuda}, title = {A Repeated Update Problem in the DeltaBlue Algorithm}, journal = {Constraints: An International Journal}, year = 1998, } @article{CTT100437208, author = {Tetsuya Suzuki and Nobuo Kakinuma and Takehiro Tokuda}, title = {An Experimental Comparison of Three Modified DeltaBlue Algorithms}, journal = {Lecture Notes in Computer Science}, year = 1996, } @misc{CTT100593971, author = {TETSUYA SUZUKI}, title = {局所伝播法に基づく制約充足法の効率化に関する研究}, year = 2000, } @phdthesis{CTT100593971, author = {TETSUYA SUZUKI}, title = {局所伝播法に基づく制約充足法の効率化に関する研究}, school = {東京工業大学}, year = 2000, }