Mehmet Dincbas
Mehmet Dincbas publishes mostly in Artificial Intelligence, Computer Networks and Communications and Software, on topics such as Constraint Satisfaction and Optimization, Logic, programming, and type systems and Logic, Reasoning, and Knowledge.
- World rank
- #1,444,763 of 7,710,434 ranked researchers
- Rank in France
- #65,141 of 324,115
- Works
- 30
- Citations
- 1.3k
- Citations per work
- 45.0
What does Mehmet Dincbas research?
Mehmet Dincbas's work is mostly in Computer Science (82%), Engineering (7%), Agricultural and Biological Sciences (1%).
Their six largest subfields, inside their fields and domains; the grey slice is everything else they publish. The interactive view splits every one of their works down to single topics.
The fields and subfields, with their numbers
- Physical Sciences2688.1%
- Computer Science2481.5%
- Engineering26.6%
- Everything else310.6%
- Life Sciences01.3%
- 1Artificial Intelligence37% of their works
- 2Computer Networks and Communications25% of their works
- 3Software10% of their works
- 4Computational Theory and Mathematics9% of their works
- 5Industrial and Manufacturing Engineering7% of their works
- 6Ecology, Evolution, Behavior and Systematics1% of their works
Research topics
Which keywords describe Mehmet Dincbas's research?
The keywords of their largest research topics: Model Checking, Constraint Optimization, Distributed Algorithms, Knowledge Representation, Temporal Logic, Formal Verification, Static Analysis and Answer Set Programming.
- Heuristic Search
- Continuous Queries
- Semantic Web
- Ontology
- Modal Logic
- Answer Set Programming
- Formal Verification
- Knowledge Representation
- Constraint Optimization
- Model Checking
- Distributed Algorithms
- Temporal Logic
- Static Analysis
- Domain-Specific Languages
- Model-Driven Engineering
- Satisfiability Modulo Theories
- Symbolic Model Checker
- Data Stream Management
- 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 19 words, with their numbers
- Model Checking253 topics
- Constraint Optimization141 topic
- Distributed Algorithms141 topic
- Knowledge Representation132 topics
- Temporal Logic132 topics
- Formal Verification121 topic
- Static Analysis121 topic
- Answer Set Programming81 topic
- Domain-Specific Languages81 topic
- Modal Logic81 topic
- Model-Driven Engineering81 topic
- Ontology51 topic
- Satisfiability Modulo Theories51 topic
- Semantic Web51 topic
- Symbolic Model Checker51 topic
- Continuous Queries41 topic
- Data Stream Management41 topic
- Heuristic Search21 topic
- Planning Systems21 topic
Where does Mehmet Dincbas work?
Mehmet Dincbas's main affiliation in the publication record is Cosytec (France), France.
How many publications and citations does Mehmet Dincbas have?
OpenAlex counts 30 works and 1,349 citations for Mehmet Dincbas, an h-index of 15, ranking #1,444,763 of 7,710,434 researchers worldwide on the quality 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 have tabs of their own, above. Is this your page? Claim it with your ORCID iD, or request a correction or removal.
Discussion
Ask a question or share a note about Mehmet Dincbas. Posts are plain text and can be reported.