Statistics
Publications
6
Citations
144
H-Index
6
Active since
2005
Affiliations
Noomene Ben Henda is an author at Uppsala University specializing in computer science, probability theory, and markov chains.
Publications per year
2005–2014
6
6
Parosh Aziz Abdulla, Noomene Ben Henda, Richard Mayr · Logical Methods in Computer Science · 2007 · 50 citations · Full text
Regular Model Checking without Transducers
Parosh Aziz Abdulla, Noomene Ben Henda, Giorgio Delzanno et al. · 2007 · 30 citations
Generic and efficient attacker models in SPIN
Noomene Ben Henda · 2014 · 14 citations
1–5 of 6