Miroslav N. Velev
Miroslav N. Velev publishes mostly in Hardware and Architecture, Computational Theory and Mathematics and Electrical and Electronic Engineering, on topics such as Formal Methods in Verification, Embedded Systems Design Techniques and Parallel Computing and Optimization Techniques.
- World rank
- #421,965 of 1,633,909 ranked researchers
- Rank in United States
- #147,040 of 358,040
- Works
- 29
- Citations
- 83
- Citations per work
- 2.9
What does Miroslav N. Velev research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Hardware and Architecture39% of their works
- 2Computational Theory and Mathematics27% of their works
- 3Electrical and Electronic Engineering12% of their works
- 4Software9% of their works
- 5Molecular Biology6% of their works
- 6Artificial Intelligence3% of their works
Research topics
- Formal Methods in Verification
- Embedded Systems Design Techniques
- Parallel Computing and Optimization Techniques
- Radiation Effects in Electronics
- Software Testing and Debugging Techniques
- Gene expression and cancer classification
- Molecular Biology Techniques and Applications
- Logic, programming, and type systems
Which keywords describe Miroslav N. Velev's research?
The keywords of their largest research topics: Model Checking, Satisfiability Modulo Theories, Symbolic Model Checker, High-Level Synthesis, Reconfigurable Computing, Parallel Computing, Performance Optimization and Radiation Effects.
- Real-Time PCR
- Microarray
- Differential Expression
- Gene Expression
- Automated Testing
- Radiation Effects
- Parallel Computing
- High-Level Synthesis
- Satisfiability Modulo Theories
- Model Checking
- Symbolic Model Checker
- Reconfigurable Computing
- Performance Optimization
- Soft Errors
- Data Analysis
- Software Fault Localization
- Formal Verification
- Quantitative
- 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 19 words, with their numbers
- Model Checking102 topics
- Satisfiability Modulo Theories91 topic
- Symbolic Model Checker91 topic
- High-Level Synthesis81 topic
- Reconfigurable Computing81 topic
- Parallel Computing41 topic
- Performance Optimization41 topic
- Radiation Effects31 topic
- Soft Errors31 topic
- Automated Testing21 topic
- Data Analysis22 topics
- Gene Expression22 topics
- Software Fault Localization21 topic
- Differential Expression11 topic
- Formal Verification11 topic
- Microarray11 topic
- Quantitative11 topic
- Real-Time PCR11 topic
- Static Analysis11 topic
Where does Miroslav N. Velev work?
Miroslav N. Velev's main affiliation in the publication record is Aries Design Automation (United States), United States.
How many publications and citations does Miroslav N. Velev have?
Science Explorer counts 29 works and 83 citations for Miroslav N. Velev, ranking #421,965 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.