| |
| 1999 | ||
|---|---|---|
| 3 | A. Mete Kabakçioglu: CAN: chain of nodes approach to direct rule induction. IEEE Transactions on Systems, Man, and Cybernetics, Part B 29(6): 758-770 (1999) | |
| 1992 | ||
| 2 | A. Mete Kabakçioglu, Olga L. Mazuera: DEVE: An Expert System for Hardware Design Verification. ICTAI 1992: 469-470 | |
| 1991 | ||
| 1 | A. Mete Kabakçioglu, Edward P. Stabler: Symbolic Simulation for the Verification of Temporal Logic Specifications about Sequential Designs. International Journal in Computer Simulation 1(3): (1991) | |
| 1 | Olga L. Mazuera | [2] |
| 2 | Edward P. Stabler (Edward P. Stabler Jr.) | [1] |