Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2014/10/01 Vol. E97-DNo. 10 ;
pp. 2676-2684 Type of Manuscript: PAPER Category: Software Engineering Keyword: determinism, data-race detection, alias analysis, static analysis,
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2013/05/01 Vol. E96-DNo. 5 ;
pp. 1068-1077 Type of Manuscript: PAPER Category: Fundamentals of Information Systems Keyword: determinism, message-passing, debugging, distributed computing,
Las Vegas, Self-Verifying Nondeterministic and Deterministic One-Way Multi-Counter Automata with Bounded Time Tsunehiro YOSHINAGAKatsushi INOUE
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2003/05/01 Vol. E86-ANo. 5 ;
pp. 1207-1212 Type of Manuscript: Special Section LETTER (Special Section on Discrete Mathematics and Its Applications) Category: Keyword: determinism, nondeterminism, self-verifying nondeterminism, Las Vegas, multi-counter automata,
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2001/05/01 Vol. E84-ANo. 5 ;
pp. 1094-1101 Type of Manuscript: Special Section PAPER (Special Section on Discrete Mathematics and Its Applications) Category: Keyword: determinism, self-verifying nondeterminism, Las Vegas, (simple) multihead finite automata,