Sergiy Bogomolov

Institute of Science and Technology Austria

Papers

2

Total Citations

10

H-Index

2

About

No biography available yet.

Research Focus

Model checking2 · 10 citations
Programming language2 · 10 citations
Computer science2 · 10 citations
Control engineering1 · 6 citations
Executable1 · 6 citations
Controller (irrigation)1 · 6 citations
Artificial intelligence1 · 6 citations
Formal verification1 · 6 citations
Embedded system1 · 6 citations
Engineering1 · 6 citations
Consistency (knowledge bases)1 · 6 citations
Hybrid system1 · 6 citations

Key Achievements

2
H-Index
2
Papers
10
Total Citations
5
Avg Citations/Paper
🏆 Most Cited Paper
Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP
6 citations · 2016
📈 Most Prolific Year: 2016 (1 Papers)
🤝 Key Collaborators: 16
🏛 Institutions: Institute of Science and Technology Austria

Top Papers

  1. 1
    Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP
    6 citations · 2016
  2. 2
    Symbolic-Numeric Methods for Problem Solving in CPS (Dagstuhl Seminar 16491)
    4 citations · 2017

Key Collaborators

NRNacim Ramdani1 shared papersMFMartin Fränzle1 shared papersLVLuan Viet Nguyen1 shared papersHTHoang-Dung Tran1 shared papersBQBolun Qi1 shared papersSBStanley Bak1 shared papersSMSayan Mitra1 shared papersKMKyoko Makino1 shared papersPSParasara Sridhar Duggirala1 shared papersMPMatthew Potok1 shared papersTTTaylor T. Johnson1 shared papersCSChristian Schilling1 shared papersASAndrew Sogokon1 shared papersCFChuchu Fan1 shared papersMVMahesh Viswanathan1 shared papersWXWeiming Xiang1 shared papers
Not generated yet