Fumihiro Maruyama

15 papers A* 2Journal 2Unranked 10
YearRankTypeTitle / Venue / Authors
2024 — conf
Human Rights and Ethics Guiding Human-Machine Teaming.
GHTC
Lubna Dajani, Angelo Ferraro, Fumihiro Maruyama, Yuchang Cheng
2015 — conf
Generalized Service Process Expressed by Context-Free Grammar.
ICServ
Fumihiro Maruyama
2008 — ed.
Service Availability, 5th International Service Availability Symposium, ISAS 2008, Tokyo, Japan, May 19-21, 2008, Proceedings
ISAS
Takashi Nanya, Fumihiro Maruyama, András Pataricza, Miroslaw Malek
2007 — conf
Issues of Service Innovation and Its Model.
CEC/EEE
Fumihiro Maruyama, Youji Kohda, Tsuneo Katsuyama
2000 — conf
An agent-based system for electronic commerce using recipes.
ICPADS Workshops
Tamami Sugasaka, Kyoko Tanaka, Ryusuke Masuoka, Akira Sato, Hironobu Kitajima, Fumihiro Maruyama
1999 — conf
Issues in Intelligent Information Integration.
IMSA
Grigoris Antoniou, Fumihiro Maruyama, Ryusuke Masuoka, Hironobu Kitajima
1999 J jnl
SAGE and its application to electronic commerce - SAGE: Francis: A system based on "virtual catalog".
Syst. Comput. Jpn.
Tamami Sugasaka, Ryusuke Masuoka, Akira Sato, Hironobu Kitajima, Fumihiro Maruyama
1998 — conf
SAGE and Its Application to Inter-company EC.
PAAM
Ryusuke Masuoka, Tamami Sugasaka, Akira Sato, Hironobu Kitajima, Fumihiro Maruyama
1992 — conf
A Cooperative Logic Design Expert System on a Multiprocessor.
FGCS
Yoriko Minoda, Shuho Sawada, Yuka Takizawa, Fumihiro Maruyama, Nobuaki Kawato
1988 — conf
co-LODEX: A Cooperative Expert System for Logic design.
FGCS
Fumihiro Maruyama, Taeko Kakuda, Yusuke Matsunaga, Yoriko Minoda, Shuho Sawada, Nobuaki Kawato
1986 — conf
Knowledge-Based Expert System for Hardware Logic Design.
FJCC
Tamio Mano, Fumihiro Maruyama, Kazushi Hayashi, Taeko Kakuda, Nobuaki Kawato, Takao Uehara
1985 J jnl
Hardware Verification.
Computer
Fumihiro Maruyama
1984 — conf
Prolog-Based Expert System for Logic Design.
FGCS
Fumihiro Maruyama, Tamio Mano, Kazushi Hayashi, Taeko Kakuda, Nobuaki Kawato, Takao Uehara
1982 A* conf
A verification technique for hardware designs.
DAC
Fumihiro Maruyama, Takao Uehara, Nobuaki Kawato, Takao Saito
1979 A* conf
Design and verification of large-scale computers by using DDL.
DAC
Nobuaki Kawato, Takao Saito, Fumihiro Maruyama, Takao Uehara