Hideki Tsuiki
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
2000–2022
Best venue rank
A
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | ESOP | Extracting total Amb programs from proofs. | Ulrich Berger, Hideki Tsuiki |
| 2020 | CiE | Prawf: An Interactive Proof System for Program Extraction. | Ulrich Berger, Olga Petrovska, Hideki Tsuiki |
| 2019 | ISAAC | On the Complexity of Lattice Puzzles. | Yasuaki Kobayashi, Koki Suetsugu, Hideki Tsuiki, Ryuhei Uehara |
| 2010 | ALT | Learning Figures with the Hausdorff Metric by Fractals. | Mahito Sugiyama, Eiju Hirowatari, Hideki Tsuiki, Akihiro Yamamoto |
| 2009 | CCA | Random Iteration Algorithm for Graph-Directed Sets. | Yoshiki Tsujii, Takakazu Mori, Mariko Yasugi, Hideki Tsuiki |
| 2005 | ESOP | Streams with a Bottom in Functional Languages. | Hideki Tsuiki, Keiji Sugihara |
| 2000 | CCA | Computational Dimension of Topological Spaces. | Hideki Tsuiki |