Seyed Morteza Babamir
Seyed Morteza Babamir publishes mostly in Computer Networks and Communications, Information Systems and Software, on topics such as Formal Methods in Verification, Service-Oriented Architecture and Web Services and Software Testing and Debugging Techniques.
- World rank
- #1,418,340 of 1,633,909 ranked researchers
- Rank in Iran
- #10,252 of 12,474
- Works
- 27
- Citations
- 22
- Citations per work
- 0.8
What does Seyed Morteza Babamir research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Computer Networks and Communications27% of their works
- 2Information Systems22% of their works
- 3Software16% of their works
- 4Computational Theory and Mathematics11% of their works
- 5Artificial Intelligence11% of their works
- 6Control and Systems Engineering5% of their works
Research topics
- Formal Methods in Verification
- Service-Oriented Architecture and Web Services
- Software Testing and Debugging Techniques
- Software Reliability and Analysis Research
- Logic, programming, and type systems
- Advanced Software Engineering Methodologies
- IoT and Edge/Fog Computing
- Software System Performance and Reliability
Which keywords describe Seyed Morteza Babamir's research?
The keywords of their largest research topics: Model Checking, Architecture-Based Approach, Automated Testing, QoS-Aware Middleware, Satisfiability Modulo Theories, Semantic Web Services, Software Fault Localization and Software Reliability Modeling.
- Self-Adaptive Systems
- Log Analysis
- Formal Verification
- Autonomic Computing
- Software Reliability Modeling
- Semantic Web Services
- QoS-Aware Middleware
- Architecture-Based Approach
- Model Checking
- Automated Testing
- Satisfiability Modulo Theories
- Software Fault Localization
- Symbolic Model Checker
- Edge Computing
- Internet of Things
- Performance Prediction
- Static Analysis
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 17 words, with their numbers
- Model Checking52 topics
- Architecture-Based Approach31 topic
- Automated Testing31 topic
- QoS-Aware Middleware31 topic
- Satisfiability Modulo Theories31 topic
- Semantic Web Services31 topic
- Software Fault Localization31 topic
- Software Reliability Modeling31 topic
- Symbolic Model Checker31 topic
- Autonomic Computing21 topic
- Edge Computing21 topic
- Formal Verification21 topic
- Internet of Things21 topic
- Log Analysis21 topic
- Performance Prediction21 topic
- Self-Adaptive Systems21 topic
- Static Analysis21 topic
Where does Seyed Morteza Babamir work?
Seyed Morteza Babamir's main affiliation in the publication record is University of Kashan, Iran.
How many publications and citations does Seyed Morteza Babamir have?
Science Explorer counts 27 works and 22 citations for Seyed Morteza Babamir, ranking #1,418,340 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.