# Publications

## External lists

Google Scholar/DBLP

## Papers(refereed, first author)

- Runtime monitoring for concurrent systems[Author version]
- Yoriyuki Yamagata, Cyrille Artho, Masami Hagiya, Jun Inoue, Lei Ma, Yoshinori Tanabe and Mitsuharu Yamamoto, Runtime Verification 2016 (2016), The final version is publised by Springer.
- A formal semantics of extended hierarchical state transition matrices using CSP#[final][draft]
- Yoriyuki Yamagata, Weiqiang Kong, Akira Fukuda, Nguyen Van Tang, Hitoshi Ohsaki and Kenji Taguchi, Formal Aspects of Computing (2013)
- Bounded arithmetic in free logic [final]
- Yoriyuki Yamagata, Logical Methods in Computer Science 8-3 (2012)
- Formal semantics of extended hierarchical state transition matrix by CSP[final]
- Yoriyuki Yamagata, Weiqiang Kong, Akira Fukuda, Nguyen Van Tang, Hitoshi Ohsaki and Kenji Taguchi, ACM SIGSOFT Software Engineering Notes 37-4 (2012)
- Strong normalization of second-order symmetric lambda-mu calculus
[final][draft]
- Yoriyuki Yamagata, Information and Computation 193-1 (2004), Elsevier.
- Strong normalization of a symmetric lambda
calculus for second-order classical logic[draft]
- Yoriyuki Yamagata, Archive for Mathematical Logic 41-1 (2002), Springer. Copyright:
Springer Ferlag.
The final version can be obtained from http://link.springer.de.
- Strong normalization of second-order symmetric lambda-mu calculus[draft]
- Yoriyuki Yamagata, TACS2001(Theoretical Aspects of Computer Software, 4th
International Symposium), Lecture Notes in Computer Science 2215(2001),
Springer. The final version can be obtained from http://link.springer.de

## Technical Reports

- A sequent calculus for limit computable mathematics (Technical Report)
- Stefano Berardi, Yoriyuki Yamagata(2006)

## Preprints, drafts

- Consistency proof of an arithmetic with substitution inside a bounded arithmetic
[arXiv]
- Yoriyuki Yamagata (2016)
- Theory of quotation: a case for the description theory[draft]
- Yoriyuki Yamagata (2016)
- Halting problem and incompleteness theorem [draft]
- On use of an explicit congruence Predicate in bounded arithmetic
[arXiv]
- Yoriyuki Yamagata, 2009