Statistics
Publications
13
Citations
350
H-Index
12
Active since
2006
Ahmed Rezine is an author at Linköping University specializing in computer science, computing, and computer engineering.
Publications per year
2006–2020
13
13
Flatten and conquer: a framework for efficient analysis of string constraints
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu‐Fang Chen et al. · 2017 · 40 citations
Trau: SMT solver for string constraints
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu‐Fang Chen et al. · 2018 · 36 citations
Detecting Key Players in Terrorist Networks
Ala Berzinji, Lisa Kaati, Ahmed Rezine · 2012 · 33 citations · Full text
Regular Model Checking without Transducers
Parosh Aziz Abdulla, Noomene Ben Henda, Giorgio Delzanno et al. · 2007 · 30 citations
1–5 of 13