Tatsuhiro Tsuchiya

From MaRDI portal
Person:658667

Available identifiers

zbMath Open tsuchiya.tatsuhiroMaRDI QIDQ658667

List of research outcomes





PublicationDate of PublicationType
Finding Minimum Locating Arrays Using a CSP Solver2020-11-16Paper
Locating arrays with mixed alphabet sizes2020-01-31Paper
Verification of consensus algorithms using satisfiability solving2012-02-06Paper
Using Bounded Model Checking to Verify Consensus Algorithms2008-11-20Paper
Automated Technology for Verification and Analysis2006-10-25Paper
https://portal.mardi4nfdi.de/entity/Q30448142004-08-12Paper
https://portal.mardi4nfdi.de/entity/Q30450032004-08-12Paper
Byzantine quorum systems with maximum availability.2003-01-21Paper
Constructing Byzantine quorum systems from combinatorial designs2002-07-25Paper
A new method for constructing pair-wise covering designs for software testing2002-07-14Paper
Availability Evaluation of Quorum-Based Mutual Exclusion Schemes in General Topology Networks2000-07-13Paper

Research outcomes over time

This page was built for person: Tatsuhiro Tsuchiya

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:658667&oldid=7156173"
Powered by MediaWiki