Assalé Adjé
Assalé Adjé publishes mostly in Computational Theory and Mathematics, Management Science and Operations Research and Artificial Intelligence, on topics such as Formal Methods in Verification, Logic, programming, and type systems and Logic, Reasoning, and Knowledge.
- World rank
- #1,105,467 of 1,633,909 ranked researchers
- Rank in France
- #68,102 of 96,116
- Works
- 17
- Citations
- 25
- Citations per work
- 1.5
What does Assalé Adjé 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 Mathematics27% of their works
- 2Management Science and Operations Research13% of their works
- 3Artificial Intelligence13% of their works
- 4Control and Systems Engineering13% of their works
- 5Numerical Analysis7% of their works
- 6Economics and Econometrics7% of their works
Research topics
Which keywords describe Assalé Adjé's research?
The keywords of their largest research topics: Model Checking, Temporal Logic, Environmental Impacts, Satisfiability Modulo Theories, Symbolic Model Checker, Answer Set Programming, City Logistics and Floating-Point Arithmetic.
- Static Analysis
- Ridesharing
- Model Predictive Control
- Last Mile Delivery
- Gröbner Bases
- Floating-Point Arithmetic
- Answer Set Programming
- Satisfiability Modulo Theories
- Temporal Logic
- Model Checking
- Environmental Impacts
- Symbolic Model Checker
- City Logistics
- Formal Verification
- Interval Analysis
- Modal Logic
- Optimization
- Shared Autonomous Vehicles
- Symbolic Computing
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 19 words, with their numbers
- Model Checking43 topics
- Temporal Logic32 topics
- Environmental Impacts22 topics
- Satisfiability Modulo Theories21 topic
- Symbolic Model Checker21 topic
- Answer Set Programming11 topic
- City Logistics11 topic
- Floating-Point Arithmetic11 topic
- Formal Verification11 topic
- Gröbner Bases11 topic
- Interval Analysis11 topic
- Last Mile Delivery11 topic
- Modal Logic11 topic
- Model Predictive Control11 topic
- Optimization11 topic
- Ridesharing11 topic
- Shared Autonomous Vehicles11 topic
- Static Analysis11 topic
- Symbolic Computing11 topic
Where does Assalé Adjé work?
Assalé Adjé's main affiliation in the publication record is Université de Perpignan, France.
How many publications and citations does Assalé Adjé have?
Science Explorer counts 17 works and 25 citations for Assalé Adjé, ranking #1,105,467 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.