Science Explorer Back to mapMap
Discussion
Researcher · Åbo Akademi University · Finland

Anton Tarasyuk

Anton Tarasyuk publishes mostly in Computational Theory and Mathematics, Software and Safety, Risk, Reliability and Quality, on topics such as Formal Methods in Verification, Software Reliability and Analysis Research and Safety Systems Engineering in Autonomy.

OpenAlex
World rank
#5,564,177
of 7,710,434 ranked researchers
Rank in Finland
#31,008
of 37,370
Works
16
Citations
139
Citations per work
8.7
h-index
7
i10-index 7Top 64% in Computational Theory and Mathematics
Anton Tarasyuk

What does Anton Tarasyuk research?

Anton Tarasyuk's work is mostly in Computer Science (56%), Engineering (15%), Social Sciences (9%).

Physical Sciences: 11 works · 71.7% of their workComputer Science: 9 works · 56.5% of their workComputational Theory and Mathematics: 3 works · 21.7% of their workSoftware: 3 works · 19.6% of their workArtificial Intelligence: 2 works · 10.9% of their workComputer Networks and Communications: 1 works · 4.3% of their workEngineering: 2 works · 15.2% of their workSafety, Risk, Reliability and Quality: 2 works · 15.2% of their workEverything else: 3 works · 19.6% of their workSocial Sciences: 1 works · 8.7% of their workSocial Sciences: 1 works · 8.7% of their workPolitical Science and International Relations: 1 works · 8.7% of their workTHEIR WORKAnton Tarasyuk16works
Physical Sciences72%Social Sciences9%

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
    1. Computer Science956.5%
    2. Engineering215.2%
  2. Everything else319.6%
    1. Social Sciences18.7%
  1. 1Computational Theory and Mathematics22% of their works
  2. 2Software20% of their works
  3. 3Safety, Risk, Reliability and Quality15% of their works
  4. 4Artificial Intelligence11% of their works
  5. 5Political Science and International Relations9% of their works
  6. 6Computer Networks and Communications4% of their works

Research topics

Which keywords describe Anton Tarasyuk's research?

The keywords of their largest research topics: Model Checking, Model-Based Development, Satisfiability Modulo Theories, Symbolic Model Checker, Architecture-Based Approach, Software Reliability Modeling, Assurance Cases and Safety Assurance.

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 18 words, with their numbers
  1. Model Checking112 topics
  2. Model-Based Development112 topics
  3. Satisfiability Modulo Theories101 topic
  4. Symbolic Model Checker101 topic
  5. Architecture-Based Approach81 topic
  6. Software Reliability Modeling81 topic
  7. Assurance Cases71 topic
  8. Safety Assurance71 topic
  9. Autonomic Computing41 topic
  10. Self-Adaptive Systems41 topic
  11. Distributed Systems21 topic
  12. Fault Tolerance21 topic
  13. Domain-Specific Languages11 topic
  14. Formal Verification11 topic
  15. Model-Driven Engineering11 topic
  16. QoS-Aware Middleware11 topic
  17. Semantic Web Services11 topic
  18. Static Analysis11 topic

Where does Anton Tarasyuk work?

Anton Tarasyuk's main affiliation in the publication record is Åbo Akademi University, Finland.

How many publications and citations does Anton Tarasyuk have?

OpenAlex counts 16 works and 139 citations for Anton Tarasyuk, an h-index of 7, ranking #5,564,177 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 Anton Tarasyuk. Posts are plain text and can be reported.