# Tsutomu Kamimura

According to our database

^{1}, Tsutomu Kamimura## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2014

A Resource-Oriented Services Platform for Managing Software Supply Chains and Its Experience.

Proceedings of the 2014 IEEE International Conference on Web Services, 2014

2013

PROMIS: A Management Platform for Software Supply Networks Based on the Linked Data and OSLC.

Proceedings of the 37th Annual IEEE Computer Software and Applications Conference, 2013

1992

Architecture of the XL C++ browser.

Proceedings of the 1992 Conference of the Centre for Advanced Studies on Collaborative Research, 1992

1989

Concurrent Programming in COB.

Proceedings of the Concurrency: Theory, 1989

1987

Continuous Auxiliary Relations.

Proceedings of the Mathematical Foundations of Programming Language Semantics, 1987

1985

An Effectively Given Initial Semigroup.

Acta Inf., 1985

Retracts of SEP Objects.

Proceedings of the Mathematical Foundations of Programming Semantics, 1985

1984

Total Objects of Domains.

Theor. Comput. Sci., 1984

Effectively Given Spaces.

Theor. Comput. Sci., 1984

1983

Algebraic Relations and Presentations.

Theor. Comput. Sci., 1983

Kleene Chain Completeness and Fixedpoint Properties.

Theor. Comput. Sci., 1983

Effectively Given Spaces.

Proceedings of the Automata, 1983

Tree Automata and Attribute Grammars.

Proceedings of the Automata, 1983

1982

Transductions of Dags and Trees.

Mathematical Systems Theory, 1982

1981

Parallel and Two-Way Automata on Directed Ordered Acyclic Graphs

Information and Control, April, 1981

1979

Parallel and Two-Way Recognizers of Directed Acyclic Graphs (Extended Abstract).

Proceedings of the Mathematical Foundations of Computer Science 1979, 1979

DAGs and Chomsky Hierarchy (Extended Abstract).

Proceedings of the Automata, 1979