Amel Mammar
Amel Mammar publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Software, on topics such as Formal Methods in Verification, Advanced Software Engineering Methodologies and Service-Oriented Architecture and Web Services.
- World rank
- #3,117,903 of 7,710,434 ranked researchers
- Rank in France
- #131,944 of 324,115
- Works
- 129
- Citations
- 985
- Citations per work
- 7.6
What does Amel Mammar research?
Amel Mammar's work is mostly in Computer Science (78%), Business, Management and Accounting (6%).
Their six largest subfields, inside their fields and domains; the grey slice is everything else they publish. The interactive view splits every one of their works down to single topics.
The fields and subfields, with their numbers
- Physical Sciences10077.7%
- Computer Science10077.7%
- Everything else2116.5%
- Social Sciences75.8%
- 1Artificial Intelligence22% of their works
- 2Computational Theory and Mathematics17% of their works
- 3Software16% of their works
- 4Information Systems15% of their works
- 5Computer Networks and Communications8% of their works
- 6Management Information Systems6% of their works
Research topics
- Formal Methods in Verification
- Advanced Software Engineering Methodologies
- Service-Oriented Architecture and Web Services
- Model-Driven Software Engineering Techniques
- Software Testing and Debugging Techniques
- Business Process Modeling and Analysis
- Logic, programming, and type systems
- Security and Verification in Computing
Which keywords describe Amel Mammar's research?
The keywords of their largest research topics: Model Checking, Satisfiability Modulo Theories, Symbolic Model Checker, Autonomic Computing, Self-Adaptive Systems, QoS-Aware Middleware, Semantic Web Services and Domain-Specific Languages.
- Security Policies
- Formal Verification
- Software Fault Localization
- Automated Testing
- Domain-Specific Languages
- QoS-Aware Middleware
- Autonomic Computing
- Satisfiability Modulo Theories
- Model Checking
- Symbolic Model Checker
- Self-Adaptive Systems
- Semantic Web Services
- Model-Driven Engineering
- Business Process Management
- Workflow Mining
- Static Analysis
- Side-Channel Attacks
Size is their works in the topics tagged with each word, from their 8 largest topics. Each links to the topic it comes from most. The words come from the keyword list OpenAlex gives each topic, not from the text of the papers, so a word can appear that none of the papers uses.
All 17 words, with their numbers
- Model Checking732 topics
- Satisfiability Modulo Theories551 topic
- Symbolic Model Checker551 topic
- Autonomic Computing281 topic
- Self-Adaptive Systems281 topic
- QoS-Aware Middleware261 topic
- Semantic Web Services261 topic
- Domain-Specific Languages231 topic
- Model-Driven Engineering231 topic
- Automated Testing201 topic
- Business Process Management201 topic
- Software Fault Localization201 topic
- Workflow Mining201 topic
- Formal Verification181 topic
- Static Analysis181 topic
- Security Policies171 topic
- Side-Channel Attacks171 topic
Where does Amel Mammar work?
Amel Mammar's main affiliation in the publication record is Institut Polytechnique de Paris, France.
How many publications and citations does Amel Mammar have?
OpenAlex counts 129 works and 985 citations for Amel Mammar, an h-index of 17, ranking #3,117,903 of 7,710,434 researchers worldwide on the quality score.
Ranked on field-normalised citation excellence (50%), output (30%) and citations (20%). Counts come from OpenAlex author records, which occasionally merge different people who share a name or split one person into several.
Papers, co-authors, who cited this work and researchers on the nearest topics have tabs of their own, above. Is this your page? Claim it with your ORCID iD, or request a correction or removal.
Discussion
Ask a question or share a note about Amel Mammar. Keep it to the research: no personal attacks, advertising or links. Any reader can report a post, which collapses it for everyone until it is opened.