Teruo Hikita

According to our database1, Teruo Hikita
  • authored at least 15 papers between 1977 and 2012.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2012
Honouring Ivo G. Rosenberg: His Contributions to ISMVL.
Proceedings of the 42nd IEEE International Symposium on Multiple-Valued Logic, 2012

1995
Process Composition and Interleave Reduction in Parallel Process Specification.
IEICE Transactions, 1995

1994
A mapping system from Object-Z to C++.
Proceedings of the First Asia-Pacific Software Engineering Conference, 1994

1990
A Rewriting System for Categorical Combinators with Multiple Arguments.
SIAM J. Comput., 1990

1988
Sheffer and Symmetric Sheffer Boolean Functions under Various Functional Constructions.
Elektronische Informationsverarbeitung und Kybernetik, 1988

1985
A Method of Program Transformation between Variable Sharing and Message Passing.
Softw., Pract. Exper., 1985

The BC-chain Method for Representing Combinators in Linear Space.
New Generation Comput., 1985

1984
The BC-Chain Method for Representing Combinators in Linear Space.
Proceedings of the RIMS Symposia on Software Science and Engineering II, 1984

1983
Listing and Counting Subtrees of Equal Size of a Binary Tree.
Inf. Process. Lett., 1983

1980
Parallel Sieve Methods for Generating Prime Numbers.
IFIP Congress, 1980

1979
On the Number of Multivalued Switching Functions Realizable by Cascades.
IEEE Trans. Computers, 1979

Corrigenda: A Completeness Criterion for Spectra.
SIAM J. Comput., 1979

On a Class of Recursive Procedures and Equivalent Iterative Ones.
Acta Inf., 1979

1977
A Completeness Criterion for Spectra.
SIAM J. Comput., 1977

An O(N) Algorithm for Finding Periodicity of a Sequence Using Hash Coding.
Inf. Process. Lett., 1977


  Loading...