Vadim Mutilin
Vadim Mutilin publishes mostly in Computational Theory and Mathematics, Software and Hardware and Architecture, on topics such as Formal Methods in Verification, Software Testing and Debugging Techniques and Software System Performance and Reliability.
- World rank
- #1,471,278 of 1,633,909 ranked researchers
- Rank in Russia
- #21,672 of 28,789
- Works
- 16
- Citations
- 22
- Citations per work
- 1.4
What does Vadim Mutilin research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Computational Theory and Mathematics17% of their works
- 2Software17% of their works
- 3Hardware and Architecture13% of their works
- 4Computer Networks and Communications13% of their works
- 5Artificial Intelligence13% of their works
- 6Information Systems9% of their works
Research topics
- Formal Methods in Verification
- Software Testing and Debugging Techniques
- Software System Performance and Reliability
- Parallel Computing and Optimization Techniques
- Radiation Effects in Electronics
- Logic, programming, and type systems
- Advanced Software Engineering Methodologies
- Security and Verification in Computing
Which keywords describe Vadim Mutilin's research?
The keywords of their largest research topics: Model Checking, Satisfiability Modulo Theories, Symbolic Model Checker, Automated Testing, Software Fault Localization, Log Analysis, Parallel Computing and Performance Optimization.
- Side-Channel Attacks
- Security Policies
- Autonomic Computing
- Radiation Effects
- Performance Optimization
- Log Analysis
- Automated Testing
- Satisfiability Modulo Theories
- Model Checking
- Symbolic Model Checker
- Software Fault Localization
- Parallel Computing
- Performance Prediction
- Soft Errors
- Formal Verification
- Self-Adaptive Systems
- 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
- Satisfiability Modulo Theories41 topic
- Symbolic Model Checker41 topic
- Automated Testing31 topic
- Software Fault Localization31 topic
- Log Analysis21 topic
- Parallel Computing21 topic
- Performance Optimization21 topic
- Performance Prediction21 topic
- Radiation Effects21 topic
- Soft Errors21 topic
- Autonomic Computing11 topic
- Formal Verification11 topic
- Security Policies11 topic
- Self-Adaptive Systems11 topic
- Side-Channel Attacks11 topic
- Static Analysis11 topic
Where does Vadim Mutilin work?
Vadim Mutilin's main affiliation in the publication record is Institute for System Programming, Russia.
How many publications and citations does Vadim Mutilin have?
Science Explorer counts 16 works and 22 citations for Vadim Mutilin, ranking #1,471,278 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.