Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="Tsuchiya, Tatsuhiro"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
A new method for constructing pair-wise covering designs for software testing
Noritaka Kobayashi
,
Tatsuhiro Tsuchiya
,
Tohru Kikuno
Information Processing Letters
81
(2), 2002, pp. 85-91
Byzantine quorum systems with maximum availability
Tatsuhiro Tsuchiya
,
Tohru Kikuno
Information Processing Letters
83
(2), 2002, pp. 71-77
Symbolic model checking for self-stabilizing algorithms
Tatsuhiro Tsuchiya
,
Shin'ichi Nagano
,
Rohayu Bt Paidi
,
Tohru Kikuno
IEEE Transactions on Parallel and Distributed Systems
12
(1), 2001, pp. 81-95
Constructing Byzantine quorum systems from combinatorial designs
Tatsuhiro Tsuchiya
,
Nobuhiko Ido
,
Tohru Kikuno
Information Processing Letters
71
(1), 1999, pp. 35-42
Minimizing the maximum delay for reaching consensus in quorum-based mutual exclusion schemes
Tatsuhiro Tsuchiya
,
Masatoshi Yamaguchi
,
Tohru Kikuno
IEEE Transactions on Parallel and Distributed Systems
10
(4), 1999, pp. 337-345