On Typed Calculi with a Merge Operator. - Hideki Tsuiki (FSTTCS, 1994)

A Normalizing Calculus with Overloading and Subtyping. - Hideki Tsuiki (TACS, 1994)

A Computationally Adequate Model for Overloading via Domain-Valued Functors. - Hideki Tsuiki (Math. Struct. Comput. Sci., 1998)

A domain-theoretic semantics of lax generic functions. - Hideki Tsuiki (CTCS, 1999)

Computational Dimension of Topological Spaces. - Hideki Tsuiki (CCA, 2000)

Programming for students of information design. - Taeko Ariga; Hideki Tsuiki (ACM SIGCSE Bull., 2001)

Representations of Complete Uniform Spaces via Uniform Domains. - Hideki Tsuiki (CCA, 2002)

Uniform Domains and Uniform Spaces: (Abstract). - Hideki Tsuiki (Workshop on Domains, 2002)

Real number computation through Gray code embedding. - Hideki Tsuiki (Theor. Comput. Sci., 2002)

Compact metric spaces as minimal-limit sets in domains of bottomed sequences. - Hideki Tsuiki (Math. Struct. Comput. Sci., 2004)

Dyadic Subbases and Representations of Topological Spaces. - Hideki Tsuiki (Spatial Representation, 2005)

Streams with a Bottom in Functional Languages. - Hideki Tsuiki; Keiji Sugihara (ESOP, 2005)

Real number computation with committed choice logic programming languages. - Hideki Tsuiki (J. Log. Algebraic Methods Program., 2005)

Computability and complexity in analysis. - Vasco Brattka; Peter Hertling; Ker-I Ko; Hideki Tsuiki (J. Complex., 2006)

Fine-Continuous Functions and Fractals Defined by Infinite Systems of Contractions. - Yoshiki Tsujii; Takakazu Mori; Mariko Yasugi; Hideki Tsuiki (ILC, 2007)

SUDOKU Colorings of the Hexagonal Bipyramid Fractal. - Hideki Tsuiki (KyotoCGGT, 2007)

Lawson topology of the space of formal balls and the hyperbolic topology. - Hideki Tsuiki; Yasunao Hattori (Theor. Comput. Sci., 2008)

Random Iteration Algorithm for Graph-Directed Sets. - Yoshiki Tsujii; Takakazu Mori; Mariko Yasugi; Hideki Tsuiki (CCA, 2009)

On Finite-time Computability Preserving Conversions. - Hideki Tsuiki; Shuji Yamada (J. Univers. Comput. Sci., 2009)

Learning Figures with the Hausdorff Metric by Fractals. - Mahito Sugiyama; Eiju Hirowatari; Hideki Tsuiki; Akihiro Yamamoto (ALT, 2010)

Computing with Infinite Data: Topological and Logical Foundations (Dagstuhl Seminar 11411). - Ulrich Berger 001; Vasco Brattka; Victor L. Selivanov; Dieter Spreen; Hideki Tsuiki (Dagstuhl Reports, 2011)

Imaginary Cubes and Their Puzzles. - Hideki Tsuiki (Algorithms, 2012)

Enumerating 3D-Sudoku Solutions over Cubic Prefractal Objects. - Hideki Tsuiki; Yohei Yokota (J. Inf. Process., 2012)

Imaginary Hypercubes. - Hideki Tsuiki; Yasuyuki Tsukamoto (JCDCGG, 2013)

A Stream Calculus of Bottomed Sequences for Real Number Computation. - Kei Terayama; Hideki Tsuiki (MFPS, 2013)

Learning figures with the Hausdorff metric by fractals - towards computable binary classification. - Mahito Sugiyama; Eiju Hirowatari; Hideki Tsuiki; Akihiro Yamamoto (Mach. Learn., 2013)

Sudoku Colorings of a 16-Cell Pre-fractal. - Hideki Tsuiki; Yasuyuki Tsukamoto (JCDCGG, 2015)

Domain Representations Induced by Dyadic Subbases. - Hideki Tsuiki; Yasuyuki Tsukamoyo (Log. Methods Comput. Sci., 2015)

Preface to the special issue: Computing with infinite data: topological and logical foundations. - Ulrich Berger 001; Vasco Brattka; Victor L. Selivanov; Dieter Spreen; Hideki Tsuiki (Math. Struct. Comput. Sci., 2015)

Tω-representations of compact sets. - Arno Pauly; Hideki Tsuiki (CoRR, 2016)

Continuity, computability, constructivity: from logic to algorithms 2014 (Preface to the special issue: Continuity, Computability, Constructivity: From Logic to Algorithms 2014). - Andrej Bauer; Ulrich Berger 001; Willem L. Fouché; Dieter Spreen; Hideki Tsuiki; Martin Ziegler 001 (J. Log. Anal., 2017)

Properties of domain representations of spaces through dyadic subbases. - Yasuyuki Tsukamoto; Hideki Tsuiki (Math. Struct. Comput. Sci., 2017)

On the Complexity of Lattice Puzzles. - Yasuaki Kobayashi; Koki Suetsugu; Hideki Tsuiki; Ryuhei Uehara (ISAAC, 2019)

Prawf: An Interactive Proof System for Program Extraction. - Ulrich Berger 001; Olga Petrovska; Hideki Tsuiki (CiE, 2020)

Intuitionistic fixed point logic. - Ulrich Berger 001; Hideki Tsuiki (Ann. Pure Appl. Log., 2021)

Extracting total Amb programs from proofs. - Ulrich Berger 001; Hideki Tsuiki (ESOP, 2022)

Concurrent Gaussian elimination. - Ulrich Berger 001; Monika Seisenberger; Dieter Spreen; Hideki Tsuiki (CoRR, 2023)