Andrea Orlandini
Andrea Orlandini publishes mostly in Artificial Intelligence, Computer Vision and Pattern Recognition and Social Psychology, on topics such as AI-based Problem Solving and Planning, Logic, Reasoning, and Knowledge and Formal Methods in Verification.
- World rank
- #501,693 of 1,633,909 ranked researchers
- Rank in Italy
- #17,855 of 65,712
- Works
- 40
- Citations
- 104
- Citations per work
- 2.6
What does Andrea Orlandini research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Artificial Intelligence35% of their works
- 2Computer Vision and Pattern Recognition8% of their works
- 3Social Psychology6% of their works
- 4Computational Theory and Mathematics6% of their works
- 5Software6% of their works
- 6Industrial and Manufacturing Engineering6% of their works
Research topics
Which keywords describe Andrea Orlandini's research?
The keywords of their largest research topics: Heuristic Search, Model Checking, Planning Systems, Temporal Logic, Answer Set Programming, Domain-Specific Languages, Human-Robot Interaction and Modal Logic.
- Static Analysis
- Optimal Motion Planning
- Distributed Algorithms
- Symbolic Model Checker
- Satisfiability Modulo Theories
- Modal Logic
- Domain-Specific Languages
- Temporal Logic
- Model Checking
- Heuristic Search
- Planning Systems
- Answer Set Programming
- Human-Robot Interaction
- Model-Driven Engineering
- Socially Assistive Robotics
- Constraint Optimization
- Formal Verification
- Sampling-Based Algorithms
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
- Heuristic Search81 topic
- Model Checking83 topics
- Planning Systems81 topic
- Temporal Logic62 topics
- Answer Set Programming31 topic
- Domain-Specific Languages31 topic
- Human-Robot Interaction31 topic
- Modal Logic31 topic
- Model-Driven Engineering31 topic
- Satisfiability Modulo Theories31 topic
- Socially Assistive Robotics31 topic
- Symbolic Model Checker31 topic
- Constraint Optimization21 topic
- Distributed Algorithms21 topic
- Formal Verification21 topic
- Optimal Motion Planning21 topic
- Sampling-Based Algorithms21 topic
- Static Analysis21 topic
Where does Andrea Orlandini work?
Andrea Orlandini's main affiliation in the publication record is Institute of Cognitive Sciences and Technologies, Italy.
How many publications and citations does Andrea Orlandini have?
Science Explorer counts 40 works and 104 citations for Andrea Orlandini, ranking #501,693 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.