Tatsuhiro Tsuchiya

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Finding minimum locating arrays using a CSP solver Fundamenta Informaticae	2020-11-16	Paper
Locating arrays with mixed alphabet sizes	2020-01-31	Paper
Locating arrays with mixed alphabet sizes (available as arXiv preprint)	2020-01-01	Paper
Verification of consensus algorithms using satisfiability solving Distributed Computing	2012-02-06	Paper
Using Bounded Model Checking to Verify Consensus Algorithms Lecture Notes in Computer Science	2008-11-20	Paper
Automated Technology for Verification and Analysis Lecture Notes in Computer Science	2006-10-25	Paper
scientific article; zbMATH DE number 2088433 (Why is no real title available?)	2004-08-12	Paper
scientific article; zbMATH DE number 2088510 (Why is no real title available?)	2004-08-12	Paper
Byzantine quorum systems with maximum availability. Information Processing Letters	2003-01-21	Paper
Constructing Byzantine quorum systems from combinatorial designs Information Processing Letters	2002-07-25	Paper
A new method for constructing pair-wise covering designs for software testing Information Processing Letters	2002-07-14	Paper
Availability Evaluation of Quorum-Based Mutual Exclusion Schemes in General Topology Networks The Computer Journal	2000-07-13	Paper

Research outcomes over time

This page was built for person: Tatsuhiro Tsuchiya