Yutaka Matsuno Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2012
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Yutaka Matsuno, Shuichiro Yamamoto: Consensus Building and In-operation Assurance for Service Dependability. CD-ARES 2012: 639-653
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hajime Fujita, Yutaka Matsuno, Toshihiro Hanawa, Mitsuhisa Sato, Shinpei Kato, Yutaka Ishikawa: DS-Bench Toolset: Tools for dependability benchmarking with simulation and assurance. DSN 2012: 1-8
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Shota Takama, Vaise Patu, Yutaka Matsuno, Shuichiro Yamamoto: A Proposal on a Method for Reviewing Operation Manuals of Supercomputer. ISSRE Workshops 2012: 305-306
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Vaise Patu, Yutaka Matsuno, Shuichiro Yamamoto: Application of D-Case to the Data-Upload Flow Diagram Scenario of the Distributed E-Learning System Called KISSEL. ISSRE Workshops 2012: 307-312
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Shuichiro Yamamoto, Yutaka Matsuno: A review method based on a matrix interpretation of GSN. JCKBSE 2012: 36-42
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Yutaka Matsuno, Shuichiro Yamamoto: Toward Dynamic Assurance Cases. JCKBSE 2012: 154-160
2011
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Yutaka Matsuno, Kenji Taguchi: Parameterised Argument Structure for GSN Patterns. QSIC 2011: 96-101
2010
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Yutaka Matsuno, Hiroki Takamura, Yutaka Ishikawa: A Dependability Case Editor with Pattern Library. HASE 2010: 170-171
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Yutaka Matsuno, Jin Nakazawa, Makoto Takeyama, Midori Sugaya, Yutaka Ishikawa: Towards a Language for Communication among Stakeholders. PRDC 2010: 93-100
2006
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Yutaka Matsuno, Atsushi Ohori: A type system equivalent to static single assignment. PPDP 2006: 249-260
2003
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Yutaka Matsuno, Hiroyuki Sato: Flow Analytic Type System for Array Bound Checks. Electr. Notes Theor. Comput. Sci. 78: 178-195 (2003)

Coauthor Index

1Hajime Fujita
[c9]
2Toshihiro Hanawa
[c9]
3Yutaka Ishikawa
[c9] [c3] [c2]
4Shinpei Kato
[c9]
5Jin Nakazawa
[c2]
6Atsushi Ohori
[c1]
7Vaise Patu
[c8] [c7]
8Hiroyuki Sato
[j1]
9Mitsuhisa Sato
[c9]
10Midori Sugaya
[c2]
11Kenji Taguchi 0001
[c4]
12Shota Takama
[c8]
13Hiroki Takamura
[c3]
14Makoto Takeyama
[c2]
15Shuichiro Yamamoto
[c10] [c8] [c7] [c6] [c5]

Colors in the list of coauthors

Last update Fri May 24 05:50:12 2013 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page