| 2008 |
|---|
| 18 | EE | Hideki Tsuiki,
Shuji Yamada:
On Finite-time Computability Preserving Conversions.
Electr. Notes Theor. Comput. Sci. 221: 299-308 (2008) |
| 17 | EE | Hideki Tsuiki,
Yasunao Hattori:
Lawson topology of the space of formal balls and the hyperbolic topology.
Theor. Comput. Sci. 405(1-2): 198-205 (2008) |
| 2006 |
|---|
| 16 | EE | Vasco Brattka,
Peter Hertling,
Ker-I Ko,
Hideki Tsuiki:
Computability and complexity in analysis.
J. Complexity 22(6): 728 (2006) |
| 2005 |
|---|
| 15 | | Tanja Grubba,
Peter Hertling,
Hideki Tsuiki,
Klaus Weihrauch:
CCA 2005 - Second International Conference on Computability and Complexity in Analysis, August 25-29, 2005, Kyoto, Japan
FernUniversität Hagen, Germany 2005 |
| 14 | EE | Hideki Tsuiki,
Keiji Sugihara:
Streams with a Bottom in Functional Languages.
ESOP 2005: 201-216 |
| 13 | EE | Hideki Tsuiki:
Dyadic Subbases and Representations of Topological Spaces.
Spatial Representation 2005 |
| 12 | EE | Hideki Tsuiki:
Real number computation with committed choice logic programming languages.
J. Log. Algebr. Program. 64(1): 61-84 (2005) |
| 2004 |
|---|
| 11 | EE | Hideki Tsuiki:
Uniform Domains and Uniform Spaces: (Abstract).
Electr. Notes Theor. Comput. Sci. 73: 213-215 (2004) |
| 10 | EE | Hideki Tsuiki:
Compact metric spaces as minimal-limit sets in domains of bottomed sequences.
Mathematical Structures in Computer Science 14(6): 853-878 (2004) |
| 2003 |
|---|
| 9 | | Hideki Tsuiki:
A domain-theoretic semantics of lax generic functions.
Theor. Comput. Sci. 294(1/2): 307-331 (2003) |
| 2002 |
|---|
| 8 | EE | Hideki Tsuiki:
Representations of Complete Uniform Spaces via Uniform Domains.
Electr. Notes Theor. Comput. Sci. 66(1): (2002) |
| 7 | EE | Hideki Tsuiki:
Real number computation through Gray code embedding.
Theor. Comput. Sci. 284(2): 467-485 (2002) |
| 2001 |
|---|
| 6 | EE | Taeko Ariga,
Hideki Tsuiki:
Programming for students of information design.
SIGCSE Bulletin 33(4): 59-63 (2001) |
| 2000 |
|---|
| 5 | EE | Hideki Tsuiki:
Computational Dimension of Topological Spaces.
CCA 2000: 323-335 |
| 1999 |
|---|
| 4 | EE | Hideki Tsuiki:
A domain-theoretic semantics of lax generic functions.
Electr. Notes Theor. Comput. Sci. 29: (1999) |
| 1998 |
|---|
| 3 | | Hideki Tsuiki:
A Computationally Adequate Model for Overloading via Domain-Valued Functors.
Mathematical Structures in Computer Science 8(4): 321-349 (1998) |
| 1994 |
|---|
| 2 | | Hideki Tsuiki:
On Typed Calculi with a Merge Operator.
FSTTCS 1994: 101-112 |
| 1 | | Hideki Tsuiki:
A Normalizing Calculus with Overloading and Subtyping.
TACS 1994: 273-295 |
