Adel Bouhoula

Arabian Gulf University - Manama / Bahrain

Engineering & Technology / Computer Science

AD Scientific Index ID: 5013542

جامعة الخليج العربي

Go Premium -
Unlock Full Profile Tools

Get Your Global Impact Certificate

Arabian Gulf University

Adel Bouhoula's MOST POPULAR ARTICLES

1-) Specification and proof in membership equational logic Theoretical Computer Science 236 (1-2), 35-132, 2000

2-) Implicit induction in conditional theories Journal of automated reasoning 14 (2), 189-235, 1995

3-) Protocol analysis in intrusion detection using decision tree International Conference on Information Technology: Coding and Computing …, 2004

4-) Automated mathematical induction Journal of Logic and Computation 5 (5), 631-668, 1995

5-) Automated theorem proving by test set induction Journal of Symbolic Computation 23 (1), 47-77, 1997

ARTICLES

Add your articles