| 2006 |
|---|
| 15 | EE | Vasco Brattka,
Peter Hertling,
Ker-I Ko,
Hideki Tsuiki:
Computability and complexity in analysis.
J. Complexity 22(6): 728 (2006) |
| 2005 |
|---|
| 14 | | 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 |
| 13 | EE | Hideki Tsuiki,
Keiji Sugihara:
Streams with a Bottom in Functional Languages.
ESOP 2005: 201-216 |
| 12 | EE | Hideki Tsuiki:
Dyadic Subbases and Representations of Topological Spaces.
Spatial Representation 2005 |
| 11 | EE | Hideki Tsuiki:
Real number computation with committed choice logic programming languages.
J. Log. Algebr. Program. 64(1): 61-84 (2005) |
| 2004 |
|---|
| 10 | EE | Hideki Tsuiki:
Uniform Domains and Uniform Spaces: (Abstract).
Electr. Notes Theor. Comput. Sci. 73: 213-215 (2004) |
| 9 | 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 |
|---|
| 8 | | Hideki Tsuiki:
A domain-theoretic semantics of lax generic functions.
Theor. Comput. Sci. 294(1/2): 307-331 (2003) |
| 2002 |
|---|
| 7 | EE | Hideki Tsuiki:
Representations of Complete Uniform Spaces via Uniform Domains.
Electr. Notes Theor. Comput. Sci. 66(1): (2002) |
| 6 | EE | Hideki Tsuiki:
Real number computation through Gray code embedding.
Theor. Comput. Sci. 284(2): 467-485 (2002) |
| 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 |
