Hassen Saı̈di

6 papers and 143 indexed citations i.

About

Hassen Saı̈di has authored 6 papers that have received a total of 143 indexed citations. This includes 4 papers in Artificial Intelligence, 2 papers in Computer Networks and Communications and 2 papers in Computational Theory and Mathematics. The topics of these papers are Security and Verification in Computing (3 papers), Advanced Software Engineering Methodologies (2 papers) and Formal Methods in Verification (2 papers). Hassen Saı̈di is often cited by papers focused on Security and Verification in Computing (3 papers), Advanced Software Engineering Methodologies (2 papers) and Formal Methods in Verification (2 papers) and collaborates with scholars based in United States and United Kingdom. Hassen Saı̈di's co-authors include Tomás E. Uribe, Ross Anderson, R. A. Riemenschneider, Joshua L. Levy and David Lesens and has published in prestigious journals such as IEEE Intelligent Systems and Electronic Notes in Theoretical Computer Science

In The Last Decade

Papers:0 Indexedcitations:102 20152020
USENIXSecuritySymposium ElectronicNotesinTheoreticalComputerScience IEEEIntelligentSystems ACMSIGAdaAdaLetters HassenSaı̈di

Papers by

i Specialization
i since
published in

Hassen Saı̈di

141 citations, 5 papers

Rankless by CCL
2025