Felip Manyà
Felip Manyà publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Computer Networks and Communications, on topics such as Constraint Satisfaction and Optimization, Formal Methods in Verification and Logic, Reasoning, and Knowledge.
- World rank
- #309,562 of 1,633,909 ranked researchers
- Rank in Spain
- #7,254 of 45,870
- Works
- 54
- Citations
- 181
- Citations per work
- 3.4
What does Felip Manyà research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Artificial Intelligence33% of their works
- 2Computational Theory and Mathematics25% of their works
- 3Computer Networks and Communications23% of their works
- 4Management Science and Operations Research5% of their works
- 5Software3% of their works
- 6Signal Processing3% of their works
Research topics
Which keywords describe Felip Manyà's research?
The keywords of their largest research topics: Model Checking, Temporal Logic, Constraint Optimization, Distributed Algorithms, Satisfiability Modulo Theories, Symbolic Model Checker, Answer Set Programming and Modal Logic.
- Residuated Lattices
- Parameterized Complexity
- Graph Theory
- Complexity Theory
- Approximation Algorithms
- Static Analysis
- Modal Logic
- Symbolic Model Checker
- Distributed Algorithms
- Temporal Logic
- Model Checking
- Constraint Optimization
- Satisfiability Modulo Theories
- Answer Set Programming
- Formal Verification
- Algorithmic Applications
- Combinatorial Optimization
- Fuzzy Logic
- Heuristic Search
- Planning Systems
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 Checking223 topics
- Temporal Logic162 topics
- Constraint Optimization111 topic
- Distributed Algorithms111 topic
- Satisfiability Modulo Theories91 topic
- Symbolic Model Checker91 topic
- Answer Set Programming71 topic
- Modal Logic71 topic
- Formal Verification61 topic
- Static Analysis61 topic
- Algorithmic Applications42 topics
- Approximation Algorithms42 topics
- Combinatorial Optimization21 topic
- Complexity Theory21 topic
- Fuzzy Logic21 topic
- Graph Theory21 topic
- Heuristic Search21 topic
- Parameterized Complexity21 topic
- Planning Systems21 topic
- Residuated Lattices21 topic
Where does Felip Manyà work?
Felip Manyà's main affiliation in the publication record is Artificial Intelligence Research Institute, Spain.
How many publications and citations does Felip Manyà have?
Science Explorer counts 54 works and 181 citations for Felip Manyà, ranking #309,562 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.