Atsuki Nagao
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
7
Active years
2014–2021
Best venue rank
National
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | FUN | Card-Based ZKP Protocols for Takuzu and Juosan. | Daiki Miyahara, Lo Robert, Pascal Lafourcade, So Takeshige, Takaaki Mizuki, Kazumasa Shinagawa, Atsuki Nagao, Hideaki Sone |
| 2018 | SSS | Physical Zero-Knowledge Proof for Makaro. | Xavier Bultel, Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade, Daiki Miyahara, Takaaki Mizuki, Atsuki Nagao, Tatsuya Sasaki, Kazumasa Shinagawa, Hideaki Sone |
| 2017 | ISAAC | Satisfiability Algorithm for Syntactic Read-$k$-times Branching Programs. | Atsuki Nagao, Kazuhisa Seto, Junichi Teruyama |
| 2016 | FAW | A Much Faster Branch-and-Bound Algorithm for Finding a Maximum Clique. | Etsuji Tomita, Kohei Yoshida, Takuro Hatta, Atsuki Nagao, Hiro Ito, Mitsuo Wakatsuki |
| 2015 | WADS | A Moderately Exponential Time Algorithm for k-IBDD Satisfiability. | Atsuki Nagao, Kazuhisa Seto, Junichi Teruyama |
| 2014 | STACS | Read-Once Branching Programs for Tree Evaluation Problems. | Kazuo Iwama, Atsuki Nagao |
| 2014 | WALCOM | Efficient Algorithms for Sorting k-Sets in Bins. | Atsuki Nagao, Kazuhisa Seto, Junichi Teruyama |