Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Hanane Houmani
Formal Analysis of SET and NSL Protocols Using the Interpretation Functions-Based Method
Journal of Computer Networks and Communications
Computer Networks
Information Systems
Communications
Related publications
Modeling and Formal Analysis of Communication Protocols Based on Game
Information Technology Journal
A Method to Detect Malware Based on Behavior Using Formal Concept Analysis
DEStech Transactions on Computer Science and Engineering
Query-Based Biclustering Using Formal Concept Analysis
Analysis of Initial Bubble Acceleration Using the Level-Set Method
Journal of Computational Multiphase Flows
Engineering
Astronomy
Physics
Formal Specification and Analysis of the Group Domain of Interpretation Protocol Using NPATRL and the NRL Protocol Analyzer
Journal of Computer Security
Risk
Computer Networks
Hardware
Communications
Reliability
Safety
Architecture
Quality
Software
An Ontology Construction Method Based on Formal Concept Analysis
DEStech Transactions on Social Science, Education and Human Science
Automated Logic-Based Technique for Formal Verification of Security Protocols
Journal of Advances in Computer Networks
Formal Verification of Netlog Protocols
Structural Optimization Using Sensitivity Analysis and a Level-Set Method
Journal of Computational Physics
Numerical Analysis
Applied Mathematics
Simulation
Computer Science Applications
Modeling
Computational Mathematics
Astronomy
Physics
