Adel Bouhoula

Publications

850

Citations

H-Index

1993

Active since

Affiliations

Institut national de recherche en sciences et technologies du numérique(Current)

University of Carthage

Centre Inria de l'Université de Lorraine

Institut Supérieur des Études Technologiques en Communications de Tunis

Laboratoire Lorrain de Recherche en Informatique et ses Applications

Adel Bouhoula is an author at Institut national de recherche en sciences et technologies du numérique specializing in engineering, computer science, and formal verification.

ORCID

Top concepts

EngineeringComputer ScienceFormal VerificationInformation SecurityVerificationFormal MethodsData SecurityAutomated ReasoningData MiningKnowledge Discovery

Publications per year

1993–2024

Publications

Specification and proof in membership equational logic

Adel Bouhoula, Jean-Pierre Jouannaud, José Meseguer · Theoretical Computer Science · 2000 · 231 citations

Membership Equational Logic, Engineering, Automated Reasoning +5

Implicit induction in conditional theories

Adel Bouhoula, M. Rusinowitch · Journal of Automated Reasoning · 1995 · 93 citations

Automated Reasoning, Implicit Induction, Conditional Logic +5

Automated Mathematical Induction

Adel Bouhoula, Emmanuel Kounalis, Michaël Rusinowitch · Journal of Logic and Computation · 1995 · 57 citations

Artificial Intelligence, Computational Complexity Theory, Engineering +18

Automated Theorem Proving by Test Set Induction

Adel Bouhoula · Journal of Symbolic Computation · 1997 · 51 citations

Engineering, Automated Reasoning, Software Testing +7

Efficient decision tree for protocol analysis in intrusion detection

Tarek Abbes, Adel Bouhoula, M. Rusinowitch · International Journal of Security and Networks · 2010 · 32 citations

Engineering, Information Security, Efficient Decision Tree +16

Rows per page

1–5 of 28