Gérard Memmi
Gérard Memmi publishes mostly in Computational Theory and Mathematics, Computer Networks and Communications and Electrical and Electronic Engineering, on topics such as Petri Nets in System Modeling, Formal Methods in Verification and semigroups and automata theory.
- World rank
- #475,322 of 1,633,909 ranked researchers
- Rank in France
- #28,484 of 96,116
- Works
- 39
- Citations
- 146
- Citations per work
- 3.7
What does Gérard Memmi 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 Mathematics26% of their works
- 2Computer Networks and Communications14% of their works
- 3Electrical and Electronic Engineering12% of their works
- 4Information Systems12% of their works
- 5Artificial Intelligence8% of their works
- 6Hardware and Architecture6% of their works
Research topics
Which keywords describe Gérard Memmi's research?
The keywords of their largest research topics: Automata, Deadlock Prevention, Model Checking, Petri Nets, Formal Languages, Regular Expressions, Satisfiability Modulo Theories and Symbolic Model Checker.
- Static Analysis
- Formal Verification
- Computation
- VLSI Circuits
- Parallel Computing
- Symbolic Model Checker
- Regular Expressions
- Petri Nets
- Deadlock Prevention
- Automata
- Model Checking
- Formal Languages
- Satisfiability Modulo Theories
- Low-Power
- Performance Optimization
- Cellular Automata
- DNA Computing
- Molecular Computation
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 18 words, with their numbers
- Automata82 topics
- Deadlock Prevention61 topic
- Model Checking62 topics
- Petri Nets61 topic
- Formal Languages41 topic
- Regular Expressions41 topic
- Satisfiability Modulo Theories41 topic
- Symbolic Model Checker41 topic
- Low-Power31 topic
- Parallel Computing31 topic
- Performance Optimization31 topic
- VLSI Circuits31 topic
- Cellular Automata21 topic
- Computation21 topic
- DNA Computing21 topic
- Formal Verification21 topic
- Molecular Computation21 topic
- Static Analysis21 topic
Where does Gérard Memmi work?
Gérard Memmi's main affiliation in the publication record is Télécom Paris, France.
How many publications and citations does Gérard Memmi have?
Science Explorer counts 39 works and 146 citations for Gérard Memmi, ranking #475,322 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.