( en | de | ru )

 

Disambiguation of "Ueda, Kazunori"

Author of the publication

copydeleteadd this publication to your clipboard
Reliability and Failure Impact Analysis of Distributed Storage Systems with Dynamic Refuging.

, , , , and . IEICE Trans. Inf. Syst., 99-D (9): 2259-2268 (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Shizuteru Ueda

Hirofumi Ueda

Yoshiaki Ueda

Naoki Ueda

 

Other publications of authors with the same name

Asymmetric DHT Based on Performance of Peers., and . APNOMS, volume 5787 of Lecture Notes in Computer Science, page 427-430. Springer, (2009)LMNtal as a Unifying Declarative Language: Live Demonstration., , , and . ICLP, volume 4079 of Lecture Notes in Computer Science, page 457-458. Springer, (2006)Hierarchical Graph Rewriting as a Unifying Tool for Analyzing and Understanding Nondeterministic Systems., , , , and . ICTAC, volume 5684 of Lecture Notes in Computer Science, page 349-355. Springer, (2009)c-sat: A Parallel SAT Solver for Clusters., and . SAT, volume 5584 of Lecture Notes in Computer Science, page 524-537. Springer, (2009)Making Exhaustive Search Programs Deterministic.. New Generation Comput., 5 (1): 29-44 (1987)Symbolic Analysis of Hybrid Systems Involving Numerous Discrete Changes Using Loop Detection., , and . CyPhy, volume 10107 of Lecture Notes in Computer Science, page 17-30. Springer, (2016)MANDELA: A LogicBased Knowledge Programming System., , , , , and . FGCS, page 613-622. OHMSHA Ltd. Tokyo and North-Holland, (1984)Efficient Stream/Array Processing in Logic Programming Languages., and . FGCS, page 317-326. OHMSHA Ltd. Tokyo and North-Holland, (1984)Preface., and . Math. Struct. Comput. Sci., 25 (4): 764 (2015)Type checking data structures more complex than trees., , and . CoRR, (2022)