Hideki Tsuiki - RankMe

44 papers A 2B 3C 6Journal 24Unranked 9

Year	Rank	Type	Title / Venue / Authors
2023	J	`jnl`	Concurrent Gaussian elimination. CoRR Ulrich Berger, Monika Seisenberger, Dieter Spreen, Hideki Tsuiki
2023	J	`jnl`	Extracting total Amb programs from proofs. CoRR Ulrich Berger, Hideki Tsuiki
2022	A	`conf`	Extracting total Amb programs from proofs. ESOP Ulrich Berger, Hideki Tsuiki
2021	J	`jnl`	Extracting total Amb programs from proofs. CoRR Ulrich Berger, Hideki Tsuiki
2021	J	`jnl`	Intuitionistic fixed point logic. Ann. Pure Appl. Log. Ulrich Berger, Hideki Tsuiki
2020	J	`jnl`	Intuitionistic Fixed Point Logic. CoRR Ulrich Berger, Hideki Tsuiki
2020	C	`conf`	Prawf: An Interactive Proof System for Program Extraction. CiE Ulrich Berger, Olga Petrovska, Hideki Tsuiki
2019	B	`conf`	On the Complexity of Lattice Puzzles. ISAAC Yasuaki Kobayashi, Koki Suetsugu, Hideki Tsuiki, Ryuhei Uehara
2017	J	`jnl`	Continuity, computability, constructivity: from logic to algorithms 2014 (Preface to the special issue: Continuity, Computability, Constructivity: From Logic to Algorithms 2014). J. Log. Anal. Andrej Bauer, Ulrich Berger, Willem L. Fouché, Dieter Spreen, Hideki Tsuiki, Martin Ziegler
2017	J	`jnl`	Properties of domain representations of spaces through dyadic subbases. Math. Struct. Comput. Sci. Yasuyuki Tsukamoto, Hideki Tsuiki
2016	J	`jnl`	T CoRR Arno Pauly, Hideki Tsuiki
2015	J	`jnl`	Domain Representations Induced by Dyadic Subbases. Log. Methods Comput. Sci. Hideki Tsuiki, Yasuyuki Tsukamoyo
2015	J	`jnl`	Preface to the special issue: Computing with infinite data: topological and logical foundations. Math. Struct. Comput. Sci. Ulrich Berger, Vasco Brattka, Victor L. Selivanov, Dieter Spreen, Hideki Tsuiki
2015	—	`conf`	Sudoku Colorings of a 16-Cell Pre-fractal. JCDCGG Hideki Tsuiki, Yasuyuki Tsukamoto
2013	B	`conf`	A Stream Calculus of Bottomed Sequences for Real Number Computation. MFPS Kei Terayama, Hideki Tsuiki
2013	—	`conf`	Imaginary Hypercubes. JCDCGG Hideki Tsuiki, Yasuyuki Tsukamoto
2013	J	`jnl`	Learning figures with the Hausdorff metric by fractals - towards computable binary classification. Mach. Learn. Mahito Sugiyama, Eiju Hirowatari, Hideki Tsuiki, Akihiro Yamamoto
2012	J	`jnl`	Enumerating 3D-Sudoku Solutions over Cubic Prefractal Objects. Inf. Media Technol. Hideki Tsuiki, Yohei Yokota
2012	J	`jnl`	Enumerating 3D-Sudoku Solutions over Cubic Prefractal Objects. J. Inf. Process. Hideki Tsuiki, Yohei Yokota
2012	J	`jnl`	Imaginary Cubes and Their Puzzles. Algorithms Hideki Tsuiki
2011	J	`jnl`	Computing with Infinite Data: Topological and Logical Foundations (Dagstuhl Seminar 11411). Dagstuhl Reports Ulrich Berger, Vasco Brattka, Victor L. Selivanov, Dieter Spreen, Hideki Tsuiki
2010	B	`conf`	Learning Figures with the Hausdorff Metric by Fractals. ALT Mahito Sugiyama, Eiju Hirowatari, Hideki Tsuiki, Akihiro Yamamoto
2009	J	`jnl`	On Finite-time Computability Preserving Conversions. J. Univers. Comput. Sci. Hideki Tsuiki, Shuji Yamada
2009	C	`conf`	Random Iteration Algorithm for Graph-Directed Sets. CCA Yoshiki Tsujii, Takakazu Mori, Mariko Yasugi, Hideki Tsuiki
2008	J	`jnl`	Lawson topology of the space of formal balls and the hyperbolic topology. Theor. Comput. Sci. Hideki Tsuiki, Yasunao Hattori
2008	C	`conf`	On Finite-time Computability Preserving Conversions. CCA Hideki Tsuiki, Shuji Yamada
2007	—	`conf`	Fine-Continuous Functions and Fractals Defined by Infinite Systems of Contractions. ILC Yoshiki Tsujii, Takakazu Mori, Mariko Yasugi, Hideki Tsuiki
2007	—	`conf`	SUDOKU Colorings of the Hexagonal Bipyramid Fractal. KyotoCGGT Hideki Tsuiki
2006	J	`jnl`	Computability and complexity in analysis. J. Complex. Vasco Brattka, Peter Hertling, Ker-I Ko, Hideki Tsuiki
2005	C	`ed.`	CCA 2005 - Second International Conference on Computability and Complexity in Analysis, August 25-29, 2005, Kyoto, Japan CCA Tanja Grubba, Peter Hertling, Hideki Tsuiki, Klaus Weihrauch
2005	—	`conf`	Dyadic Subbases and Representations of Topological Spaces. Spatial Representation Hideki Tsuiki
2005	J	`jnl`	Real number computation with committed choice logic programming languages. J. Log. Algebraic Methods Program. Hideki Tsuiki
2005	A	`conf`	Streams with a Bottom in Functional Languages. ESOP Hideki Tsuiki, Keiji Sugihara
2004	J	`jnl`	Compact metric spaces as minimal-limit sets in domains of bottomed sequences. Math. Struct. Comput. Sci. Hideki Tsuiki
2003	J	`jnl`	A domain-theoretic semantics of lax generic functions. Theor. Comput. Sci. Hideki Tsuiki
2002	J	`jnl`	Real number computation through Gray code embedding. Theor. Comput. Sci. Hideki Tsuiki
2002	C	`conf`	Representations of Complete Uniform Spaces via Uniform Domains. CCA Hideki Tsuiki
2002	—	`conf`	Uniform Domains and Uniform Spaces: (Abstract). Workshop on Domains Hideki Tsuiki
2001	J	`jnl`	Programming for students of information design. ACM SIGCSE Bull. Taeko Ariga, Hideki Tsuiki
2000	C	`conf`	Computational Dimension of Topological Spaces. CCA Hideki Tsuiki
1999	—	`conf`	A domain-theoretic semantics of lax generic functions. CTCS Hideki Tsuiki
1998	J	`jnl`	A Computationally Adequate Model for Overloading via Domain-Valued Functors. Math. Struct. Comput. Sci. Hideki Tsuiki
1994	—	`conf`	A Normalizing Calculus with Overloading and Subtyping. TACS Hideki Tsuiki
1994	—	`conf`	On Typed Calculi with a Merge Operator. FSTTCS Hideki Tsuiki