A. Mete Kabakçioglu

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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. Int. Journal in Computer Simulation 1(3): (1991)

	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. Int. Journal in Computer Simulation 1(3): (1991)

Coauthor Index

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page

1	Olga L. Mazuera	[2]
2	Edward P. Stabler (Edward P. Stabler Jr.)	[1]