Preuve automatique par parmodulation : réécriture et induction

von Bouhoula, Adel
Veröffentlicht 1992

Fundamental results on automated theorem proving by test set induction

von Bouhoula, Adel
Veröffentlicht 1995

Implicit induction in conditional theories

von Bouhoula, Adel
Veröffentlicht 1993

Automated mathematical induction

von Bouhoula, Adel
Veröffentlicht 1992

Automatd mathematical induction

von Bouhoula, Adel
Veröffentlicht 1994

Automated mathematical induction

von Bouhoula, Adel
Veröffentlicht 1992

A Comprehensive Quantified Approach for Security Risk Management in e-Health Systems

von Ksibi, Sondes
Veröffentlicht in SECRYPT (17. : 2020 : Online) SECRYPT 2020 (2020)

Spike : an automatic theorem prover

von Bouhoula, Adel
Veröffentlicht 1992

A Novel Face Detection Framework Based on Incremental Learning and Low Variance Directions

von Salah, Mohamed Khalil Ben
Veröffentlicht in ADMA (17. : 2021 : Sydney) Advanced data mining and applications ; Part 2 (2022)

Automated and Optimized Formal Approach to Verify SDN Access-Control Misconfigurations

von Saddaoui, Amina
Veröffentlicht in TridentCom (13 : 2018 : Schanghai) Testbeds and research infrastructures for the development of networks and communications (2019)

A Novel Dispersion Covariance-guided One-Class Support Vector Machines

von Nheri, Soumaya
Veröffentlicht in VISAPP (15. : 2020 : Valletta) VISIGRAPP 2020 ; Volume 4 (2020)

Attacks Scenarios in a Correlated Anomalies Context: Case of Medical System Database Application

von Evina, Pierrette Annie
Veröffentlicht in ENASE (16. : 2021 : Online) ENASE 2021 (2021)