A. Mete Kabakçioglu

According to our database, A. Mete Kabakçioglu authored at least 3 papers between 1991 and 1999.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1999

CAN: chain of nodes approach to direct rule induction.

A. Mete Kabakçioglu

IEEE Trans. Syst. Man Cybern. Part B, 1999

1992

DEVE: An Expert System for Hardware Design Verification.

A. Mete Kabakçioglu, Olga L. Mazuera

Proceedings of the Fourth International Conference on Tools with Artificial Intelligence, 1992

1991

Symbolic Simulation for the Verification of Temporal Logic Specifications about Sequential Designs.

A. Mete Kabakçioglu, Edward P. Stabler

Int. J. Comput. Simul., 1991