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