Fumihiro Maruyama

According to our database1, Fumihiro Maruyama authored at least 13 papers between 1979 and 2015.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2015
Generalized Service Process Expressed by Context-Free Grammar.
Proceedings of the Serviceology for Smart Service System, 2015

2007
Issues of Service Innovation and Its Model.
Proceedings of the 9th IEEE International Conference on E-Commerce Technology (CEC 2007) / 4th IEEE International Conference on Enterprise Computing, 2007

2000
An agent-based system for electronic commerce using recipes.
Proceedings of the Seventh International Conference on Parallel and Distributed Systems Workshops, 2000

1999
SAGE and its application to electronic commerce - SAGE: Francis: A system based on "virtual catalog".
Syst. Comput. Jpn., 1999

Issues in Intelligent Information Integration.
Proceedings of the Internet, Multimedia Systems and Applications, 1999

1998
SAGE and Its Application to Inter-company EC.
Proceedings of the Third International Conference on the Practical Application of Intelligent Agents and Multi-Agent Technology, 1998

1992
A Cooperative Logic Design Expert System on a Multiprocessor.
Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, 1992

1988
co-LODEX: A Cooperative Expert System for Logic design.
Proceedings of the International Conference on Fifth Generation Computer Systems, 1988

1986
Knowledge-Based Expert System for Hardware Logic Design.
Proceedings of the Fall Joint Computer Conference, November 2-6, 1986, Dallas, Texas, USA, 1986

1985
Hardware Verification.
Computer, 1985

1984
Prolog-Based Expert System for Logic Design.
Proceedings of the International Conference on Fifth Generation Computer Systems, 1984

1982
A verification technique for hardware designs.
Proceedings of the 19th Design Automation Conference, 1982

1979
Design and verification of large-scale computers by using DDL.
Proceedings of the 16th Design Automation Conference, 1979


  Loading...