default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDHideki Tsuiki
Person information
- affiliation: Kyoto University, Graduate School of Human and Environmental Studies, Japan
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
[i7]Ulrich Berger, Monika Seisenberger, Dieter Spreen, Hideki Tsuiki:
Concurrent Gaussian elimination. CoRR abs/2305.10125 (2023)- [i6]Ulrich Berger, Hideki Tsuiki:
Extracting total Amb programs from proofs. CoRR abs/2307.12454 (2023) - 2022
- [c18]Ulrich Berger
, Hideki Tsuiki:
Extracting total Amb programs from proofs. ESOP 2022: 85-113 - 2021
- [j18]Ulrich Berger, Hideki Tsuiki:
Intuitionistic fixed point logic. Ann. Pure Appl. Log. 172(3): 102903 (2021) - [i5]Ulrich Berger, Hideki Tsuiki:
Extracting total Amb programs from proofs. CoRR abs/2104.14669 (2021) - 2020
- [c17]Ulrich Berger, Olga Petrovska, Hideki Tsuiki:
Prawf: An Interactive Proof System for Program Extraction. CiE 2020: 137-148 - [i4]Ulrich Berger, Hideki Tsuiki:
Intuitionistic Fixed Point Logic. CoRR abs/2002.00188 (2020)
2010 – 2019
- 2019
- [c16]Yasuaki Kobayashi, Koki Suetsugu, Hideki Tsuiki, Ryuhei Uehara:
On the Complexity of Lattice Puzzles. ISAAC 2019: 32:1-32:12 - 2017
- [j17]Andrej Bauer, Ulrich Berger, Willem L. Fouché, Dieter Spreen, Hideki Tsuiki, Martin Ziegler:
Continuity, computability, constructivity: from logic to algorithms 2014 (Preface to the special issue: Continuity, Computability, Constructivity: From Logic to Algorithms 2014). J. Log. Anal. 9 (2017) - [j16]Yasuyuki Tsukamoto, Hideki Tsuiki:
Properties of domain representations of spaces through dyadic subbases. Math. Struct. Comput. Sci. 27(8): 1625-1638 (2017) - 2016
- [i3]Arno Pauly, Hideki Tsuiki:
Tω-representations of compact sets. CoRR abs/1604.00258 (2016) - 2015
- [j15]Hideki Tsuiki, Yasuyuki Tsukamoyo:
Domain Representations Induced by Dyadic Subbases. Log. Methods Comput. Sci. 11(1) (2015) - [j14]Ulrich Berger, Vasco Brattka, Victor L. Selivanov, Dieter Spreen, Hideki Tsuiki:
Preface to the special issue: Computing with infinite data: topological and logical foundations. Math. Struct. Comput. Sci. 25(7): 1463-1465 (2015) - [c15]Hideki Tsuiki, Yasuyuki Tsukamoto:
Sudoku Colorings of a 16-Cell Pre-fractal. JCDCGG 2015: 265-276 - 2013
- [j13]Mahito Sugiyama, Eiju Hirowatari, Hideki Tsuiki, Akihiro Yamamoto:
Learning figures with the Hausdorff metric by fractals - towards computable binary classification. Mach. Learn. 90(1): 91-126 (2013) - [c14]Hideki Tsuiki, Yasuyuki Tsukamoto:
Imaginary Hypercubes. JCDCGG 2013: 173-184 - [c13]Kei Terayama, Hideki Tsuiki:
A Stream Calculus of Bottomed Sequences for Real Number Computation. MFPS 2013: 383-402 - 2012
- [j12]Hideki Tsuiki:
Imaginary Cubes and Their Puzzles. Algorithms 5(2): 273-288 (2012) - [j11]Hideki Tsuiki, Yohei Yokota:
Enumerating 3D-Sudoku Solutions over Cubic Prefractal Objects. Inf. Media Technol. 7(3): 973-977 (2012) - [j10]Hideki Tsuiki, Yohei Yokota:
Enumerating 3D-Sudoku Solutions over Cubic Prefractal Objects. J. Inf. Process. 20(3): 667-671 (2012) - 2011
- [i2]Ulrich Berger, Vasco Brattka, Victor L. Selivanov, Dieter Spreen, Hideki Tsuiki:
Computing with Infinite Data: Topological and Logical Foundations (Dagstuhl Seminar 11411). Dagstuhl Reports 1(10): 14-36 (2011) - 2010
- [c12]Mahito Sugiyama, Eiju Hirowatari, Hideki Tsuiki, Akihiro Yamamoto:
Learning Figures with the Hausdorff Metric by Fractals. ALT 2010: 315-329
2000 – 2009
- 2009
- [j9]Hideki Tsuiki, Shuji Yamada:
On Finite-time Computability Preserving Conversions. J. Univers. Comput. Sci. 15(6): 1365-1380 (2009) - [c11]Yoshiki Tsujii, Takakazu Mori, Mariko Yasugi, Hideki Tsuiki:
Random Iteration Algorithm for Graph-Directed Sets. CCA 2009 - 2008
- [j8]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) - [c10]Hideki Tsuiki, Shuji Yamada:
On Finite-time Computability Preserving Conversions. CCA 2008: 299-308 - 2007
- [c9]Yoshiki Tsujii, Takakazu Mori, Mariko Yasugi, Hideki Tsuiki:
Fine-Continuous Functions and Fractals Defined by Infinite Systems of Contractions. ILC 2007: 109-125 - [c8]Hideki Tsuiki:
SUDOKU Colorings of the Hexagonal Bipyramid Fractal. KyotoCGGT 2007: 224-235 - 2006
- [j7]Vasco Brattka, Peter Hertling, Ker-I Ko, Hideki Tsuiki:
Computability and complexity in analysis. J. Complex. 22(6): 728 (2006) - 2005
- [j6]Hideki Tsuiki:
Real number computation with committed choice logic programming languages. J. Log. Algebraic Methods Program. 64(1): 61-84 (2005) - [c7]Hideki Tsuiki, Keiji Sugihara:
Streams with a Bottom in Functional Languages. ESOP 2005: 201-216 - [e1]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. Informatik Berichte 326-7/2005, FernUniversität Hagen, Germany 2005 [contents] - [i1]Hideki Tsuiki:
Dyadic Subbases and Representations of Topological Spaces. Spatial Representation 2005 - 2004
- [j5]Hideki Tsuiki:
Compact metric spaces as minimal-limit sets in domains of bottomed sequences. Math. Struct. Comput. Sci. 14(6): 853-878 (2004) - 2003
- [j4]Hideki Tsuiki:
A domain-theoretic semantics of lax generic functions. Theor. Comput. Sci. 294(1/2): 307-331 (2003) - 2002
- [j3]Hideki Tsuiki:
Real number computation through Gray code embedding. Theor. Comput. Sci. 284(2): 467-485 (2002) - [c6]Hideki Tsuiki:
Representations of Complete Uniform Spaces via Uniform Domains. CCA 2002: 176-188 - [c5]Hideki Tsuiki:
Uniform Domains and Uniform Spaces: (Abstract). Workshop on Domains 2002: 213-215 - 2001
- [j2]Taeko Ariga, Hideki Tsuiki:
Programming for students of information design. ACM SIGCSE Bull. 33(4): 59-63 (2001) - 2000
- [c4]Hideki Tsuiki:
Computational Dimension of Topological Spaces. CCA 2000: 323-335
1990 – 1999
- 1999
- [c3]Hideki Tsuiki:
A domain-theoretic semantics of lax generic functions. CTCS 1999: 301-324 - 1998
- [j1]Hideki Tsuiki:
A Computationally Adequate Model for Overloading via Domain-Valued Functors. Math. Struct. Comput. Sci. 8(4): 321-349 (1998) - 1994
- [c2]Hideki Tsuiki:
On Typed Calculi with a Merge Operator. FSTTCS 1994: 101-112 - [c1]Hideki Tsuiki:
A Normalizing Calculus with Overloading and Subtyping. TACS 1994: 273-295
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-02 00:09 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
