Emil Dumitrescu
Emil Dumitrescu publishes mostly in Computational Theory and Mathematics, Hardware and Architecture and Computer Networks and Communications, on topics such as Formal Methods in Verification, Petri Nets in System Modeling and Real-Time Systems Scheduling.
- World rank
- #1,564,120 of 1,633,909 ranked researchers
- Rank in France
- #92,738 of 96,116
- Works
- 20
- Citations
- 5
- Citations per work
- 0.3
What does Emil Dumitrescu research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Computational Theory and Mathematics33% of their works
- 2Hardware and Architecture12% of their works
- 3Computer Networks and Communications8% of their works
- 4Information Systems4% of their works
- 5Signal Processing4% of their works
- 6Artificial Intelligence4% of their works
Research topics
Which keywords describe Emil Dumitrescu's research?
The keywords of their largest research topics: Model Checking, Temporal Logic, Deadlock Prevention, Petri Nets, Satisfiability Modulo Theories, Symbolic Model Checker, Embedded Systems and Cybersecurity.
- Reconfigurable Computing
- Network Security
- Intrusion Detection
- High-Level Synthesis
- Distributed Systems
- Scheduling Algorithms
- Cybersecurity
- Symbolic Model Checker
- Petri Nets
- Temporal Logic
- Model Checking
- Deadlock Prevention
- Satisfiability Modulo Theories
- Embedded Systems
- Hard Real-Time Systems
- Answer Set Programming
- Fault Tolerance
- Information Security
- Modal Logic
- Policy Compliance
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
- Model Checking52 topics
- Temporal Logic52 topics
- Deadlock Prevention41 topic
- Petri Nets41 topic
- Satisfiability Modulo Theories41 topic
- Symbolic Model Checker41 topic
- Embedded Systems32 topics
- Cybersecurity22 topics
- Hard Real-Time Systems21 topic
- Scheduling Algorithms21 topic
- Answer Set Programming11 topic
- Distributed Systems11 topic
- Fault Tolerance11 topic
- High-Level Synthesis11 topic
- Information Security11 topic
- Intrusion Detection11 topic
- Modal Logic11 topic
- Network Security11 topic
- Policy Compliance11 topic
- Reconfigurable Computing11 topic
Where does Emil Dumitrescu work?
Emil Dumitrescu's main affiliation in the publication record is Laboratoire Ampère, France.
How many publications and citations does Emil Dumitrescu have?
Science Explorer counts 20 works and 5 citations for Emil Dumitrescu, ranking #1,564,120 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.