Teruo Hikita

According to our database, Teruo Hikita authored at least 14 papers between 1977 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2012

Honouring Ivo G. Rosenberg: His Contributions to ISMVL.

Hajime Machida, Teruo Hikita

Proceedings of the 42nd IEEE International Symposium on Multiple-Valued Logic, 2012

1995

Process Composition and Interleave Reduction in Parallel Process Specification.

Makoto Tsujigado, Teruo Hikita, Jun Ginbayashi

IEICE Trans. Inf. Syst., 1995

1994

A mapping system from Object-Z to C++.

Masakazu Fukagawa, Teruo Hikita, Hiroshi Yamazaki

Proceedings of the First Asia-Pacific Software Engineering Conference, 1994

1990

A Rewriting System for Categorical Combinators with Multiple Arguments.

Hirofumi Yokouchi, Teruo Hikita

SIAM J. Comput., 1990

1988

Sheffer and Symmetric Sheffer Boolean Functions under Various Functional Constructions.

Masahiro Miyakawa, Ivan Stojmenovic, Teruo Hikita, Hajime Machida, Rusins Freivalds

J. Inf. Process. Cybern., 1988

1985

A Method of Program Transformation between Variable Sharing and Message Passing.

Teruo Hikita, Kiyoshi Ishihata

Softw. Pract. Exp., 1985

The BC-chain Method for Representing Combinators in Linear Space.

Kohei Noshita, Teruo Hikita

New Gener. Comput., 1985

1983

Listing and Counting Subtrees of Equal Size of a Binary Tree.

Teruo Hikita

Inf. Process. Lett., 1983

1980

Parallel Sieve Methods for Generating Prime Numbers.

Teruo Hikita, Satoru Kawai

Proceedings of the Information Processing, Proceedings of the 8th IFIP Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia, 1980

1979

On the Number of Multivalued Switching Functions Realizable by Cascades.

Teruo Hikita, Hajime Enomoto

IEEE Trans. Computers, 1979

Corrigenda: A Completeness Criterion for Spectra.

Teruo Hikita, Akihiro Nozaki

SIAM J. Comput., 1979

On a Class of Recursive Procedures and Equivalent Iterative Ones.

Teruo Hikita

Acta Informatica, 1979

1977

A Completeness Criterion for Spectra.

Teruo Hikita, Akihiro Nozaki

SIAM J. Comput., 1977

An O(N) Algorithm for Finding Periodicity of a Sequence Using Hash Coding.

Teruo Hikita, Eiichi Goto

Inf. Process. Lett., 1977