田辺 誠

An advanced version of CS Unplugged Activity 2 

Proceedings Journal of Interdisciplinary Research, Vol. 03, Iss. 1, pp.1-10 2016年10月  

公共交通機関と連携した社会実装教育型の卒業研究：宇部市営バス運行案内システムの構築 

日本高専学会誌, Vol. 21, No. 3, pp.37-44 2016年10月  

A Proposal for Teaching Programming through the Four-Step Method 

Australian Journal of Basic and Applied Sciences, 9(14) 2015年5月  査読有り

プログラミング教育効率の向上を目指したプログラム編集情報取得システムの作成 

高専教育，Vol.33、 pp.461-466 2010年3月  査読有り

TCCT：Timed Calculus with Controllable Timers 

京都大学数理解析研究所PREPRINTS第1353号 pp.1-16 2003年3月  査読有り

Timed Petri Nets and Temporal Linear Logic 

京都大学 1999年3月  

Towards a Formal Framework for Multimedia Data and Their Players with QoS 

京都大学 1994年3月