Science Explorer Interactive view Map
Researcher · Institut Polytechnique de Paris · France

Amel Mammar

Amel Mammar publishes mostly in Artificial Intelligence, Information Systems and Computational Theory and Mathematics, on topics such as Formal Methods in Verification, Logic, programming, and type systems and Advanced Software Engineering Methodologies.

ORCID 0000-0003-0016-6898 OpenAlex
World rank
#1,262,243
of 1,633,909 ranked researchers
Rank in France
#77,072
of 96,116
Works
31
Citations
34
Citations per work
1.1

What does Amel Mammar research?

Artificial Intelligence: 26.7%Information Systems: 15.6%Computational Theory and Mathematics: 13.3%Computer Networks and Communications: 11.1%other fields: 33.3%27%top field
Artificial Intelligence26.7%Information Systems15.6%Computational Theory and Mathematics13.3%Computer Networks and Communications11.1%other fields33.3%

Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.

  1. 1Artificial Intelligence27% of their works
  2. 2Information Systems16% of their works
  3. 3Computational Theory and Mathematics13% of their works
  4. 4Computer Networks and Communications11% of their works
  5. 5Software9% of their works
  6. 6Sociology and Political Science9% of their works

Research topics

Which keywords describe Amel Mammar's research?

The keywords of their largest research topics: Model Checking, Satisfiability Modulo Theories, Symbolic Model Checker, Autonomic Computing, Continuous Queries, Data Stream Management, Formal Verification and QoS-Aware Middleware.

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.

All 17 words, with their numbers
  1. Model Checking92 topics
  2. Satisfiability Modulo Theories61 topic
  3. Symbolic Model Checker61 topic
  4. Autonomic Computing31 topic
  5. Continuous Queries31 topic
  6. Data Stream Management31 topic
  7. Formal Verification31 topic
  8. QoS-Aware Middleware31 topic
  9. Reputation31 topic
  10. Self-Adaptive Systems31 topic
  11. Semantic Web Services31 topic
  12. Static Analysis31 topic
  13. Trust31 topic
  14. Homomorphic Encryption21 topic
  15. Identity-Based Encryption21 topic
  16. Security Policies21 topic
  17. Side-Channel Attacks21 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?

Science Explorer counts 31 works and 34 citations for Amel Mammar, ranking #1,262,243 of 1,633,909 researchers worldwide on the composite score.

Ranked on field-normalised 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 are in the interactive view on the map. Is this your page? Request a correction or removal.