Hajime Ishihara

2008
34	EE	Yuichiro Murachi, Yuki Fukuyama, Ryo Yamamoto, Junichi Miyakoshi, Hiroshi Kawaguchi, Hajime Ishihara, Masayuki Miyama, Yoshio Matsuda, Masahiko Yoshimoto: A VGA 30-fps Realtime Optical-Flow Processor Core for Moving Picture Recognition. IEICE Transactions 91-C(4): 457-464 (2008)
33		Vasco Brattka, Hajime Ishihara, Matthias Schröder, Ning Zhong: Computability and Complexity in Analysis. J. UCS 14(6): 800 (2008)
32	EE	Robin Havea, Hajime Ishihara, Luminita Vîta: Separation properties in neighbourhood and quasi-apartness spaces. Math. Log. Q. 54(1): 58-64 (2008)
31	EE	Vasco Brattka, Hajime Ishihara, Matthias Schröder, Ning Zhong: Editorial: Math. Log. Quart. 5/2008. Math. Log. Q. 54(5): 453 (2008)
30	EE	Douglas S. Bridges, Hajime Ishihara, Peter M. Schuster, Luminita Vîta: Apartness, compactness and nearness. Theor. Comput. Sci. 405(1-2): 3-10 (2008)
2007
29	EE	Hajime Ishihara: Unique Existence and Computability in Constructive Reverse Mathematics. CiE 2007: 368-377
2006
28	EE	Hajime Ishihara, Erik Palmgren: Quotient topologies in constructive set theory and type theory. Ann. Pure Appl. Logic 141(1-2): 257-265 (2006)
27	EE	Hajime Ishihara, Ray Mines, Peter Schuster, Luminita Vîta: Quasi-apartness and neighbourhood spaces. Ann. Pure Appl. Logic 141(1-2): 296-306 (2006)
26	EE	Peter Aczel, Laura Crosilla, Hajime Ishihara, Erik Palmgren, Peter Schuster: Binary Refinement Implies Discrete Exponentiation. Studia Logica 84(3): 361-368 (2006)
2005
25	EE	Douglas S. Bridges, Hajime Ishihara, Peter Schuster, Luminita Vîta: Compactness in apartness spaces? Spatial Representation 2005
24	EE	Douglas S. Bridges, Hajime Ishihara, Peter Schuster, Luminita Vîta: Strong continuity implies uniform sequential continuity. Arch. Math. Log. 44(7): 887-895 (2005)
23	EE	Takuya Iida, Hajime Ishihara: Optical Manipulation of Nano Materials under Quantum Mechanical Resonance Conditions. IEICE Transactions 88-C(9): 1809-1816 (2005)
22	EE	Cristian S. Calude, Hajime Ishihara: Constructivity, Computability, and Logic A Collection of Papers in Honour of the 60th Birthday of Douglas Bridges. J. UCS 11(12): 1863-1865 (2005)
21	EE	Josef Berger, Hajime Ishihara: Brouwer's fan theorem and unique existence in constructive analysis. Math. Log. Q. 51(4): 360-364 (2005)
2004
20	EE	Hajime Ishihara, Peter Schuster: Compactness under constructive scrutiny. Math. Log. Q. 50(6): 540-550 (2004)
2002
19	EE	Douglas S. Bridges, Hajime Ishihara, Peter Schuster: Compactness and Continuity, Constructively Revisited. CSL 2002: 89-102
18	EE	Hajime Ishihara, Bakhadyr Khoussainov, Sasha Rubin: Some Results on Automatic Structures. LICS 2002: 235-
17	EE	Hajime Ishihara, Bakhadyr Khoussainov: Complexity of Some Infinite Games Played on Finite Graphs. WG 2002: 270-281
16		Hajime Ishihara, Satoru Yoshida: A Constructive Look at The Completeness of The Space D(R). J. Symb. Log. 67(4): 1511-1519 (2002)
15	EE	Hajime Ishihara, Toshihiko Kurata: Completeness of intersection and union type assignment systems for call-by-value lambda-models. Theor. Comput. Sci. 272(1-2): 197-221 (2002)
2001
14		Cristian Calude, Hajime Ishihara, Takeshi Yamaguchi: Coding with Minimal Programs. Int. J. Found. Comput. Sci. 12(4): 479-490 (2001)
2000
13	EE	Hajime Ishihara: A Canonical Model Construction for Substructural Logics. J. UCS 6(1): 155-168 (2000)
12	EE	Hajime Ishihara: A Note on the Gödel-Gentzen Translation. Math. Log. Q. 46(1): 135-137 (2000)
1999
11	EE	Hajime Ishihara: Function algebraic characterizations of the polytime functions. Computational Complexity 8(4): 346-356 (1999)
1998
10		Hajime Ishihara, Bakhadyr Khoussainov, Anil Nerode: Decidable Kripke Models of Intuitionistic Theories. Ann. Pure Appl. Logic 93(1-3): 115-123 (1998)
9		Hajime Ishihara, Bakhadyr Khoussainov, Anil Nerode: Computable Kripke Models and Intermediate Logics. Inf. Comput. 143(2): 205-230 (1998)
8		Douglas S. Bridges, Hajime Ishihara: A Definitive Constructive Open Mapping Theorem? Math. Log. Q. 44: 545-552 (1998)
1997
7	EE	Hajime Ishihara: Sequential Continuity of Linear Mappings in Constructive Mathematics. J. UCS 3(11): 1250-1254 (1997)
6	EE	Hajime Ishihara, Bakhadyr Khoussainov: Effectiveness of the Completeness Theorem for an Intermediate Logic. J. UCS 3(11): 1255-1265 (1997)
1994
5		Douglas S. Bridges, Hajime Ishihara: Complements of Intersections in Constructive Mathematics. Math. Log. Q. 40: 35-43 (1994)
4		Douglas S. Bridges, Hajime Ishihara: Absolute Continuity and the Uniqueness of the Constructive Functional Calculus. Math. Log. Q. 40: 519-527 (1994)
1992
3		Hajime Ishihara: Continuity Properties in Constructive Mathematics. J. Symb. Log. 57(2): 557-565 (1992)
1991
2		Hajime Ishihara: Constructive Compact Operators on a Hilbert Space. Ann. Pure Appl. Logic 52(1-2): 31-37 (1991)
1		Hajime Ishihara: Continuity and Nondiscontinuity in Constructive Mathematics. J. Symb. Log. 56(4): 1349-1354 (1991)

Coauthor Index

1	Peter Aczel	[26]
2	Josef Berger	[21]
3	Vasco Brattka	[31] [33]
4	Douglas S. Bridges	[4] [5] [8] [19] [24] [25] [30]
5	Cristian S. Calude (Cristian Calude)	[14] [22]
6	Laura Crosilla	[26]
7	Yuki Fukuyama	[34]
8	Robin Havea	[32]
9	Takuya Iida	[23]
10	Hiroshi Kawaguchi	[34]
11	Bakhadyr Khoussainov	[6] [9] [10] [17] [18]
12	Toshihiko Kurata	[15]
13	Yoshio Matsuda	[34]
14	Ray Mines	[27]
15	Junichi Miyakoshi	[34]
16	Masayuki Miyama	[34]
17	Yuichiro Murachi	[34]
18	Anil Nerode	[9] [10]
19	Erik Palmgren	[26] [28]
20	Sasha Rubin	[18]
21	Matthias Schröder	[31] [33]
22	Peter Schuster	[19] [20] [24] [25] [26] [27]
23	Peter M. Schuster	[30]
24	Luminita Vîta (Luminita Simona Vîta)	[24] [25] [27] [30] [32]
25	Takeshi Yamaguchi	[14]
26	Ryo Yamamoto	[34]
27	Satoru Yoshida	[16]
28	Masahiko Yoshimoto	[34]
29	Ning Zhong	[31] [33]

Colors in the list of coauthors