Rabéa Ameur-Boulifa
Rabéa Ameur-Boulifa publishes mostly in Hardware and Architecture, Artificial Intelligence and Computational Theory and Mathematics, on topics such as Embedded Systems Design Techniques, Real-Time Systems Scheduling and Security and Verification in Computing.
- World rank
- #1,579,181 of 1,633,909 ranked researchers
- Rank in France
- #93,445 of 96,116
- Works
- 15
- Citations
- 14
- Citations per work
- 0.9
What does Rabéa Ameur-Boulifa research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Hardware and Architecture33% of their works
- 2Artificial Intelligence21% of their works
- 3Computational Theory and Mathematics12% of their works
- 4Computer Networks and Communications12% of their works
- 5Information Systems12% of their works
- 6Signal Processing4% of their works
Research topics
Which keywords describe Rabéa Ameur-Boulifa's research?
The keywords of their largest research topics: Embedded Systems, Model Checking, Hard Real-Time Systems, High-Level Synthesis, Reconfigurable Computing, Scheduling Algorithms, Side-Channel Attacks and Temporal Logic.
- Static Analysis
- Formal Verification
- Block Ciphers
- Symbolic Model Checker
- Satisfiability Modulo Theories
- Interconnection Networks
- Temporal Logic
- Scheduling Algorithms
- High-Level Synthesis
- Model Checking
- Embedded Systems
- Hard Real-Time Systems
- Reconfigurable Computing
- Side-Channel Attacks
- Control-Flow Integrity
- Networks on Chip
- Security Policies
- Answer Set Programming
- Cryptanalysis
- Modal Logic
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 20 words, with their numbers
- Embedded Systems62 topics
- Model Checking43 topics
- Hard Real-Time Systems31 topic
- High-Level Synthesis31 topic
- Reconfigurable Computing31 topic
- Scheduling Algorithms31 topic
- Side-Channel Attacks32 topics
- Temporal Logic32 topics
- Control-Flow Integrity21 topic
- Interconnection Networks21 topic
- Networks on Chip21 topic
- Satisfiability Modulo Theories21 topic
- Security Policies21 topic
- Symbolic Model Checker21 topic
- Answer Set Programming11 topic
- Block Ciphers11 topic
- Cryptanalysis11 topic
- Formal Verification11 topic
- Modal Logic11 topic
- Static Analysis11 topic
Where does Rabéa Ameur-Boulifa work?
Rabéa Ameur-Boulifa's main affiliation in the publication record is Laboratoire Traitement et Communication de l’Information, France.
How many publications and citations does Rabéa Ameur-Boulifa have?
Science Explorer counts 15 works and 14 citations for Rabéa Ameur-Boulifa, ranking #1,579,181 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.