| 2008 |
|---|
| 30 | 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) |
| 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) |
