Teruo Hikita

15 papers C 1Journal 11Unranked 3
YearRankTypeTitle / Venue / Authors
2012 — conf
Honouring Ivo G. Rosenberg: His Contributions to ISMVL.
ISMVL
Hajime Machida, Teruo Hikita
1995 J jnl
Process Composition and Interleave Reduction in Parallel Process Specification.
IEICE Trans. Inf. Syst.
Makoto Tsujigado, Teruo Hikita, Jun Ginbayashi
1994 C conf
A mapping system from Object-Z to C++.
APSEC
Masakazu Fukagawa, Teruo Hikita, Hiroshi Yamazaki
1990 J jnl
A Rewriting System for Categorical Combinators with Multiple Arguments.
SIAM J. Comput.
Hirofumi Yokouchi, Teruo Hikita
1988 J jnl
Sheffer and Symmetric Sheffer Boolean Functions under Various Functional Constructions.
J. Inf. Process. Cybern.
Masahiro Miyakawa, Ivan Stojmenovic, Teruo Hikita, Hajime Machida, Rusins Freivalds
1985 J jnl
A Method of Program Transformation between Variable Sharing and Message Passing.
Softw. Pract. Exp.
Teruo Hikita, Kiyoshi Ishihata
1985 J jnl
The BC-chain Method for Representing Combinators in Linear Space.
New Gener. Comput.
Kohei Noshita, Teruo Hikita
1984 — conf
The BC-Chain Method for Representing Combinators in Linear Space.
RIMS Symposia on Software Science and Engineering
Kohei Noshita, Teruo Hikita
1983 J jnl
Listing and Counting Subtrees of Equal Size of a Binary Tree.
Inf. Process. Lett.
Teruo Hikita
1980 — conf
Parallel Sieve Methods for Generating Prime Numbers.
IFIP Congress
Teruo Hikita, Satoru Kawai
1979 J jnl
Corrigenda: A Completeness Criterion for Spectra.
SIAM J. Comput.
Teruo Hikita, Akihiro Nozaki
1979 J jnl
On a Class of Recursive Procedures and Equivalent Iterative Ones.
Acta Informatica
Teruo Hikita
1979 J jnl
On the Number of Multivalued Switching Functions Realizable by Cascades.
IEEE Trans. Computers
Teruo Hikita, Hajime Enomoto
1977 J jnl
A Completeness Criterion for Spectra.
SIAM J. Comput.
Teruo Hikita, Akihiro Nozaki
1977 J jnl
An O(N) Algorithm for Finding Periodicity of a Sequence Using Hash Coding.
Inf. Process. Lett.
Teruo Hikita, Eiichi Goto