@inproceedings{CTT100682081,
  author = {Takuo Watanabe},
  title = {Compositional Construction of Group-Wide Meta-Level Architectures},
  booktitle = {Theory and Practice of Computation},
  year = 2014,
}

@inproceedings{CTT100682082,
  author = {Naoyuki Nagatou and Takuo Watanabe},
  title = {Robustness Analysis on Human-made Faults in Procedural Manuals},
  booktitle = {Theory and Practice of Computation},
  year = 2014,
}

@inproceedings{CTT100682078,
  author = {Shohei Yasutake and TAKUO WATANABE},
  title = {Aπ計算のCoqによる形式化},
  booktitle = {},
  year = 2014,
}

@inproceedings{CTT100682080,
  author = {Masaya Suzuki and Takuo Watanabe},
  title = {A Language Support for Exhaustive Fault-Injection in Message-Passing System Models},
  booktitle = {Electronic Proceedings in Theoretical Computer Science},
  year = 2014,
}

@inproceedings{CTT100682079,
  author = {Souhei Takeno and TAKUO WATANABE},
  title = {アクターモデルに基づく並行文脈指向プログラミング機構の実装と評価},
  booktitle = {},
  year = 2014,
}

@inproceedings{CTT100682077,
  author = {Ohmura Yuu and TAKUO WATANABE},
  title = {Design and Implementation of a Source Code Reading Helper Tool for Program Comprehension},
  booktitle = {},
  year = 2014,
}

@inproceedings{CTT100682074,
  author = {Naoyuki Nagatou and Takuo Watanabe},
  title = {A Model-Checking Based Approach to Robustness Analysis of Procedures under Human-Made Faults},
  booktitle = {Lecture Notes in Business Information Processing, LNBIP},
  year = 2014,
}

@inproceedings{CTT100682075,
  author = {Takuo Watanabe and Souhei Takeno},
  title = {A Reflective Approach to Actor-Based Concurrent Context-Oriented Systems},
  booktitle = {},
  year = 2014,
}