Online edition: ISSN 2432-6380
[TOP] | [2018] | [2019] | [2020] | [2021] | [2022] | [2023] | [2024] | [Japanese] / [English]
COMP2024-25
Extended CNF Representations of Unit Propagation Decidable Complements
Takahisa Toda (UEC)
pp. 1 - 8
COMP2024-26
Solvability and Knowledge Requirements for Reliable Broadcast with Locally Bounded Byzantine Faults in Dynamic Networks
Tota Tada, Junya Nakamura (Toyohashi Tech.)
pp. 9 - 16
COMP2024-27
The Solvability of the Object Observation Problem by Autonomous Mobile Robots on Infinite Grids
Yonghwan Kim (NITECH), Yukiko Yamauchi (Kyushu University), Yoshiaki Katayama (NITECH)
pp. 17 - 24
COMP2024-28
[Invited Talk]
Unclonable Quantum Cryptography
Takashi Yamakawa (NTT Social Informatics Laboratories)
p. 25
COMP2024-29
The sufficient condition for the null recurrence and transience of a random walk on a growing graph
Shuma Kumamoto (Kyushu University)
pp. 26 - 28
COMP2024-30
Card-Based Zero-Knowledge Proof Protocol for Independent Set Reconfiguration Problem Under Token Sliding
Yuito Ikeuchi, Akihiro Uejima (Osaka Electro-Communication Univ.)
pp. 29 - 36
COMP2024-31
Construction of a common unfolding by fixed point propagation method
Taiga Goto, Tonan Kamata, Ryuhei Uehara (JAIST)
pp. 37 - 42
COMP2024-32
Logarithmic Random Bidding for Roulette Wheel Selection in Parallel with Precise Probabilities
Koji Nakano (Hiroshima U.)
pp. 43 - 45
COMP2024-33
Enumerating Spanning Laman Subgraphs using ZDDs
Yu Nakahata (NAIST), Shuhei Denzumi (NTT), Takashi Horiyama (Hokkaido Univ.), Kazuhiro Kurita (Nagoya Univ.), Kazuhisa Seto (Hokkaido Univ.)
pp. 46 - 51
Note: Each article is a technical report without peer review, and its polished version will be published elsewhere.