Tohru Kikuno

Available identifiers

zbMath Open kikuno.tohruMaRDI QIDQ1148780

List of research outcomes

Publication	Date of Publication	Type
Automated Technology for Verification and Analysis	2006-10-25	Paper
https://portal.mardi4nfdi.de/entity/Q3044814	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q3045003	2004-08-12	Paper
Lower bounds estimation of factor‐covering design sizes	2003-04-03	Paper
Byzantine quorum systems with maximum availability.	2003-01-21	Paper
Constructing Byzantine quorum systems from combinatorial designs	2002-07-25	Paper
A new method for constructing pair-wise covering designs for software testing	2002-07-14	Paper
Availability Evaluation of Quorum-Based Mutual Exclusion Schemes in General Topology Networks	2000-07-13	Paper
A new approach in feature interaction testing	1999-01-12	Paper
A linear algorithm for the domination number of a series-parallel graph	1983-01-01	Paper
NP-completeness of some type of p-center problem	1980-01-01	Paper

Research outcomes over time

This page was built for person: Tohru Kikuno