Adel Bouhoula
Identifiers
- name variant Adel Bouhoula 0.60 · backfill
Papers (5)
- Incremental One-Class Models for Data Classification cs.CV · 2016 · author #4
- Proceedings Fourth International Symposium on Symbolic Computation in Software Science cs.SC · 2013 · author #1
- Formal Checking of Multiple Firewalls cs.CR · 2012 · author #2
- Managing Delegation in Access Control Models cs.CR · 2010 · author #4
- Automated Induction for Complex Data Structures cs.LO · 2008 · author #1
Mentions
Frequent Coauthors
- Fairouz Kamareddine 1 shared papers
- Florent Jacquemard 1 shared papers
- Frederic Cuppens 1 shared papers
- M.Becha Kaaniche 1 shared papers
- Meriam Ben Ghorbel-Talbi 1 shared papers
- Nihel Ben Youssef Ben Souayeh 1 shared papers
- Nora Cuppens-Boulahia 1 shared papers
- Riadh Ksantini 1 shared papers
- Takoua Kefi 1 shared papers
- Tetsuo Ida 1 shared papers