Grigory Fedyukovich
Grigory Fedyukovich publishes mostly in Software, Computational Theory and Mathematics and Artificial Intelligence, on topics such as Formal Methods in Verification, Software Testing and Debugging Techniques and Logic, programming, and type systems.
- World rank
- #666,721 of 1,633,909 ranked researchers
- Rank in Switzerland
- #11,004 of 19,404
- Works
- 25
- Citations
- 93
- Citations per work
- 3.7
What does Grigory Fedyukovich research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Software36% of their works
- 2Computational Theory and Mathematics33% of their works
- 3Artificial Intelligence22% of their works
- 4Electrical and Electronic Engineering8% of their works
Research topics
- Formal Methods in Verification
- Software Testing and Debugging Techniques
- Logic, programming, and type systems
- Software Reliability and Analysis Research
- Adversarial Robustness in Machine Learning
- Advanced Software Engineering Methodologies
- Artificial Intelligence in Games
- Model-Driven Software Engineering Techniques
Which keywords describe Grigory Fedyukovich's research?
The keywords of their largest research topics: Model Checking, Satisfiability Modulo Theories, Symbolic Model Checker, Automated Testing, Software Fault Localization, Formal Verification, Static Analysis and Architecture-Based Approach.
- Procedural Content Generation
- Model-Driven Engineering
- Deep Learning
- Adversarial Examples
- Architecture-Based Approach
- Formal Verification
- Automated Testing
- Satisfiability Modulo Theories
- Model Checking
- Symbolic Model Checker
- Software Fault Localization
- Static Analysis
- Software Reliability Modeling
- Autonomic Computing
- Domain-Specific Languages
- Monte Carlo Tree Search
- Self-Adaptive 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 17 words, with their numbers
- Model Checking172 topics
- Satisfiability Modulo Theories121 topic
- Symbolic Model Checker121 topic
- Automated Testing81 topic
- Software Fault Localization81 topic
- Formal Verification51 topic
- Static Analysis51 topic
- Architecture-Based Approach41 topic
- Software Reliability Modeling41 topic
- Adversarial Examples11 topic
- Autonomic Computing11 topic
- Deep Learning11 topic
- Domain-Specific Languages11 topic
- Model-Driven Engineering11 topic
- Monte Carlo Tree Search11 topic
- Procedural Content Generation11 topic
- Self-Adaptive Systems11 topic
Where does Grigory Fedyukovich work?
Grigory Fedyukovich's main affiliation in the publication record is Università della Svizzera italiana, Switzerland.
How many publications and citations does Grigory Fedyukovich have?
Science Explorer counts 25 works and 93 citations for Grigory Fedyukovich, ranking #666,721 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.